Hilbert空间理论

定义1（内积空间）： 设$X$是域$\mathbb{K}$上的线性空间，其中记$\mathbb{K}$是复数域$\mathbb{C}$或实数域$\mathbb{R}$，$X$上的一个二元函数$a:X\times X\to \mathbb{K}$称为一个内积，如果：
（1）$a(\alpha x+\beta y,z)=\alpha a(x,z)+\beta a(y,z)$；
（2）$a(x,\alpha y+\beta z)=\bar{\alpha }a(x,y)+\bar{\beta }a(x,z)$；
（3）$a(x,x)\ge 0$，且$a(x,x)=0⟺x=0$；
（4）$a(x,y)=\overline{a(y,x)}$
对所有$x,y,z\in X,\alpha ,\beta \in \mathbb{K}$成立，$(X,a)$称为内积空间。

命题1（Cauchy-Schwarz）： 在内积空间$(X,(\cdot ,\cdot ))$上，令$$\Vert x\Vert =(x,x{)}^{1/2}$$称其为$x$的范数，则有$$|(x,y)|\le \Vert x\Vert \Vert y\Vert ,\forall x,y\in X,$$而且其中等号当且仅当$x$与$y$线性相关时成立。

推论1： $x,y\in X$，$\alpha \in \mathbb{C}$，有
（1）$\Vert x+y\Vert <\Vert x\Vert +\Vert y\Vert$；
（2）$\Vert \alpha x\Vert =|\alpha |\Vert x\Vert$；
（3）$\Vert x\Vert \ge 0$，且$\Vert x\Vert =0⟺x=0$。

定义2： 若内积空间$(X,(\cdot ,\cdot ),\rho )$是完备距离空间，就称此空间为一个Hilbert空间。距离空间$(X,\rho )$上的点列 { x n } \{x_n\} {xn​}称为基本列，是指当$n,m\to \infty$时，$\rho (x_n,x_m)\to 0$。距离空间$(X,\rho )$称为完备的，是指每个基本列都是收敛列。

命题1： 给定内积空间$(X,(\cdot ,\cdot ),\rho )$。假定$(X,\rho )$的完备化空间是$H$，则在$H$上存在内积$(\cdot ,\cdot {)}_H$，$H$上的距离是由内积$(\cdot ,\cdot {)}_X$导出的，并且当$x,y\in X$时$(x,y{)}_X=(x,y{)}_H$。

定义3： $H$是Hilbert空间，$x,y\in H$。若$(x,y)=0$，就称$x$与$y$正交，记作$x\perp y$。又设$A,B$是$H$的非空子集，若$\forall x\in A$和$y\in B$均有$x\perp y$，称$A$与$B$正交，记作$A\perp B$。此外集合 { x ∈ H ∣ x ⊥ A } \{x\in H|x \perp A\} {x∈H∣x⊥A}称为$A$的正交补，记作$A^{\perp }$。

命题2： 若$x_1,x_2,\cdots ,x_n$在$H$中两两正交，则$$\Vert x_1+x_2+\cdots +x_n{\Vert }^2=\Vert x_1{\Vert }^2+\Vert x_2{\Vert }^2+\cdots +\Vert x_n{\Vert }^3$$

定义4： $\mathcal{E}$是Hilbert空间$H$中一个子集合。若$\forall e,f\in \mathcal{E}$且$e\ne f$时有$e\perp f$，则称$\mathcal{E}$是正交集；若还有对每个$e\in \mathcal{E}$，$\Vert e\Vert =1$，$\mathcal{E}$称为标准正交集；又如果 E ⊥ = { θ } \mathcal{E}^{\perp}=\{\theta\} E⊥={θ}，那么称$\mathcal{E}$是完备的。

引理1： $\mathcal{E}$是Hilbert空间$H$中一个子集合。若$\forall e,f\in \mathcal{E}$且$e\ne f$时有$e\perp f$，则称$\mathcal{E}$是正交集；若还有对每个$e\in \mathcal{E}$，$\Vert e\Vert =1$，$\mathcal{E}$称为标准正交集；又如果 E ⊥ = { θ } \mathcal{E}^{\perp}=\{\theta\} E⊥={θ}，那么称$\mathcal{E}$是完备的。