内积的性质（Hilbert空间）

内积的性质($\mathrm{Hilbert}$空间)

$\mathrm{Schwarz}$不等式

定理：设$H$是内积空间，则对任意$x,y\in H$，有
$$|(x,y){|}^2\le (x,x)(y,y).$$
**注：**等号成立的充要条件是$x$与$y$线性相关。

内积空间的范数

定理：设$H$是内积空间，则对任意$x\in H$,定义
$$||x||=\sqrt{(x,x)}$$
则$||\cdot ||$是$H$上的范数。

注：

（1）内积空间一定是赋范空间。

（2）在范数的记号下，$\mathrm{Schwarz}$不等式可写成$|(x,y)|\le ||x|\cdot ||y||$

内积的连续性

**定理：**在内积空间$H$中，若$x_n\to x,y_n\to y$则
$$(x_n,y_n)\to (x,y)(n\to \infty ).$$

说明极限运算和内积可以交换次序：
$$\underset{n\to \infty }{\lim }(x_n,y_n)=(\underset{n\to \infty }{\lim }{x}_n,\underset{n\to \infty }{\lim }{y}_n)$$

$\mathrm{Hilbert}$空间的定义

设$H$是内积空间，如果由内积导出赋范空间是完备的，

则称$H$是完备的。完备的内积空间称为**$\mathrm{Hilbert}$空间**。

注：$l^2$为平方可和的数列全体。$L^2[a,b]$平方可积的函数全体。