两个个向量组向量数目相对大小重要定理

向量组线性相关性重要定理：

定理1.2.3：设V为数域P上的线性空间，如果V中向量组
$${\alpha }_1,{\alpha }_2,\dots ,{\alpha }_r$$
线性无关，并且可由向量组
$${\beta }_1,{\beta }_2,\dots ,{\beta }_s$$
线性表示，则$$r\le s$$
本人对定理的理解： 如果一组向量组A是线性无关组，说明它内部向量最有效的，性价比最高的。现在你来了另外一组向量组B，不清楚它是线性相关组还是线性无关组。最好的情况下B也是线性无关组，此时它也是干货满满，那么A,B各自所含向量数目相等。如果B是线性相关组，说明内部至少有一个向量可以由剩余向量表示，那么它除了干货部分，也有水货，数目肯定会比A多。

证明的思路： 把向量组 { β 1 , β 2 , … , β s } \{\beta_1,\beta_2,\dots,\beta_s\} {β1​,β2​,…,βs​}线性表示向量组 { α 1 , α 2 , … , α r } \{\alpha_1,\alpha_2,\dots,\alpha_r\} {α1​,α2​,…,αr​}的式子写出来。利用向量组 { α 1 , α 2 , … , α r } \{\alpha_1,\alpha_2,\dots,\alpha_r\} {α1​,α2​,…,αr​}线性无关的条件和齐次线性方程组有非零解（本质上有基础解系，必定有非零解）的判定条件（这个条件是信息量最小的判定条件了，只需要系数矩阵的行列数目）推出矛盾。当然，借助“算两次”的思想从矩阵行、列两个方向各自求和也是很重要的一个点。

证明：
采用反证法。假设 $r>s$。
因为向量组 { α 1 , α 2 , … , α r } \{\alpha_1,\alpha_2,\dots,\alpha_r\} {α1​,α2​,…,αr​}可以由向量组 { β 1 , β 2 , … , β s } \{\beta_1,\beta_2,\dots,\beta_s\} {β1​,β2​,…,βs​}线性表示，即
$${\alpha }_i=\sum _{j=1}^s{k}_{ji}{\beta }_j,i=1,2,\dots ,r$$
写出式子
$$\begin{array}{r}{x}_1{\alpha }_1+x_2{\alpha }_2+,\cdots +x_r{\alpha }_r=\sum _{i=1}^r{x}_i\sum _{j=1}^s{k}_{ji}{\beta }_j\\ =\sum _{j=1}^s{\beta }_j\sum _{i=1}^r{k}_{ji}{x}_i\end{array}\text{\hspace{1em}(1)}$$
注：上述求和符号交换等式为什么成立请看后文附录。

现在想要推出向量组 { α 1 , α 2 , … , α r } \{\alpha_1,\alpha_2,\dots,\alpha_r\} {α1​,α2​,…,αr​}线性相关，从而推出矛盾。如果 { α 1 , α 2 , … , α r } = 0 \{\alpha_1,\alpha_2,\dots,\alpha_r\}=0 {α1​,α2​,…,αr​}=0 成立，同时$x_1,x_2,\dots ,xr$不全为0成立即可。下面推出这个条件。

根据$$\sum _{j=1}^s\sum _{i=1}^r{k}_{ji}{x}_i\text{\hspace{1em}(2)}$$
反向构造齐次线性方程组：
$$\begin{gathered} k_{11}{x}_1+k_{12}{x}_2+k_{13}{x}_3+,\dots ,+k_{1r}{x}_r=0 \\ {k}_{21}{x}_1+k_{22}{x}_2+k_{23}{x}_3+,\dots ,+k_{2r}{x}_r=0 \\ ⋮ \\ {k}_{s1}{x}_1+k_{s2}{x}_2+k_{s3}{x}_3+,\dots ,+k_{sr}{x}_r=0\text{\hspace{1em}(3)} \end{gathered}$$
将$x_1,x_2,\dots ,x_r$ 视作未知数，故齐次线性方程组（3）有$r$个未知数，$s$个方程，由假设 $r>s$， 立刻得到齐次线性方程组（3）有无穷解，有非零解。立刻得到式（2）可以为0且
$$x_{i}i=1,2,3\dots ,r$$
不全为0，那么
$$\sum _{j=1}^s{\beta }_j\sum _{i=1}^r{k}_{ji}{x}_i=\vec{0}$$
注： 因为对于每个$j$,${\sum }_{i=1}^r{k}_{ji}{x}_i=0$。对一个数量乘积序列求和，每个系数都是0，求和一定是零向量。
立即有向量组
$${\alpha }_1,{\alpha }_2,\dots ,{\alpha }_r$$
线性相关，矛盾。故假设不成立。证毕。

附录：

$$\begin{array}{c}\left[\begin{array}{ccc}{k}_{11}{x}_1{\beta }_1& k_{12}{x}_2{\beta }_1\dots & k_{1r}{x}_r{\beta }_1\\ k_{21}{x}_1{\beta }_2& k_{22}{x}_2{\beta }_2\dots & k_{2r}{x}_r{\beta }_2\\ ⋮& & \\ k_{s1}{x}_1{\beta }_s& k_{s2}{x}_2{\beta }_s\dots & k_{sr}{x}_r{\beta }_s\end{array}\right]\end{array}$$
如果对上述矩阵先从左到右求和再从上到下求和则是：
$$\sum _{j=1}^s{\beta }_j\sum _{i=1}^r{k}_{ji}{x}_i$$
反之，则是：
$$\sum _{i=1}^r{x}_i\sum _{j=1}^s{k}_{ji}{\beta }_j$$