向量的内积
α\alphaα 和 β\betaβ 的内积 (α,β)(\alpha, \beta)(α,β) 为对应元素相乘再相加。内积是一个数。
向量的长度(范数、模)
∣∣α∣∣=(α,α)||\alpha||=\sqrt{(\alpha,\alpha)} ∣∣α∣∣=(α,α)
性质
- ∣∣α∣∣≥0||\alpha||\ge0∣∣α∣∣≥0
- ∣∣kα∣∣=∣k∣⋅∣∣α∣∣||k\alpha||=|k|\cdot||\alpha||∣∣kα∣∣=∣k∣⋅∣∣α∣∣
- ∣(α,β)∣≤∣∣α∣∣⋅∣∣β∣∣|(\alpha,\beta)| \le ||\alpha||\cdot||\beta||∣(α,β)∣≤∣∣α∣∣⋅∣∣β∣∣
- ∣∣α+β∣∣≤∣∣α∣∣+∣∣β∣∣||\alpha+\beta|| \le ||\alpha||+||\beta||∣∣α+β∣∣≤∣∣α∣∣+∣∣β∣∣
正交(垂直)
(α,β)=0,α⊥β(\alpha, \beta)=0, \alpha\perp\beta(α,β)=0,α⊥β
零向量和任何向量都正交。
正交向量组
不含零向量的正交向量组 α1,...αn{\alpha_1,...\alpha_n}α1,...αn 中任意两个向量都正交。
标准正交向量组
如果正交向量组中每个向量都是单位向量,则这种向量组为标准正交向量组。
定理
如果 α1,...αn{\alpha_1,...\alpha_n}α1,...αn 是正交向量组,则 α1,...αn{\alpha_1,...\alpha_n}α1,...αn 一定是线性无关的。
施密特正交化
给定一组线性无关的 α1,...,αn{\alpha_1,...,\alpha_n}α1,...,αn,求一组正交的β1,...,βn{\beta_1,...,\beta_n}β1,...,βn,使得两个向量组等价。
- 正交化:
- β1=α1\beta_1=\alpha_1β1=α1
- β2=α2−(α2,β1)(β1,β1)β1\beta_2=\alpha_2-\frac{(\alpha_2,\beta_1)}{(\beta_1,\beta_1)}\beta_1β2=α2−(β1,β1)(α2,β1)β1
- β3=α3−(α3,β1)(β1,β1)β1−(α3,β2)(β2,β2)β2\beta_3=\alpha_3-\frac{(\alpha_3,\beta_1)}{(\beta_1,\beta_1)}\beta_1-\frac{(\alpha_3,\beta_2)}{(\beta_2,\beta_2)}\beta_2β3=α3−(β1,β1)(α3,β1)β1−(β2,β2)(α3,β2)β2
- …
- 1∣∣β1∣∣β1,1∣∣β2∣∣β2,...,1∣∣βn∣∣βn\frac{1}{||\beta_1||}\beta_1, \frac{1}{||\beta_2||}\beta_2,...,\frac{1}{||\beta_n||}\beta_n∣∣β1∣∣1β1,∣∣β2∣∣1β2,...,∣∣βn∣∣1βn
α1,...,αn=正交化=>β1,...,βn=单位化=>η1,...,ηn{\alpha_1,...,\alpha_n}=正交化=>{\beta_1,...,\beta_n}=单位化=>{\eta_1,...,\eta_n}α1,...,αn=正交化=>β1,...,βn=单位化=>η1,...,ηn
正交矩阵
假设 AAA 为 nnn 阶方阵,如果 ATA=EA^TA=EATA=E,那么A为正交矩阵。
性质
- 如果 AAA 为正交矩阵,则 ∣A∣=1or−1|A|=1 or-1∣A∣=1or−1 。
- 如果 AAA 为正交矩阵,则 A−1=ATA^{-1}=A^{T}A−1=AT,且 A−1A^{-1}A−1 和 ATA^{T}AT 均为正交矩阵。
- 若 AAA,BBB 都是 nnn 阶正交矩阵,那么 ABABAB 也正交。
- 若 AAA 是 nnn 阶正交矩阵,α\alphaα 和 β\betaβ 为n维列向量,那么 (Aα,Aβ)=(α,β)(A\alpha,A\beta)=(\alpha, \beta)(Aα,Aβ)=(α,β)。(Aα,Aβ)=(Aα)TAβ=αTATAβ=(α,β)(A\alpha,A\beta)=(A\alpha)^TA\beta=\alpha^TA^TA\beta=(\alpha, \beta)(Aα,Aβ)=(Aα)TAβ=αTATAβ=(α,β)。
定理
AAA 为正交矩阵的充要条件是 AAA 的列(行)向量组是标准正交向量组。