第四章 Hilbert空间的几何学 在第一章中我们已介绍了内积空间的公理系统并给出过内积空间 的例子.内积空间是一种特殊的线性赋范空间,因此对于一般赋范空 间成立的那些结论对于内积空间也是适用的.但由于内积空间具有 “内积”这种结构,使得它有着比一般赋范空间更为特殊的性质.本章 将叙述这些特殊性质:正交基的存在性、正交投影以及空间上线性泛 函和算子的特殊表现形式. Hil ber t空间的理论已广泛地应用于许多 学科和学科分支中去,例如在量子力学,概率论, Fourier分析 调和分析等学科中就是如此,近年来蓬勃发展的小波分析理论也是置 根于 Hilber t空间基本理论的 第19讲Hi1bert空间的正交基 教学目的:掌握由内积结构导致的Hi1bert空间的特殊性 讲解要点 1、正交集合的基本属性,Be88e1不等式 2、 Hilbert空间中元素的 Fourier展开 3、正交基底 4、可分H1bert空间与P2等距同构 定义1设H是内积空间,(,)是其中的内积 (1)若x,y∈H,(x,y)=0,则称x与y正交,记为x⊥y.若 M,NcH并且x∈M,y∈N,(x,y)=0,则称M与N正交,记为 M⊥N.当M={x时记为x⊥N (2)称EcH为正交集,若任意x,y∈E,x≠y,则x⊥y.若
1 第四章 Hilbert 空间的几何学 在第一章中我们已介绍了内积空间的公理系统并给出过内积空间 的例子.内积空间是一种特殊的线性赋范空间， 因此对于一般赋范空 间成立的那些结论对于内积空间也是适用的. 但由于内积空间具有 “内积”这种结构，使得它有着比一般赋范空间更为特殊的性质 .本章 将叙述这些特殊性质：正交基的存在性、正交投影以及空间上线性泛 函和算子的特殊表现形式.Hilbert 空间的理论已广泛地应用于许多 学科和学科分支中去，例如在量子力学，概率论， Fourier 分析， 调和分析等学科中就是如此.近年来蓬勃发展的小波分析理论也是置 根于 Hilbert 空间基本理论的. 第 19 讲 Hilbert 空间的正交基 教学目的：掌握由内积结构导致的 Hilbert 空间的特殊性 质。 讲解要点： 1、正交集合的基本属性，Bessel 不等式。 2、Hilbert 空间中元素的 Fourier 展开。 3、正交基底。 4、可分 Hilbert 空间与 2 l 等距同构。 定义 1 设 H 是内积空间， (,) ⋅ ⋅ 是其中的内积. (1) 若 xy H xy , , ( , ) 0, ∈ = 则 称 x 与 y 正 交 , 记 为 x ⊥ y . 若 M , N ⊂ H 并且 ∀x ∈ M , y ∈ N , ( , ) 0, x y = 则称 M 与 N 正交, 记为 M ⊥ N . 当 M = {x}时记为 x ⊥ N , . (2) 称 E ⊂ H 为正交集, 若任意 x, y ∈ E, x ≠ y, 则 x ⊥ y . 若
此外(x,x)=1,VxE,称E为规范正交集 容易知道,x⊥y则y⊥x,x⊥x当且仅当x=0.对于任意集合 M,N=H,若M⊥N,则M⌒NcO0 定理1设H为内积空间,EcH为正交集则对于E中任意有限 多个元x1…xn和a1…On∈Φ, ax+a2x2+…+anx1|≤a1|x+…+a1|x 从而若E不包含0元,E是线性无关集 证明由正交性 ax+…+anxn=(a1x+…+anx,a1x+…+anx) ∑(a1x1ax) a|2|+*…+kan}n 当x,≠0(=1,…n)时,若a1…,an不全为0,则|ax+…+anx 0 定理2设H是内积空间,EcH是规范正交集,x∈H,则 (1)对于任一组e1,…en∈E, xe)≤ (2)数集{x,e):e∈E}中至多有可数多个不等于0 证明1°设x=∑(x,e)e,则 0<x-x=(x-xm, x-x,) (x, x,)-(xn,x)
2 此外 (,) 1 x x = ,∀x ∉ E, 称 E 为规范正交集. 容易知道, x ⊥ y 则 y ⊥ x , x ⊥ x 当且仅当 x = 0 . 对于任意集合 M , N ⊂ H , 若 M ⊥ N , 则 M N ∩ ⊂ {0}. 定理 1 设 H 为内积空间, E ⊂ H 为正交集.则对于 E 中任意有限 多个元 1 x n ,⋅⋅⋅, x 和 , , , α1 ⋅⋅⋅ α n ∈Φ 2 11 2 2 n n αα α xx x + +⋅⋅⋅+ ≤ 22 2 2 1 1 n n α α x +⋅⋅⋅+ x . (4-1-1) 从而若 E 不包含 0 元, E 是线性无关集. 证明 由正交性 2 1 1 n n α α x +⋅⋅⋅+ x ( 1 1 11 , ) nn nn = +⋅⋅⋅+ +⋅⋅⋅+ α αα α x xx x ( , 1 , ) n ii jj i j α α x x = = ∑ 2 2 2 1 2 1 n n = α x + ⋅⋅⋅ + α x . 当 x 0(i 1, ,n) i ≠ = " 时 , 若 α α n , , 1 " 不全为 0 , 则 1 1 n n α α x +⋅⋅⋅+ x ≠ 0, 即 1 1 α x n n +⋅⋅⋅+α x ≠ 0. 定理 2 设 H 是内积空间, E ⊂ H 是规范正交集, x ∈ H, 则 (1) 对于任一组 , , , e1 " en ∈ E 2 2 1 (x,e ) x i n i ∑ ≤ = . (4-1-2) (2) 数集 { } (x,e) : e ∈ E 中至多有可数多个不等于 0 . 证明 D 1 设 1 (, ) , n n ii i x xe e = = ∑ 则 0 ( , ) 2 n n n ≤ x − x = x − x x − x 2 2 ( , ) ( , ) n n n = x − x x − x x + x
=|2-∑(x,e) 故 ∑(x,e)2≤ 2°考虑集合 E=∈E(x,e)>f},j 由(412),E,中至多有有限多个元素,显然E=UE,故得 (2)。 推论1设H是内积空间,E={en}是H中的规范正交集,则 651)分.)s|R.(Bs不等式) (2)(x,en)→>0(n→>∞)。 实际上,令n→∞,由(4-1-2得到(4-1-3)由级数的收敛性质 (x,en)→0,故(x,en)→0 思考题 1.设H是内积空间,x,y1∈H(≥1),则 (1)x⊥spom{y:i≥l当且仅当x⊥y(21) (2)x⊥co{y:i≥l}当且仅当x⊥y(21) 2.设H是内积空间,{e,1≤≤川}是H中的规范正交集,x∈H,则 fo e 关于达到极小值当且仅当a1=(x,e),1≤i≤n 定义2设H为内积空间,E={en}是H中的规范正交集,x∈H
3 ∑= = − n i i x x e 1 2 2 ( , ) . 故 2 1 2 (x,e ) x n i ∑ i ≤ = . 2 D 考虑集合 1 { : ( , ) }, Ej e E xe j− =∈ > j = 1,2,". 由(4-1-2) ， E j 中至多有有限多个元素，显然 1 j j E E ∞ = =∪ ， 故得 （2）。 推论 1 设 H 是内积空间， { }n E = e 是 H 中的规范正交集，则 （ 1 ） 2 2 1 (, ) . n n x e x ∞ = ∑ ≤ （ Bessel 不等式） （4-1-3） （2） (x,en ) → 0 (n → ∞)。 实际上，令 n → ∞ ，由(4-1-2 得到（4-1-3）.由级数的收敛性质 ( , ) 0 2 x en → ，故 (x,en ) → 0 ,（2）成立. 思考题 1. 设 H 是内积空间, x, y ∈ H(i ≥ 1) i , 则 (1) x span y i ⊥ { i : 1 ≥ } 当且仅当 ( 1) i x yi ⊥ ≥ . (2) x co y i ⊥ { i : 1 ≥ } 当且仅当 ( 1) i x yi ⊥ ≥ . 2. 设 H 是内积空间 , { } ei ,1 ≤ i ≤ n 是 H 中的规范正交集 , x ∈ H , 则 1 (, , ) n f α " α = ∑= − n i i i x e 1 α 关于达到极小值当且仅当 α i = ( , )i x e , 1 ≤ i ≤ n . 定义 2 设 H 为内积空间, E = {en }是 H 中的规范正交集, x ∈ H
(1)对于每个en∈E,称(x,en)为x关于en的 Fourier系数 (2)称(形式)级数∑n(x,en)为x关于E的 Fourier级数 (3)若x=∑m(x,en)en按空间H的范数收敛,称此级数为x关 于E的F 展开式 定理3设H为内积空间,E={en}是H中的规范正交集 H 则以下诸条件等价 (1)x∈ (2) (x, e,)e (3)|=∑x.n)P.( Parseval等式) (4-1-5) 证明(1)→(2)不妨设un∈ span E,Un=∑a,e;,Un→x (x,e;)e1,则(xn,e)=(x,e),即e1⊥xn-x(i=1…k 从而∑(a1-(x,e)e⊥( xn)⊥(xn-x).于是 x. +x 对2=n-x+n-2≥x-x2 从而 x=0 所以 x=imxn=lm∑(x,e)=∑(xen)en (2)→(3)由(2),x=lim∑(x,e,)或者x→x,由内积关于
4 （1） 对于每个 en ∈ E ，称 ( , ) n x e 为 x 关于 n e 的 Fourier 系数. （2） 称（形式）级数 1 (, ) n n n x e e ∞ ∑ = 为 x 关于 E 的 Fourier 级数. （3） 若 1 (, ) n n n x xe e ∞ = = ∑ 按空间 H 的范数收敛，称此级数为 x 关 于 E 的 Fourier 展开式。 定 理 3 设 H 为内积空间 , E = {en } 是 H 中的规范正交集 , x ∈ H , 则以下诸条件等价： （1） x∈ span E . （2） 1 (, ) n n n x xe e ∞ = = ∑ . （4－1－4） （3） ∑ ∞ = = 1 2 2 | ( , ) | n n x x e . （Parseval 等式） （4－1－5） 证明 (1) ⇒ (2) 不妨设 un ∈span E ， ∑= = n k i n i i u e 1 α ， n u x → . 取 ∑= = n k i n i i x x e e 1 ( , ) ，则 ( , ) ( , ) n i i x e = x e , 即 e x x i ⊥ n − （ n i = 1,", k ）， 从而 1 ( ( , )) ( ) n k i ii n i α x ee x x = ∑ − ⊥ − ，即 ( )( ) nn n ux xx − ⊥ − . 于是 2 u x n − = 2 u x x x n − n + n − = 2 n n u − x + 2 x x n − ≥ 2 x x n − , 从而 x x n n − →∞ lim ＝ u x n n − →∞ lim ＝ 0 . 所以 n n x x →∞ = lim ＝ 1 lim ( , ) n k i i n i x e e →∞ = ∑ ＝ ∑ ∞ =1 ( , ) n n n x e e . (2) ⇒ (3) 由（2）， x = ∑= →∞ n i i i n x e e 1 lim ( , ) 或者 n x → x ，由内积关于
变元的连续性知道 =(x,x)=lm(xnx)=m∑(x,e,)=∑(xen) (3)→(1)令x=∑(x,e1)e,由(3) -∑(xe)=∑ i=n+1 故x= lim x,但xn∈ span E,所以x∈ span E。 定理3说明,要x关于正交集E的 Fourier展开式成立,必须并 且只要x属于由E张成的闭线性子空间或者x关于E的 Parseval等式 下面定理给出了得到规范正交集的方法。 定理4(Gram- Schmidt)设{xn}是内积空间H中一列线性无关元 素,则存在H中的规范正交集E={en:n≥1},使得Vn≥1 e;:l≤i≤n}=span{x1:1≤i≤n} 证明由x1≠0,令y=x1,e1 显然 span e= span y,)= span x) 由x2与x1(从而与e1)线性无关,令y2=x2-(x2,e1)e1,e2= py‖ 则 0.又(y2,e1)=(x2,e1)-(x2,e1)=0,从而(e2,e) (y2,e1)=0并且 spar 依照数学归纳法,不妨设e1,…,en已定义并且 span span i(x
5 变元的连续性知道 ( , ) lim( , ) 2 n n n x x x x x →∞ = = = ∑= →∞ n i i n x e 1 2 lim | ( , ) | =∑ ∞ =1 2 | ( , ) | n n x e . (3) ⇒ (1) 令 ∑= = n i n i i x x e e 1 ( , ) ，由（3）， 2 x x n − ＝ 2 x － ∑= n i i x e 1 2 | ( , ) | ＝ | ( , ) | 0 1 ∑ 2 → ∞ i=n+ i x e . 故 n n x x →∞ = lim ，但 xn ∈span E ，所以 x∈ span E 。 定理 3 说明， 要 x 关于正交集 E 的 Fourier 展开式成立，必须并 且只要 x 属于由 E 张成的闭线性子空间或者 x 关于 E 的 Parseval 等式 成立。 下面定理给出了得到规范正交集的方法。 定理 4 (Gram-Schmidt） 设{ n x }是内积空间 H 中一列线性无关元 素，则存在 H 中的规范正交集 { : 1} E en = n ≥ ，使得 ∀n ≥1, span{ei :1 ≤ i ≤ n} = span{x :1 i n} i ≤ ≤ . 证明 由 xi ≠ 0 ，令 1 1 11 1 , y y xe y = = . 显然 span { } e1 = span {y1} = span {x1}. 由 2 x 与 1 x（从而与 1 e ）线性无关，令 2 2 2 2 2 1 1 2 ( , ) , y y y = x − x e e e = ， 则 0 y2 ≠ . 又 ( , ) ( , ) ( , ) 0 y2 e1 = x2 e1 − x2 e1 = , 从 而 2 1 (,) e e = 2 1 2 1 ( ,) 0 y e y = 并且 span { } e1 , e2 = span {x1 , x2 , e1}= span {x1 , x2 }. 依照数学归纳法, 不妨设 1 1 , , n− e " e 已定义并且 span { } ei :1 ≤ i ≤ n −1 = span {xi :1 ≤ i ≤ n −1}
定义yn=xn-∑(xn,e1,C 则 0.否则 xn∈span{e;:1≤i≤n-l}=span{x11≤i≤n-l} 与线性无关性相矛盾.当1≤i≤n-1时 (m, e ,)=(m, e, )-E(,, e, (e, e,) 所以(en,e,) )=0.同时 span{e1:1≤i≤m}=spwn{xn,e1:l≤i≤n-1} x,1≤i≤n} (en}即是所需要的序列 定理5( Riesz- Fischer)设H是 Hilbert空间,E={en}是H的规 范正交集对于任一标量序列{an∑叫lan)<∞,存在x∈smE 使得x=∑ann,并且an=(x,en) 证明令x,=∑ae,由∑|a|<m知道m≥n,n→m时 c. →0 xn}是 Cauchy序列,H完备,不妨设x=limx, en,x∈spmE 此外 (x,e1)=lim(xn,e1)=a1(i=1,2,) (x, e )e 定义3设H是内积空间,EcH是规范正交集 6
6 定义 n n i n n i n n n i y y y = x −∑ x e e e = − = ( , ) , 1 1 , 则 yn ≠ 0 . 否则 xn ∈span { } ei :1 ≤ i ≤ n −1 = span {xi :1 ≤ i ≤ n −1} 与线性无关性相矛盾. 当1 ≤ i ≤ n −1时, ( ) , ( , ) ( , )( , ) 1 1 i j n i n j n j n i y e x e ∑ x e e e − = = − = (,)(,) 0 nj nj xe xe − = . 所以 1 ( , ) ( , ) 0. nj nj n ee ee y = = 同时 { :1 } { , :1 1} i ni span e i n span x e i n ≤ ≤ = ≤≤ − = span {xi ,1 ≤ i ≤ n}. { }n e 即是所需要的序列. 定理 5（Riesz-Fischer） 设 H 是 Hilbert 空间, E = {en }是 H 的规 范正交集. 对于任一标量序列 { } 2 1 , n n n α α ∞ = ∑ < ∞ , 存在 x∈ span E 使得 1 n n n x α e ∞ = = ∑ , 并且 ( , ) n n α = x e . 证明 令 i n i n i x ∑ e = = 1 α , 由 2 1 n n α ∞ = ∑ < ∞ 知道 m ≥ n , n → ∞ 时, 0 1 2 2 1 2 − = ∑ = ∑ → = + = + m i n i m i n n m i i x x α e α { }n x 是 Cauchy 序列， H 完备，不妨设 n n x x →∞ = lim ，则 1 , n n n x α e ∞ = = ∑ x∈ span E 此外, ( , ) = lim( , ) = ( = 1,2,") →∞ x e x e i n i i n i α . 故 n n n x ∑ x e e ∞ = = 1 ( , ) . 定义 3 设 H 是内积空间, E H ⊂ 是规范正交集
(1)称E是H的正交基,若E不能扩充为更大的规范正交集 (2)称E是完备正交集,若vx∈H,记E,={n≥1}是使 (x,e)≠0的E中元素全体,则x关于Ex的 Parseval等式成立 非0内积空间中规范正交集合以其包含关系构成半序集根据 Zorn引理,其中存在极大规范正交集.换句话说,任一内积空间必存 在正交基 定理6设H是 Hilbert空间,EcH是规范正交集,则以下条件 等价 (1)E是H的正交基 (2) span E=H (3)Vx∈H,x关于E具有 Fourier展开式 (4)Vx∈H,x关于Ex的 Parseval等式成立 (5)Wx,y∈H,(x,y)=∑(x,en)e)(en∈E,E,) (6)若x∈H,x⊥E,则x=0 证明(1)→(2)若有x∈H\pmn{E},记E2={en}由 Bessel 不等式,∑(x)≤x根据 Riesz-Fischer定理,习y∈spom{E} y=∑(x,en·显然x≠y,设 则eoE.由于 (x,en)=(yen),所以en⊥e0(n=1,2,…) 对于每个e∈E\E2,(xe)=0.从而(en,e)=0,又(y,e)=0. 所以(eo,e) (xe)-(y,e)=0(ve∈E)这说明E∪{eo}是比 E更大的规范正交集,与E为正交基矛盾 (2)◇(3)今(4).这是定理3中E=H的情况
7 (1) 称 E 是 H 的正交基, 若 E 不能扩充为更大的规范正交集. (2) 称 E 是完备正交集, 若 ∀x ∈ H , 记 Ex = {en ,n ≥ 1}是使 (x,e) ≠ 0的 E 中元素全体, 则 x 关于 Ex 的 Parseval 等式成立. 非 0 内积空间中规范正交集合以其包含关系构成半序集.根据 Zorn 引理, 其中存在极大规范正交集. 换句话说, 任一内积空间必存 在正交基. 定理 6 设 H 是 Hilbert 空间, E ⊂ H 是规范正交集, 则以下条件 等价: (1) E 是 H 的正交基. (2) span E H= (3) ∀ ∈x H x, 关于 Ex 具有 Fourier 展开式. (4) ∀x∈ H x, 关于 Ex 的 Parseval 等式成立. (5) 1 , , ( , ) ( , )( , ). n n n xy H x y xe ye ∞ = ∀∈ = ∑ ( n e ∈ Ex ∪ Ey ). (6) 若 x∈ ⊥ Hx E , , 则 x = 0. 证明 (1)⇒(2) 若有 x ∈ H \ span{E}, 记 Ex = {en }. 由 Bessel 不等式, 2 2 1 (, ) n n x e x ∞ = ∑ ≤ . 根据 Riesz-Fischer 定理, { }, x ∃ ∈y span E 1 (, ) n n n y xe e ∞ = = ∑ . 显 然 x ≠ y , 设 x y x y e − − 0 = , 则 e0 ∉ E . 由 于 ( , ) ( , ) n n x e = y e , 所以 0 ( 1,2, ) n e en ⊥ = " . 对于每个 \ ,( , ) 0. x e E E xe ∈ = 从而 ( ,) 0 n e e = , 又 ( , ) 0. y e = 所以 0 1 ( , ) [( , ) ( , )] 0 ( ) e e xe ye e E x y = − = ∀∈ − . 这说明 E e ∪{ 0} 是比 E 更大的规范正交集, 与 E 为正交基矛盾. (2) ⇔ (3) ⇔ (4). 这是定理 3 中 E = H 的情况
(4)→(5).E2,E,是可数集,故不妨设E,∪E,=enn2允许 某些系数为0,我们仍可根据E的完备性得到 ( e)e, 从而 (xy)=∑(x,en),∑(yenn) mel im(∑(x,e1,∑(yek,) im∑(xe)(y,e) ∑(xen)y,en) (5)→(6).若x∈H,(x,e)=0,由(5),|=∑xen.x.) =0,故x=0 (6)→(1).若有E∪{e}是H的规范正交集并且CgE,则 e⊥E从而e关于E的 Fourier系数全为0但eo≠0,与(6)矛盾 整个定理得证 定理6中的(6)有时称为E的完全性.当H不完备时,(6)不必与其 他条件等价 定理7设H是 Hilbert空间,则 (1)H可分当且仅当H有可数正交基 (2)当H的正交基有可数无穷多个元时,H与12等距同构 (3)当H的正交基仅有有限多个元时,H与Φ”等距同构 于是本质上说来,可分 Hilbert空间要么是P2,要么是Φ 证明1若H可分,设x1,x2…是H中的可数稠密集.从x1开始
8 (4) ⇒(5). Ex Ey , 是可数集, 故不妨设 E ∪ E = {e : n ≥ 1}. x y n 允许 某些系数为 0, 我们仍可根据 E 的完备性得到 1 1 (, ) , ( , ) nn nn n n x ee e y ye e ∞ ∞ = = = = ∑ ∑ . 从而 ( , ) ( ( , ) , ( , ) ) 1 1 n n n n n n x y ∑ ∑ x e e y e e ∞ = ∞ = = lim( ( , ) , ( , ) ) 1 1 i n i i i n i i n ∑ x e e ∑ y e e = = →∞ = lim ( , )( , ) 1 i n i i n ∑ x e y e = →∞ = ( , )( , ) 1 n n n ∑ x e y e ∞ = = (4-1-6) (5) ⇒ (6) . 若 , ( , ) 0, n x H xe ∈ = 由 (5), 2 1 ( , )( , ) n n n x xe xe ∞ = = ∑ = 0 , 故 x = 0. (6) ⇒ (1). 若 有 E ∪{e0} 是 H 的规范正交集并且 e0 ∉ E , 则 e0 ⊥ E 从而 0 e 关于 E 的 Fourier 系数全为 0 但 e0 ≠ 0 , 与(6)矛盾. 整个定理得证. 定理 6 中的(6)有时称为 E 的完全性. 当 H 不完备时, (6)不必与其 他条件等价. 定理 7 设 H 是 Hilbert 空间, 则 (1) H 可分当且仅当 H 有可数正交基. (2) 当 H 的正交基有可数无穷多个元时, H 与 2 l 等距同构. (3) 当 H 的正交基仅有有限多个元时, H 与 n Φ 等距同构. 于是本质上说来, 可分 Hilbert 空间要么是 2 l , 要么是 n Φ . 证明 D 1 若 H 可分, 设 x1 , x2 ,"是 H 中的可数稠密集. 从 1 x 开始
凡与前面诸元素线性相关的元素皆删去,剩下元素的全体构成线性无 关集.显然它的线性组合全体仍在H中稠密,利用Gram- Schmidt方法 将它们正交化得到规范正交集E,容易知道9mn{E}=spm{xn}=H 由定理6,E是H的正交基.E中有可数多个元 反之,若H的正交基有可数多个元,则其中任意有限多个元素的 有理系数(或实部、虚部均为有理数的复系数)线性组合在H中稠密 这些元素的全体至多为可数集,故H可分 2°若E是可数无穷集,定义 :H→12,o(x)=(x,e1)(x,e2)…),vx∈H q是线性映射,由 Riesz-Fischer定理,q是到上的.x,y∈H, q(x)(y)=∑(x,en)yen) lim r,e)(,ei iC∑(x,e,∑(yek) ∑(x,e)e,∑(ye;) 特别地,若x=y,则|(x)=|,q是等距的一一映射,H与P2同 构 3°(3)是(2)的特殊情况. 例1P2的标准基{enn≥l}是它的正交基。这里en的第n个坐 标为1,其余为0 例2考虑定义在[0上的 Rademacher函数序列 rn(1)= sign sin2”nt,t∈[0,1n≥
9 凡与前面诸元素线性相关的元素皆删去, 剩下元素的全体构成线性无 关集. 显然它的线性组合全体仍在 H 中稠密, 利用 Gram-Schmidt 方法 将它们正交化得到规范正交集 E , 容易知道 span{E}= span{ } xn = H . 由定理 6, E 是 H 的正交基. E 中有可数多个元. 反之, 若 H 的正交基有可数多个元, 则其中任意有限多个元素的 有理系数 (或实部、虚部均为有理数的复系数) 线性组合在 H 中稠密, 这些元素的全体至多为可数集, 故 H 可分. 2 D 若 E 是可数无穷集, 定义 2 1 2 ϕ ϕ : , ( ) (( , ),( , ), ), H l x xe xe x H → = ∀∈ " ϕ 是线性映射, 由 Riesz-Fischer 定理, ϕ 是到上的. ∀x, y ∈ H, ( ( ), ( )) ( , )( , ) 1 n n n x y ∑ x e y e ∞ = ϕ ϕ = lim ( , )( , ) 1 i n i i n ∑ x e y e = →∞ = lim( ( , ) , ( , ) ) 1 1 i n i i i n i i n ∑ x e e ∑ y e e = = →∞ = ( ( , ) , ( , ) ) 1 1 i i i i i i ∑ x e e ∑ y e e ∞ = ∞ = = = (x, y). 特别地, 若 x = y, 则 ϕ(x) = x . , ϕ 是等距的一一映射, H 与 2 l 同 构. D 3 (3) 是 (2) 的特殊情况. 例 1 2 l 的标准基 {en : n ≥ 1}是它的正交基. 这里 n e 的第 n 个坐 标为 1, 其余为 0. 例 2 考虑定义在 [0,1]上的 Rademacher 函数序列, ( ) sin 2 , [0,1] n nr t sign t t = ∈ π n ≥1
容易验证E={():n2是L[0中的正交集.但这一正交集不是完 备的.事实上,()≡1与所有rn(1)正交但不属于上述集合,定理6(6) 说明{(),n≥1不完备(即使添加到E中仍得不到完备正交集) 为了得到由E扩展成的完备正交系,让我们考察Har函数系 hO()=1,0≤t≤1 1,t∈[0,) h()={-1,t∈L,1) 其他 2,t∈[0, 其他 t∈ 1)={一 t∈[:) 其他; 2k-22k-1 t∈ 2k-12k (t)= t∈ 其他 p():1≤k≤2,n=012…}的正交性容易直接验证它还是规范 正交系为了验证它是完备的,由定理6(6),只需验证f∈L[0
10 容易验证 E rt n = { n ( ): 1 ≥ } 是 [0,1] 2 L 中的正交集. 但这一正交集不是完 备的. 事实上, 0r t() 1 ≡ 与所有 r (t) n 正交但不属于上述集合, 定理 6 (6) 说明 { } rn (t),n ≥ 1 不完备 (即使添加 0r 到 E 中仍得不到完备正交集). 为了得到由 E 扩展成的完备正交系, 让我们考察 Haar 函数系. (0) 0 ht t ( ) 1, 0 1; = ≤ ≤ (1) 0 1 1, [0, ) 2 1 ( ) 1, [ ,1) 2 0, t ht t ∈ =− ∈ 其他； − ∈ ∈ = 其他； ， ， 0 ) 2 1 , 4 1 2 [ ) 4 1 2 [0, ( ) (1) 1 t t h t − ∈ ∈ = 其他； ， ， 0, ,1) 4 3 2 [ ) 4 3 , 2 1 2 [ ( ) (2) 1 t t h t − − ∈ − − ∈ = + + + + 0, . 2 2 , 2 2 1 2 , 2 2 1 , 2 2 2 2 , ( ) 1 1 1 1 ( ) 其他 n n n n n n k n k k t k k t h t k = 1,2,",2n , n = 1,2,". { ( ) :1 2 , 0,1,2,"} ( ) h t ≤ k ≤ n = k n n 的正交性容易直接验证. 它还是规范 正交系. 为了验证它是完备的, 由定理 6 (6), 只需验证 2 ∀ ∈f L [0,1]
