n维向量空间RnR^nRn中得出的一组线性无关的向量a1,a2,.....ana_1,a_2,.....a_na1,a2,.....an
怎么确定一组两两正交的向量?使每一个在原坐标系中向量在新的正交基下确定的
坐标系中重新确定坐标?

施密特正交化用于对向量空间中的一组线性无关的向量a1,a2,....ana_1,a_2,....a_na1,a2,....an
确定一组正交基e1,e2,......ene_1,e_2,......e_ne1,e2,......en.

定义向量内积运算:
[a,b]=∑i=1nxiyi[a,b]=\sum_{i=1}^{n}x_iy_i[a,b]=i=1nxiyi
b1=a1b_1=a_1b1=a1
br=ar−∑i=1r−1[bi,ar][bi,bi]bib_r=a_r-\sum_{i=1}^{r-1} \frac{[b_i,a_r]}{[b_i,b_i]}b_i br=ari=1r1[bi,bi][bi,ar]bi
因此定义出一组正交基:
ei=1∣∣bi∣∣bie_i=\frac{1}{||b_i||}b_iei=∣∣bi∣∣1bi

证明过程

如何更直观的感受到,向量正交化的过程?

从最简单的两个向量开始,假设现在有α1,α2\alpha_1, \alpha_2α1,α2两个向量,要将α1,α2\alpha_1, \alpha_2α1,α2化成相互垂直的向量β1,β2\beta_1,\beta_2β1,β2

以下用α\alphaα表示向量α⃗\vec{\alpha}α

在这里插入图片描述
如果向量α2\alpha_2α2要去除α1\alpha_1α1方向的分量:

若设 e1e_1e1α1\alpha_1α1方向的单位向量:
β1=α1β2=α2−∣α2∣cosθ⋅e1\beta_1 = \alpha_1 \beta_2 = \alpha_2 - |\alpha_2| cos\theta \cdot e_1 β1=α1β2=α2α2cosθe1

cosθcos\thetacosθ怎么求?回想向量数量积(内积)的知识点:

α1α2=∣α1∣⋅∣α2∣cosθ⇒cosθ=α1α2∣α1∣⋅∣α2∣\alpha_1 \alpha_2 = |\alpha_1| \cdot |\alpha_2| cos\theta \Rightarrow cos\theta = \frac{\alpha_1 \alpha_2}{ |\alpha_1| \cdot |\alpha_2|}α1α2=α1α2cosθcosθ=α1α2α1α2

e1e_1e1怎么求? 即向量除以其向量模, 若以α1\alpha_1α1为其中一个坐标轴,即α1=β1\alpha_1= \beta_1α1=β1

e1=α1∣α1∣=β1∣β1∣e_1 = \frac {\alpha_1}{|\alpha_1|} = \frac {\beta_1}{|\beta_1|}e1=α1α1=β1β1

那么因此:
β2=α2−∣α2∣cosθ⋅e1=α2−∣α2∣⋅β1α2∣β1∣⋅∣α2∣⋅β1∣β1∣=α2−β1α2∣β1∣⋅∣β1∣⋅β1=α2−β1⋅α2∣β1∣⋅∣β1∣⋅β1 \beta_2 = \alpha_2 - |\alpha_2| cos\theta \cdot e_1= \alpha_2 - \bcancel {|\alpha_2|} \cdot \frac{\beta_1 \alpha_2}{ |\beta_1| \cdot \bcancel {|\alpha_2|}} \cdot \frac {\beta_1}{|\beta_1|} = \alpha_2 - \frac{\beta_1 \alpha_2}{ |\beta_1| \cdot |\beta_1|} \cdot \beta_1 = \alpha_2 - \frac{\beta_1 \cdot \alpha_2}{ |\beta_1| \cdot |\beta_1|} \cdot \beta_1 β2=α2α2cosθe1=α2α2 β1α2 β1α2β1β1=α2β1β1β1α2β1=α2β1β1β1α2β1

即:
β1=α1β2=α2−α2⋅β1∣β1∣⋅∣β1∣⋅β1(结论1◯) \begin{aligned} & \beta_1 = \alpha_1 \\ & \beta_2 =\alpha_2 - \frac{\alpha_2 \cdot \beta_1}{ |\beta_1| \cdot |\beta_1|} \cdot \beta_1 \end{aligned} (结论\textcircled 1) β1=α1β2=α2β1β1α2β1β1(结论1

通过上一步,我们得到两个互相垂直的向量β1,β2\beta_1,\beta_2β1,β2

此时,有一个向量α3\alpha_3α3, 如何求出与垂直于β1,β2\beta_1,\beta_2β1,β2的向量β3\beta_3β3 ?

即同上一步一样,α3\alpha_3α3 减去β1,β2\beta_1,\beta_2β1,β2方向上的分量:

β3=α3−∣α3∣⋅cosθ⋅e1−∣α3∣⋅cosφ⋅e2=利用结论1◯α3−α3⋅β1∣β1∣∣β1∣β1−α3⋅β2∣β2∣∣β2∣β2 \beta_3 = \alpha_3 - |\alpha_3| \cdot cos\theta \cdot e_1 - |\alpha_3| \cdot cos\varphi \cdot e_2 \xlongequal{利用结论 \textcircled 1} \alpha_3 - \frac{\alpha_3 \cdot \beta_1}{|\beta1||\beta1|} \beta1 - \frac{\alpha_3 \cdot \beta_2}{|\beta2||\beta2|} \beta2 β3=α3α3cosθe1α3cosφe2利用结论1 α3β1∣∣β1∣α3β1β1β2∣∣β2∣α3β2β2

在这里插入图片描述

那么结合上一步的结论我们可以递推出βn\beta_nβn

βn=αn−αn⋅β1∣β1∣∣β1∣β1−αn⋅β2∣β2∣∣β2∣β2−⋯αn⋅βn−1∣βn−1∣∣βn−1∣βn−1 \beta_n = \alpha_n - \frac{\alpha_n \cdot \beta_1}{|\beta1||\beta1|} \beta1 - \frac{\alpha_n \cdot \beta_2}{|\beta2||\beta2|} \beta2 - \cdots \frac{\alpha_n \cdot \beta_{n-1}}{| \beta_{n-1}|| \beta_{n-1}|} \beta_{n-1} βn=αnβ1∣∣β1∣αnβ1β1β2∣∣β2∣αnβ2β2βn1∣∣βn1αnβn1βn1

为了统一形式,我们将数量积 α⋅β\alpha \cdot \betaαβ 记为 ⟨α,β⟩\langle \alpha , \beta \rangleα,β , 得出递推式:

β1=α1β2=α2−⟨α2,β1⟩⟨β1,β1⟩β1β3=α3−⟨α3,β1⟩⟨β1,β1⟩β1−⟨α3,β2⟩⟨β2,β2⟩β2⋯βn=αn−⟨αn,β1⟩⟨β1,β1⟩β1−⟨αn,β2⟩⟨β2,β2⟩β2−⋯⟨αn,βn−1⟩⟨βn−1,βn−1⟩βn−1结论2◯ \begin{aligned} & \beta_1 = \alpha_1 \\ & \beta_2 =\alpha_2 - \frac{ \langle \alpha_2 , \beta_1 \rangle }{ \langle \beta_1, \beta_1 \rangle} \beta_1 \\ & \beta_3 = \alpha_3 - \frac{ \langle \alpha_3 , \beta_1 \rangle}{ \langle \beta1, \beta1 \rangle} \beta1 - \frac{ \langle \alpha_3 , \beta_2 \rangle}{ \langle \beta2 , \beta2 \rangle} \beta2 \\ & \cdots \\ & \beta_n = \alpha_n - \frac{\langle \alpha_n , \beta_1 \rangle }{\langle \beta1, \beta1\rangle} \beta1 - \frac{\langle \alpha_n , \beta_2 \rangle}{\langle \beta2 , \beta2\rangle} \beta2 - \cdots \frac{ \langle \alpha_n , \beta_{n-1} \rangle}{\langle \beta_{n-1} ,\beta_{n-1} \rangle} \beta_{n-1} \end{aligned} 结论\textcircled 2 β1=α1β2=α2β1,β1α2,β1β1β3=α3β1,β1α3,β1β1β2,β2α3,β2β2βn=αnβ1,β1αn,β1β1β2,β2αn,β2β2βn1,βn1αn,βn1βn1结论2

结论 2◯\textcircled 22 称为施密特正交化,能够将一组线性无关的向量α1,α2...αn\alpha_1,\alpha_2 ...\alpha_nα1,α2...αn 处理为一组两两互相垂直的向量组 β1,β2...βn\beta_1,\beta_2 ...\beta_nβ1,β2...βn

β1,β2...βn\beta_1,\beta_2 ...\beta_nβ1,β2...βn 单元化得到一个N维坐标系:

(β1∣β1∣,β2∣β2∣,⋯ ,βn∣βn∣)(\frac{\beta_1}{|\beta_1|} ,\frac{\beta_2}{|\beta_2|},\cdots, \frac{\beta_n}{|\beta_n|})(β1β1,β2β2,,βnβn)

施密特正交化用途

  1. 可以用于求可逆矩阵QQQ, 使得可对角化矩阵AAA化为对角矩阵Λ\varLambdaΛ,即QTAQ=ΛQ^{T}AQ =\varLambdaQTAQ=Λ
Logo

有“AI”的1024 = 2048,欢迎大家加入2048 AI社区

更多推荐