Characterization of External Direct Sum - Cooperstein

  • #1
Math Amateur
Gold Member
1,082
48
I am reading Bruce N. Coopersteins book: Advanced Linear Algebra (Second Edition) ... ...

In Section 10.2 Cooperstein writes the following, essentially about external direct sums ... ...


?temp_hash=392d5fdda952d6030121f7ddfed2887c.png

?temp_hash=392d5fdda952d6030121f7ddfed2887c.png




Cooperstein asserts that properties (a) and (b) above "characterize the space ##V## as the direct sum of the spaces ##V_1, \ ... \ ... \ , V_n##"

Can someone please explain how/why properties (a) and (b) above characterize the space ##V## as the direct sum of the spaces ##V_1, \ ... \ ... \ , V_n##?


Help will be appreciated ...

Peter
 

Attachments

  • Cooperstein  - External DIrect Sum - Pages 359-360     ....        ....png
    Cooperstein - External DIrect Sum - Pages 359-360 .... ....png
    97.5 KB · Views: 707
  • Cooperstein  - External DIrect Sum - Pages 359-360   - PART 2  ....        ....png
    Cooperstein - External DIrect Sum - Pages 359-360 - PART 2 .... ....png
    64.8 KB · Views: 695

Answers and Replies

  • #2
andrewkirk
Science Advisor
Homework Helper
Insights Author
Gold Member
3,992
1,546
What he is saying is that, if we have a vector space ##V'## and for ##k=1,...,n## we have maps ##\epsilon_k':V_k\to V'## and ##\pi_k':V'\to V_k## that satisfy (a) and (b) then ##V'## is isomorphic to ##V## (which is the direct sum of ##V_1## to ##V_n##).

The isomorphism from ##V'## to ##V## is the map:

$$\vec v'\mapsto\sum_{k=1}^n\epsilon_k\pi_k'(\vec v')$$

and its inverse is the map

$$\vec v\mapsto\sum_{k=1}^n\epsilon_k'\pi_k(\vec v)$$

It is straightforward, if somewhat laborious, to show that this map is a bijection and that it is linear.
 
  • Like
Likes Math Amateur
  • #3
Math Amateur
Gold Member
1,082
48
HI Andrew ... reflecting on your post ...

Still trying to follow you ... but having some difficulty ...

Peter
 

Related Threads on Characterization of External Direct Sum - Cooperstein

Replies
4
Views
1K
  • Last Post
Replies
3
Views
4K
  • Last Post
Replies
7
Views
3K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
5
Views
6K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
2
Views
3K
  • Last Post
Replies
6
Views
3K
  • Last Post
Replies
6
Views
2K
Replies
5
Views
4K
Top