Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Direct Sum of Subspaces

  1. Sep 23, 2009 #1
    I'm going through Axler's book and just got introduced the concept of sums of subspaces and the direct sums.

    Here's one of the examples he has.

    Now the other examples he had were kind of trivial (such as [tex]\mathbb{R}^2 = U \oplus W[/tex] where [tex]U = \{ (x,0) | x \in \mathbb{R} \}[/tex] and [tex]W = \{(0,y) | y \in \mathbb{R} \}[/tex]) since we simply showed the uniqueness of each component.

    For this one, I get rattled up in notation and not sure where to head. Here's what I was thinking

    let [tex]q \in U_e + Uo[/tex]. Then: [tex]q(x) = \underbrace{a_0 + a_2 x^2 + \cdots + a_{2n}x^{2n}}_{\in U_e} + \underbrace{a_1x + a_3x^3 + \cdots a_{2n+1}x^{2n+1}}_{\in U_o}[/tex]

    Then I assume [tex]a(x)[/tex] can be represented by different coefficients, say [tex]b_0, b_1, ..., b_n[/tex]. Since both these representations are equal to [tex]a(x)[/tex], then the two representations are equal. Then we equate the coefficients and we arrive at a contradiction.

    Sound good? Sorry for the long winded post. I appreciate all the help so far! (And that last thread .. that was pretty silly of me to mess up!)
     
  2. jcsd
  3. Sep 23, 2009 #2

    Office_Shredder

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    I don't think unique representation of a sum of elements is a good way to go here. Instead you can prove these two things:
    [tex]U_e + U_o = P(F)[/tex]

    and

    [tex] U_e \cap U_o = \emptyset[/tex]

    Which requires a far smaller combination of handwaving/slogging through ridiculous details. Often (not always) this is the easier way of proving two things are the direct sum of a vector space. Although what you've posted is pretty good also
     
  4. Sep 23, 2009 #3
    Oh thanks a lot! I just noticed they had this proved a few pages after. Ah well different means to the same goal I suppose.
     
  5. Sep 30, 2009 #4
    Sorry to bring up an old thread. I was just wondering how Office_Shredder's approach works.

    Specifically, how do i directly show that [tex]U_e \cap U_o = \bold{0}[/tex] ?

    Would I suppose [tex]a(x) \in U_e \cap U_o[/tex] and come to the conclusion that the only way this could occur was if the coefficients were equal to 0?

    [tex]a_0 + a_2x^2 + a_4x^4 + \cdots + a_{2n}x^{2n} = a_1 + a_3x^3 + \cdots + a_{2n+1}x^{2n+1}[/tex]

    On the LHS, the odd-superscripted coefficents is equal to 0 so the RHS must be equal to 0 as well. And similarly for the even-superscripted coefficients.

    Would that be the way to go?
     
  6. Oct 1, 2009 #5

    jbunniii

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Yes, that's right. You are implicitly using the fact that two polynomials are equal if and only if all of their coefficients are equal. This in turn is an immediate consequence of the fundamental theorem of algebra. I'm pretty sure Axler assumes this is "known" even though he doesn't prove it in the book; it's a rather deep result.
     
  7. Oct 5, 2009 #6
    The use of polynomials before he introduces them and giving various theorems about them in chapter 4 is a little confusing. He does actually prove the Fundamental Theorem of Algebra (Thm 4.7), but in terms that I didn't understand, most likely because I haven't taken a class in analysis yet.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Direct Sum of Subspaces
  1. Direct Sum (Replies: 4)

  2. Sums of Subspaces (Replies: 1)

Loading...