维数定理：
d
i
m
(
V
1
)
+
d
i
m
(
V
2
)
=
d
i
m
(
V
1
+
V
2
)
+
d
i
m
(
V
1
∩
V
2
)
dim(V_1)+dim(V_2)=dim(V_1+V_2)+dim(V_1\cap V_2)
dim(V1)+dim(V2)=dim(V1+V2)+dim(V1∩V2)
我查了查网上，有好几种证明方法。
第一种证明方法
使用高中学过的数学归纳法：
假设1：线性空间
V
2
V_2
V2的维数为0
显然
d
i
m
(
V
1
∩
V
2
)
=
0
dim(V_1\cap V_2)=0
dim(V1∩V2)=0,
因此
d
i
m
(
V
1
)
+
d
i
m
(
V
2
)
=
d
i
m
(
V
1
+
V
2
)
+
d
i
m
(
V
1
∩
V
2
)
dim(V_1)+dim(V_2)=dim(V_1+V_2)+dim(V_1\cap V_2)
dim(V1)+dim(V2)=dim(V1+V2)+dim(V1∩V2)
该等式左右两端均是
d
i
m
(
V
1
)
dim(V_1)
dim(V1)。
假设2：当
V
2
V_2
V2的维数为
n
n
n时，定理成立。
在此假设下，我们把
V
2
V_2
V2看成是一组正交基张成的空间
s
p
a
n
{
ϵ
1
,
ϵ
2
,
.
.
.
,
ϵ
n
}
span\{ \epsilon_1, \epsilon_2,..., \epsilon_n \}
span{ϵ1,ϵ2,...,ϵn},所以有
d
i
m
(
V
1
)
+
d
i
m
(
s
p
a
n
{
ϵ
1
,
ϵ
2
,
.
.
.
,
ϵ
n
}
)
dim(V_1)+dim(span\{ \epsilon_1, \epsilon_2,..., \epsilon_n \})
dim(V1)+dim(span{ϵ1,ϵ2,...,ϵn})
=
d
i
m
(
V
1
+
s
p
a
n
{
ϵ
1
,
ϵ
2
,
.
.
.
,
ϵ
n
}
)
+
d
i
m
(
V
1
∩
s
p
a
n
{
ϵ
1
,
ϵ
2
,
.
.
.
,
ϵ
n
}
)
=dim(V_1+span\{ \epsilon_1, \epsilon_2,..., \epsilon_n \})+dim(V_1\cap span\{ \epsilon_1, \epsilon_2,..., \epsilon_n \})
=dim(V1+span{ϵ1,ϵ2,...,ϵn})+dim(V1∩span{ϵ1,ϵ2,...,ϵn})
我们现在证明，当集合
V
2
V_2
V2的维数为
n
+
1
n+1
n+1时，定理成立
若
ϵ
n
+
1
∈
V
1
\epsilon_{n+1}\in V_1
ϵn+1∈V1,则
V
1
+
s
p
a
n
{
ϵ
1
,
ϵ
2
,
.
.
.
,
ϵ
n
+
1
}
V_1+span\{ \epsilon_1, \epsilon_2,..., \epsilon_{n+1} \}
V1+span{ϵ1,ϵ2,...,ϵn+1}=
V
1
+
s
p
a
n
{
ϵ
1
,
ϵ
2
,
.
.
.
,
ϵ
n
}
V_1+span\{ \epsilon_1, \epsilon_2,..., \epsilon_{n} \}
V1+span{ϵ1,ϵ2,...,ϵn},因为等式两端所能表示的向量的集合是一样的。
并且有
V
1
∩
s
p
a
n
{
ϵ
1
,
ϵ
2
,
.
.
.
,
ϵ
n
+
1
}
=
V
1
∩
s
p
a
n
{
ϵ
1
,
ϵ
2
,
.
.
.
,
ϵ
n
}
+
s
p
a
n
{
ϵ
n
+
1
}
V_1\cap span\{ \epsilon_1, \epsilon_2,..., \epsilon_{n+1} \}=V_1\cap span\{ \epsilon_1, \epsilon_2,..., \epsilon_{n} \}+span\{\epsilon_{n+1}\}
V1∩span{ϵ1,ϵ2,...,ϵn+1}=V1∩span{ϵ1,ϵ2,...,ϵn}+span{ϵn+1}
代入维数定理，成立。
若
ϵ
n
+
1
∉
V
1
\epsilon_{n+1}\notin V_1
ϵn+1∈/V1,则
V
1
+
s
p
a
n
{
ϵ
1
,
ϵ
2
,
.
.
.
,
ϵ
n
+
1
}
V_1+span\{ \epsilon_1, \epsilon_2,..., \epsilon_{n+1} \}
V1+span{ϵ1,ϵ2,...,ϵn+1}=
V
1
+
s
p
a
n
{
ϵ
1
,
ϵ
2
,
.
.
.
,
ϵ
n
}
+
s
p
a
n
{
ϵ
n
+
1
}
V_1+span\{ \epsilon_1, \epsilon_2,..., \epsilon_{n} \}+span\{\epsilon_{n+1}\}
V1+span{ϵ1,ϵ2,...,ϵn}+span{ϵn+1},因为等式两端所能表示的向量的集合是一样的。
并且有
V
1
∩
s
p
a
n
{
ϵ
1
,
ϵ
2
,
.
.
.
,
ϵ
n
+
1
}
=
V
1
∩
s
p
a
n
{
ϵ
1
,
ϵ
2
,
.
.
.
,
ϵ
n
}
V_1\cap span\{ \epsilon_1, \epsilon_2,..., \epsilon_{n+1} \}=V_1\cap span\{ \epsilon_1, \epsilon_2,..., \epsilon_{n} \}
V1∩span{ϵ1,ϵ2,...,ϵn+1}=V1∩span{ϵ1,ϵ2,...,ϵn}
代入维数定理，也成立。
综上维数定理成立。
（妈的，高考的时候用数学归纳法必须一步步写清楚，少写一个点扣5分！）
第二种证明方法
待更
7832
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
