线性代数的核心思想

linear-algebra

线性代数的核心思想

参考

这一节 Prof. Gilbert Strang 推荐另一门他主讲的课程 MIT 18.085 Computational Science and Engineering I, Fall 2008,并在本课以其中一节 Recitation 1: Key Ideas of Linear Algebra 为主要内容。

线性代数的发展

mermaid

Vector

矩阵与向量相乘 Ax=bAx=b 两种理解角度

  • 矩阵基于向量的线性组合 Linear Combinationx1μ+x2ν+x3ω=bx_{1} \overrightarrow{\mu }+x_{2} \overrightarrow{\nu }+x_{3} \overrightarrow{\omega } = b,其中:x1x_{1}x2x_{2}x3x_{3} 称为标量 scaler。
    可以用线性组合的观点来理解矩阵与向量相乘,将 A 看作是由列向量(μ\overrightarrow{\mu }ν\overrightarrow{\nu }ν\overrightarrow{\nu })构成列数为 3 的矩阵,则向量 xx 各元素 x1x_{1}x2x_{2}x3x_{3} 作为系数,因此矩阵与向量相乘 AxAx 是矩阵 AA 的各列基于向量 xx 的相应元素进行线性组合
    Subspace 子空间
    • x1μx_{1}\overrightarrow{\mu }x2νx_{2} \overrightarrow{\nu }x3ωx_{3} \overrightarrow{\omega }x1x_{1}x2x_{2}x3x_{3} 取遍所有的 RR 上的值,分别会构成一条直线,称为一维子空间
    • 类似地,(如果 μ\overrightarrow{\mu }ν\overrightarrow{\nu } 方向不同)x1μx_{1}\overrightarrow{\mu }x2νx_{2} \overrightarrow{\nu } 构成一个平面
    • (如果 μ\overrightarrow{\mu }ν\overrightarrow{\nu }ω\overrightarrow{\omega } 三者方向不同)而三者 x1μx_{1}\overrightarrow{\mu }x2νx_{2} \overrightarrow{\nu }x3ωx_{3} \overrightarrow{\omega } 共同构成一个三维空间
  • 向量基于矩阵的差异转换 different transform:如果矩阵为差异矩阵或求和矩阵,则矩阵与向量相乘所得到的结果向量,观察它各个元素,可以发现是由原向量的元素之间相减或相加构成的。
    因此这种特殊的矩阵与向量相乘 Ax=bAx=b,可以将矩阵 AA 看作是实现将向量 xxbb 的转换;当矩阵为可逆矩阵 inverse 时,会有 x=A1bx=A^{-1}b,相应地可以将矩阵 A1A^{-1 } 看作是将向量 bbxx 的转换

Matrix

当矩阵 AA[100110011]\begin{bmatrix} 1&0 &0 \\ -1&1 &0 \\ 0&-1 &1\end{bmatrix} 则有 Ax=bAx=b

  • 基于列形式,可以将矩阵看作是由列向量组成的,因此矩阵与向量相乘可以看作是矩阵的各列进行了线性组合
Ax=[100110011][x1x2x3]=x1[110]+x2[011]+x3[001]=[x1x2x1x3x2]=b\begin{aligned} Ax & = \begin{bmatrix} 1 & 0 & 0 \\ -1 & 1 & 0 \\ 0 & -1 & 1 \end{bmatrix} \begin{bmatrix} x_{1} \\ x_{2} \\ x_{3} \end{bmatrix} \\ & = x_{1} \begin{bmatrix} 1 \\ -1 \\ 0 \end{bmatrix} + x_{2} \begin{bmatrix} 0 \\ 1 \\ -1 \end{bmatrix} + x_{3} \begin{bmatrix} 0 \\ 0 \\ 1 \end{bmatrix} \\ & = \begin{bmatrix} x_{1} \\ x_{2} - x_{1} \\ x_{3} - x_{2} \end{bmatrix} \\ & = b \end{aligned}
  • 基于行形式,矩阵与向量相乘,看作是矩阵的每一行与向量相乘(点乘)
Ax=[100][x1x2x3]+[110][x1x2x3]+[011][x1x2x3]=[1×x1+0×x2+0×x3(1)×x1+1×x2+0×x30×x1+(1)×x2+1×x3]=[x1x2x1x3x1]=b\begin{aligned} Ax & = \begin{bmatrix} 1 & 0 & 0 \end{bmatrix} \begin{bmatrix} x_{1} \\ x_{2} \\ x_{3} \end{bmatrix} + \begin{bmatrix} -1 & 1 & 0 \end{bmatrix} \begin{bmatrix} x_{1} \\ x_{2} \\ x_{3} \end{bmatrix} + \begin{bmatrix} 0 & -1 & 1 \end{bmatrix} \begin{bmatrix} x_{1} \\ x_{2} \\ x_{3} \end{bmatrix} \\ & = \begin{bmatrix} 1 \times x_{1} + 0 \times x_{2} + 0 \times x_{3} \\ (-1) \times x_{1} + 1 \times x_{2} + 0 \times x_{3} \\ 0 \times x_{1} + (-1) \times x_{2} + 1 \times x_{3} \end{bmatrix} \\ & = \begin{bmatrix} x_{1} \\ x_{2} - x_{1} \\ x_{3} -x_{1} \end{bmatrix} \\ & = b \end{aligned}

Sbuspace

向量空间是在线性组合下闭合的向量的集合,即由向量的所有可能的线性组合构成的。

子空间是指矩阵的列构成的向量,它们的所有可能的线性组成所覆盖的空间维度,如果低于向量原来可以表示的最大维度空间,则该子空间是真子空间

对于矩阵 C=[101110011]C=\begin{aligned} \begin{bmatrix} 1& 0& -1\\-1& 1& 0\\0& -1& 1\end{bmatrix}\end{aligned} 每一列作为向量,分别是:

col1=[110],col2=[011],col3=[101]\begin{aligned} col1 = \begin{bmatrix} 1 \\ -1 \\ 0 \end{bmatrix}, col2 = \begin{bmatrix} 0 \\ 1 \\ -1 \end{bmatrix}, col3 = \begin{bmatrix} -1 \\ 0 \\ 1 \end{bmatrix} \end{aligned}

由于 col3=(col1+col2)col3 = -(col1 + col2),因此矩阵 CC 的列组成的向量所有可能的线性组合得出的向量集合,覆盖的空间维度低于 R3\mathbb{R}^{3},它是 R3\mathbb{R}^{3} 的二维子空间。因此对于 Cx=bCx=b,会存在某些向量 bb(不在矩阵 CC 构成的子空间/平面上的向量),使得无法求出 xx 让等式成立。

将矩阵 Ax=bAx=b 形式写成方程组形式

{x1x3=b1x1+x2=b2x2+x3=b3\begin{aligned} \left\{\begin{matrix} x_{1} - x_{3} = b_{1} \\ -x_{1} + x_{2} = b_{2} \\ -x_{2} + x_{3} = b_{3} \end{matrix}\right. \end{aligned}

根据前面的分析 col3=(col1+col2)col3 = -(col1 + col2),即唯有向量 bb 各元素满足 b1+b2+b3=0b_{1} + b_{2} + b_{3} = 0 时才可以求出对应的方程组解 xx(向量)。

零空间

一个向量空间最小的子空间是零向量,在几何形式就是原点。

Basis

空间 Rn\mathbb{R}^{n}基 basis 是由 nnRn\mathbb{R}^{n} 维的「独立」向量组成。从矩阵的角度考虑,就是采用可逆矩阵的各列所组成的向量集合来作为基。


Copyright © 2024 Ben

Theme BlogiNote

Icons from Icônes