L5-转置、置换、向量空间

linear-algebra

L5-转置、置换、向量空间

参考

置换矩阵

置换矩阵 Permutation matrix 是将单位矩阵进行了行交换所得到的矩阵,对于 n×nn \times n 方阵共有 n!n! 种不同的置换矩阵(由单位矩阵各行重新排列,得到的所有可能的情况)

如果使用矩阵消元法求解 Ax=bAx=b 时,可逆矩阵 AA 转换为 UU 的过程中,主元位置出现了 00,就需要使用相应的置换矩阵 PP 左乘目标矩阵,以实现行置换,(以便该行可以有主元)使得求解可以继续进行下去,则最终矩阵可以分解为 PA=LUPA=LU 形式。

规律定理

所有置换矩阵都有逆矩阵,而逆矩阵的作用是「还原」(即恢复行置换操作),因此逆矩阵左乘置换矩阵会得到单位矩阵 P1P=IP^{-1}P=I

而置换矩阵的逆矩阵是其转置矩阵 P1=PTP^{-1}=P^{T},因此 PTP=P1P=IP^{T}P=P^{-1}P=I

即置换矩阵的转置 PTP^{T} 与置换矩阵 PP 的乘积为单位矩阵

例如

P2,3TP2,3=[100001010][100001010]=[100010001]=I\begin{aligned} P^{T}_{2,3} P_{2,3} = \begin{bmatrix} 1 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 1 & 0 \end{bmatrix} \begin{bmatrix} 1 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 1 & 0 \end{bmatrix} & = \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{bmatrix} & = I \end{aligned}

转置

转置矩阵 Transpose matrix 是将目标矩阵进行转置操作后得到的矩阵,即将目标矩阵的所有元素的行定位和相应的列定位互换后,得到的矩阵

(AT)ij=Aji\begin{aligned} (A^{T})_{{\color{Blue}i } {\color{Red}j }} = A_{{\color{Red}j } {\color{Blue}i }} \end{aligned}

从整体形象的角度考虑,转置操作就是矩阵沿着「对角线」(如果矩阵是方阵就正好是对角线)翻转。💡 由于在「对角线」上的元素(红色标记) 行定位 ii 与列定位 jj 相同,因此在转置时这些元素位置并不变

A=[a11a12a13a14a21a22a23a24a31a32a33a34]\begin{aligned} A= \begin{bmatrix} {\color{Red} a_{11}}&a_{12} &a_{13} &a_{14} \\ a_{21}&{\color{Red} a_{22}} &a_{23} &a_{24} \\ a_{31}&a_{32} &{\color{Red} a_{33}} &a_{34} \end{bmatrix} \end{aligned}AT=[a11a21a31a12a22a32a13a23a33a14a24a34]\begin{aligned} A^{T}= \begin{bmatrix} {\color{Red} a_{11}}&a_{21} &a_{31} \\ a_{12}&{\color{Red} a_{22}} &a_{32} \\ a_{13}&a_{23} &{\color{Red} a_{33}} \\ a_{14}&a_{24} &a_{34} \end{bmatrix} \end{aligned}

对称矩阵 Symmetric matrices 是指那些转置后不变的矩阵,即 A=ATA=A^{T}

可以通过矩阵与其转置矩阵相乘 AATAA^{T}(或 ATAA^{T}A)构建出对称矩阵

A3×2=[132341]\begin{aligned} A_{3 \times 2} = \begin{bmatrix} {\color{Red}1} & 3 \\ 2 & {\color{Red} 3} \\ 4 & 1 \end{bmatrix} \end{aligned}A3×2T=[124331]\begin{aligned} A^{T}_{3 \times 2} = \begin{bmatrix} {\color{Red}1} & 2 & 4 \\ 3 & {\color{Red}3} & 1 \end{bmatrix} \end{aligned}ATA=[124331][132341]=[21131319]\begin{aligned} A^{T} A = \begin{bmatrix} 1 & 2 & 4 \\ 3 & 3 & 1 \end{bmatrix} \begin{bmatrix} 1 & 3 \\ 2 & 3 \\ 4 &1 \end{bmatrix} & = \begin{bmatrix} 21 & 13 \\ 13 & 19 \end{bmatrix} \end{aligned}AAT=[132341][124331]=[1011711131171117]\begin{aligned} AA^{T} = \begin{bmatrix} 1 & 3 \\ 2 & 3 \\ 4 & 1 \end{bmatrix} \begin{bmatrix} 1 & 2 & 4 \\ 3 & 3 & 1 \end{bmatrix} & = \begin{bmatrix} 10 & 11 & 7 \\ 11 & 13 & 11 \\ 7 & 11 & 17 \end{bmatrix} \end{aligned}
提示

由于 (ATA)T=AT(AT)T=ATA({\color{Green}A }^{T}{\color{Red}A })^{T}={\color{Red}A }^{T}({\color{Green}A }^{T})^{T}=A^{T}A

以上存在的第一步看起来类似乘法「分配律」,但是为啥可以这样,课上省略了证明步骤 😂 不过可以用实例演示理解一下,如果将乘数分别转置,那么它们的维度就会变了,仍要相乘就需要对调位置,这是第一步绿位置对调的原因,然后再分别转置后再相乘;而第二步是由于对一个矩阵进行两次转置,「翻转」两次就变为它本身

即矩阵与其置换矩阵的乘积的结果矩阵,将其转置后等于自身,因此 ATAA^{T}A(或 AATAA^{T})是对称矩阵。

向量空间

向量空间 Vector Space 是指由向量的加法数乘两种运算求出的所有可能的向量集合(即基向量的线性组合得到的向量集合),空间 Space 表示可能包含大量的向量。

向量空间里的向量需要满足封闭性:向量空间中的向量经过数乘和加法两种运算规则得到的向量必须仍在该向量空间中,即对线性组合封闭

  • 向量空间 R2\mathbb{R}^{2} 由所有 2-dim 2 维实数向量构成,几何形式是一个 xyx-y 平面
  • 向量空间 R3\mathbb{R}^{3} 由所有 3-dim 3 维实数向量构成,几何形式是一个 xyzx-y-z 空间
  • 向量空间 Rn\mathbb{R}^{n} 由所有 n-dim n 维实数向量构成

子空间

子空间 Subspace 是指在一个向量空间中取出部分向量,这些向量构成的子集对于加法和数乘也是封闭的

  • 向量空间 R2\mathbb{R}^{2} 的所有子空间:
    • 其自身 R2\mathbb{R}^{2}
    • 所有过 [00]\begin{bmatrix}0\\0\end{bmatrix} 的直线,直线上的向量,该子空间记作 LL
    • 零向量,该子空间记作 ZZ
  • 向量空间 R3\mathbb{R}^{3} 的所有子空间:
    • 其自身 R3\mathbb{R}^{3}
    • 所有过 [00]\begin{bmatrix}0\\0\end{bmatrix} 的平面,平面上的向量构成的向量空间
    • 所有过 [00]\begin{bmatrix}0\\0\end{bmatrix} 的直线,直线上的向量构成的向量空间
    • 零向量,该子空间记作 ZZ
规律定理

所有向量空间或子空间都必须包含零向量

因为当数乘的因数为 00 时,必然得到零向量。

如果向量空间存在两个子空间 SSTT,则它们的交集 STS \cap T 得到的向量集合仍构成子空间。

证明

因为当向量 v\vec{v}w\vec{w}STS \cap T 中,则向量 v\vec{v}w\vec{w} 在子空间 SS 中,由于 SS 是向量空间,则在其中的向量都满足封闭性,所以 v+w\vec{v} + \vec{w} 仍在子空间 SS 中;同理可知 v+w\vec{v} + \vec{w} 仍在子空间 TT 中,因此 v+wST\vec{v} + \vec{w} \in S \cap T,即 STS \cap T 对向量求和运算封闭

类似地,可以证得 STS \cap T 对于数乘也封闭。

所以两个子空间的交集 STS \cap T 得到的向量集合仍构成子空间。

列空间

列空间 Column Space,记作 C(A)C(A),它是指基于矩阵各列所创建的子空间

A=[132341]\begin{aligned} A = \begin{bmatrix} 1 & 3 \\ 2 & 3 \\ 4 & 1 \end{bmatrix} \end{aligned}

由矩阵 AA 的第一列 col1col1 和第二列 col2col2 向量的所有可能的线性组合得到的列向量集合,构成一个 R3\mathbb{R}^{3} 子空间,该列空间 C(A)C(A) 的几何形式是一个过原点的平面。


Copyright © 2024 Ben

Theme BlogiNote

Icons from Icônes