|
สมัครสมาชิก | คู่มือการใช้ | รายชื่อสมาชิก | ปฏิทิน | ข้อความวันนี้ | ค้นหา |
|
เครื่องมือของหัวข้อ | ค้นหาในหัวข้อนี้ |
#1
|
||||
|
||||
Haar wavelet orthonormal basis
I want to show that the Haar functions in $L^2([0,1])$ forms an orthonormal basis :
Let $$f = 1_{[0, 1/2)} - 1_{[1/2,0)} \ \ \mbox{,} \ \ f_{j,k}(t) = 2^{j/2}f(2^jt - k).$$ Let $\mathscr{A} = \{(j.k) : j \geq 0, k = 0, 1, 2, ..., 2^j -1\}.$ I can prove that $\ A := \{1_{[0,1]}\} \cup \{f_{j,k}: (j,k) \in \mathscr{A}\}$ is an orthonormal system in $L^2([0,1])$. (using the fact that each of them is supported on $[2^{-j}k, 2^{-j}(k+1))$, and each different pairs $i, j$ either has disjoint support or contained in each other support) I want to show that $A$ is complete. Let $g \in L^2([0,1])$ with $<g,f_{i,j}> = 0$ and $<g, 1_{[0,1]}> = 0$ for all $(i, j) \in A.$ I will show that $g = 0 $ a.e. Let $$I^l_{j,k} = [2^{-j},2^{-j}k + 2^{-j-1}), I^r_{j,k} = [2^{-j}k + 2^{-j-1}, 2^{-j}(k+1)).$$ Then $$f_{i,j} = 2^{-j}(1_{I^l_{i,j}} - 1_{I^r_{i,j}}).$$ So I see that $$\int_{I^l_{i,j}} f = \int _{I^r_{i,j}} f$$ for all $(i,j) \in A $ and $$\int_{[0.1]} f = 0.$$ It just "seems" that $f$ should be $0$ a.e., but how can I prove this rigorously ? Any help please.
__________________
เรื่อยๆ เฉื่อยๆ |
#2
|
|||
|
|||
$f$ ที่จะพิสูจน์นี้มันใช่ตัวเดียวกับที่นิยามไว้ตอนต้นมั้ยครับ ถ้าใช่มันก็ไม่เป็น $0$ a.e. อยู่แล้วนี่ครับ
__________________
site:mathcenter.net คำค้น |
#3
|
|||
|
|||
ที่จะพิสูจน์นี่มันตัว $g$ รึเปล่าครับ
__________________
site:mathcenter.net คำค้น |
หัวข้อคล้ายคลึงกัน | ||||
หัวข้อ | ผู้ตั้งหัวข้อ | ห้อง | คำตอบ | ข้อความล่าสุด |
Basis for topology on R | Mathophile | คณิตศาสตร์อุดมศึกษา | 5 | 24 กันยายน 2010 12:34 |
มีใครช่วยอธิบาย Groebner basis ได้ไหมครับ | phoneee | คณิตศาสตร์อุดมศึกษา | 2 | 30 มกราคม 2010 02:27 |
total orthonormal set | konkoonJAi | คณิตศาสตร์อุดมศึกษา | 2 | 21 กันยายน 2007 14:57 |
|
|