最后,让我们考察有限维赋范线性空间的性质
定理3
设 X X X 是 n n n 维赋范线性空间, { e 1 , e 2 , ⋯ , e n } \left\{ e _ { 1 } , e _ { 2 } , \cdots , e _ { n } \right\} { e1,e2,⋯,en} 是 X X X的一组基,则存在常数 M M M和 M ′ , M ^ { \prime } , M′, 使得对一切
x = ∑ k = 1 n ξ k e k x = \sum _ { k = 1 } ^ { n } \xi _ { k } e _ { k } x=k=1∑nξkek
成立
M ∥ x ∥ ⩽ ( ∑ k = 1 n ∣ ξ k ∣ 2 ) 1 2 ⩽ M ′ ∥ x ∥ . M \| x \| \leqslant \left( \sum _ { k = 1 } ^ { n } \left| \xi _ { k } \right| ^ { 2 } \right) ^ { \frac { 1 } { 2 } } \leqslant M ^ { \prime } \| x \| . M∥x∥⩽(k=1∑n∣ξk∣2)21⩽M′∥x∥.
证明
对任意 x ∈ X , x \in X , x∈X, 有
∥ x ∥ = ∥ ∑ k = 1 n ξ k e k ∥ ⩽ ∑ k = 1 n ∥ e k ∥ ∣ ξ k ∣ ⩽ ( ∑ k = 1 n ∥ e k ∥ 2 ) 1 2 ( ∑ k = 1 n ∣ ξ k ∣ 2 ) 1 2 \| x \| = \left\| \sum _ { k = 1 } ^ { n } \xi _ { k } e _ { k } \right\| \leqslant \sum _ { k = 1 } ^ { n } \left\| e _ { k } \right\| \left| \xi _ { k } \right| \\ \leqslant \left( \sum _ { k = 1 } ^ { n } \left\| e _ { k } \right\| ^ { 2 } \right) ^ { \frac { 1 } { 2 } } \left( \sum _ { k = 1 } ^ { n } \left| \xi _ { k } \right| ^ { 2 } \right) ^ { \frac { 1 } { 2 } } ∥x∥= k=1∑nξkek ⩽k=1∑n∥ek∥∣ξk∣⩽(k=1∑n∥ek∥2)21(k=1∑n∣ξk∣2)2