定义
设 W 1 W_1 W1与 W 2 W_2 W2是线性空间 V V V的两个子空间,如果 W 1 ∩ W 2 = { θ } W_1\cap W_2=\{\theta\} W1∩W2={θ},则称 W 1 + W 2 W_1+W_2 W1+W2为子空间 W 1 W_1 W1与 W 2 W_2 W2的直和,记为 W 1 ⊕ W 2 W_1\oplus W_2 W1⊕W2。
设 W 1 , W 2 , ⋯ , W s W_1,W_2,\cdots,W_s W1,W2,⋯,Ws是线性空间 V V V的 s s s个子空间,如果和 W 1 + W 2 + ⋯ + W S W_1+W_2+\cdots+W_S W1+W2+⋯+WS中每个向量 α \alpha α的分解式
α = α 1 + α 2 + ⋯ + α s , α i ∈ W i ( i = 1 , 2 , ⋯ , s ) \alpha=\alpha_1+\alpha_2+\cdots+\alpha_s,\alpha_i\in W_i(i=1,2,\cdots,s) α=α1+α2+⋯+αs,αi∈Wi(i=1,2,⋯,s)
是唯一的,称这个和是直和,计作 W 1 ⊕ W 2 ⊕ ⋯ ⊕ W S W_1 \oplus W_2 \oplus\cdots \oplus W_S W1⊕W2⊕⋯⊕WS.
等价条件
设
W
1
,
W
2
,
⋯
,
W
s
W_1,W_2,\cdots,W_s
W1,W2,⋯,Ws是
V
V
V的s个子空间,以下条件等价:
(1)
W
1
+
W
2
+
⋯
+
W
s
W_1+W_2+\cdots+W_s
W1+W2+⋯+Ws是直和;
(2)零向量的表示法唯一;
(3)
W
i
∩
(
∑
j
≠
i
W
j
)
=
θ
,
i
=
1
,
2
,
⋯
,
s
;
W_i\cap(\sum\limits_{j\ne i}W_j)={\theta},i=1,2,\cdots,s;
Wi∩(j=i∑Wj)=θ,i=1,2,⋯,s;
(4)
dim
(
W
1
+
W
2
+
⋯
+
W
s
)
=
∑
i
=
1
s
dim
W
i
.
\dim(W_1+W_2+\cdots+W_s)=\sum\limits_{i=1}^s \dim W_i.
dim(W1+W2+⋯+Ws)=i=1∑sdimWi.
定理
设 W 1 W_1 W1是线性空间 V V V的子空间,则必存在 V V V的子空间 W 2 W_2 W2使
V = W 1 ⊕ W 2 V=W_1\oplus W_2 V=W1⊕W2.