施密特正交规范化

  • 简介
  • 规范化步骤
  • 例子
  • 引用

之前介绍的矩阵的三角分解系列介绍了利用矩阵初等变换解决了矩阵三角化问题以及具体的三角分解。但是以初等变换工具的三角分解方法并不能消除病态线性方程组不稳定问题,而且有时候对于可逆矩阵有可能也不存在三角分解。所以后面为了解决这里问题,发展出来了以正交(酉)变换的矩阵的QR(正交三角)分解,矩阵的正交三角分解是一种对任何可逆矩阵均存在理想分解。进行QR分解需要用到施密特(Schmidt)正交规范化,吉文斯(Givens)变换和豪斯霍尔德(Householder)变换等。这里矩阵的QR分解系列教程主要是针对在学习QR分解时候的涉及到的一些细节,包括很多方法的来源和证明等,以及其中用到的一些矩阵操作的基础知识,主要包括:

  • [矩阵的QR分解系列一] 施密特(Schmidt)正交规范化
  • [矩阵的QR分解系列二] 吉文斯(Givens)变换
  • [矩阵的QR分解系列三] 豪斯霍尔德(Householder)变换
  • [矩阵的QR分解系列四] QR(正交三角)分解
  • [矩阵的QR分解系列五] Eigen中的QR分解

这个系列后面文章会用到前面文章的理论和技术,所以建议按照顺序查看。

简介

在矩阵操作中,经常需要从一组线性无关的向量构造出一组同等个数等价的两两正交的向量,并且需要使每个向量的模等于1,也就是每个新向量都是单位向量,这种做法叫做线性无关向量组的正交规范化。本文主要介绍的施密特(Schmidt)正交化方法就是比较常用的正交规范化方法。
上面有几个概念解释一下:
线性无关
对于一组向量 x 1 , x 2 , . . . , x n ( n ≥ 1 ) \mathbf{x_1,x_2,...,x_n}(n\geq1) x1​,x2​,...,xn​(n≥1)来说,只有 k 1 , k 2 , . . . , k n ( n ≥ 1 ) k_1,k_2,...,k_n(n\geq1) k1​,k2​,...,kn​(n≥1)全为0时才满足
k 1 x 1 + k 2 x 2 + … + k n x n = 0 , k i ∈ R k_1\mathbf{x_1}+k_2\mathbf{x_2}+\ldots+k_n\mathbf{x_n}=\mathbf{0}, \qquad k_i \in R k1​x1​+k2​x2​+…+kn​xn​=0,ki​∈R
则称向量组 x 1 , x 2 , . . . , x n \mathbf{x_1,x_2,...,x_n} x1​,x2​,...,xn​线性无关,否则就称其线性相关。
向量正交
在解析几何概念中,两个非零向量正交的充要条件是它们夹角的余弦值为零,也就是他们的内积(也就是常说的点积)为零。
x = ( x 1 , x 2 , … , x n ) , y = ( y 1 , y 2 , … , y n ) \mathbf{x}=(x_1,x_2,\dots,x_n),\mathbf{y}=(y_1,y_2,\dots,y_n) x=(x1​,x2​,…,xn​),y=(y1​,y2​,…,yn​)为欧式空间的两个向量,如果 ( x , y ) = 0 (\mathbf{x,y})=0 (x,y)=0,则 x \mathbf{x} x与 y \mathbf{y} y正交。其中
( x , y ) = x 1 y 2 + x 2 y 2 + ⋯ + x n y n (1) (\mathbf{x,y})=x_1y_2+x_2y_2+\dots+x_ny_n \tag{1} (x,y)=x1​y2​+x2​y2​+⋯+xn​yn​(1)
表示内积运算。
同时内积具有下面的性质:

  1. 对称性   ( x , y ) = ( y , x ) (\mathbf{x,y})=(\mathbf{y,x}) (x,y)=(y,x);
  2. 可加性   ( x + z , y ) = ( x , y ) + ( z , y ) (\mathbf{x+z,y})=(\mathbf{x,y})+(\mathbf{z,y}) (x+z,y)=(x,y)+(z,y);
  3. 齐次性   ( k z , y ) = k ( x , y ) (k\mathbf{z,y})=k(\mathbf{x,y}) (kz,y)=k(x,y), k k k为任何实数;
  4. 非负性   ( x , x ) ≥ 0 (\mathbf{x,x})\geq0 (x,x)≥0;当且仅当 x = 0 \mathbf{x}=0 x=0时, ( x , x ) = 0 (\mathbf{x,x})=0 (x,x)=0;

规范化步骤

假设 x 1 , x 2 , . . . , x n ( n ≥ 1 ) \mathbf{x_1,x_2,...,x_n}(n\geq1) x1​,x2​,...,xn​(n≥1)为一组线性无关的向量, z 1 , z 2 , . . . , z n ( n ≥ 1 ) \mathbf{z_1,z_2,...,z_n}(n\geq1) z1​,z2​,...,zn​(n≥1)为施密特正交规范后两两正交的一组,具体步骤为:

  1. y 1 = x 1 \mathbf{y_1=x_1} y1​=x1​当做正交向量组的第一个向量,为了满足正交的条件,后面的生成的向量都要和 y 1 \mathbf{y_1} y1​正交,也就是满足 ( y i , y 1 ) = 0 , i = 2 , 3 , … , n (\mathbf{y_i,y_1})=0, \ i=2,3,\dots,n (yi​,y1​)=0, i=2,3,…,n。更一般话来说后面生成的向量都需要保证和前面已经生成的向量正交,同时这也是一步步求解后面正交向量的约束和条件。
  2. y 2 = x 2 + k 21 y 1 \mathbf{y_2=x_2}+k_{21}\mathbf{y_1} y2​=x2​+k21​y1​,由正交条件 ( y 2 , y 1 ) = 0 (\mathbf{y_2,y_1})=0 (y2​,y1​)=0得到
    ( y 2 , y 1 ) = ( x 2 + k 21 y 1 , y 1 ) = ( x 2 , y 1 ) + k 21 ( y 1 , y 1 ) = 0 (\mathbf{y_2,y_1})=(\mathbf{x_2}+k_{21}\mathbf{y_1,y_1})=(\mathbf{x_2,y_1})+k_{21}(\mathbf{y_1,y_1})=0 (y2​,y1​)=(x2​+k21​y1​,y1​)=(x2​,y1​)+k21​(y1​,y1​)=0
    所以
    k 21 = − ( x 2 , y 1 ) ( y 1 , y 1 ) k_{21}=-\frac{(\mathbf{x_2,y_1})}{(\mathbf{y_1,y_1})} k21​=−(y1​,y1​)(x2​,y1​)​
  3. y 3 = x 3 + k 32 y 2 + k 31 y 1 \mathbf{y_3=x_3}+k_{32}\mathbf{y_2}+k_{31}\mathbf{y_1} y3​=x3​+k32​y2​+k31​y1​,由正交条件 ( y 3 , y 2 ) = 0 (\mathbf{y_3,y_2})=0 (y3​,y2​)=0及 ( y 3 , y 1 ) = 0 (\mathbf{y_3,y_1})=0 (y3​,y1​)=0得到
    ( y 3 , y 2 ) = ( x 3 + k 32 y 2 + k 31 y 1 , y 2 ) = ( x 3 , y 2 ) + k 32 ( y 2 , y 2 ) + k 31 ( y 1 , y 2 ) = ( x 3 , y 2 ) + k 32 ( y 2 , y 2 ) = 0 \begin{aligned} (\mathbf{y_3,y_2}) & = (\mathbf{x_3}+k_{32}\mathbf{y_2}+k_{31}\mathbf{y_1,y_2}) \\ & = (\mathbf{x_3,y_2})+k_{32}(\mathbf{y_2,y_2})+k_{31}(\mathbf{y_1,y_2}) \\ & = (\mathbf{x_3,y_2})+k_{32}(\mathbf{y_2,y_2})=0 \end{aligned} (y3​,y2​)​=(x3​+k32​y2​+k31​y1​,y2​)=(x3​,y2​)+k32​(y2​,y2​)+k31​(y1​,y2​)=(x3​,y2​)+k32​(y2​,y2​)=0​
    所以
    k 32 = − ( x 3 , y 2 ) ( y 2 , y 2 ) k_{32} = -\frac{(\mathbf{x_3,y_2})}{(\mathbf{y_2,y_2})} k32​=−(y2​,y2​)(x3​,y2​)​
    同理
    k 31 = − ( x 3 , y 1 ) ( y 1 , y 1 ) k_{31} = -\frac{(\mathbf{x_3,y_1})}{(\mathbf{y_1,y_1})} k31​=−(y1​,y1​)(x3​,y1​)​
  4. 按照上面的流程一直向下求 y i \mathbf{y_i} yi​,一般公式为
    { y i = x i + k i , i − 1 y i − 1 + k i , i − 2 y i − 2 + ⋯ + k i , 1 y 1 , k i , k = − ( x i , y k ) ( y k , y k ) (2) \begin{cases} \mathbf{y_i=x_i}+k_{i,i-1}\mathbf{y_{i-1}}+k_{i,i-2}\mathbf{y_{i-2}}+\dots+k_{i,1}\mathbf{y_1}, \\ k_{i,k}= -\frac{(\mathbf{x_i,y_k})}{(\mathbf{y_k,y_k})} \end{cases} \tag{2} {yi​=xi​+ki,i−1​yi−1​+ki,i−2​yi−2​+⋯+ki,1​y1​,ki,k​=−(yk​,yk​)(xi​,yk​)​​(2)
    直到 i = n i=n i=n,所以就得到了一组向量 y 1 , y 2 , . . . , y n \mathbf{y_1,y_2,...,y_n} y1​,y2​,...,yn​,里面的向量显然是两两正交的。
  5. 上面得到一组两两正交的向量 y 1 , y 2 , . . . , y n \mathbf{y_1,y_2,...,y_n} y1​,y2​,...,yn​后,进行单位化,也就是
    z i = y i ∣ y i ∣ , i = 1 , 2 , … , n . \mathbf{z_i} = \frac{\mathbf{y_i}}{|\mathbf{y_i}|},\qquad i=1,2,\dots,n. zi​=∣yi​∣yi​​,i=1,2,…,n.
    这样就得到了正交规范化的向量组了。

例子

利用施密特正交化方法把下面线性无关的向量组转化为正交规范化向量组。
{ x 1 = ( 1 , 1 , 0 , 0 ) , x 2 = ( 1 , 0 , 1 , 0 ) , x 3 = ( − 1 , 0 , 0 , 1 ) , x 4 = ( 1 , − 1 , − 1 , 1 ) . \begin{cases} \mathbf{x_1} = (1,1,0,0), \\ \mathbf{x_2} = (1,0,1,0), \\ \mathbf{x_3} = (-1,0,0,1), \\ \mathbf{x_4} = (1,-1,-1,1). \end{cases} ⎩⎪⎪⎪⎨⎪⎪⎪⎧​x1​=(1,1,0,0),x2​=(1,0,1,0),x3​=(−1,0,0,1),x4​=(1,−1,−1,1).​
利用公式 ( 2 ) (2) (2)可得
{ y 1 = x 1 = ( 1 , 1 , 0 , 0 ) , y 2 = x 2 − ( x 2 , y 1 ) ( y 1 , y 1 ) y 1 = ( 1 2 , − 1 2 , 1 , 0 ) , x 3 = x 3 − ( x 3 , y 2 ) ( y 2 , y 2 ) y 2 − ( x 3 , y 1 ) ( y 1 , y 1 ) y 1 = ( − 1 3 , 1 3 , 1 3 , 1 ) , x 4 = x 4 − ( x 4 , y 3 ) ( y 3 , y 3 ) y 3 − ( x 4 , y 2 ) ( y 2 , y 2 ) y 2 − ( x 4 , y 1 ) ( y 1 , y 1 ) y 1 = ( 1 , − 1 , − 1 , 1 ) . \begin{cases} \mathbf{y_1} = \mathbf{x_1} = (1,1,0,0), \\ \mathbf{y_2} = \mathbf{x_2} - \frac{(\mathbf{x_2,y_1})}{(\mathbf{y_1,y_1})}\mathbf{y_1} = (\frac{1}{2},-\frac{1}{2},1,0), \\ \mathbf{x_3} = \mathbf{x_3} - \frac{(\mathbf{x_3,y_2})}{(\mathbf{y_2,y_2})}\mathbf{y_2} - \frac{(\mathbf{x_3,y_1})}{(\mathbf{y_1,y_1})}\mathbf{y_1} = (-\frac{1}{3},\frac{1}{3},\frac{1}{3},1), \\ \mathbf{x_4} = \mathbf{x_4} - \frac{(\mathbf{x_4,y_3})}{(\mathbf{y_3,y_3})}\mathbf{y_3} - \frac{(\mathbf{x_4,y_2})}{(\mathbf{y_2,y_2})}\mathbf{y_2} - \frac{(\mathbf{x_4,y_1})}{(\mathbf{y_1,y_1})}\mathbf{y_1} = (1,-1,-1,1). \end{cases} ⎩⎪⎪⎪⎪⎨⎪⎪⎪⎪⎧​y1​=x1​=(1,1,0,0),y2​=x2​−(y1​,y1​)(x2​,y1​)​y1​=(21​,−21​,1,0),x3​=x3​−(y2​,y2​)(x3​,y2​)​y2​−(y1​,y1​)(x3​,y1​)​y1​=(−31​,31​,31​,1),x4​=x4​−(y3​,y3​)(x4​,y3​)​y3​−(y2​,y2​)(x4​,y2​)​y2​−(y1​,y1​)(x4​,y1​)​y1​=(1,−1,−1,1).​
单位化得到
{ z 1 = y 1 ∣ y 1 ∣ = ( 1 2 , 1 2 , 0 , 0 ) , z 2 = y 2 ∣ y 2 ∣ = ( 1 6 , − 1 6 , 2 6 , 0 ) , z 3 = y 3 ∣ y 3 ∣ = ( − 1 12 , 1 12 , 1 12 , 3 12 ) , z 4 = y 4 ∣ y 4 ∣ = ( 1 2 , − 1 2 , − 1 2 , 1 2 ) \begin{cases} \mathbf{z_1} = \frac{\mathbf{y_1}}{|\mathbf{y_1}|} = (\frac{1}{\sqrt{2}},\frac{1}{\sqrt{2}},0,0), \\ \mathbf{z_2} = \frac{\mathbf{y_2}}{|\mathbf{y_2}|} = (\frac{1}{\sqrt{6}},-\frac{1}{\sqrt{6}},\frac{2}{\sqrt{6}},0), \\ \mathbf{z_3} = \frac{\mathbf{y_3}}{|\mathbf{y_3}|} = (-\frac{1}{\sqrt{12}},\frac{1}{\sqrt{12}},\frac{1}{\sqrt{12}},\frac{3}{\sqrt{12}}), \\ \mathbf{z_4} = \frac{\mathbf{y_4}}{|\mathbf{y_4}|} = (\frac{1}{2},-\frac{1}{2},-\frac{1}{2},\frac{1}{2}) \end{cases} ⎩⎪⎪⎪⎪⎨⎪⎪⎪⎪⎧​z1​=∣y1​∣y1​​=(2 ​1​,2 ​1​,0,0),z2​=∣y2​∣y2​​=(6 ​1​,−6 ​1​,6 ​2​,0),z3​=∣y3​∣y3​​=(−12 ​1​,12 ​1​,12 ​1​,12 ​3​),z4​=∣y4​∣y4​​=(21​,−21​,−21​,21​)​

引用

【1】 矩阵论(第二版)

[矩阵的QR分解系列一] 施密特(Schmidt)正交规范化相关推荐

  1. [矩阵的QR分解系列四] QR(正交三角)分解

    QR分解 简介 QR分解 定义 存在和唯一性 存在性证明 唯一性证明 分解方法 施密特(Schmidt)方法 吉文斯(Givens)方法 豪斯霍尔德(Householder)方法 例子 施密特(Sch ...

  2. 矩阵的QR分解c语言编程,[矩阵的QR分解系列五] Eigen中的QR分解

    之前介绍的矩阵的三角分解系列介绍了利用矩阵初等变换解决了矩阵三角化问题以及具体的三角分解.但是以初等变换工具的三角分解方法并不能消除病态线性方程组不稳定问题,而且有时候对于可逆矩阵有可能也不存在三角分 ...

  3. 矩阵的QR分解(jama和emjl对比,UJMP锦上添花)

    一.QR分解法(QR Decomposition) QR分解法是三种将矩阵分解的方式之一.其它两种:Cholesky和LU.QR分解经常用来解线性最小二乘法问题.QR分解也是特定特征值算法即QR算法的 ...

  4. AI笔记: 数学基础之正交矩阵与矩阵的QR分解

    正交矩阵 若n阶方阵A满足ATA=EA^TA = EATA=E, 则称A为正交矩阵, 简称正交阵 (复数域上称为酉矩阵) A是正交阵的充要条件:A的列(行)向量都是单位向量,且两两正交. 若A为正交矩 ...

  5. 矩阵的QR分解以及在最小二乘法中的应用

    一.最小二乘法   最小二乘法是一种数学优化方法,通过最小化误差的平方和来拟合数据点.   以线性回归模型为例,如果我们用最小二乘法来求解线性回归的系数,可得: err(yi−y^)=1n∑i=1n( ...

  6. 线性代数(15)——矩阵的QR分解

    矩阵QR分解 矩阵的QR分解 概述 演示分析 实现QR分解 矩阵的QR分解和LU分解的目的都是为了便于矩阵计算. 矩阵的QR分解 概述 A = Q R A=QR A=QR这一过程将矩阵分解为 Q Q ...

  7. 用豪斯霍尔德(Householder)变换进行矩阵的QR分解,及其Matlab和OpenCV实现

    1.豪斯霍尔德变换 一般地,对给定的mmm维向量aaa,考虑分块 a=[a1a2]a=\left[ \begin{matrix} {{a}_{1}} \\ {{a}_{2}} \\ \end{matr ...

  8. matlab qr分解作用,MATLAB论文_矩阵的QR分解及其MATLAB实现.doc

    您所在位置:网站首页 > 海量文档 &nbsp>&nbsp计算机&nbsp>&nbspmatlab MATLAB论文_矩阵的QR分解及其MATLAB实 ...

  9. 数据挖掘--矩阵的QR分解

    矩阵的QR分解: A=QR,其中Q为正交矩阵,R为上三角矩阵. 具体可以通过HouseHold变换做到,分步进行,如下图: 如果矩阵A是可逆矩阵的话,那么分出的矩阵R一定是列线性无关的.此时,R的对角 ...

最新文章

  1. MapReduce简述、工作流程
  2. mysql命令窗口出现问号_mysql在控制台里出现中文问号问题
  3. 子网,变长子网及超网(CIDR)
  4. 昨天一天都没怎么看书。。。
  5. cgi web 调用多次启动_全面了解CGI、FastCGI、PHPFPM
  6. Map的value转化为其它类型
  7. 升级无法登录_JeeSite v4.2.2 发布,代码生成增强、Boot 2.3、短信登录、性能提升...
  8. HTML中利用堆栈方式对Table进行行排序
  9. C/C++ 指针数组、二维数组
  10. IntelliJ IDEA开发工具插件GsonFormat插件安装使用
  11. 网页html生成图片的常用方案
  12. 计算机无法添加打印机,Win7电脑为什么不能添加本地打印机
  13. 高级数理逻辑试卷参考答案
  14. 美国出台最严技术出口管制!14项前沿科技面临封锁
  15. 使用XPlanner进行敏捷项目计划和进度跟踪管理
  16. 2016届毕业设计(论文) 基本规范及档案袋封面填写要求
  17. 计算机毕业设计如何制作电子商务网站怎么制作购物网站计算机课程设计电子商城做什么(PHP-ASP.NET-c#-JavaWeb-SSM-SSH-J2EE-springBoot
  18. 2023情人节送另一半什么好?四款适合送女友的数码好物分享
  19. 《东周列国志》第三十二回 晏蛾儿逾墙殉节 群公子大闹朝堂
  20. 计算机安装Hp1005打印机,hp1005打印机驱动

热门文章

  1. 键盘音效,使得敲代码更加给力
  2. STM32之简易GUI(多级菜单进阶版)
  3. 哈达玛矩阵的相关基础知识
  4. CAN矩阵(入门篇)(史上最全)
  5. 黑科技编程开发,利用Python使图片完美去除水印
  6. IE浏览器无法联网的解决办法
  7. 使用pandas处理excel,并使用Openpyxl修改单元格格式
  8. JavaSE —— 000基础版
  9. 网站排名优化方法_快速排名窍门
  10. 关于Prim算法,自己的一些总结