定义
设 X X X 是复线性空间,如果对 X X X 中任何两个向量 x , y , x , y , x,y, 有一复数 ⟨ x , y ⟩ \langle x , y \rangle ⟨x,y⟩ 与之对应,并且满足下列条件:
- 1 ∘ ⟨ x , x ⟩ ⩾ 0 , 1 ^ { \circ } \langle x , x \rangle \geqslant 0 , 1∘⟨x,x⟩⩾0, 且 ⟨ x , x ⟩ = 0 \langle x , x \rangle = 0 ⟨x,x⟩=0 等价于 x = 0 , x ∈ X ; x = 0 , x \in X ; x=0,x∈X;【正定性】
- 2 ∘ ⟨ α x + β y , z ⟩ = α ⟨ x , z ⟩ + β ⟨ y , z ⟩ , x , y , z ∈ X , α , β 2 ^ { \circ } \langle \alpha x + \beta y , z \rangle = \alpha \langle x , z \rangle + \beta \langle y , z \rangle , x , y , z \in X , \alpha , \beta 2∘⟨αx+βy,z⟩=α⟨x,z⟩+β⟨y,z⟩,x,y,z∈X,α,β为复数;【第一变元线性性】
- 3 ∘ ⟨ x , y ⟩ = ⟨ y , x ⟩ ‾ , x , y ∈ X , 3 ^ { \circ } \langle x , y \rangle = \overline{\langle y , x \rangle} , x , y \in X , 3∘⟨x,y⟩=⟨y,x⟩,x,y∈X,【共轭对称性】
则称 ⟨ x , y ⟩ \langle x , y \rangle ⟨x,y⟩ 为 x x x 与 y y y 的 内积, X X X 称 为内积空间。
如果 X X X 是实的线性空间,则条件 3 ∘ 3 ^ { \circ } 3∘ 就改为
⟨ x , y ⟩ = ⟨ y , x ⟩ . \langle x , y \rangle = \langle y , x \rangle . ⟨x,y⟩=⟨y,x⟩.
从内积的定义,立即可以得到下面的等式
⟨ x , α y + β z ⟩ = α ˉ ⟨ x , y ⟩ + β ˉ ⟨ x , z ⟩ . ( 2 ) \langle x , \alpha y + \beta z \rangle = \bar { \alpha } \langle x , y \rangle + \bar { \beta } \langle x , z \rangle .\quad\quad(2) ⟨x,αy+βz⟩=αˉ⟨x,y⟩+βˉ⟨x,z⟩.(2)
设 X X X 是内积空间,令
∥ x ∥ = ⟨ x , x ⟩ , ( 3 ) \| x \| = \sqrt { \langle x , x \rangle } ,\quad\quad(3) ∥x∥=⟨x,x⟩,(3)
那么 ∥ ⋅ ∥ \| \cdot \| ∥⋅∥ 是 X X X 上 的范数.
为了证明范数不等式 ∥ x + y ∥ ⩽ ∥ x ∥ + ∥ y ∥ \| x + y \| \leqslant \| x \| + \| y \| ∥x+y∥⩽∥x∥+∥y∥, 我们首先证明施瓦茨( Schwarz)不等式。
引理(施瓦茨不等式)
设 X X X 按内积 ⟨ x , y ⟩ \langle x , y \rangle ⟨x,y⟩ 成为内积空间,则对于 X X X 中任意向量 x x x, y y y, 成立不等式
∣ ⟨ x , y ⟩ ∣ ⩽ ∥ x ∥ ∥ y ∥ . ( 4 ) | \langle x , y \rangle | \leqslant \| x \| \| y \| .\quad\quad(4) ∣⟨x,y⟩∣⩽∥x∥∥y∥.(4)
当且仅当 x x x 与 y y y 线性相关时,不等式(4)中等号才成立.
证明
如果 y = 0 y = 0 y=0, 易知对一切 x ∈ X , ⟨ x , 0 ⟩ = 0 x \in X , \langle x , 0 \rangle = 0 x∈X,⟨x,0⟩=0,因而(4)式成立.若 y ≠ 0 y \neq 0 y=0, 则对每个复数 α \alpha α, 由内积条件 1 ∘ 1 ^ { \circ } 1∘, 有
0 ⩽ ⟨ x −