行空间与列空间

线性代数
${\displaystyle \mathbf {A} ={\begin{bmatrix}1&2\\3&4\end{bmatrix}}}$
向量 · 向量空间  · 行列式  · 矩阵
向量 标量 · 向量 · 向量空间 · 向量投影 · 外积（向量积） · 内积（数量积） 矩阵与行列式 矩阵 · 行列式 · 线性方程组 · 秩 · 核 · 迹 · 單位矩陣 · 初等矩阵 · 方块矩阵 · 分块矩阵 · 三角矩阵 · 非奇异方阵 · 转置矩阵 · 逆矩阵 · 对角矩阵 · 可对角化矩阵 · 对称矩阵 · 反对称矩阵 · 正交矩阵 · 幺正矩阵 · 埃尔米特矩阵 · 反埃尔米特矩阵 · 正规矩阵 · 伴随矩阵 · 余因子矩阵 · 共轭转置 · 正定矩阵 · 幂零矩阵 · 矩阵分解 （LU分解 · 奇异值分解 · QR分解 · 极分解 · 特征分解） · 子式和余子式 · 拉普拉斯展開 · 克罗内克积 线性空间与线性变换 线性空间 · 线性变换 · 线性子空间 · 线性生成空间 · 基 · 线性映射 · 线性投影 · 线性无关 · 线性组合 · 线性泛函 · 行空间与列空间 · 对偶空间 · 正交 · 特征向量 · 最小二乘法 · 格拉姆-施密特正交化
查 论 编

定义

矩阵的行空间和列空间均为特殊的子空间，均属矩阵的四大基本子空间之一。

行空间定义

设一m 行 n列实元素 矩阵为A（m × n 矩阵），则其行空间（英文：Row Space）是由矩阵A的所有行向量所生成的Rⁿ上的子空间，记作C(A^T)或R(A)。其中，矩阵A^T（n × m 矩阵 ）被称为矩阵A的转置。

行空间C(A^T)中的所有向量均为矩阵A的行向量的某种线性组合，都为Rⁿ上的向量（即n维向量）。

C(A^T)的维度等于矩阵A的行秩，最大为min(m,n)。即：

dim C(A^T) = dim R(A) = rank(A^T) ≤ min(m,n)

行空间C(A^T)的一组自然基底是矩阵A的行向量的最大线性无关组。

列空间定义

列空间的定义非常类似于行空间。

设一m 行 n列实元素 矩阵为A（m × n 矩阵），则其列空间（英文：Column Space）是由矩阵A的所有列向量生成的R^m上的子空间，记作C(A)。

矩阵A的列空间C(A)中的所有向量均为矩阵A中列向量的某种线性组合，都为R^m上的向量（即m维向量）。

C(A)的维度等于矩阵A的列秩，最大为min(m,n)。即：

dim C(A) = rank(A) ≤ min(m,n)

列空间C(A)的一组自然基底是矩阵A的列向量的最大线性无关组。

推广

行空间与列空间的概念均可推广到在任何域上，特别是复数域C。

行空间、列空间的解释

线性变换解释

如果把矩阵A当作从Rⁿ到R^m的线性变换，则矩阵的列空间等于这个线性变换的像，一种对向量x（原像）的运算、坐标变换。行空间则是从R^m到Rⁿ的线性变换。

以行空间为例，设A为一n阶可逆方阵，给定一个线性方程组Ax=b，则该方程可理解为一种坐标变换：

某个n维向量在某个坐标系下（实际是以A的列向量的最大线性无关组为基底的坐标系，称为原坐标系)被称为（描述为）x，则x的各个分量值即该n维向量在原坐标系下的坐标值。矩阵A作用于x是指对该向量在由A的行向量所确定的一组基下作投影。矩阵A可逆，则行向量线性无关，每个行向量实际是一个基向量，需要对x作n次投影。

x在每个基向量上投影都会得到一个投影值，则一共得到n个投影值。将各个投影值按相应的顺序从上到下排列写成向量形式后即得到结果向量b——在新坐标系下的描述，其各个分量即该向量在以A的行向量为基的坐标系下的坐标值。换言之，x和b只是同一个向量在不同坐标系下的坐标（描述），矩阵A则是进行描述转换的（坐标变换）的媒介。

由于已假设A可逆，若在上述基础上对方程Ax=b两边同时右乘A的逆矩阵A^-1，则是进行了一次逆变换，相当于将b投影在以A的列向量为基底的坐标系（即原坐标系），返回到原坐标系下的坐标表示x，即：将向量在新坐标系下的坐标表示b还原为在原坐标系下的坐标表示x。

上述的两次变化可形式化表示为：

AxA^-1=x

且上式以矩阵乘法的角度看是显然的。两次变换简言之：

1. 首先投影x到A的行空间，得到在新坐标下的坐标描述b；
2. 进行可逆的变换；
3. 把结果向量b放置到A的列空间中。所以结果的 Ax=b必定居留在A的列空间中。

几何解释

列空间

矩阵A的列空间C(A)是所有A的纵列的所有线性组合。设A为m × n 矩阵，其第i个列向量为a_i,则C(A)的形式化表述为：

如果A = [a₁, ...., a_n]，则C(A) = Span {a₁, ...., a_n}。

行空间

矩阵A的行空间R(A)或C(A^T)是所有A的横行的所有线性组合。

由于矩阵A的行向量经转置后成为列向量，则矩阵A^T的列空间即矩阵A的行空间。同理，A的列空间也是A^T的行空间。相应地，设矩阵A为m × n 矩阵，则其转置A^T为n × m 矩阵，其第i个列向量为a^T_i，则C(A^T)的形式化表述为：

如果A^T = [a^T₁, ...., a^T_n]，则C(A^T)=R(A) = Span {a^T₁, ...., a^T_n}。

例子

给定矩阵J:

${\displaystyle J={\begin{bmatrix}2&4&1&3&2\\-1&-2&1&0&5\\1&6&2&2&2\\3&6&2&5&1\end{bmatrix}}}$ 

横行是 r₁ = (2,4,1,3,2), r₂ = (−1,−2,1,0,5), r₃ = (1,6,2,2,2), r₄ = (3,6,2,5,1)。 结果的J的行空间是{ r₁, r₂, r₃, r₄ } 张成的R⁵的子空间。因为这4个行向量是线性无关的，行空间是4维的。此外，在这种情况下，可以被看出它们都正交于向量n = (6,−1,4,−4,0)，所以可以推出行空间由正交于n的所有R⁵中的向量组成。

参见

• 零空间

外部链接

• MIT Video Lecture on Column Space and Nullspace （页面存档备份，存于互联网档案馆）, from MIT OpenCourseWare

参考文献

• Strang,G.(2009)Introduction to Linear Algebra. 4th Edition.Massachusetts: Wellesley-Cambridge Press, pp.120-189.
• 3Blue1Brown.(2016)Linear transformations and matrices | Essence of linear algebra, chapter 3. Available from: https://www.youtube.com/watch?v=kYB8IZa5AuE&index=4&t=0s&list=PLZHQObOWTQDPD3MizzM2xVFitgF8hE_ab （页面存档备份，存于互联网档案馆） [Assessed 17th April 2018].