泛函分析基础9-3-希尔伯特空间1-3：定义2【n项部分和】

仿照欧氏空间中正交坐标系的概念，我们在内积空间中引入正交系的概念.

---

我们在内积空间中引入规范正交系的目的是要把空间中的向量关于规范正交系展开成级数，为此，首先介绍一般赋范线性空间中级数收敛的概念.

定义2

设 $X$ 是赋范线性空间， $x_i,i=1,2,\cdots$ 是 $X$中一列向量， ${\alpha }_1,{\alpha }_2,\cdots$ 是一列数，作形式级数

$$\sum _{i=1}^{\infty }{\alpha }_i{x}_i,(3)$$

称 $S_n={\sum }_{i=1}^n{\alpha }_i{x}_i$ 为级数(3)的 $n$ 项部分和，若存在 $x\in X,$ 使$S_n\to x(n\to \infty ),$ 则称级数(3)收敛，并称 $x$ 为这个级数的和，记为$x={\sum }_{i=1}^{\infty }{\alpha }_i{x}_i.$

若 $M$ 为 $X$ 中规范正交系， $e_1,e_2,\cdots$ 是 $M$中有限或可列个向量，且$x={\sum }_{i=1}^{\infty }{\alpha }_i{e}_i,$ 则对每个正整数 $j,$ 由内积连续性，可以得到

$$⟨x,e_j⟩=⟨\sum _{i=1}^{\infty }{\alpha }_i{e}_i,e_j⟩=\sum _{i=1}^{\infty }{\alpha }_i(e_i,e_j⟩={\alpha }_j,$$

所以$x={\sum }_{j=1}^{\infty }⟨x,e_j⟩e_f.$

定义3

设 $M$ 为内积空间 $X$ 中的规范正交系 $x\in X,$ 称数集

$$\{⟨x,e⟩:e\in M\}$$

为向量 $x$ 关于规范正交系 $M$ 的傅里叶系数集，而称$⟨x,e⟩$ 为 $x$ 关于 $e$ 的傅里叶系数

例3
设 $X=L^2[0,2\pi ],M$ 为例2中三角函数系，记$e_0(x)=\frac{1}{\sqrt{2}},e_1(x)=\cos x,e_2(x)$
$=\sin x,\cdots ,e_{2n-1}(x)=\cos nx,e_{2n}(x)=\sin nx,\cdots ,$对于任何 $f\in L^2[0,2\pi ],f$ 关于 $M$ 的傅里叶系数集即为

$$\begin{array}{r}{a}_0=\frac{1}{\sqrt{2}\pi }{\int }_0^{2\pi }f(t)\mathrm{d}t=⟨f,e_0⟩,\\ a_n=\frac{1}{\pi }{\int }_0^{2\pi }f(t)\cos nt\mathrm{d}t=⟨f,e_{2n-1}⟩,n=1,2,\cdots ,\\ b_n=\frac{1}{\pi }{\int }_0^{2\pi }f(t)\sin nt\mathrm{d}t=⟨f,e_{2n}⟩,n=1,2,\cdots .\end{array}$$

所以内积空间 $X$ 中向量 $x$ 关于规范正交系 $M$的傅里叶系数实际上是数学分析中傅里叶系数概念的推广，

下面讨论傅里叶系数的性质.

引理1

设 $X$ 是 内积空间， $M$ 是 $X$ 中 规范正交系，任取 $M$ 中有限个向量 $e_1,e_2,\cdots ,$$e_n,$ 那么有

(1) $${\Vert x-\sum _{i=1}^n⟨x,e_i⟩e_i\Vert }^2=\Vert x{\Vert }^2-\sum _{i=1}^n{\left|⟨x,e_i⟩\right|}^2⩾0;$$
(2) $$\Vert x-\sum _{i=1}^n{\alpha }_i{e}_i\Vert ⩾\Vert x-\sum _{i=1}^n⟨x,e_i⟩e_i\Vert ,其中{\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n为任意n个数$$

证明
因对任意 $n$ 个数${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n,$ 有

$$\begin{array}{r}{\Vert x-\sum _{i=1}^n{\alpha }_i{e}_i\Vert }^2=⟨x-\sum _{i=1}^n{\alpha }_i{e}_i,x-\sum _{i=1}^n{\alpha }_i{e}_i⟩\\ =⟨x,x⟩-⟨\sum _{i=1}^n{\alpha }_i{e}_i,x⟩-⟨x,\sum _{i=1}^n{\alpha }_i{e}_i⟩+⟨\sum _{i=1}^n{\alpha }_i{e}_i,\sum _{i=1}^n{\alpha }_i{e}_i⟩\\ =\Vert x{\Vert }^2-2\mathrm{Re}\sum _{i=1}^n{\bar{\alpha }}_i⟨x,e_i⟩+\sum _{i=1}^n{\left|{\alpha }_i\right|}^2.\end{array}$$

令${\alpha }_i=⟨x,e_i⟩,i=1,2,\cdots ,n,$代入上式即得(1).另一方面，由上式及结论(1)，我们又有

$${\Vert x-\sum _{i=1}^n{\alpha }_i{e}_i\Vert }^2-{\Vert x-\sum _{i=1}^n⟨x,e_i⟩e_i\Vert }^2=\sum _{i=1}^n{\left|{\alpha }_i-⟨x,e_i⟩\right|}^2⩾0.$$

由此知(2)成立.

从引理1中(2)的证明中可以看出，在(2)中仅当${\alpha }_i=⟨x,e_i⟩,i=1,2,\cdots ,n$时，等号才成立.其次还可以看出，若用$e_1,e_2,\cdots ,e_n$ 的线性组合逼近 $x,$ 则取${\alpha }_i=⟨x,e_i⟩,i=1,$$2,\cdots ,n$ 时的逼近为最佳。

定理1（贝塞尔( Bessel)不等式）

设 { e k } \left\{ e _ { k } \right\} {ek​} 是内积空间$X$ 中的有限或可数规范正交系，那么对每个 $x\in X,$ 成立不等式

$$\sum _{i=1}^{\infty }{\left|⟨x,e_i⟩\right|}^2⩽\Vert x{\Vert }^2.(4)$$

证明
如果 { e k } \left\{ e _ { k } \right\} {ek​}中只有有限个向量，则结论由引理1的(1)立即可得.当 { e k } \left\{ e _ { k } \right\} {ek​} 可数时，只要在引理1的(1)中令 $n\to \infty ,$ 即得(4)式.

如果贝塞尔不等式中等号成立，则称此等式为帕塞瓦尔( Parseval)等式

引理2

设 $\left|e_k\right\}$ 为 希尔伯特空间 $X$中可数规范正交系，那么

(1)级数 ${\sum }_{i=1}^{\infty }{\alpha }_i{e}_i$收敛的充要条件为级数${\sum }_{i=1}^{\infty }{\left|{\alpha }_i\right|}^2$收敛；
(2)若 $x={\sum }_{i=1}^{\infty }{\alpha }_i{e}_i,$ 则${\alpha }_i=⟨x,e_i⟩,i=1,2,\cdots ,$故$x={\sum }_{i=1}^{\infty }⟨x,e_i⟩e_i;$
(3)对任何 $x\in X,$ 级数${\sum }_{i=1}^{\infty }⟨x,e_i⟩e_i$收敛.

证明
(1)设$S_n={\sum }_{i=1}^n{\alpha }_i{e}_i,{\sigma }_n={\sum }_{i=1}^n{\left|{\alpha }_i\right|}^2,$
由于 { e i } \left\{ e _ { i } \right\} {ei​} 为规范正交系，所以对任何正整数 $m$ 和 $n,n>m,$ 有

$${\Vert S_n-S_m\Vert }^2={\Vert {\alpha }_{m+1}{e}_{m+1}+{\alpha }_{m+2}{e}_{m+2}+\cdots +{\alpha }_n{e}_n\Vert }^2=\sum _{i=m+1}^n{\left|{\alpha }_i\right|}^2={\sigma }_n-{\sigma }_m,$$

所以 $\left|S_n\right\}$ 是 $X$ 中柯西点列的充要条件为 { σ n } \left\{ \sigma _ { n } \right\} {σn​} 是柯西数列，由 $X$ 和数域的完备性知，(1)成立.

(2)前已证过；
(3)由贝塞尔不等式知，${\sum }_{i=1}^{\infty }{\left|⟨x,e_i⟩\right|}^2$收敛，由(1)及(2)，知${\sum }_{i=1}^{\infty }⟨x,e_i⟩e_i$收敛.

推论1

设 { e i } \left\{ e _ { i } \right\} {ei​} 是 $X$ 中 可数规范正交系，则对任何$x\in X,$

$$\underset{n\to \infty }{\lim }⟨x,e_n⟩=0.(5)$$

证明
由定理1，对任何$x\in X,{\sum }_{i=1}^{\infty }{\left|⟨x,e_i⟩\right|}^2⩽\Vert x{\Vert }^2$收敛，所以一般项 $⟨x,e_n⟩$$\to 0(n\to \infty ).$

当 $X$ 为 $L^2[0,2\pi ],M$为三角函数系时，推论1即为黎曼-勒贝格引理.下面讨论一般规范正交系的贝塞尔不等式设 { e k , k ∈ A } \left\{ e _ { k } , k \in A \right\} {ek​,k∈A} 是$X$ 中规范正交系，其中 $\Lambda$ 为 一指标集，那么对任一 $x\in X,A$ 中使$⟨x,e_k⟩\ne 0$ 的指标 $k$至多只有可数个.事实上，由贝塞尔不等式，易知对任何正整数 $m,$ 使$\left|⟨x,e_k⟩\right|>\frac{1}{m}$的 指标 $k$ 至多只有有限个，所以集

{ e k : ⟨ x , e k ⟩ ≠ 0 } = ⋃ m = 1 ∞ { e k : ∣ ⟨ x , e k ⟩ ∣ > 1 m } \left\{ e _ { k } : \left\langle x , e _ { k } \right\rangle \neq 0 \right\} = \bigcup _ { m = 1 } ^ { \infty } \left\{ e _ { k } : \left| \left\langle x , e _ { k } \right\rangle \right| > \frac { 1 } { m } \right\} {ek​:⟨x,ek​⟩=0}=m=1⋃∞​{ek​:∣⟨x,ek​⟩∣>m1​}

至多为可数集.由此可以形式地作级数

$$\sum _{k\in A}⟨x,e_k⟩e_k,(6)$$

其中和式理解成对所有使 $⟨x,e_k⟩\ne 0$的指标 $k$ 相加.因此贝塞尔不等式可以写成

$$\sum _{k\in A}{\left|⟨x,e_k⟩\right|}^2⩽\Vert x{\Vert }^2.(7)$$

我们的兴趣在于什么时候向量 $x$可以写成由傅里叶系数所作级数(6)的和，为此，首先引入完全规范正交系的概念

定义4

设 $M$ 是内积空间 $X$ 中 的规范正交系，如果

$$\mathrm{spanM}=X,(8)$$

则称 $M$ 是 $X$ 中 的完全规范正交系

利用本章 $\mathrm{S}$ 2引理3，立即可以得到下列定理

定理2

设 $M$ 是希尔伯特空间 $X$ 中规范正交系，那么 $M$ 完全的充要条件为$M^{\perp }=$ { 0 } . \{ 0 \} . {0}.

这个定理告诉我们，在完全规范正交系中不能再加进新的向量，使之成为更大的规范正交系.我们也可以用帕塞瓦尔等式来检验规范正交系的完全性。

定理3

$M$ 是希尔伯特空间中完全规范正交系的充要条件为对所有 $x\in X,$成立帕塞瓦尔等式，

证明
充分性
设帕塞瓦尔等式对所有 $x\in X$ 成立，若 $M$不完全，由定理2，存在$x_0\ne 0,x_0\perp M.$ 所以对任何 $e\in M,$ 有$⟨x_0,e⟩=0,$ 由于对该 $x_0$成立帕塞瓦尔等式

$${\Vert x_0\Vert }^2=\sum _{z\in M}{\left|⟨x_0,e⟩\right|}^2,$$

所以 $\Vert x_0\Vert =0,$ 即 $x_0=0,$ 这与$x_0\ne 0$ 矛盾.

必要性
设 $M$ 是 $X$ 中完全规范正交系，对任何 $x\in X,$设其非零傅里叶系数为$⟨x,e_1⟩,⟨x,e_2⟩,\cdots ,$由引理2，级数${\sum }_{i=1}^{\infty }⟨x,e_i⟩e_i$收 敛，设其和为 $y,$ 则对任何正整数$i,$ 有

$$⟨x-y,e_i⟩=⟨x,e_i⟩-\sum _{j=1}^{\infty }⟨x,e_j⟩⟨e_j,e_i⟩=⟨x,e_i⟩-⟨x,e_i⟩=0.$$

又对 $M$ 中一切使 $⟨x,e⟩=0$ 的向量 $e,$ 有

$$⟨x-y,e⟩=⟨x,e⟩-\sum _{j=1}^{\infty }⟨x,e_j⟩⟨e_j,e⟩=0.$$

因此， $x-y\perp M.$ 由 $M$ 的完全性，得到 $x-y=0,$ 即$x=y.$ 所以$x={\sum }_{j=1}^{\infty }⟨x,e_j⟩e_f.$由此得到

$$\Vert x{\Vert }^2=\sum _{j=1}^{\infty }{\left|⟨x,e_j⟩\right|}^2=\sum _{e\in M}|⟨x,e⟩{|}^2,$$

即帕塞瓦尔等式成立。

由定理3的证明可以看出，当 $M$ 是希尔伯特空间 $X$ 中 完全规范正交系时，$X$ 中每个向量 $x$ 都可以展开成级数

$$x=\sum _{e\in M}⟨x,e⟩e,(9)$$

(9)式称为向量 $x$ 关于规范正交系 $M$ 的 傅里叶展开式

推论2（斯捷克洛夫(C TeKIOB )定理）

设 $M$ 是希尔伯特空间 $X$ 中规范正交系，若帕塞瓦尔等式在 $X$ 的 某个稠密子集 $A$ 上 成立，则 $M$ 完全.

证明
设 $E=\mathrm{span}M,$ 则 $E$ 是 $X$ 中闭线性子空间，因在 $A$ 上帕塞瓦尔等式成立，由定理3，易知对 $A$ 中每个向量 $x,$ 都成立

$$x=\sum _{r\in M}⟨x,e⟩e,$$

所以 $x\in E,$ 因而 $A\subset E,$ 由于 $E$ 是闭线性子空间，故有$\bar{A}\subset E,$ 但因 $\bar{A}=X,$ 所以 $E=X,$ 即 $M$是 $X$ 中完全规范正交系.

利用推论2不难证明例2中三角函数系是 $L^2[0,2\pi ]$中完全规范正交系，所以对任何 $f\in L^2[0,2\pi ],f(x)$ 都可展开成傅里叶级数

$$f(x)=a_0+\sum _{k=1}^{\infty }\left(a_k\cos kx+b_k\sin kx\right),$$

其中等号右端级数是指在 $L^2[0,2\pi ]$ 中平方平均收敛，$a_0,a_k,b_k$ 分别为例3中 $f$ 关于三角函数系的傅里叶系数.

由上所述，可见完全规范正交系是研究希尔伯特空间的重要工具，那么是否每个非零希尔伯特空间都有完全规范正交系，以及如何去得到完全规范正交系？为此首先介绍一般的格拉姆-施密特(Gram- Schmidt)正交化过程.

引理3

设 { x 1 , x 2 , ⋯   } \left\{ x _ { 1 } , x _ { 2 } , \cdots \right\} {x1​,x2​,⋯} 是内积空间 $X$中有限或可数个线性无关向量，那么必有 $X$中规范正交系 $\left|e_1,e_2\cdots \right\},$ 使对任何正整数 $n,$ 有

span ⁡ { e 1 , e 2 , ⋯   , e n } = span ⁡ { x 1 , x 2 , ⋯   , x n } . \operatorname { s p a n } \left\{ e _ { 1 } , e _ { 2 } , \cdots , e _ { n } \right\} = \operatorname { s p a n } \left\{ x _ { 1 } , x _ { 2 } , \cdots , x _ { n } \right\} . span{e1​,e2​,⋯,en​}=span{x1​,x2​,⋯,xn​}.

证明
令$e_1=\frac{x_1}{\Vert x_1\Vert },$ 则$\Vert e_1\Vert =1,$ 且 span ⁡ { e 1 } = span ⁡ { x 1 } , \operatorname { s p a n } \left\{ e _ { 1 } \right\} = \operatorname { s p a n } \left\{ x _ { 1 } \right\} , span{e1​}=span{x1​}, 令 $v_2=x_2-⟨x_2,e_1⟩e_1,$因为 $x_1,x_2$ 线性无关，所以 $v_2\ne 0,$ 且$v_2\perp e_1.$ 令$e_2=\frac{v_2}{\Vert v_2\Vert },$ 则$\Vert e_2\Vert =1,$ 且 $e_2\perp e_1.$ 显然 span ⁡ { e 1 , e 2 } = span ⁡ { x 1 , x 2 } . \operatorname { s p a n } \left\{ e _ { 1 } , e _ { 2 } \right\} = \operatorname { s p a n } \left\{ x _ { 1 } , x _ { 2 } \right\} . span{e1​,e2​}=span{x1​,x2​}.如果已作了 $e_1,e_2,\cdots ,e_{n-1},$ 其中$\Vert e_i\Vert =1,i=1,2,\cdots ,n-1,$并且两两正交，满足 span ⁡ { e 1 , e 2 , ⋯   , e n − 1 } = span ⁡ { x 1 , x 2 , ⋯   , x n − 1 } , \operatorname { s p a n } \left\{ e _ { 1 } , e _ { 2 } , \cdots , e _ { n - 1 } \right\} = \operatorname { s p a n } \left\{ x _ { 1 } , x _ { 2 } , \cdots , x _ { n - 1 } \right\} , span{e1​,e2​,⋯,en−1​}=span{x1​,x2​,⋯,xn−1​},则令 $v_n=x_n-{\sum }_{k=1}^{n-1}⟨x_n,$$e_k{e}_k.$ 由 $x_1,x_2,\cdots ,x_n$线性无关知， $v_n\ne 0,$ 令 $e_n=\frac{v_n}{\Vert v_n\Vert },$ 则$\Vert e_n\Vert =1,$ 且$e_n\perp e_i,i=1,$$2,\cdots ,n-1.$ 又显然满足 span ⁡ { e 1 , e 2 ⋯   , e n } = span ⁡ { x 1 , x 2 , ⋯   , x n } . \operatorname { s p a n } \left\{ e _ { 1 } , e _ { 2 } \cdots , e _ { n } \right\} = \operatorname { s p a n } \left\{ x _ { 1 } , x _ { 2 } , \cdots , x _ { n } \right\} . span{e1​,e2​⋯,en​}=span{x1​,x2​,⋯,xn​}.这样一直作下去，即可得到所要求的规范正交系，

引理3的过程称为格拉姆一施密特正交化过程，容易明白，${\sum }_{i=1}^{n-1}⟨x_n,e_i⟩e_i$是向量 $x_n$在空间 span ⁡ { x 1 , x 2 , ⋯   , x n − 1 } \operatorname { s p a n } \left\{ x _ { 1 } , x _ { 2 } , \cdots , x _ { n - 1 } \right\} span{x1​,x2​,⋯,xn−1​}上的投影

定理4

每个非零希尔伯特空间必有完全规范正交系

证明
只对可分的情况证明.设 $X$ 为可分希尔伯特空间，则存在有限或可数个向量 { x i } , \left\{ x _ { i } \right\} , {xi​}, 使 span ⁡ { x i } ⁡ ‾ = X \overline{\operatorname* {\operatorname { s p a n } \left\{ x _ { i } \right\}}}= X span{xi​}​=X，不妨设 { x i } \left\{ x _ { i } \right\} {xi​} 为 $X$ 中 的线性无关子集，否则可取 { x i } \left\{ x _ { i } \right\} {xi​} 中的线性无关子集.由引理3，存在有限或可数的规范正交系 { e i } , \left\{ e _ { i } \right\} , {ei​}, 使 对任何正整数 $n,$ 有

span ⁡ { e 1 , e 2 , ⋯   , e n } = span ⁡ { x 1 , x 2 , ⋯   , x n } , \operatorname { s p a n } \left\{ e _ { 1 } , e _ { 2 } , \cdots , e _ { n } \right\} = \operatorname { s p a n } \left\{ x _ { 1 } , x _ { 2 } , \cdots , x _ { n } \right\} , span{e1​,e2​,⋯,en​}=span{x1​,x2​,⋯,xn​},

所以，由 $\left|e_i\right|$ 张成的线性空间包含$\left|x_i\right|,$ 因此 span ⁡ { e i } ‾ ⊃ span ⁡ { x i } ‾ = X , \overline{\operatorname { s p a n } \left\{ e _ { i } \right\}} \supset \overline{\operatorname { s p a n } \left\{ x _ { i } \right\}} = X , span{ei​}​⊃span{xi​}​=X,即 $\left|e_i\right\}$ 是 $X$ 中 完全规范正交系。

可以证明，如果 $M$ 及 $M_1$ 同为希尔伯特空间 $X$ 的完全规范正交系，那么 $M$ 和 $M_1$ 具有相同的基数，称这个基数为 $X$ 的希尔伯特维数，若 X = { 0 } , X = \{ 0 \} , X={0}, 则定义$X$ 的希尔伯特维数为0.由格拉姆-施密特正交化过程易知，当 $X$是有限维空间时，希尔伯特维数与线性维数一致.

为了研究希尔伯特空间及其上的线性算子，把一个抽象的希尔伯特空间表示成一个具体的希尔伯特空间是有好处的

定义5

设 $X$ 和 $\tilde{X}$ 是 两个内积空间，若存在 $X$ 到$\tilde{X}$ 上 的映射 $T,$ 使 对任何 $x,y\in X$及数 $\alpha ,\beta ,$ 满足

$$T(\alpha x+\beta y)=\alpha Tx+\beta Ty,(10)$$

$⟨Tx,Ty⟩=⟨x,y⟩,$则称 $X$ 和 $\tilde{X}$ 同 构，并称 $T$ 为 $X$ 到 $\tilde{X}$ 上的同构映射

定理5

两个希尔伯特空间 $X$ 与 $\tilde{X}$ 同 构的充要条件是 $X$ 与$\tilde{X}$ 具 有相同的希尔伯特维数

证明
若 $X$ 与 $\tilde{X}$ 同 构， $T$ 为 $X$ 到 $\tilde{X}$ 上的同构映射，由(10)易知 $T$ 将 $X$ 中 完全规范正交系映射成 $\tilde{X}$ 中 完全规范正交系，并且 $T$ 是一对一的，所以$X$ 与 $\tilde{X}$ 具有相同的希尔伯特维数.反之，若 $X$ 与 $\tilde{X}$ 的 希尔伯特维数相同，不妨设$X\ne |0|,$ 否则结论是平凡的.设$M$ 和 $\tilde{M}$ 分 别为 $X$ 和 $\tilde{X}$ 中完全规范正交系，由假设， $M$ 和 $\tilde{M}$ 具 有相同的基数，所以可将$M$ 与 $\tilde{M}$ 分别写成 M = { e k , k ∈ A } , M ~ = { e ~ k , k ∈ A } , M = \left\{ e _ { k } , k \in A \right\} , \tilde { M } = \left\{ \tilde { e } _ { k } , k \in A \right\} , M={ek​,k∈A},M~={e~k​,k∈A},其中 $\Lambda$ 为与 $M$ 和 $\tilde{M}$ 等基数的指标集，由定理3及(9)式，对任何 $x\in X$ 及$\tilde{x}\in \tilde{M},$ 有

$$x=\sum _{k\in A}⟨x,e_k⟩e_k,\tilde{x}=\sum _{k\in A}⟨\tilde{x},{\tilde{e}}_k⟩{\tilde{e}}_k,$$

并且 ${\sum }_{k\in A}{\left|⟨x,e_k⟩\right|}^2=\Vert x{\Vert }^2<\infty ,{\sum }_{k\in A}{\left|⟨\tilde{x},{\tilde{e}}_k⟩\right|}^2=\Vert \tilde{x}{\Vert }^2<\infty ,$ 设$x={\sum }_{k\in A}⟨x,e_k⟩e_k,$令$Tx={\sum }_{k\in A}⟨x,e_k⟩{\hat{e}}_k,$由引理2， $Tx\in \bar{X},$ 且对 $X$ 中任意两个向量，$x={\sum }_{k\in A}⟨x,e_k⟩e_k,y$$={\sum }_{k\in A}⟨y,e_k⟩e_k,$有

$$\begin{array}{r}⟨Tx,Ty⟩=⟨\sum _{k\in A}⟨x,e_k⟩{\hat{e}}_k,\sum _{k\in A}⟨y,e_k⟩{\hat{e}}_k⟩\\ =\sum _{k\in A}⟨x,e_k⟩⟨y,e_k⟩=⟨x,y⟩.\end{array}$$

又若$\tilde{x}={\sum }_{k\in A}⟨\tilde{x},{\tilde{e}}_k⟩{\hat{e}}_k$为 $\tilde{X}$ 中任何向量，令$x={\sum }_{k\in A}⟨\tilde{x},{\tilde{e}}_k⟩e_k,$由引理2知 $x\in X,$ 显然$Tx=\bar{x},$ 即 $T$ 是 到 $\tilde{X}$ 上 的映射易知 $T$ 也保持线性运算不变，所以 $T$ 为 $X$ 到 $\tilde{X}$ 上 同构映射，即 $X$ 与 $\tilde{X}$ 同 构.

对于可分希尔伯特空间，由定理5，并利用格拉姆-施密特方法，立即可以得到下面的推论.

推论3

任何可分希尔伯特空间必和某个${\mathbf{R}}^n\left({\mathbf{C}}^n\right)$ 或$l^2$ 同构.