正交性和最小二乘

文章目录

  • 正交性和最小二乘
    • 1. 正交向量和子空间
      • 1.1 向量正交性的两种证明方法
      • 1.2 子空间的正交性
        • 1.2.1 行空间和零空间
        • 1.2.2 列空间和左零空间
      • 1.3 基的正交性
    • 2. 投影
      • 2.1 一维空间的投影
        • 2.1.1 投影求解方法
        • 2.1.2 投影矩阵的三大性质
      • 2.2 n维空间的投影
      • 2.2.1 求解方法
      • 2.3 投影矩阵
      • 2.3.1 投影必须牢记的三个关系式
      • 2.3.2 A^T^*A矩阵的性质
    • 3.最小二乘
      • 3.1 最小二乘问题的引入--无解方程的近似解
      • 3.2 最小二乘的原理
      • 3.3 最小二乘求解方法
      • 3.4 最小二乘唯一性判据
      • 3.5 最小二乘的缺陷
      • 3.6 通过QR分解校正最小二乘法
    • 4. 正交矩阵和格拉姆-施密特正交化
      • 4.1 标准正交矩阵
      • 4.2 标准正交矩阵的优势
      • 4.3 格拉姆-施密特正交化
      • 4.4 QR分解
        • 4.4.1 含义
        • 4.4.2 分解条件
        • 4.4.3 分解方法
        • 4.4.4 QR分解的用途
          • 4.4.4.1 拆分标准正交基
          • 4.4.4.2 提高最小二乘解的精度
    • 5.正交矩阵的用处
      • 5.1 解方程v=Q*x
      • 5.2 傅里叶级数
        • 5.2.1 傅里叶级数定义
        • 5.2.2 矩阵内积与函数内积的区别

1. 正交向量和子空间

1.1 向量正交性的两种证明方法

  第一种方法是定义式
x T ∗ y = 0 x^T*y=0 xT∗y=0
  第二种方法是算术方法
∣ ∣ x ∣ ∣ 2 + ∣ ∣ y ∣ ∣ 2 = ∣ ∣ x + y ∣ ∣ 2 ||x||^2+||y||^2 = ||x+y||^2 ∣∣x∣∣2+∣∣y∣∣2=∣∣x+y∣∣2

1.2 子空间的正交性

1.2.1 行空间和零空间

  由线性方程组AX=0可知,X是A的零空间,而根据矩阵乘法,前后乘后列为0,矩阵A的行空间与X相乘得0,说明行空间和零空间正交

1.2.2 列空间和左零空间

  列空间和左零空间就是AT的行空间和零空间,因此列空间和左零空间也是正交的

1.3 基的正交性

  构成向量空间的基如果不但线性无关,而且互相之间相乘为0,那么这些基就是正交的

2. 投影

2.1 一维空间的投影

2.1.1 投影求解方法

  假设我们要把y投影到x上,y^是投影,我们知道:
y = y ^ + e y=\hat{y}+e y=y^​+e

x T ∗ e = 0 x^T*e=0 xT∗e=0

y ^ = x ∗ a \hat{y}=x*a y^​=x∗a
  可知
x T ∗ ( y − a x ) = 0 x^T*(y-ax)=0 xT∗(y−ax)=0
  即
a = x T ∗ y x t ∗ x a= \frac{x^T*y}{x^t*x} a=xt∗xxT∗y​
  投影为
y ^ = a ∗ x = x ∗ x T x t ∗ x ∗ y = P ∗ y \hat{y}=a*x= \frac{x*x^T}{x^t*x}*y=P*y y^​=a∗x=xt∗xx∗xT​∗y=P∗y
  P叫做投影矩阵
P = x ∗ x T x t ∗ x P= \frac{x*x^T}{x^t*x} P=xt∗xx∗xT​
  也可以写做
y ^ = a ∗ x = x T ∗ y x t ∗ x ∗ x \hat{y}= a*x=\frac{x^T*y}{x^t*x}*x y^​=a∗x=xt∗xxT∗y​∗x

2.1.2 投影矩阵的三大性质

  • 秩为一
  • PT=P
  • P2=P

2.2 n维空间的投影

2.2.1 求解方法

  假设y要投影到n维度空间W中,这里以投影到二维空间为例子进行讲解

  • 法一:理解为向量正交与子空间

  我们知道,e是垂直于平面W的,并且投影向量y^是W的基的线性组合,A是W的基向量,所以就有

A = { a 1 a 2 a 3 a 4 } A=\begin{matrix}\{a1&a2&a3&a4\}\end{matrix} A={a1​a2​a3​a4}​

y ^ = A ∗ a \hat{y}=A*a y^​=A∗a

e = y − y ^ e= y- \hat{y} e=y−y^​

A T ∗ e = 0 A^T*e=0 AT∗e=0
可得

A T ∗ ( y − A a ) = 0 A^T*(y-Aa)=0 AT∗(y−Aa)=0

a = A T ∗ y A T ∗ A ( 1 ) a=\frac{A^T*y}{A^T*A} \qquad(1) a=AT∗AAT∗y​(1)

y ^ = A ∗ A T A T ∗ A ∗ y ( 2 ) \hat{y}=\frac{A*A^T}{A^T*A}*y \qquad(2) y^​=AT∗AA∗AT​∗y(2)

P = A ∗ A T A T ∗ A ( 3 ) P=\frac{A*A^T}{A^T*A}\qquad(3) P=AT∗AA∗AT​(3)

  • 法二:理解为向量投影到子空间的各个基上

  除了从e与W空间正交角度角度考虑外,也可以考虑把y分解到W平面的所有基中,所有基中的分量的叠加,就是y的投影了,投影在基中,就是2.1中的投影到一维空间中,假设W中基向量为a1,a2,a3…

y ^ = y 1 ^ + y 2 ^ + . . . + y n ^ \hat{y} = \hat{y_1}+\hat{y_2}+...+\hat{y_n} y^​=y1​^​+y2​^​+...+yn​^​

y ^ = c 1 ∗ a 1 + . . . + c n ∗ a n \hat{y} = c_1*a_1+...+c_n*a_n y^​=c1​∗a1​+...+cn​∗an​

y ^ = a 1 T y a 1 T ∗ a 1 ∗ a 1 + . . . + a n T y a n T ∗ a n ∗ a n \hat{y} = \frac{a_1^Ty}{a_1^T*a_1}*a_1+...+\frac{a_n^Ty}{a_n^T*a_n}*a_n y^​=a1T​∗a1​a1T​y​∗a1​+...+anT​∗an​anT​y​∗an​

2.3 投影矩阵

2.3.1 投影必须牢记的三个关系式

  系数为
x = ( A T ∗ A ) − 1 ∗ A T ∗ b x=(A^T*A)^{-1}*A^T*b x=(AT∗A)−1∗AT∗b
  投影为
p = A x = A ∗ ( A T ∗ A ) − 1 ∗ A T ∗ b p = Ax=A*(A^T*A)^{-1}*A^T*b p=Ax=A∗(AT∗A)−1∗AT∗b
  投影矩阵为
P = A ∗ ( A T ∗ A ) − 1 ∗ A T P =A*(A^T*A)^{-1}*A^T P=A∗(AT∗A)−1∗AT

2.3.2 AT*A矩阵的性质

  • 如果A线性无关,AT*A一定可逆
  • AT*A是个对称矩阵
  • AT*A是个正定或半正定矩阵,所有特征值大于等于0

  可以从其二次型恒不小于0证明
X T ∗ ( A T ∗ A ) ∗ X = ( X ∗ A ) T ∗ ( X ∗ A ) = ∣ ∣ X ∗ A ∣ ∣ 2 X^T*(A^T*A)*X=(X*A)^T*(X*A)=||X*A||^2 XT∗(AT∗A)∗X=(X∗A)T∗(X∗A)=∣∣X∗A∣∣2
  如果A各列线性无关,该式子必定大于0,能够证明其是一个正定矩阵。如果A各列线性相关,那么该式子大于等于0,是个半正定矩阵

3.最小二乘

3.1 最小二乘问题的引入–无解方程的近似解

  最小二乘问题出现的原因,是为了解决线性方程的过拟合问题。就比如方程数大于变量数的时候,不一定能够得到方程的解,这个时候只能求得一个最接近的解。就比如直线的拟合,假设有很多个坐标点,不一定存在一条过全部坐标点的直线,这个时候只能让各个点到直线的投影距离和最小,也就得到了一个最为接近的解,叫做最小二乘解

3.2 最小二乘的原理

  最小二乘原理就是假设有过拟合方程AX=b,b不一定存在与A的列空间中,但是我们可以将b投影到A的列空间中获得一个解。b到列空间的距离就是这个方程解的误差,因为b到列空间的投影是b到列空间的最短距离,所以这个解满足最小误差。

3.3 最小二乘求解方法

  对于过拟合方程AX=b,A是列空间中的基向量,x是线性组合的权值,b是组合的结果

b 在 A 中 的 投 影 v 1 为 A ∗ X ^ b在A中的投影v_1为 A*\hat{X} b在A中的投影v1​为A∗X^

点 b 指 向 投 影 点 的 向 量 v 2 为 b − A ∗ X ^ 点b指向投影点的向量v_2为 b - A*\hat{X} 点b指向投影点的向量v2​为b−A∗X^

v 2 正 交 与 列 空 间 A : A T ∗ ( b − A ∗ X ^ ) = 0 v_2正交与列空间A: A^T*(b - A*\hat{X})=0 v2​正交与列空间A:AT∗(b−A∗X^)=0

A T ∗ A ∗ X ^ = A T ∗ b A^T*A*\hat{X} = A^T*b AT∗A∗X^=AT∗b

X ^ = ( A T ∗ A ) − 1 ∗ A T ∗ b \hat{X} = (A^T*A)^{-1}*A^T*b X^=(AT∗A)−1∗AT∗b

3.4 最小二乘唯一性判据

  如果A中的各个向量是线性无关的,AT*A必定满秩,AT*A*X = AT*b有唯一解

3.5 最小二乘的缺陷

  最小二乘的缺陷就是需要求逆矩阵,逆矩阵中的小数约简问题会引发计算误差

3.6 通过QR分解校正最小二乘法

A X = b AX = b AX=b

A T ∗ A ∗ X = A T ∗ b A^T*A*X = A^T*b AT∗A∗X=AT∗b

X = ( A T ∗ A ) − 1 ∗ A T ∗ b X=(A^T*A)^{-1}*A^T*b X=(AT∗A)−1∗AT∗b

X = ( R T ∗ Q T ∗ Q ∗ R ) − 1 ∗ R T ∗ Q T ∗ b X=(R^T*Q^T*Q*R)^{-1}*R^T*Q^T*b X=(RT∗QT∗Q∗R)−1∗RT∗QT∗b

X = R − 1 ∗ Q T ∗ b X = R^{-1}*Q^T*b X=R−1∗QT∗b

可得

R X = Q T ∗ b RX = Q^T*b RX=QT∗b

4. 正交矩阵和格拉姆-施密特正交化

4.1 标准正交矩阵

  标准正交矩阵就是每个向量都是单位向量,并且这些单位向量两两相乘都是0

4.2 标准正交矩阵的优势

  标准正交矩阵的优势是
Q T ∗ Q = I Q^T*Q = I QT∗Q=I
  标准正交矩阵的逆等于标准正交矩阵的转置,能够提高计算速度和计算精度

4.3 格拉姆-施密特正交化

  格拉姆-施密特正交化用于将矩阵A中线性无关的基变成标准正交基。其原理就是,一开始选定第一个向量作为初始向量,然后选择第二个向量消去在第一个向量上的分类,然后获得正交向量,依次类推,获得一组正交基

  假设A= {v1,v2,v3},A中的三个向量线性无关,下面使用格拉姆-施密特正交化构建标准正交基,假设生成的正交向量为u,单位正交向量为w

  • 选定初始正交向量

  令u1 = v1

  • 正交化其他向量

  从v2中减去在v1中投影的分量就可以得到正交向量
u 2 = v 2 − u 1 T ∗ v 2 u 1 T ∗ u 1 ∗ u 1 u2 = v2 - \frac{u1^T*v2}{u1^T*u1}*u1 u2=v2−u1T∗u1u1T∗v2​∗u1
  从v3中减去在v1和v2中投影的分量就可以得到正交于v1和v2的向量

u 3 = v 3 − u 1 T ∗ v 3 u 1 T ∗ u 1 ∗ u 1 − u 2 T ∗ v 3 u 2 T ∗ u 2 ∗ u 2 u3 = v3 - \frac{u1^T*v3}{u1^T*u1}*u1- \frac{u2^T*v3}{u2^T*u2}*u2 u3=v3−u1T∗u1u1T∗v3​∗u1−u2T∗u2u2T∗v3​∗u2

  • 单位化正交向量

w 1 = u 1 ∣ ∣ u 1 ∣ ∣ w1 = \frac{u1}{||u1||} w1=∣∣u1∣∣u1​

w 2 = u 2 ∣ ∣ u 2 ∣ ∣ w2 = \frac{u2}{||u2||} w2=∣∣u2∣∣u2​

w 3 = u 3 ∣ ∣ u 3 ∣ ∣ w3 = \frac{u3}{||u3||} w3=∣∣u3∣∣u3​

4.4 QR分解

  这部分与02-矩阵代数部分是一样的

4.4.1 含义

  QR分解是在施密特正交化,产生正交矩阵Q的过程中产生的,A=QR实际上就是A中的列向量作为向量空间的基,通过施密特正交化得到了标准正交基Q,R记录了这个变化的过程,R是一个上三角矩阵。

  因为A中的基xi,都是由Q中的前i个单位正交基组合得到的,所以R必定是个上三角矩阵,比如

r 1 = x 1 ; r1 = x1; r1=x1;

r 2 = x 2 − r 1 T ∗ x 2 r 1 T ∗ r 1 ∗ r 1 r2 = x2 - \frac{r_1^T*x2}{r_1^T*r_1}*r_1 r2=x2−r1T​∗r1​r1T​∗x2​∗r1​

即 x 2 = c 1 ∗ r 1 + c 2 ∗ r 2 即 x2 = c1*r1+c2*r2 即x2=c1∗r1+c2∗r2
  其余的可以类推,所以矩阵R一定是个上三角矩阵

4.4.2 分解条件

  因为只有A的各个向量能够构成向量空间的一组基向量才能进行施密特正交化,所以,能够做QR分解的条件是,A的列向量必须是线性无关的

4.4.3 分解方法

  首先,Q是施密特正交化得到的标准正交基,这里就不写求解过程了,只写R的求法
A = Q ∗ R A = Q*R A=Q∗R

R = Q − 1 ∗ A R = Q^{-1}*A R=Q−1∗A

因为Q是标准正交矩阵,所以有逆等于转置,可得

R = Q T ∗ A R = Q^T*A R=QT∗A

4.4.4 QR分解的用途

4.4.4.1 拆分标准正交基
4.4.4.2 提高最小二乘解的精度

A X = b AX = b AX=b

A T ∗ A ∗ X = A T ∗ b A^T*A*X = A^T*b AT∗A∗X=AT∗b

X = ( A T ∗ A ) − 1 ∗ A T ∗ b X=(A^T*A)^{-1}*A^T*b X=(AT∗A)−1∗AT∗b

X = ( R T ∗ Q T ∗ Q ∗ R ) − 1 ∗ R T ∗ Q T ∗ b X=(R^T*Q^T*Q*R)^{-1}*R^T*Q^T*b X=(RT∗QT∗Q∗R)−1∗RT∗QT∗b

X = R − 1 ∗ Q T ∗ b X = R^{-1}*Q^T*b X=R−1∗QT∗b

可得
R X = Q T ∗ b RX = Q^T*b RX=QT∗b
  因为R是一个上三角矩阵,乘以X可以得到一个方便求解的线性方程,而右边没有了求逆矩阵的过程,求逆矩阵的过程中,如果有小数发生约简,会引入误差,而不计算矩阵的逆,既能够提高运算速度,也能够提高运算精度。

5.正交矩阵的用处

5.1 解方程v=Q*x

x = Q T ∗ v x = Q^T*v x=QT∗v

5.2 傅里叶级数

5.2.1 傅里叶级数定义

f ( x ) = a 0 + a 1 c o s x + b 1 s i n x + a 2 c o s 2 x + b 2 s i n 2 x + . . . . . f(x)=a0+a1cosx+b1sinx + a2cos2x+b2sin2x+..... f(x)=a0+a1cosx+b1sinx+a2cos2x+b2sin2x+.....

5.2.2 矩阵内积与函数内积的区别

V T ∗ W = v 1 ∗ w 1 + . . . . . v n ∗ w n V^T*W=v1*w1+.....vn*wn VT∗W=v1∗w1+.....vn∗wn

f T ∗ g = ∫ 0 2 π f ( x ) g ( x ) d x f^T*g=\int_0^{2\pi}f(x)g(x)dx fT∗g=∫02π​f(x)g(x)dx

【线性代数及其应用】05 - 正交性和最小二乘相关推荐

  1. 线性代数笔记18——投影矩阵和最小二乘

    一维空间的投影矩阵 先来看一维空间内向量的投影: 向量p是b在a上的投影,也称为b在a上的分量,可以用b乘以a方向的单位向量来计算,现在,我们打算尝试用更"贴近"线性代数的方式表达 ...

  2. 合同相似可逆等价矩阵的关系及性质_线性代数预习自学笔记-11:等价性与相似性...

    上一篇:线性代数预习自学笔记-10:线性变换 一.相似矩阵 根据矩阵表示定理,我们知道任意向量空间上的任意线性变换都可以用一个相应的矩阵表示:但一个棘手的问题是,在应用这个定理时,我们不可避免地需要先 ...

  3. 线性代数 - 矩阵形式下的最小二乘法

    20201001 - 0. 引言 最近在看<异常点检测>的时候,其中在PCA部分(准确来说是前面一小节)在进行推导的时候,使用了最小二乘法.其实这个东西本质上并不难,但是让我比较尴尬的是, ...

  4. 【第23期】令人舒心又伤脑的12张数学原理动图!你能看懂几个

    1.被简单证明的勾股定理 给三角形加上一点厚度.从面积问题,跳转到了具象的体积问题. 2.勾股定理的面积证明法 It s a long story--慢慢看. 3.周长和直径的π点小事 4.圆的面积= ...

  5. Eigen: C++开源矩阵计算库

    Eigen库被分为一个Core模块和几个附加的模块,每个模块有一个相关的头文件,使用该模块时需要包含该头文件,为了能便利的使用eigen的几个模块,Eigen提供了Dense和Eigen两个头文件,各 ...

  6. 一张导图和19本书,带你学数学!

    我们曾在<这才是中国被卡脖子最严重的软件!>一文中讨论过基础学科的重要性,也提到了当前人们之所以对计算机越发依赖,是因为我们的世界已经有很多问题太过复杂,以至于只能借助于计算机超级强大的计 ...

  7. 线性代数 --- 投影与最小二乘 上(一元一次方程组的最小二乘解与向量在一维子空间上的投影)

    向量在子空间上的投影与最小二乘逼近 对于一个mxn的非齐次线性方程组Ax=b而言,他可能有解,也可能没有解.如果A中各列通过线性组合可以得到b, 或者说b在A的列空间中,则方程组有解,即方程组相容.反 ...

  8. 线性代数 --- 最小二乘在直线拟合上的应用与Gram-Schmidt正交化(下)

    在上一篇文章中,通过一个例子来说明最小二乘在拟合直线时所发挥的作用,也通过两个插图的比较进一步的阐明了投影与最小化e之间的密切关系. 线性代数 --- 最小二乘在直线拟合上的应用与Gram-Schmi ...

  9. 如何将一个向量投影到一个平面上_线性代数19——投影矩阵和最小二乘

    一维空间的投影矩阵 先来看一维空间内向量的投影: 向量p是b在a上的投影,也称为b在a上的分量,可以用b乘以a方向的单位向量来计算,现在,我们打算尝试用更"贴近"线性代数的方式表达 ...

最新文章

  1. php使用redis的GEO地理信息类型
  2. FPGA篇(十二)仿真中 `timesclae的用法
  3. hexo-cli博客 hexo-admin编辑器 next主题安装命令整理
  4. 启明云端分享|A133核心板SOM1309在喉镜方面的应用
  5. 通达信波段王指标公式主图_通达信波段线主图指标公式
  6. Windows SharePoint Services 3.0编码开发工具和技巧(Part 1 of 2)
  7. gEdit: 打造简洁,小巧的编程环境
  8. 虎年云原生落地技术趋势
  9. vim莫名假死的解决办法
  10. 前端跨域之Jsonp实现原理及.Net下Jsonp的实现
  11. 解读畅捷通微服务治理能力提升之路
  12. 使用Fragstats对栅格数据进行分析
  13. python实战演练三:抓取我自己csdm博客信息的标题和文章链接,并存入文件夹《只抓取了一页数据,如何抓取全部数据》
  14. java分类Kdd99数据集_【数据】主题分类数据集
  15. 用Cordova打包Vue项目为app
  16. WUST 五一萌新向CTF writup
  17. d3.js画金庸小说力导向图
  18. python集合如何去除重复数据_Python 迭代删除重复项,集合删除重复项
  19. STM32_基础入门_新建工程文件—基于固件库
  20. 论文总结(三)-- 超分辨算法基础与综述

热门文章

  1. Python给手机发通知
  2. 【05】制作鸿蒙版蜻蜓短视频系统-事件原理及完成点击,长按,双击等操作实现跳转-优雅草伊凡
  3. Epson机器人原点与左右手矫正说明
  4. 维特智能姿态传感器WT901C-485调试流程
  5. 介绍一款可悬浮的截图软件
  6. 富力等待黎明:李思廉走在还债的漫漫长路
  7. [pytorch]torch.roll函数
  8. day4 高阶函数 嵌套函数 装饰器 内置函数 列表生成式 迭代器 生成器
  9. 【山大会议】多人视频通话 WebRTC 工具类搭建
  10. 判断给定的一串字符是否为“回文”。所谓“回文”是指顺读和倒读都一样的字符串。