仿照欧氏空间中正交坐标系的概念,我们在内积空间中引入正交系的概念.
定义1
设 M M M 是 内积空间 X X X 的 一个不含零的子集,若 M M M中向量两两正交,则称 M M M为 X X X 中 的正交系,又若 M M M 中 向量的范数都为1,则称 M M M 为 X X X中规范正交系。
正交系有以下基本性质.
-
1
∘
1 ^ { \circ }
1∘ 对正交系
M
M
M 中任意有限个向量
x
1
,
x
2
,
⋯
,
x
n
,
x _ { 1 } , x _ { 2 } , \cdots , x _ { n } ,
x1,x2,⋯,xn, 有
∥ x 1 + x 2 + ⋯ + x n ∥ 2 = ∥ x 1 ∥ 2 + ∥ x 2 ∥ 2 + ⋯ + ∥ x n ∥ 2 . ( 1 ) \left\| x _ { 1 } + x _ { 2 } + \cdots + x _ { n } \right\| ^ { 2 } = \left\| x _ { 1 } \right\| ^ { 2 } + \left\| x _ { 2 } \right\| ^ { 2 } + \cdots + \left\| x _ { n } \right\| ^ { 2 } .\quad\quad(1) ∥x1+x2+⋯+xn∥2=∥x1∥2+∥x2∥2+⋯+∥xn∥2.(1)
事实上,由于 M M M 中向量两两正交,所以
∥ ∑ i = 1 n x i ∥ 2 = ⟨ ∑ i = 1 n x i , ∑ i = 1 n x i ⟩ = ∑ i , j = 1 n ⟨ x i , x i ⟩ = ∑ i = 1 n ⟨ x i , x i ⟩ = ∑ i = 1 n ∥ x i ∥ 2 . \left\| \sum _ { i = 1 } ^ { n } x _ { i } \right\| ^ { 2 } = \left\langle \sum _ { i = 1 } ^ { n } x _ { i } , \sum _ { i = 1 } ^ { n } x _ { i } \right\rangle = \sum _ { i , j = 1 } ^ { n } \left\langle x _ { i } , x _ { i } \right\rangle = \sum _ { i = 1 } ^ { n } \left\langle x _ { i } , x _ { i } \right\rangle = \sum _ { i = 1 } ^ { n } \left\| x _ { i } \right\| ^ { 2 } . i=1∑nxi 2=⟨i=1∑nxi,i=1∑nxi⟩=i,j=1∑n⟨xi,xi⟩=i=1∑n⟨xi,xi⟩=i=1∑n∥xi∥2. -
2
∘
2 ^ { \circ }
2∘ 正交系
M
M
M 是
X
X
X 中线性无关子集。事实上,设
x
1
,
x
2
,
⋯
,
x
n
∈
M
,
x _ { 1 } , x _ { 2 } , \cdots , x _ { n } \in M ,
x1,x2,⋯,xn∈M, 而且
∑
i
=
1
n
α
i
x
i
=
0
,
\sum _ { i = 1 } ^ { n } \alpha _ { i } x _ { i } = 0 ,
∑i=1nαixi=0,其中
α
1
,
α
2
,
⋯
,
α
n
\alpha _ { 1 } , \alpha _ { 2 } , \cdots , \alpha _ { n }
α1,α2,⋯,αn 为
n
n
n个数,则对任何
1
⩽
j
⩽
n
,
1 \leqslant j \leqslant n ,
1⩽j⩽n, 有
0 = ⟨ ∑ i = 1 n α i x i , x j ⟩ = α j ⟨ x j , x j ⟩ = α j ∥ x j ∥ 2 . ( 2 ) 0 = \left\langle \sum _ { i = 1 } ^ { n } \alpha _ { i } x _ { i } , x _ { j } \right\rangle = \alpha _ { j } \left\langle x _ { j } , x _ { j } \right\rangle = \alpha _ { j } \left\| x _ { j } \right\| ^ { 2 } .\quad\quad(2) 0=⟨i=1∑nαixi,xj⟩=αj⟨xj,xj⟩=αj∥xj∥2.(2)
由于 x j ≠ 0 , x _ { j } \neq 0 , xj=0, 因此 α j = 0 , \alpha _ { j } = 0 , αj=0, 所以 x 1 , x 2 , ⋯ , x n x _ { 1 } , x _ { 2 } , \cdots , x _ { n } x1,x2,⋯,xn 线性无关.这就证明了 M M M 是 X X X 中 线性无关子集。