扩充定理:设 V 1 V_1 V1是数域 K K K上的线性空间 V n V^n Vn的一个m维子空间, x 1 , x 2 , . . . , x m x_1,x_2,...,x_m x1,x2,...,xm是 V 1 V_1 V1的基,则这m个基向量必可扩充为 V n V^n Vn的一个基。换言之,在 V n V^n Vn中必可找到n-m个向量 x m + 1 , x m + 2 , . . . , x n x_{m+1},x_{m+2},...,x_n xm+1,xm+2,...,xn,使得 x 1 , . . . , x n x_1,...,x_n x1,...,xn是 V n V^n Vn的一个基。
证:对维数差n-m作归纳法,当n-m=0时显然成立。设n-m=k时成立,考虑n-m=k+1的情形:
由定义:
向量空间V的一组向量若满足
1)线性无关
2)V中任一向量可由此向量组线性表出
则称该组向量V中的一个基(亦称基底)。
逻辑语言为
线性无关&V的任一向量可由此向量组线性表处
⇔
\Leftrightarrow
⇔是V的基。
由于
x
1
,
x
2
,
.
.
.
,
x
m
x_1,x_2,...,x_m
x1,x2,...,xm不是V的基
⇔
\Leftrightarrow
⇔
x
1
,
x
2
,
.
.
.
,
x
m
x_1,x_2,...,x_m
x1,x2,...,xm线性相关或者V中至少存在一个向量不能由
x
1
,
x
2
,
.
.
.
,
x
m
x_1,x_2,...,x_m
x1,x2,...,xm线性表出.
因为
x
1
,
x
2
,
.
.
.
,
x
m
x_1,x_2,...,x_m
x1,x2,...,xm线性无关,所以V中至少存在一个向量
x
m
+
1
x_{m+1}
xm+1不能被
x
1
,
x
2
,
.
.
.
,
x
m
x_1,x_2,...,x_m
x1,x2,...,xm线性表出,故
x
1
,
x
2
,
.
.
.
,
x
m
,
x
m
+
1
x_1,x_2,...,x_m,x_{m+1}
x1,x2,...,xm,xm+1线性无关,故
V
1
V_1
V1可以扩充为m+1维的
L
(
x
1
,
.
.
.
,
x
m
+
1
)
L(x_1,...,x_{m+1})
L(x1,...,xm+1),
n-(m+1)=k,故
L
(
x
1
,
.
.
.
,
x
m
+
1
)
L(x_1,...,x_{m+1})
L(x1,...,xm+1)的基
x
1
,
x
2
,
.
.
.
,
x
m
,
x
m
+
1
x_1,x_2,...,x_m,x_{m+1}
x1,x2,...,xm,xm+1可以扩充为
V
n
V_n
Vn的基。故
x
1
,
x
2
,
.
.
.
,
x
m
x_1,x_2,...,x_m
x1,x2,...,xm可以扩充为
V
n
V_n
Vn的基。
证毕