定义
对于任意一个复数域 C C 上的线性空间 V, V , 在 V V 上定义了一个二元复函数,称为内积,记作
它具有如下性质:
∀α,β∈V,∀k∈C, ∀ α , β ∈ V , ∀ k ∈ C ,
1. ⟨α,β⟩=⟨β,α⟩¯¯¯¯¯¯¯¯¯¯¯¯ ⟨ α , β ⟩ = ⟨ β , α ⟩ ¯
2. ⟨kα,β⟩=k⟨α,β⟩ ⟨ k α , β ⟩ = k ⟨ α , β ⟩
3. ⟨α+β,γ⟩=⟨α,γ⟩+⟨β,γ⟩ ⟨ α + β , γ ⟩ = ⟨ α , γ ⟩ + ⟨ β , γ ⟩
4. ⟨α,α⟩≥0, ⟨ α , α ⟩ ≥ 0 , 且 ⟨α,α⟩=0⇔α=0⃗ ⟨ α , α ⟩ = 0 ⇔ α = 0 →
这样的线性空间 V V 称为酉空间。
定义
。
性质
- ⟨α,kβ⟩=k¯¯¯⟨α,β⟩ ⟨ α , k β ⟩ = k ¯ ⟨ α , β ⟩
证明
⟨α,kβ⟩=⟨kβ,α⟩¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯=k⟨β,α⟩¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯=k¯¯¯⋅⟨β,α⟩¯¯¯¯¯¯¯¯¯¯¯¯=k¯¯¯⟨α,β⟩ ⟨ α , k β ⟩ = ⟨ k β , α ⟩ ¯ = k ⟨ β , α ⟩ ¯ = k ¯ ⋅ ⟨ β , α ⟩ ¯ = k ¯ ⟨ α , β ⟩ - ⟨α,β+γ⟩=⟨α,β⟩+⟨α,γ⟩ ⟨ α , β + γ ⟩ = ⟨ α , β ⟩ + ⟨ α , γ ⟩
证明
⟨α,β+γ⟩=⟨β+γ,α⟩¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯