泛函分析基础9-3-希尔伯特空间1-2：正交系基本性质【①正交系M中任意有限个向量x₁，…xₙ，有∥x₁+…+xₙ∥²=∥x₁∥²+…+∥xₙ∥²；②正交系M是内积空间X中线性无关子集】

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

定义1

设 $M$ 是 内积空间 $X$ 的 一个不含零的子集，若 $M$中向量两两正交，则称 $M$为 $X$ 中 的正交系，又若 $M$ 中 向量的范数都为1，则称 $M$ 为 $X$中规范正交系。

---

正交系有以下基本性质.

• $1^{\circ }$ 对正交系 $M$ 中任意有限个向量$x_1,x_2,\cdots ,x_n,$ 有
  $${\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 }^2.(1)$$
  事实上，由于 $M$ 中向量两两正交，所以
  $${\Vert \sum _{i=1}^n{x}_i\Vert }^2=⟨\sum _{i=1}^n{x}_i,\sum _{i=1}^n{x}_i⟩=\sum _{i,j=1}^n⟨x_i,x_i⟩=\sum _{i=1}^n⟨x_i,x_i⟩=\sum _{i=1}^n{\Vert x_i\Vert }^2.$$
• $2^{\circ }$ 正交系 $M$ 是 $X$ 中线性无关子集。事实上，设$x_1,x_2,\cdots ,x_n\in M,$ 而且${\sum }_{i=1}^n{\alpha }_i{x}_i=0,$其中 ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n$ 为 $n$个数，则对任何 $1⩽j⩽n,$ 有
  $$0=⟨\sum _{i=1}^n{\alpha }_i{x}_i,x_j⟩={\alpha }_j⟨x_j,x_j⟩={\alpha }_j{\Vert x_j\Vert }^2.(2)$$
  由于 $x_j\ne 0,$ 因此 ${\alpha }_j=0,$ 所以$x_1,x_2,\cdots ,x_n$ 线性无关.这就证明了 $M$ 是$X$ 中 线性无关子集。