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

About the basis of a quotient space

  1. Apr 27, 2009 #1
    Notations:
    V denotes a vector space
    S denotes a subspace of V
    V/S denotes a quotient space
    V\S denotes the complement of S in V

    Question:
    If {s1, ... , sk} is a basis for S, how to find a basis for V/S?

    I realize that the basis of V\S may determine the basis of V/S, but I don't know how to formulate it. For example, let R2 be the Cartesian plane V, with basis {(1,0),(0,1)}, the diagonal is a subspace S, whose basis is {(1,1)}, then how to formulate the basis of V,\S,?

    Thanks for any help!
     
  2. jcsd
  3. Apr 27, 2009 #2

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    It is indeed a good guess that a basis for V\S determines one for V/S. Namely, that if p:V-->V/S is the quotient map (aka the projection map) and if (v_1,...,v_{n-m}) is a basis for V\S, then (p(v_1),...,p(v_{n-m})) is a basis for V/S. To prove it though, you still need to show that this set of vectors is linearly independant and generated V\S.
     
  4. Apr 29, 2009 #3
    Thanks!
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: About the basis of a quotient space
  1. Quotient Spaces (Replies: 8)

  2. Quotient Spaces (Replies: 2)

Loading...