Proving the Existence of Direct Sums in Linear Algebra

omoplata
Messages
327
Reaction score
2
In 'Linear Algebra Done Right' by Sheldon Axler, a direct sum is defined the following way,

We say that [itex]V[/itex] is the direct sum of subspaces [itex]U_1, \dotsc ,U_m[/itex] written [itex]V = U_1 \oplus \dotsc \oplus U_m[/itex], if each element of [itex]V[/itex] can be written uniquely as a sum [itex]u_1 + \dotsc + u_m[/itex], where each [itex]u_j \in U_j[/itex].

Suppose [itex]V = U \oplus W[/itex]. Is there any way I can prove that for all [itex]u \in U[/itex] there exists [itex]v \in V[/itex] and [itex]w \in W[/itex] such that [itex]v = u + w[/itex]?

If that can be done, then I can solve a problem given later in the book.
 
on Phys.org
Take [itex]w=0[/itex] and [itex]v=u[/itex].
 
LOL, OF COURSE!

Thanks!
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
Replies
3
Views
2K
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K