Mathcenter Forum

Mathcenter Forum (https://www.mathcenter.net/forum/index.php)
-   Calculus and Analysis (https://www.mathcenter.net/forum/forumdisplay.php?f=27)
-   -   Haar wavelet orthonormal basis (https://www.mathcenter.net/forum/showthread.php?t=23023)

B บ .... 16 ธันวาคม 2015 18:40

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.

nooonuii 17 ธันวาคม 2015 09:53

$f$ ที่จะพิสูจน์นี้มันใช่ตัวเดียวกับที่นิยามไว้ตอนต้นมั้ยครับ ถ้าใช่มันก็ไม่เป็น $0$ a.e. อยู่แล้วนี่ครับ

nooonuii 17 ธันวาคม 2015 09:55

ที่จะพิสูจน์นี่มันตัว $g$ รึเปล่าครับ


เวลาที่แสดงทั้งหมด เป็นเวลาที่ประเทศไทย (GMT +7) ขณะนี้เป็นเวลา 00:27

Powered by vBulletin® Copyright ©2000 - 2024, Jelsoft Enterprises Ltd.
Modified by Jetsada Karnpracha