1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Proof of invariance.

  1. Jun 8, 2009 #1
    1. The problem statement, all variables and given/known data
    Suppose T is contained in the set of linear transformations from
    V to V. Prove that the intersection of any collection of subspaces of
    V invariant under T is invariant under T.



    2. Relevant equations



    3. The attempt at a solution
    Choose a basis for V. This basis is <v1.....vn>.
    Two possible subspaces for V are A and B with basis
    <v1....vi> for A and <vi-1.....vn> for B (2[tex]\leq[/tex]i[tex]\leq[/tex]n)
    and we will assume that both are invariant under T.
    A basis for the intersection of the bases is <vi-1, vi>.
    Because the subspaces A and B are invariant under T, and
    vi-1+vi is a linear combination within the span of both invariant subspaces
    under T, vi-1+vi is mapped from A to A and from B to B thus it goes
    from A and B to A and B, the intersection of both subspaces.
     
  2. jcsd
  3. Jun 8, 2009 #2

    CompuChip

    User Avatar
    Science Advisor
    Homework Helper

    I think you can give the proof without choosing a basis for V, which I personally find more appealing. To do this, recall that a subset A c V is invariant under T whenever T(A) c A.

    Now you want to show that [itex]T(A \cap B) \subset A \cap B[/itex]. You can do this by showing that it is simultaneously a subset of both A and B.
     
  4. Jun 8, 2009 #3
    Sounds good. Let x[tex]\in[/tex]A[tex]\cap[/tex]B
    Distributing T, we get T(A[tex]\cap[/tex]B)=T(A)[tex]\cap[/tex]T(B).
    Since x[tex]\in[/tex]A, T(x)[tex]\in[/tex]T(A) and since x[tex]\in[/tex](B),
    T(x)[tex]\in[/tex]T(B) thus T(x)[tex]\in[/tex]T(A)[tex]\cap[/tex]T(B)
    and since both A and B are invariant under T (thus T(x) x[tex]\in[/tex]A gets mapped to
    A and T(x) x[tex]\in[/tex]B gets mapped to B, for T(A) is in A and T(B) is in B for A and B to be invariant), T(x)=cx[tex]\in[/tex]A[tex]\cap[/tex]B.
     
    Last edited: Jun 8, 2009
  5. Jun 9, 2009 #4

    CompuChip

    User Avatar
    Science Advisor
    Homework Helper

    Good start.

    Probably that's true by linearity, although I don't even think you need that in the proof.
    Let's call this statement (*).

    That part is entirely correct (try finding where you actually needed statement (*), because I couldn't :smile:).

    This may be written down a bit sloppily, with respect to your rigour before. From T(x) being in T(A) you can conclude that it is also in A, and from T(x) being in T(B) it is also in B. So T(x) is in A and B at the same time. QED

    Apart from those two minor details, well done!
     
  6. Jun 9, 2009 #5
    Thanks compuchip, I need to work on writing more elegant proofs.
    Sometimes I need to read my own a few times to get them, lol.
     
  7. Jun 9, 2009 #6

    CompuChip

    User Avatar
    Science Advisor
    Homework Helper

    That's ok, luckily this is a classic example of "practice makes perfect".
    So just write a lot of them.

    And if you read them and it's hard for you to decipher what you meant, you really need to re-write them :)
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Proof of invariance.
  1. Invariant Subspace (Replies: 1)

  2. A proof! (Replies: 0)

  3. Invariant Subspaces (Replies: 1)

Loading...