Lecture 5
Lecture 5
Feng Wei
daoshuo@bit.edu.cn
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
W = { k1 α1 + k2 α2 + · · · + km αm | ki ∈ F, i = 1, 2, · · · , m }
W = Span { α1 , α2 , · · · , αm }
= { k1 α1 + k2 α2 + · · · + km αm | ki ∈ F, i = 1, 2, · · · , m }
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Vλ = { α | Aα = λ α } ∪ { 0 }
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
V1 +V2 = { α + β | α ∈ V1 , β ∈ V2 }
and
V1 ∩V2 = { α | α ∈ V1 and α ∈ V2 },
respectively. It is straightforward to check that both of them are subspaces
of V .
Remark
The union V1 ∪V2 of V1 and V2 is not necessarily a subspace of V .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
B1 C
D
A1
B
y
A
x
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Theorem 1
Let V be a linear space over a field F and U,W be two finite-dimensional
subspaces of V . Then
α1 , α2 , · · · , αr
α1 , α2 , · · · , αr , β1 , · · · , βs−r
is a basis for U. Similarly,
α1 , α2 , · · · , αr , γ1 , · · · , γt−r
This gives
η = l1 α 1 + · · · + r α r .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Thus we get
l1 α1 + · · · + r αr = −q1 γ1 − · · · − qt−r γt−r ,
which is equivalent to
l1 α1 + · · · + r αr + q1 γ1 + · · · + qt−r γt−r = 0.
l1 = · · · = lr = q1 = · · · = qt−r = 0
and that
η = 0.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
And hence
0 = η = k1 α1 + · · · + kr αr + p1 β1 + · · · + ps−r βs−r .
k1 = · · · = kr = p1 = · · · = ps−r = 0.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Example 1
Let U be the subspace of upper triangular matrices in R2×2 and W be the
subspace of lower triangular matrices in R2×2 . That is,
{[ ] }
a b
U= a, b, c ∈ R .
0 c
and {[ ] }
d 0
W= d, e, f ∈ R .
e f
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
x
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
One special case for the sums of subspaces is the so-called direct sum of
subspaces.
Let V be a linear space over the field F and S, T be two subspaces of V .
We say that U = S ⊕ T is the direct sum of S and T if
1 S ∩ T = { 0 }, and
2 S+T =U (in general, Si ∩ (∑i̸= j S j ) = { 0 } and ∑i Si = U).
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Proposition 2
The following statements are equivalent for the direct sum U = S ⊕ T :
1 U = S ⊕ T is direct sum;
2 For any u ∈ U, u can be uniquely written in the form u = s + t with
s ∈ S and t ∈ T ;
3 dim (S + T ) = dim S + dim T ;
4 Suppose that {α1 , · · · , αk } is a basis of S and that {β1 , · · · , βl } is a
basis of T . Then
{α1 , · · · , αk , β1 , · · · , βl }
is a basis of T .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Example 3
Let U be the subspace of symmetric matrices in Rn×n and W be the
subspace of skew-symmetric matrices in Rn×n . That is,
U = { AT = A, A ∈ Rn×n }.
and
W = { AT = −A, A ∈ Rn×n }.
Then Rn×n = U ⊕W .
Question 1
What are the dimensions of U and W in Examples 3 ? Please find their
bases.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Example 4
Let U be the subspace of even functions in RR and W be the subspace of
odd functions in RR . That is,
and
W = { f (x) = − f (x), f (x) ∈ RR }.
Then RR = U ⊕W .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Example 5
Let K n×n be the set of all n × n matrices over a number field K. Suppose
that K0n×n is the subset of all matrices with zero trace and that Span {I} is
the subset of all scalar matrices. It is not difficult to prove that K0n×n and
Span {I} are subspaces of K n×n . Moreover,
where
a11 − Tr(A) a12 ··· a1n
n
a21 a22 − Tr(A) ··· a2n
B= n , C = Tr(A) I
.. .. .. .. n
. . . .
an1 an2 ··· ann − Tr(A)
n
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Furthermore,
K0n×n ∩ Span {I} = {0}.
We assert that
K n×n = K0n×n ⊕ Span {I}.
Question 2
What are the dimensions of K0n×n and Span {I} in Examples 5 ? Please
find a basis for K0n×n .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .