高等代数笔记2：向量空间与矩阵论

向量空间

向量空间的定义

向量空间就是解析几何中的平面向量和空间向量的进一步抽象。回顾解析几何的知识，平面中两个线性无关的向量可以线性表示整个平面上所有的向量，也就是说，对于任意的平面向量$v$及两个线性无关的向量$e_1,e_2$，都存在实数$x_1,x_2$
$$v=x_1{e}_1+x_2{e}_2$$$(x_1,x_2)$称为$v$在$e_1,e_2$下的坐标。有了两个线性无关的平面向量，所有平面都和一个实数对一一对应，同样地，所有空间向量都和一个三维实数对具有一一对应的关系。同时，向量的加法（按平行四边形法则）就是实数对各变元相加，向量的数乘就是实数对各变元乘以该实数。我们将这一规则从二、三维推广到n维，就得到n维向量空间。
定义2.1 $K$是一个数域，$(x_1,x_2,\cdots ,x_n)$的各变元都是$K$中的数，全体这样的$n$元数对构成的集合称为$n$维向量空间

$n$维向量空间实际上就是$n$维空间的一个"点"，只不过在二维和三维，我们有明确的几何直观，二维的点就是平面上的一个点或平面上的一个向量，三维的点就是空间上的一个点或空间的一个向量。在超过四维的情况下，我们就无法想象几何上的$n$维向量到底“长成什么样”，不过形式是$n$维实数对。我们规定：$n$维向量空间上的加法为各变元分别相加，数乘为各变元分别乘以该常数。我们就在$n$维向量空间上，建立了两个运算。并且，按照数域的运算性质，容易验证$n$维向量空间有如下的运算性质：
(1)(加法交换律)$x_1+x_2=x_2+x_1$
(2)(加法结合律)$x_1+x_2+x_3=x_1+(x_2+x_3)$
(3)(零元)$0+x=x$
(4)(存在相反元)$x+(-x)=0$
(5)(数乘交换律)$(ab)x=a(bx)$
(6)(数乘结合律)$(a+b)x=ax+bx$
(7)(数乘结合律)$a(x_1+x_2)=a{x}_1+a{x}_2$
(8)(单位元)$1.x=x$

这样，向量就好像“数”一样与数域中的数一起参与运算，这就启发我们：能运算的，不仅仅只有数，即是是抽象的集合中的元素，也是可以通过定义某种运算，具有某种运算规律，就可以如同数一样进行运算，这样，我们对代数的认识，就从具体，走向抽象，可以认为：抽象，就是现阶段代数的核心！

当然，我们不是为了抽象而进行抽象，向量空间有其明确的几何背景，那就是解析几何中的二维平面向量空间和三维立体几何向量空间，所以，接下来的任务，我们要将平面解析几何和立体解析几何的若干观念，推广到$n$维向量空间当中。

向量空间的结构

接下来，我们将解析几何中的若干观念，推广到$n$维向量空间中去。我们知道，平面解析几何中，两个向量平行，就等价于存在实数$k$，$x_1=k{x}_2$，此时
$$x_1-k{x}_2=0$$两个向量不平行，那么就不存在实数$k$，使得$x_1=k{x}_2$，如果假设
$$k_1{x}_1+k_2{x}_2=0$$那么，就一定有$k_1=k_2=0$，否则，假设$k_1\ne 0$，那么
$$x_1=-\frac{k_2}{k_1}{x}_2$$如果两个向量不平行，那么，平面上任意向量，都可以表为这两个向量的线性组合。
$$x=k_1{x}_1+k_2{x}_2$$对于$n$维向量，同样有线性相关，线性无关，线性组合的概念。

定义2.2 $x_1,\cdots ,x_m$是数域$K$上的$n$维向量空间的一个向量组，$k_1,\cdots ,k_m\in K$，称向量$k_1{x}_1+k_2{x}_2+\cdots +k_m{x}_m$是$x_1,\cdots ,x_m$的一个线性组合。

定义2.3 $x_1,\cdots ,x_m$是$K$上的$n$维向量空间的一个向量组，如果存在$K$上的一组不全为$0$的数$k_1,\cdots ,k_m\in K$，使得线性组合
$$k_1{x}_1+k_2{x}_2+\cdots +k_m{x}_m=0$$则称$x_1,\cdots ,x_m$线性相关，否则称$x_1,\cdots ,x_m$线性无关

下面我们给出线性相关和线性无关的一个等价定义
定理2.1 $x_1,\cdots ,x_m$是$K$上的$n$维向量空间的一个向量组，$x_1,\cdots ,x_m$线性相关的充要条件是存在某个向量能被其他向量线性表示

证：
$x_1,\cdots ,x_m$线性相关，则存在不全为$0$的$K$中的数$k_1,\cdots ,k_m$，满足
$$k_1{x}_1+k_2{x}_2+\cdots +k_m{x}_m=0$$不失一般性，不妨设$k_1\ne 0$，则$$x_1=-\frac{1}{k_1}[k_2{x}_2+\cdots +k_m{x}_m]$$

这就说明了，向量组线性相关，就等价于某个向量是"多余"的，体现在该向量能表示成其他向量的线性组合，去掉该向量和保留该向量，前后的向量组是等价的。那么何谓向量组的等价呢？

定义2.4 $x_1,\cdots ,x_s$，$y_1,\cdots ,y_t$是$K$上的$n$维向量空间的两个向量组，如果每个$x_i$都能被$y_1,\cdots ,y_t$线性表出，则称$x_1,\cdots ,x_s$能被$y_1,\cdots ,y_t$线性表示；如果两个向量组可以相互线性表示，则称两个向量组等价。

容易验证，向量组之间的等价是一个等价关系，即满足自反性，对称性和传递性。容易证明，如果向量组线性相关，去掉能被其他向量线性表示的向量后，两个向量组是等价的，这就足以说明线性相关的原因是因为存在某些多余的向量，剔除掉多余的向量，前后向量组等价。

那么，我们自然联想到，对于线性相关的向量组，我们逐个找到能被其他向量线性表示的向量，予以剔除，直到向量组线性无关，就得到完全没有多余向量的向量组，并且，新的向量组可以线性表出原来线性相关的向量组，就像新的线性无关的向量组就像原来的向量组的一个“不平行的平面向量”一般，通过线性组合就能得到原来的所有向量，这是“基”这个概念的雏形，只不过，在向量组这里，我们称为“极大线性无关组”。

以上过程得到的“极大线性无关组”可能会受到剔除顺序的影响的，不同的剔除顺序得到的极大线性无关组都不同，但是，同一个线性相关向量组通过以上过程得到的极大线性无关组，在向量的数量上是相等的，这就是空间的维度。下面，我们对这里观点进行严格的论证。

为了论述这个结论，我们先讨论齐次方程有非零解的一种特殊情况。

引理2.1 对数域$K$上的齐次线性方程组
$$\{\begin{array}{l}{a}_{11}{x}_1+a_{12}{x}_2+\cdots +a_{1n}{x}_n=0\\ a_{21}{x}_1+a_{22}{x}_2+\cdots +a_{2n}{x}_n=0\\ \cdots \\ a_{m1}{x}_1+a_{m2}{x}_2+\cdots +a_{mn}{x}_n=0\end{array}$$
如果$n>m$，则齐次方程必有非零解

证：
用数学归纳法对$m$进行归纳：
$m=1$时，如果$n\ge 2$，则方程组等价于1个方程
$$a_{11}{x}_1+a_{12}{x}_2+\cdots +a_{1n}{x}_n=0$$
如果$a_{11}=0$，那么$(1,0,\cdots ,0)$即是一组非零解。否则，$(a_{12},-a_{11},0,\cdots ,0)$即是一组非零解。
假设$m=k$时结论都成立，对$k+1$个方程，如果$n>k+1$，不妨设$a_{11},\cdots ,a_{m1}$不全为0，否则$(1,0,\cdots ,0)$即是一组非零解。可以通过初等变换，方程等价于
$$\{\begin{array}{l}{x}_1+b_{12}{x}_2+\cdots +b_{1n}{x}_n=0\\ 0x_1+b_{22}{x}_2+\cdots +b_{2n}{x}_n=0\\ \cdots \\ 0x_1+b_{(k+1)2}{x}_2+\cdots +b_{(k+1)n}{x}_n=0\end{array}$$由归纳假设，方程组
$$\{\begin{array}{l}{b}_{22}{x}_2+\cdots +b_{2n}{x}_n=0\\ \cdots \\ b_{(k+1)2}{x}_2+\cdots +b_{(k+1)n}{x}_n=0\end{array}$$存在一组非零解$(x_2^0,\cdots ,x_n^0)$，再令$x_1^0=-b_{12}{x}_2^0+\cdots -b_{1n}{x}_n^0$ ，这样，$(x_1^0,x_2^0,\cdots ,x_n^0)$就是方程组的一组非零解。

定理2.2 $x_1,\cdots ,x_s$和$y_1,\cdots ,y_t$是数域$K$上$n$维向量空间的两个向量组，$x_1,\cdots ,x_s$能被$y_1,\cdots ,y_t$线性表出，$y_1,\cdots ,y_t$线性无关，$s>t$，则$x_1,\cdots ,x_s$线性相关

证：
由$x_1,\cdots ,x_s$能被$y_1,\cdots ,y_t$线性表出，则存在$mn$个$K$中的数$k_{ij}$，使得
$$\{\begin{array}{l}{x}_1=k_{11}{y}_1+\cdots +k_{1t}{y}_t\\ x_2=k_{21}{y}_1+\cdots +k_{2t}{y}_t\\ \cdots \\ x_s=k_{s1}{y}_1+\cdots +k_{st}{y}_t\end{array}$$令$z_1,\cdots ,z_s\in S$，并且
$$z_1{x}_1+z_2{x}_2+\cdots +z_s{x}_s=0$$由$y_1,\cdots ,y_t$线性无关，就得到线性方程组
$$\{\begin{array}{l}{k}_{11}{z}_1+k_{21}{z}_2+\cdots +k_{s1}{z}_s=0\\ k_{12}{z}_1+k_{22}{z}_2+\cdots +k_{s2}{z}_s=0\\ \cdots \\ k_{1t}{z}_1+k_{2t}{z}_2+\cdots +k_{st}{z}_s=0\end{array}$$由于$s>t$，方程的未知量个数大于方程的个数，那么，方程必有非零解，这就说明了$x_1,\cdots ,x_s$线性相关

推论2.1 $x_1,\cdots ,x_s$和$y_1,\cdots ,y_t$是数域$K$上$n$维向量空间的两个线性无关的向量组，并且等价，那么$s=t$

定义2.5 $x_1,\cdots ,x_m$是数域$K$上$n$维向量空间的一个的向量组，$y_1,\cdots ,y_s$是$x_1,\cdots ,x_m$的一个子向量组，如果满足：
(1)$y_1,\cdots ,y_s$线性无关
(2) $x_1,\cdots ,x_m$可由$y_1,\cdots ,y_s$线性表出
则称$y_1,\cdots ,y_s$是$x_1,\cdots ,x_m$的极大线性无关组

任何向量组的极大线性无关组一定存在，但不唯一，但按照推论\ref{cor1}，极大线性无关组的向量个数一定是确定的，称极大线性无关组的向量个数是向量组的秩。

向量组的秩，就如图向量组的维数，规定向量组最少可以由其中多少个向量线性表出。

最后，我们来给出向量组和线性方程组之间的联系。对线性方程组
$$\{\begin{array}{l}{a}_{11}{x}_1+a_{12}{x}_2+\cdots +a_{1n}{x}_n=0\\ a_{21}{x}_1+a_{22}{x}_2+\cdots +a_{2n}{x}_n=0\\ \cdots \\ a_{m1}{x}_1+a_{m2}{x}_2+\cdots +a_{mn}{x}_n=0\end{array}$$
实际上，我们可以表成
$$x_1{a}_1+x_2{a}_2+\cdots +a_n{x}_n=0$$其中$a_i=(a_{1i},\cdots ,a_{mi})$，这样，线性相关就相当以上齐次线性方程组由非零解，线性无关就相当于以上其次线性方程只有零解。

向量组的秩和矩阵的秩

接下来，我们搭起向量组和矩阵之间的桥梁。向量组我们可以写成矩阵的形式，将向量组元素按列排列就是列向量，按行排列就是行向量，那么，任何矩阵都可以视为一个行向量组和列向量组。下面，我们来给出行向量组和列向量组的联系。行向量组的秩称为矩阵的行秩，列向量组的秩为矩阵的列秩

定理2.3 初等行变换不改变矩阵的行秩

证：
设矩阵$A$的行向量组为$x_1,x_2,\cdots ,x_n$
交换第$i$和$j$行不改变行向量组的构成，交换第$i$行和第$j$行后行向量组等价。
将第$i$行乘以一个非零常数$k$，则行向量组变为
$$x_1^{\prime }=x_1,\cdots ,x_{i-1}^{\prime }=x_{i-1},x_i^{\prime }=k{x}_i,x_{i+1}^{\prime }=x_{i+1},\cdots ,x_n^{\prime }=x_n$$$$\{\begin{array}{l}{x}_1=x_1^{\prime }\\ \cdots \\ x_{i-1}=x_{i-1}^{\prime }\\ x_i=\frac{1}{k}{x}_i^{\prime }\\ x_{i+1}=x_{i+1}^{\prime }\\ \cdots \\ x_n=x_n^{\prime }\end{array}$$
因此，前后的行向量组等价。
类似地，可以验证将$i$行加上第$j$行的$k$倍后，前后的行向量组等价。
因此，初等行变换后矩阵的行向量组都等价，初等行变换不改变矩阵的行秩

当然，初等行变换也不改变矩阵的列秩。
定理2.4 初等行变换不改变矩阵的列秩

证：
设$y_1,\cdots ,y_m$是矩阵的列向量组，其极大线性无关组为$z_1,\cdots ,z_s$。
再设$z_i=(z_{i1},\cdots ,z_{in})$，那么方程组
$$\{\begin{array}{l}{z}_{11}{x}_1+z_{21}{x}_2+\cdots +z_{s1}{x}_s=0\\ z_{12}{x}_1+z_{22}{x}_2+\cdots +z_{s2}{x}_s=0\\ \cdots \\ z_{1n}{x}_1+z_{2n}{x}_2+\cdots +z_{sn}{x}_s=0\end{array}$$只有零解，交换两行相当于交换$z_i$的两个变元，相当于交换方程组的两个方程，某行乘以$k$倍相当于$z_i$对应变元乘以$k$倍，相当于线性方程组对应行乘以$k$倍，将第$j$行的$k$倍加到第$i$行相当于将第$j$个分量的$k$加到第$i$个分量，相当于将第$j$个方程的$k$倍加到第$i$个方程。
因而初等行变换后不改变极大线性无关组的线性无关性。只要证明变换后得到的$z_1^{\prime },\cdots ,z_s^{\prime }$是$y_1^{\prime },\cdots ,y_n^{\prime }$的极大线性无关组即可。实际上，由于$z_1,\cdots ,z_s$是$y_1,\cdots ,y_n$的极大线性无关组，对任意的$i=1,\cdots ,n$，存在$K$中的常数$x_1,\cdots ,x_s$，使得：
$$y_i=x_1{z}_1+\cdots +x_s{z}_s$$设$y_i=(y_{i1},\cdots ,y_{in})$，写成线性方程组形式为
$$\{\begin{array}{l}{y}_{i1}=z_{11}{x}_1+z_{21}{x}_2+\cdots +z_{s1}{x}_s\\ y_{i2}=z_{12}{x}_1+z_{22}{x}_2+\cdots +z_{s2}{x}_s\\ \cdots \\ y_{in}=z_{1n}{x}_1+z_{2n}{x}_2+\cdots +z_{sn}{x}_s\end{array}$$初等行变换相当于交换两个方程，某个方程乘以$k$倍，将某个方程的$k$倍加到另一个方程，初等行变换前后方程组都成立，因此，$z_1^{\prime },\cdots ,z_s^{\prime }$是$y_1^{\prime },\cdots ,y_n^{\prime }$的极大线性无关组

推论2.2 初等列变换不改变矩阵的行秩和列秩

我们知道，任何矩阵都可以通过初等行变换化为行阶梯状矩阵。即$i\le r$，第$i$行第$s_i$列为$1$，前面的列为$0$，后$n-r$行全为0，并且$1\le s_1<\cdots <s_r\le n$。再通过初等列变换，可以将矩阵化成如下的形式：
$$\left[\begin{array}{cccccc}1& & & & & \\ & \cdots & & & 0& \\ & & 1& & & \\ & 0& & & 0& \end{array}\right]$$以上矩阵称为矩阵的标准型，通过标准型，我们就不难得到

定理2.5 矩阵的行秩和列秩相等

我们就称矩阵的行秩或列秩为矩阵的秩，矩阵$A$的秩记为$r(A)$。以上过程也提供了求解矩阵的秩的方法，就是利用矩阵的初等变换，化为阶梯阵或者标准型。

线性方程组解的结构

对于线性方程组，我们最感兴趣的问题方程组有无解？如果有，有多少解，也就是解的个数。关于这个问题，我们不妨将所有解视为一个空间，考察解空间的结构。
我们先来考察齐次线性方程组的解的结构。对齐次线性方程组
$$\{\begin{array}{l}{a}_{11}{x}_1+a_{12}{x}_2+\cdots +a_{1n}{x}_n=0\\ a_{21}{x}_1+a_{22}{x}_2+\cdots +a_{2n}{x}_n=0\\ \cdots \\ a_{m1}{x}_1+a_{m2}{x}_2+\cdots +a_{mn}{x}_n=0\end{array}$$我们关心的问题是齐次线性方程组是否有非零解。我们将所有的解记成$n$维向量的形式，全体解的集合记为$V$，容易验证：
(1)$x_1,x_2\in V$，则$x_1+x_2\in V$
(2)$x\in V,k\in K$，则$kx\in V$
也就是说，$V$对向量的加法和数乘是封闭的。我们把$V$称为齐次线性方程组的解空间。正如平面上所有向量可由两个不共线的向量线性表出，空间上所有向量可由三个不共面的向量线性表出。解空间也有这么一组基，所有解都可以表为这组基的线性组合。
类似地，我们就猜想$V$是$K$上齐次线性方程组
$$\{\begin{array}{l}{a}_{11}{x}_1+a_{12}{x}_2+\cdots +a_{1n}{x}_n=0\\ a_{21}{x}_1+a_{22}{x}_2+\cdots +a_{2n}{x}_n=0\\ \cdots \\ a_{m1}{x}_1+a_{m2}{x}_2+\cdots +a_{mn}{x}_n=0\end{array}$$的解空间，存在有限个线性无关的解向量${\tau }_1,\cdots ,{\tau }_s$，方程组任意解可表为该向量组的唯一的线性组合。

定理2.6 对$K$上齐次线性方程组
$$\{\begin{array}{l}{a}_{11}{x}_1+a_{12}{x}_2+\cdots +a_{1n}{x}_n=0\\ a_{21}{x}_1+a_{22}{x}_2+\cdots +a_{2n}{x}_n=0\\ \cdots \\ a_{m1}{x}_1+a_{m2}{x}_2+\cdots +a_{mn}{x}_n=0\end{array}$$$V$是其解空间，$A$是其系数矩阵，$r=r(A)$，则存在$n-r$个线性无关的解向量${\tau }_1,\cdots ,{\tau }_{n-r}$，$V$中任意向量可表为${\tau }_1,\cdots ,{\tau }_{n-r}$的线性组合

证：
设$a_1,\cdots ,a_n$是$A$的列向量组。
如果$r(A)=n$，方程组等价于
$$x_1{a}_1+x_2{a}_2+\cdots +x_n{a}_n=0$$由$a_1,\cdots ,a_n$线性无关，方程组仅有零解。
如果$r<n$，不妨设$a_1,\cdots ,a_r$是$a_1,\cdots ,a_n$的极大线性无关组，那么$a_{r+1},\cdots ,a_n$能被$a_1,\cdots ,a_r$线性表出，设
$$\{\begin{array}{l}{a}_{r+1}=k_{11}{a}_1+\cdots +k_{r1}{a}_r\\ a_{r+2}=k_{12}{a}_1+\cdots +k_{r2}{a}_r\\ \cdots \\ a_n=k_{1(n-r)}{a}_1+\cdots +k_{r(n-r)}{a}_r\end{array}$$代入，就有
$$\sum _{i=1}^r(x_i+x_{r+1}{k}_{i1}+\cdots +x_n{k}_{i(n-r)})a_i=0$$再由$a_1,\cdots ,a_r$线性无关，就可以得到方程组$$\{\begin{array}{l}{x}_1+x_{r+1}{k}_{11}+\cdots +x_n{k}_{1(n-r)}=0\\ x_2+x_{r+1}{k}_{21}+\cdots +x_n{k}_{2(n-r)}=0\\ \cdots \\ x_r+x_{r+1}{k}_{r1}+\cdots +x_n{k}_{r(n-r)}=0\end{array}\text{\hspace{1em}(1)}$$对$i=1,\cdots ,n-r$，令
$${\tau }_i=(-k_{1i},\cdots ,-k_{ri},0,\cdots ,0,1,0,\cdots ,0)$$即第$r+i$个变元取1，前$r$个变元取$(-k_{1i},\cdots ,-k_{ri})$，其余变元取0。容易验证${\tau }_1,\cdots ,{\tau }_{n-r}$是方程组的解向量，并且线性无关。
任意线性方程组的解必然满足方程组(1)。这样，设$(x_1,\cdots ,x_r,x_{r+1},\cdots ,x_n)$是方程组的解，就有
$$\left(\begin{array}{c}{x}_1\\ x_2\\ \cdots \\ x_r\end{array}\right)=\sum _{i=1}^{n-r}{x}_{r+i}\left(\begin{array}{c}-k_{1i}\\ -k_{2i}\\ \cdots \\ -k_{ri}\end{array}\right)$$于是
$$\left(\begin{array}{c}{x}_1\\ x_2\\ \cdots \\ x_r\\ x_{r+1}\\ \cdots \\ x_n\end{array}\right)=\sum _{i=1}^{n-r}{x}_{r+i}{\tau }_i$$即任意解向量都可以表为${\tau }_1,\cdots ,{\tau }_r$的线性组合

这就证明了基础解系的存在性，并且由基础解系的构造，任意齐次线性方程组任意两个基础解系的向量个数是一致的。并且，由上面的证明过程，我们知道$x_{r+1},\cdots ,x_n$是可以任取的，取定一组值，$x_1,\cdots ,x_r$随之确定，就得到齐次方程组的一组解，这$n-r$个元就称为自由变元。总结上面的论述，就有：

定理2.7 齐次线性方程组的系数矩阵为$A$，$n$为未知数个数，$r=r(A)$，则方程组有非零解的充要条件是$r<n$，并且解空间的维数是$n-r$

至此，我们完美地解决了齐次线性方程组的求解问题。现在，我们转入到非齐次方程组的求解问题。对非齐次线性方程组
$$\{\begin{array}{l}{a}_{11}{x}_1+\cdots +a_{1n}{x}_n=b_1\\ a_{21}{x}_1+\cdots +a_{2n}{x}_n=b_2\\ \cdots \\ a_{m1}{x}_1+\cdots +a_{mn}{x}_n=b_m\end{array}$$我们记系数矩阵为$A$，增广矩阵为$\overline{A}$。系数矩阵的列向量组为$a_1,\cdots ,a_n$，常数项向量为$\beta$，方程组就等价于
$$a_1{x}_1+\cdots +a_n{x}_n=\beta$$也就是$\beta$能否被$a_1,\cdots ,a_n$线性表出。

引理2.3 $x_1,\cdots ,x_m\in K^n$是$K^n$上线性无关的向量组，$\beta in{K}^n$，如果$x_1,\cdots ,x_m,\beta$线性相关，则存在唯一的一组$k_1,\cdots ,k_m\in K$，使得
$$\beta =k_1{x}_1+\cdots +k_m{x}_m$$

证：
由于$x_1,\cdots ,x_m,\beta$，存在不全为0的一组数$k_1,\cdots ,k_m,k_{m+1}$，使得
$$k_1{x}_1+\cdots +k_m{x}_m+k_{m+1}\beta =0$$如果$k_{m+1}\ne 0$，那么$k_1,\cdots ,k_m$不全为0，并且
$$k_1{x}_1+\cdots +k_m{x}_m=0$$与$x_1,\cdots ,x_m$线性无关矛盾，因此$k_{m+1}\ne 0$，即
$$\beta =-\frac{1}{k_{m+1}}{k}_1{x}_1+\cdots +k_m{x}_m$$这就证明了存在性，再证唯一性，假设
$$\beta =k_1{x}_1+\cdots +k_m{x}_m$$
$$\beta =l_1{x}_1+\cdots +l_m{x}_m$$那么
$$(k_1-l_1)x_1+\cdots +(k_m-l_m)x_m=0$$由$x_1,\cdots ,x_m$线性无关，就有
$$k_i=l_{i}i=1,\cdots ,m$$

定理2.8 非齐次线性方程组的系数矩阵为$A$，增广矩阵为$\overline{A}$，则方程组有解的充要条件是$r(A)=r(\overline{A})$

证：
设$A$的列向量组为$a_1,\cdots ,a_n$，常数项向量为$\beta$
必要性，假设方程组有解，那么$\beta$能被$a_1,\cdots ,a_n$线性表出，因此，$a_1,\cdots ,a_n,\beta$\和$a_1,\cdots ,a_n$等价，从而秩相等，因此$r(A)=r(\overline{A})$
充分性，假设$r(A)=r(\overline{A})$，反证法，假设$\beta$不能被$a_1,\cdots ,a_n$线性表出，设$a_1^{\prime },\cdots ,a_s^{\prime }$是$a_1,\cdots ,a_n$的极大线性无关组，那么$a_1^{\prime },\cdots ,a_s^{\prime },\beta$一定线性无关，否则$\beta$能被$a_1^{\prime },\cdots ,a_s^{\prime }$线性表出，与假设矛盾，这样
$$r(\overline{A})\ge r(A)+1>r(A)$$又与$r(A)=r(\overline{A})$矛盾，矛盾的根源在假设了$\beta$不能被$a_1,\cdots ,a_n$线性表出，故$\beta$能被$a_1,\cdots ,a_n$线性表出，齐次线性方程组有解

假设非齐次方程组有解，那么解空间又是何种结构呢？设非齐次线性方程组的解空间是$V$，如果$x_1\in V$，对任意的$x\in V$，$x-x_1$就是齐次方程的解。也就是说，假设${\tau }_1,\cdots ,{\tau }_{n-r}$是齐次方程的基础解系，那么存在$c_1,\cdots ,c_{n-r}$，使得
$$x=x_1+c_1{\tau }_1+\cdots +c_{n-r}{\tau }_{n-r}$$反过来，对任意的常数$c_1,\cdots ,c_{n-r}$，向量
$$x_1+c_1{\tau }_1+\cdots +c_{n-r}{\tau }_{n-r}$$必定是非齐次方程的解，也就是说，任何非齐次方程的解等于某个特解+齐次方程的通解。至此，我们已经明晰了非齐次方程和齐次方程解的结构，我们对上面的论述，总结到如下定理：

定理2.9 非齐次线性方程的系数矩阵为$A$，增广矩阵为$\overline{A}$，未知数个数为$n$，则
(1)$r(A)\ne r(\overline{A})$时方程组无解
(2)$r(A)=r(\overline{A})=n$时，方程组有唯一解
(3)$r(A)=r(\overline{A})<n$时，方程组有无穷多组解

至此，我们彻底回答了如何求解线性方程组，线性方程组有无解，有多少解的问题。而我们回答这些问题的过程，是借助向量空间而非直接对数的运算进行讨论的，我们也可以看到，方程组有界还是无解的问题，齐次方程有无非零解的问题，本质上是向量空间的向量组线性相关还是线性无关，向量组的秩，以及某个向量能否被系数矩阵向量组线性表示的问题。可见，要解决一个代数方程的问题，我们不一定要直接对数的运算进行讨论。更多的是认清代数方程背后的抽象代数系统的代数结构，这就是代数学的核心与精髓。

矩阵论初步

矩阵的加法和数乘

上一章，我们将矩阵视为向量的组合，这一章，我们把矩阵视为单独的元素，赋予矩阵一些运算，使矩阵也成为一个代数系统。我们将会看到，能"算"的，不仅仅只有数和向量，甚至矩阵也能"算"。

我们记全体$K$上的$m$行$n$列矩阵为$M_{m,n}$，定义$M_{m,n}$上的加法是对应位置的数相加，即$$\begin{gathered} \left[\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ \cdots & \cdots & \cdots & \cdots \\ a_{m1}& a_{m2}& \cdots & a_{mn}\end{array}\right]+\left[\begin{array}{cccc}{b}_{11}& b_{12}& \cdots & b_{1n}\\ \cdots & \cdots & \cdots & \cdots \\ b_{m1}& b_{m2}& \cdots & b_{mn}\end{array}\right]= \\ \left[\begin{array}{cccc}{a}_{11}+b_{11}& a_{12}+b_{12}& \cdots & a_{1n}+b_{1n}\\ \cdots & \cdots & \cdots & \cdots \\ a_{m1}+b_{m1}& a_{m2}+b_{m2}& \cdots & a_{mn}+b_{mn}\end{array}\right] \end{gathered}$$矩阵的数乘定义为$$k\left[\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ \cdots & \cdots & \cdots & \cdots \\ a_{m1}& a_{m2}& \cdots & a_{mn}\end{array}\right]=\left[\begin{array}{cccc}k{a}_{11}& k{a}_{12}& \cdots & k{a}_{1n}\\ \cdots & \cdots & \cdots & \cdots \\ k{a}_{m1}& k{a}_{m2}& \cdots & k{a}_{mn}\end{array}\right]$$由数域的运算规律，容易验证，矩阵空间$M_{m,n}$也有如下的八条运算规律：
(1)$A\in M_{m,n},B\in M_{m,n}$，$A+B=B+A$
(2)$A,B,C\in M_{m,n},A+B+C=A+(B+C)$
(3)$0+A=A\forall A\in M_{m,n}$
(4)$-A+A=0\forall A\in M_{m,n}$
(5)$1.A=A\forall A\in M_{m,n}$
(6)$kl.A=k(lA)\forall A\in M_{m,n},k,l\in K$
(7)$k(A+B)=kA+kB\forall k\in K,A,B\in M_{m,n}$
(8)$(k+l)A=kA+lA\forall k,l\in K,A\in M_{m,n}$
矩阵在这个层面上运算性质和向量相类似。

矩阵的乘法

接下来我们引入矩阵的乘法。我们先引入线性变换的概念，只不过在这里我们是狭义的线性变换，对$n$维向量$(x_1,\cdots ,x_n)$，我们可以通过变换
$$\{\begin{array}{l}{y}_1=a_{11}{x}_1+\cdots +a_{1n}{x}_n\\ \cdots \\ y_m=a_{m1}{x}_1+\cdots +a_{mn}{x}_n\end{array}$$将其变换为$m$维向量，我们姑且称为线性变换。矩阵
$$A=\left[\begin{array}{ccc}{a}_{11}& \cdots & a_{1n}\\ \cdots & \cdots & \cdots \\ a_{m1}& \cdots & a_{mn}\end{array}\right]$$就称为线性变换的矩阵，我们再将$(y_1,\cdots ,y_m)$通过线性变换，变换为$(z_1,\cdots ，z_k)$，线性变换矩阵为
$$B=\left[\begin{array}{ccc}{b}_{11}& \cdots & b_{1m}\\ \cdots & \cdots & \cdots \\ b_{k1}& \cdots & b_{km}\end{array}\right]$$两个线性变换的复合，也是线性变换，我们代入验证就可以说明这点：$$\begin{gathered} z_i=b_{i1}{y}_1+\cdots +b_{im}{y}_m \\ =b_{i1}(a_{11}{x}_1+\cdots +a_{1n}{x}_n)+\cdots +b_{im}(a_{m1}{x}_1+\cdots +a_{mn}{x}_n) \\ =(\sum _{s=1}^m{b}_{is}{a}_{s1})x_1+\cdots +(\sum _{s=1}^m{b}_{is}{a}_{sn})x_n \end{gathered}$$其中：$1\le i\le k$，两个线性变换的复合还是线性变换，矩阵为
$$\left[\begin{array}{ccc}{\sum }_{s=1}^m{b}_{1s}{a}_{s1}& \cdots & {\sum }_{s=1}^m{b}_{1s}{a}_{sn}\\ \cdots & \cdots & \cdots \\ {\sum }_{s=1}^m{b}_{ks}{a}_{s1}& \cdots & {\sum }_{s=1}^m{b}_{ks}{a}_{sn}\end{array}\right]$$
我们就定义这个矩阵是$A$和$B$的乘积，下面我们给出一个正式的定义：
定义2.6 $A=(a_{ij})$是$K$上的$n\times m$矩阵，$B=(b_{ij})$是$K$上的$m\times k$矩阵，定义$A$和$B$的乘积为
$$AB=\left[\begin{array}{ccc}{\sum }_{s=1}^m{b}_{1s}{a}_{s1}& \cdots & {\sum }_{s=1}^m{b}_{1s}{a}_{sn}\\ \cdots & \cdots & \cdots \\ {\sum }_{s=1}^m{b}_{ks}{a}_{s1}& \cdots & {\sum }_{s=1}^m{b}_{ks}{a}_{sn}\end{array}\right]$$

与数域乘法不同的是，矩阵的乘法，没有交换律，这是很明显的一个事实，因为$AB$有意义，$BA$不一定有意义，即使两者都有意义，也不一定相等。下面我们来验证矩阵乘法的一些运算规律。
(1)$A\in M_{n,m},B,C\in M_{m,s},A(B+C)=AB+AC$
(2)$A,B\in M_{n,m},C\in M_{m,s},(A+B)C=AC+BC$
(3)$A\in M_{n,m},B\in M_{m,s},k\in K,kAB=(kA)B=A(kB)$
(4)$A\in M_{n,t},B\in M_{t,k},C\in M_{k,m},ABC=A(BC)$
我们仅验证(1)(4)，(2)(3)的验证和(1)类似，这里省略
设$A=(a_{ij})$，$B=(b_{ij}),C=(c_{ij})$，则
$$B+C=(b_{ij}+c_{ij})$$因此，设
$$A(B+C)=(d_{ij})$$则
$$d_{ij}=\sum _{s=1}^m{a}_{is}(b_{sj}+c_{sj})=\sum _{s=1}^m{a}_{is}{b}_{sj}+\sum _{s=1}^m{a}_{is}{c}_{sj}$$
因此，$A(B+C)=AB+AC$
(4)设$A=(a_{ij}),B=(b_{ij}),C=(c_{ij})$
$$AB=(\sum _{s_1=1}^t{a}_{i{s}_1}{b}_{s_{1}j})$$于是$$\begin{gathered} (AB)C=(\sum _{s_2=1}^k(\sum _{s_1=1}^t{a}_{i{s}_1}{b}_{s_1{s}_2})c_{s_{2}j})=(\sum _{s_2=1}^k\sum _{s_1=1}^t(a_{i{s}_1}{b}_{s_1{s}_2}{c}_{s_{2}j})) \\ =(\sum _{s_1=1}^t\sum _{s_2=1}^k(a_{i{s}_1}{b}_{s_1{s}_2}{c}_{s_{2}j}))=(\sum _{s_1=1}^t[a_{i{s}_1}\sum _{s_2=1}^k{b}_{s_1{s}_2}{c}_{s_{2}j}]) \end{gathered}$$而
$$BC=(\sum _{s_2=1}^k{b}_{s_1{s}_2}{c}_{s_{2}j})$$故
$$(AB)C=A(BC)$$这说明了矩阵乘法有结合律。

有了矩阵的乘法，我们就可以用矩阵乘法的形式，表示线性方程组，对于线性方程组
$$\{\begin{array}{l}{a}_{11}{x}_1+\cdots +a_{1n}{x}_n=b_1\\ \cdots \\ a_{m1}{x}_1+\cdots +a_{mn}{x}_n=b_m\end{array}$$系数矩阵的为$A$，未知量矩阵是$x_1,\cdots ,x_n$组成的列向量，记为$x$，常数项矩阵是$b_1,\cdots ,b_m$组成的列向量，记为$b$，则方程组就可以用组成表示为
$$Ax=b$$线性变换又可以表示为
$$y=Ax$$这也就不难理解为什么线性变换的复合的矩阵是矩阵的乘法了。这是因为，对于另一个线性变换
$$z=By$$就有
$$z=By=B(Ax)=(BA)x$$

接下来，我们要给出矩阵乘法和初等变换之间的关系。对角元全为1，其他全为0的$n$阶方阵称为$n$阶单位矩阵，记为$I_n$，交换$I_n$的$i,j$两列或$i,j$两列得到的矩阵记为$E_n(i,j)$，设$E_n(i,j)=(e_{kt})$，则
$$e_{kt}=\{\begin{array}{ll}1& k=t\ne i,j\\ 1& k=i,t=j\\ 1& k=j,t=i\\ 0& otherwise\end{array}$$对$m\times n$矩阵$A$，就有
$$E_m(i,j)A=(\sum _{s=1}^n{e}_{ks}{a}_{st})$$注意到$k\ne i,j$时
$$\sum _{s=1}^n{e}_{ks}{a}_{st}=a_{kt}$$$$\sum _{s=1}^n{e}_{is}{a}_{st}=a_{jt}$$$$\sum _{s=1}^n{e}_{js}{a}_{st}=a_{it}$$可见：$E_m(i,j)A$相当于交换$A$的$i,j$两行，同理可以验证$A{E}_n(i,j)$相当于交换$A$的$i,j$两列。

令$E_n(i:k)$是$I_n$的第$i$行(或第i列)乘以$k$倍，其中$k\ne 0$，$A$左乘$E_m(i:k)$相当于$A$的第$i$行乘以$k$倍，右乘$E_n(i:k)$相当于$A$的第$i$列乘以$k$倍

令$E_n(i,j:k)$为$I_n$的第$i$行的$k$倍加到第$j$行，左乘$E_m(i,j:k)$，相当于将$A$的第$i$行的$k$倍加到第$j$行，右乘$E_n(i,j:k)$相当于把$A$的第$i$列加到第$j$列。

我们称以上三种类型的矩阵为初等矩阵，就有：
(1)初等行变换相当于左乘相应的初等矩阵
(2)初等列变换相当于右乘相应的初等矩阵

这样，我们就把初等变换和矩阵乘法联系起来了。

矩阵的转置

$m\times n$矩阵$A=(a_{ij})$的转置定义为$n\times m$矩阵$(a_{ji})$，记为$A^T$。显然，矩阵的转置只是改变矩阵的形状，原来的行向量组变为转置矩阵的列向量组，原来的列向量组变为转置矩阵的行向量组，因而，矩阵的转置不改变矩阵的秩。即$$r(A)=r(A^T)$$下面，我们来验证转置矩阵的相关性质：
(1)$A,B\in M_{m,n},(A+B{)}^T=A^T+B^T$
(2)$A\in M_{m,n},(kA{)}^T=k{A}^T$
(3)$A\in M_{m,t},B\in M_{t,n},(AB{)}^T=B^T{A}^T$
(1)(2)是显然的，我们仅验证(3):
设$A=(a_{ij}),B=(b_{ij})$，则
$$AB=(\sum _{s=1}^t{a}_{is}{b}_{sj})$$设
$$A^T=(a_{ji})=(c_{ij}),B^T=(b_{ji})=(d_{ij})$$因此
$$(AB{)}^T=(\sum _{s=1}^t{a}_{js}{b}_{si})=(\sum _{s=1}^t{c}_{sj}{d}_{is})=B^T{A}^T$$

方阵的逆矩阵

方阵的逆矩阵和"数"的逆元是类似的。在数域上有"1"这个数，我们把全体$n$阶方阵记为$M_n$，则$I_n$在$M_n$中充当的作用就相当于"1"在数域中充当的作用，即对任意的$A\in M_n$，都有$A{I}_n=I_{n}A=A$。在数域上有倒数的概念，在$M_n$中的倒数就是所谓的逆矩阵。
定义2.7 $A\in M_n$，如果存在$B\in M_n$，使得
$$AB=I_n$$则称$A$为可逆矩阵，或非奇异矩阵，$B$称为$A$的逆矩阵，记为$A^{-1}$，否则称$A$为不可逆矩阵，或奇异矩阵

满足什么条件$n$阶方阵可逆呢？我们假设逆矩阵$A^{-1}$存在，记其列向量组为$b_1,\cdots ,b_n$，记$e_i$为第$i$个变元为1，其他变元为0的列向量，就有以下$n$个方程组：
$$A{b}_i=e_i(i=1,\cdots ,n)$$存在矩阵$B$使得$AB=I_n$的充要条件是以上$n$个方程组都有解。满足什么条件就会有以上$n$个方程组都有解呢？如果$r(A)=n$，那么以上$n$个方程组增广矩阵的秩一定等于$n$，$n$个方程组都有解，如果$r=r(A)<n$，设$A$的行向量组为${\beta }_1,\cdots ,{\beta }_n$，不妨设${\beta }_1,\cdots ,{\beta }_r$是行向量组的极大线性无关组。则第$n$个方程的增广矩阵可表为
$$\left[\begin{array}{cc}{\beta }_1& 0\\ {\beta }_2& 0\\ \cdots & \\ {\beta }_{n-1}& 0\\ {\beta }_n& 1\end{array}\right]$$由于${\beta }_1,\cdots ,{\beta }_r$是极大线性无关组，则${\beta }_{r+1},\cdots ,{\beta }_n$可由${\beta }_1,\cdots ,{\beta }_r$线性表出，那么，就可以通过初等行变换，将增广矩阵化为
$$\left[\begin{array}{cc}{\beta }_1& 0\\ \cdots & \\ {\beta }_r& 0\\ 0& 0\\ \cdots & \\ 0& 0\\ 0& 1\end{array}\right]$$这说明$r(\overline{A})=r(A)$，也就是说存在某个方程组无解，$A$一定不可逆。这样，我们就得到了$A$可逆的一个充要条件$r(A)=n$。同时由上面的论述，逆矩阵的每个列向量都是某个方程的解，并且，每个方程都只有唯一解，因此，逆矩阵也是唯一的

定理2.10 $n$阶方阵$A$可逆的充要条件是$r(A)=n$，并且逆矩阵若存在，必唯一

定理2.11 $n$阶方阵$A$可逆，则$A=(A^{-1}{)}^{-1}$

也就是$A$和$A^{-1}$互为逆矩阵。为了证明这个定理，我们首先给出一个引理：

引理2.2 初等矩阵的都是可逆矩阵，并且
$$E_n^{-1}(i,j)=E_n(i,j)$$$$E_n^{-1}(i:k)=E_n(i:\frac{1}{k})(k\ne 0)$$$$E_n^{-1}(i,j:k)=E_n(i,j:-k)$$
同时
$$E_n^{-1}(i,j)E_n(i,j)=I_n$$$$E_n(i:\frac{1}{k})E_n^{-1}(i:k)=I_n$$$$E_n(i,j:-k)E_n^{-1}(i,j:k)=I_n$$
这个引理直接验证即可

引理2.3 可逆矩阵可经过有限步初等列变换化为单位矩阵

证：
用数学归纳法证明：
对一阶方阵$A=(a_{11})$，$A$可逆的充要条件是$a_{11}\ne 0$，故只要除以$a_{11}$，就能化为单位矩阵。
假设$k$阶可逆方阵都可以经过有限步初等列变换化为单位矩阵，考虑$k+1$阶可逆方阵
$$A=\left[\begin{array}{ccccc}{a}_{11}& a_{12}& \cdots & a_{1k}& a_{1(k+1)}\\ a_{21}& a_{22}& \cdots & a_{2k}& a_{2(k+1)}\\ \cdots & & & & \\ a_{(k+1)1}& a_{(k+1)2}& \cdots & a_{(k+1)k}& a_{(k+1)(k+1)}\end{array}\right]$$
那么$a_{11},\cdots ,a_{1(k+1)}$必定不全为0，否则$r(A)\ne k+1$。第一列除以$a_{11}$，再第$i$列加上第1列的$-a_{1i}$倍，将矩阵化为
$$A_2\left[\begin{array}{cccc}1& 0& \cdots & 0\\ b_{21}& b_{22}& \cdots & b_{2(k+1)}\\ \cdots & & & \\ b_{(k+1)1}& b_{(k+1)2}& \cdots & b_{(k+1)(k+1)}\end{array}\right]$$再令
$$B=\left[\begin{array}{ccc}{b}_{22}& \cdots & b_{2(k+1)}\\ \cdots & & \\ b_{(k+1)2}& \cdots & b_{(k+1)(k+1)}\end{array}\right]$$则$B$一定可逆，否则$r(A)<k+1$，则由归纳假设，可以仅仅通过对$A_2$后$k$列进行初等列变换，将$A_2$化为
$$A_3=\left[\begin{array}{ccccc}1& 0& \cdots & & 0\\ b_{21}& 1& & & \\ b_{31}& & 1& & \\ \cdots & & & & \\ b_{(k+1)1}& & & & 1\end{array}\right]$$
$A_3$的第$1$列加上第$i$列的$-b_{i1}$倍即可将$A_3$化为单位矩阵$(i=2,\cdots ,k+1)$
由数学归纳法，结论成立

引理2.4 任何可逆矩阵都可表为有限个初等矩阵的乘积

证：
设$A$可逆，则$r(A)=n$，则$A$可以经过有限步初等列变换化为$I_n$，也就是说，存在初等矩阵$E_1,\cdots ,E_m$，使得
$$A{E}_1\cdots E_m=I_n$$于是
$$A=E_m^{-1}\cdots E_1^{-1}$$$E_1^{-1},\cdots ,E_m^{-1}$都是初等矩阵

下面证明定理2.11:

证：
由$A$可逆，存在有限个初等矩阵$E_1,\cdots ,E_m$，使得$$A=E_1\cdots E_m$$因此
$$E_1\cdots E_m{A}^{-1}=I_n$$于是，就有
$$A^{-1}=E_m^{-1}\cdots E_1^{-1}$$因此
$$A^{-1}A=E_m^{-1}\cdots E_1^{-1}{E}_1\cdots E_m=I_n$$第二个等号是通过重复使用矩阵乘法的结合律得到的

这样，逆矩阵实际上就是$M_n$上的一种运算，下面，我们给出逆运算和矩阵乘法

定理2.12 $A,B$都是$n$阶可逆方阵，则$AB$也可逆，并且
$$(AB{)}^{-1}=B^{-1}{A}^{-1}$$

证：
要证明$AB$可逆，只需要证明齐次方程组$$ABx=0$$只有零解，实际上，由$A$可逆，故方程组
$$Ay=0$$只有零解，于是
$$Bx=0$$而$B$可逆，故$x=0$，因此$AB$可逆，同时
$$AB{B}^{-1}{A}^{-1}=A(B{B}^{-1})A^{-1}=A{A}^{-1}=I_n$$因此
$$(AB{)}^{-1}=B^{-1}{A}^{-1}$$

定理2.13 $A$是$n$阶可逆方阵，则$A^T$也可逆，并且
$$(A^T{)}^{-1}=(A^{-1}{)}^T$$

证：
由于转置不改变矩阵的秩，因此$A^T$也可逆。同时
$$A^T(A^{-1}{)}^T=(A^{-1}A{)}^T=I_n^T=I_n$$

我们再回到线性方程组求解的问题上，$A$是$n$阶方阵，如果$A$可逆，那么对于任意的$b\in K^n$，方程组
$$Ax=b$$两边左乘$A^{-1}$，就可以求得方程组的解
$$x=A^{-1}b$$这是方程组解的矩阵表示。

矩阵的运算与矩阵的秩

本节，我们来讨论矩阵的加法、数乘、乘法和矩阵的秩的关系。在这之前，我们先给出一个简单的命题。
命题2.1 $x_1,\cdots ,x_n,y_1,\cdots ,y_m\in K^n$，如果
$$x_1,\cdots ,x_n$$能被$$y_1,\cdots ,y_m$$线性表示，那么$x=(x_1,\cdots ,x_n)$的秩不超过$y=(y_1,\cdots ,y_m)$的秩

证：
设$x_1,\cdots ,x_r$为$x$的极大线性无关组，$y_1,\cdots ,y_s$是$y$的极大线性无关组。则$x_1,\cdots ,x_r$能被$y_1,\cdots ,y_s$线性表示，$r\le s$

定理2.14 $A,B\in M_{m,n}$，则
$$r(A+B)\le r(A)+r(B)$$

证：
设$a_1,\cdots ,a_n$是$A$的列向量组，$b_1,\cdots ,b_n$是$B$的列向量组，则
$$a_1+b_1,\cdots ,a_n+b_n$$是$A+B$的列向量组，则该向量组能被
$$a_1,\cdots ,a_n,b_1,\cdots ,b_n$$线性表示，而设$a_1,\cdots ,a_r$是$A$的列极大线性无关组，$b_1,\cdots ,b_s$是$B$的列极大线性无关组，因此
$$r(A+B)\le r(a_1,\cdots ,a_n,b_1,\cdots ,b_n)$$
$$r(a_1,\cdots ,a_n,b_1,\cdots ,b_n)\le r(a_1,\cdots ,a_r,b_1,\cdots ,b_s)\le r+s$$

定理2.15 $A\in M_{m,k},B\in M_{k,n}$，则
$$r(AB)\le \min (r(A),r(B))$$

证：
设$B$的列向量组为$b_1,\cdots ,b_n$，极大线性无关组为$b_1^{\prime },\cdots ,b_r^{\prime }$，则$AB$的列向量组为$A{b}_1,\cdots ,A{b}_n$，那么
$$A{b}_1,\cdots ,A{b}_n$$能被
$$A{b}_1^{\prime },\cdots ,A{b}_r^{\prime }$$线性表示，因此
$$r(AB)\le r(B)$$设$A$的行向量组为$a_1,\cdots ,a_m$，极大线性无关组为$a_1^{\prime },\cdots ,a_s^{\prime }$，则$AB$的行向量组为$a_{1}B,\cdots ,a_{m}B$，那么
$$a_{1}B,\cdots ,a_{m}B$$能被
$$a_1^{\prime }B,\cdots ,a_s^{\prime }B$$线性表示，因此
$$r(AB)\le r(A)$$

定理2.16 $A\in M_{m,n},B\in M_{n,t}$，则
$$r(AB)\ge r(A)+r(B)-n$$

证：
设$B$的列向量组为$b_1,\cdots ,b_t$，$r_1=r(B)$，那么$$A{b}_1,\cdots ,A{b}_t$$是$AB$的列向量组，再设$A{b}_1^{\prime },\cdots ,A{b}_{r_1}^{\prime }$是$A{b}_1,\cdots ,A{b}_t$的极大线性无关组，于是，$A{b}_i$能被$A{b}_1^{\prime },\cdots ,A{b}_{r_1}^{\prime }$线性表示。设
$$A{b}_i=k_{i1}A{b}_1^{\prime }+\cdots +k_{i{r}_1}A{b}_{r_1}^{\prime }$$则$b_i-k_{i1}{b}_1^{\prime }+\cdots -k_{i{r}_1}{b}_{r_1}^{\prime }$是齐次方程组$Ay=0$的解，设$P_1,\cdots ,P_{r_2}$是其基础解系，则
$$b_i=k_{i1}{b}_1^{\prime }+k_{i{r}_1}{b}_{r_1}^{\prime }+k_{i1}^{\prime }{P}_1+\cdots +k_{i{r}_2}^{\prime }{P}_{r_2}$$因此
$$r(B)\le r(AB)+n-r(A)$$

向量空间的基与基变换

本节的最后，我们来补充向量空间上的基和基变换的相关理论。我们知道在平面上任意两个线性无关的向量可以线性表示平面上所有向量，空间上任意三个线性无关的向量可以线性表示空间上所有的向量，当然，这对于$n$维向量空间也是成立的。

定理2.17 $K^n$上任意$n$个线性无关的向量可以唯一线性表示$K^n$的所有向量

证：
对任意的$\beta \in K^n$，$a_1,\cdots ,a_n$是$K^n$中$n$个线性无关的向量，$\beta$能被\$a_1,\cdots ,a_n$，等价于方程组
$$a_1{x}_1+\cdots +a_n{x}_n=\beta$$有解，并且表示的系数是方程组的解，令$A=(a_1,\cdots ,a_n)$，方程组等价于
$$Ax=\beta$$则由于$r(A)=n$，因此，$A$可逆，并且
$$x=A^{-1}\beta$$方程组有解并且解是唯一的

现在我们有两组基$a_1,\cdots ,a_n$和$b_1,\cdots ,b_n$，由于$b_1,\cdots ,b_n$是$K^n$的一组基，那么$a_1,\cdots ,a_n$能被$b_1,\cdots ,b_n$唯一线性表示，令
$$\{\begin{array}{l}{a}_1=k_{11}{b}_1+\cdots +k_{1n}{b}_n\\ \cdots \\ a_n=k_{n1}{b}_1+\cdots +k_{nn}{b}_n\end{array}$$则
$$(a_1,\cdots ,a_n)=(b_1,\cdots ,b_n)\left[\begin{array}{ccc}{k}_{11}& \cdots & k_{n1}\\ \cdots & \cdots & \cdots \\ k_{1n}& \cdots & k_{nn}\end{array}\right]$$令$$K=\left[\begin{array}{ccc}{k}_{11}& \cdots & k_{n1}\\ \cdots & \cdots & \cdots \\ k_{1n}& \cdots & k_{nn}\end{array}\right]$$$K$称为基变换矩阵，给定一组基$b_1,\cdots ,b_n$，对任意$x\in K^n$，都存在$x_1,\cdots ,x_n$，$x=x_1{b}_1+\cdots +x_n{b}_n$。$(x_1,\cdots ,x_n)$称为$x$在基$b_1,\cdots ,b_n$下的坐标。假设$K$是$b_1,\cdots ,b_n$到$a_1,\cdots ,a_n$的基变换矩阵，$x\in K^n$，在$b_1,\cdots ,b_n$下坐标向量为$y$，在$a_1,\cdots ,a_n$下坐标向量为$z$，则令$B=(b_1,\cdots ,b_n),A=(a_1,\cdots ,a_n)$，就有
$$B=AK$$$$x=By=AKy=Az$$由坐标的唯一性$$Ky=z$$因此，左乘$K$就能将$b_1,\cdots ,b_n$下的坐标转换为$a_1,\cdots ,a_n$下的坐标，这就是$K^n$下的坐标变换公式

分块矩阵的乘法及求逆

分块矩阵是常用的计算矩阵的手法。所谓分块就是将矩阵划分为若干块，每一块都是一个子矩阵，即
$$A=\left[\begin{array}{cccc}{A}_{11}& A_{12}& \cdots & A_{1n}\\ A_{21}& A_{22}& \cdots & A_{2n}\\ \cdots & \cdots & \cdots & \cdots \\ A_{m1}& A_{m2}& \cdots & A_{mn}\end{array}\right]$$其中$A_{ij}$是$m_i\times n_j$矩阵，那么$A$就是$M={\sum }_{i=1}^m{m}_i$行$N={\sum }_{j=1}^n{n}_i$列矩阵，对矩阵进行分块之后，求矩阵的乘法，我们就可以利用各个击破的方法，再设
$$B=\left[\begin{array}{cccc}{B}_{11}& B_{12}& \cdots & B_{1t}\\ \cdots & \cdots & \cdots & \cdots \\ B_{n1}& B_{n2}& \cdots & B_{nt}\end{array}\right]$$其中$B_{ij}$是$n_i\times t_j$矩阵，那么，就有
$$AB=\left[\begin{array}{cccc}{\sum }_{s=1}^n{A}_{1s}{B}_{s1}& {\sum }_{s=1}^n{A}_{1s}{B}_{s2}& \cdots & {\sum }_{s=1}^n{A}_{1s}{B}_{st}\\ \cdots & \cdots & \cdots & \cdots \\ {\sum }_{s=1}^n{A}_{ms}{B}_{s1}& {\sum }_{s=1}^n{A}_{ms}{B}_{s2}& \cdots & {\sum }_{s=1}^n{A}_{ms}{B}_{st}\end{array}\right]$$这是因为，设$AB=(c_{ij})$,$c_{ij}$只与$A$中$i$行所在行有交集的块以及$B$中$j$列有交集的块有关，再经过形式复杂但比较初等的验证之后就有以上的结论。对角矩阵即形如
$$\left[\begin{array}{cccc}{a}_1& & & \\ & a_2& & \\ & & \cdots & \\ & & & a_n\end{array}\right]$$的矩阵，记为$diag(a_1,\cdots ,a_n)$，单位矩阵就是一种特殊的对角矩阵，如果$a_1,\cdots ,a_n\ne 0$，那么其逆矩阵就是
$$diag(a_1^{-1},\cdots ,a_n^{-1})$$类似地，我们可以将对角矩阵推广成准对角矩阵
$$\left[\begin{array}{cccc}{A}_1& & & \\ & A_2& & \\ & & \cdots & \\ & & & A_n\end{array}\right]$$只不过这里$A_i$是$n_i$阶的可逆方阵，同样地，其逆矩阵为
$$\left[\begin{array}{cccc}{A}_1^{-1}& & & \\ & A_2^{-1}& & \\ & & \cdots & \\ & & & A_n^{-1}\end{array}\right]$$对于准对角矩阵
$$\left[\begin{array}{cccc}{A}_1& & & \\ & A_2& & \\ & & \cdots & \\ & & & A_n\end{array}\right]$$其秩就等于${\sum }_{i=1}^{n}r(A_i)$这样，分块之后，求秩和求逆矩阵就可以逐个击破，分别求解。
定理2.18 给定数域$K$上的分块矩阵
$$M=\left[\begin{array}{cc}A& C\\ 0& B\end{array}\right]$$有$r(A)+r(B)\le r(M)$

证：
设$A$的列向量组为$a_1,\cdots ,a_s$，$C$的列向量组为$c_1,\cdots ,c_t$，$B$的列向量组为$b_1,\cdots ,b_t$，则$M$的列向量组为
$$d_1,\cdots ,d_s,d_{s+1},\cdots ,d_{s+t}$$其中
$$d_i=\left[\begin{array}{c}{a}_i\\ 0\end{array}\right](i=1,\cdots ,s)$$$$d_{s+i}=\left[\begin{array}{c}{c}_i\\ b_i\end{array}\right](i=1,\cdots ,t)$$设$a_1,\cdots ,a_s$的极大线性无关组为$a_{n_1},\cdots ,a_{n_{r_1}}$
，$b_1,\cdots ,b_t$的极大线性无关组为$b_{m_1},\cdots ,b_{m_{r_2}}$。\
则$d_{n_1},\cdots ,d_{n_{r_1}},d_{s+m_1},\cdots ,d_{s+m_{r_2}}$也是线性无关的，
并且能被$d_1,\cdots ,d_{s+t}$线性表示，因此
$$r(M)\ge r_1+r_2=r(A)+r(B)$$