矩阵论扩充定理中的形式逻辑心得

扩充定理：设$V_1$是数域$K$上的线性空间$V^n$的一个m维子空间，$x_1,x_2,...,x_m$是$V_1$的基，则这m个基向量必可扩充为$V^n$的一个基。换言之，在$V^n$中必可找到n-m个向量$x_{m+1},x_{m+2},...,x_n$,使得$x_1,...,x_n$是$V^n$的一个基。

证：对维数差n-m作归纳法，当n-m=0时显然成立。设n-m=k时成立，考虑n-m=k+1的情形：
由定义：
向量空间V的一组向量若满足
1）线性无关
2）V中任一向量可由此向量组线性表出
则称该组向量V中的一个基（亦称基底）。
逻辑语言为
线性无关&V的任一向量可由此向量组线性表处$\iff$是V的基。

由于$x_1,x_2,...,x_m$不是V的基$\iff$$x_1,x_2,...,x_m$线性相关或者V中至少存在一个向量不能由$x_1,x_2,...,x_m$线性表出.
因为$x_1,x_2,...,x_m$线性无关，所以V中至少存在一个向量$x_{m+1}$不能被$x_1,x_2,...,x_m$线性表出，故$x_1,x_2,...,x_m,x_{m+1}$线性无关，故$V_1$可以扩充为m+1维的$L(x_1,...,x_{m+1})$，
n-(m+1)=k,故$L(x_1,...,x_{m+1})$的基$x_1,x_2,...,x_m,x_{m+1}$可以扩充为$V_n$的基。故$x_1,x_2,...,x_m$可以扩充为$V_n$的基。
证毕