MIT线性代数笔记-第14讲-正交向量与空间

14.正交向量与空间

$\vec{x}\cdot \vec{y}$也可以记作${\vec{x}}^T\vec{y}$或${\vec{y}}^T\vec{x}$，因而$|\vec{x}{|}^2$也可以记作${\vec{x}}^T\vec{x}$

所以勾股定理——$|\vec{x}{|}^2+|\vec{y}{|}^2=|\vec{x}+\vec{y}{|}^2$也可以表示为

$\begin{array}{rl}{\vec{x}}^T\vec{x}+{\vec{y}}^T\vec{y}& =(\vec{x}+\vec{y}{)}^T(\vec{x}+\vec{y})\\ & =({\vec{x}}^T+{\vec{y}}^T)(\vec{x}+\vec{y})\\ & ={\vec{x}}^T\vec{x}+{\vec{y}}^T\vec{y}+{\vec{x}}^T\vec{y}+{\vec{y}}^T\vec{x}\end{array}$

即${\vec{x}}^T\vec{y}+{\vec{y}}^T\vec{x}=0$，即${\vec{x}}^T\vec{y}=0$，与向量正交的矩阵表示一致

这就引入了内积的概念，两个向量$\vec{a},\vec{b}$的内积为${\vec{a}}^T\vec{b}$，推广到矩阵，两个矩阵$A,B$的内积为$A^{T}B$（当然这等于$B^{T}A$，而且只有当$A,B$行数一致时才可以求内积）

对于向量，正交即内积为$0$，推广到空间，考虑给两个空间各找一组基再以基中的向量作为列向量各得到一个矩阵，这两个矩阵的内积为$O$意味着这两个空间正交，这等价于二者中的任意两个元素都正交，因而两个垂直的平面并不正交

1. 任意向量空间均与$\vec{0}$正交

2. 任意向量空间不会与其除$\vec{0}$外的子空间正交

   证明： 二者存在除$\vec{0}$外的相同向量，这些向量不会与自己正交

3. 零空间正交于同一矩阵的行空间，左零空间正交于同一矩阵的列空间

   证明： 设矩阵为$A$

   ​    零空间中的向量均为$A\vec{x}=\vec{0}$的解，考虑$A$中每一行分别与$\vec{x}$相乘，不难发现结果都是$0$，因而$A$的所有行向量都与零空间中的任意向量正交，而行空间中的向量均由$A$的行向量线性组合而来，因而行空间和零空间中任意两个向量正交，二者正交，左零空间和列空间类似

4. 正交补：与某个子空间在包含它的某个空间中正交的所有元素构成的集合称为该子空间在该空间中的正交补，如零空 间是同一矩阵的行空间在$R^n$中的正交补，$A$的正交补记作$A^{\perp }$

   • 某个空间的任意向量均可以用其互为正交补的两个子空间中向量的线性组合表示

     证明： 设某个空间互为正交补的两个子空间分别为$A,B$，给$A,B$各找一组基

        若$B$的某个基向量与$A$的基向量线性相关，则该向量存在于$A$空间中，那么根据定义，它需要与自己正交，而基向量不可能为$\vec{0}$，无法与自己正交，所以$A,B$的基向量都线性无关

        所以$A,B$的基向量组合在一起可以得到整个空间的一组基，可以用于表示整个空间中的任意向量

5. 正交基：某空间的元素两两正交的基称为该空间的正交基

---

打赏

制作不易，若有帮助，欢迎打赏！