定义
设 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 是实的线性空间,则条件