Spivak Calc on Manifolds, p.85

  1. Please forgive any stupid mistakes I've made.

    On p.85, 4-5:

    If [tex]c: [0,1] \rightarrow (R^n)^n [/tex] is continous and each [tex](c^1(t),c^2(t),...,c^n(t)) [/tex] is a basis for [tex] R^n [/tex], prove that
    [tex]|c^1(0),...,c^n(0)| = |c^1(1),...,c^n(1)| [/tex].

    Maybe I'm missing something obvious, but doesn't [tex] c(t) = ((1+t,0),(0,1+t)) [/tex] provide a counterexample to the statement when n=2?
     
  2. jcsd
  3. mathwonk

    mathwonk 9,703
    Science Advisor
    Homework Helper

    have you read the section preceding the problem, specifically the definition of the notation [v1,...vn]? the bracket notation refers to the orientation defined by the basis. so the problem is to prove that a continuously varying basis cannot change orientation. this is easy since the determinant cannot change sign without being zero in between.

    you have misrepresented the bracket notation as absolute value, at least according to my copy of spivak.
     
  4. I see. I have a (poor) photocopy of this section, and I can't distinguish between absolute value and the brackets you mentioned. Thank you for clarifying.
     
  5. mathwonk

    mathwonk 9,703
    Science Advisor
    Homework Helper

    i suggest you buy one. then the author makes a few bucks, or maybe a nickel, i believe he told me once.
     
  6. Spivak most definitely deserves some of your money. Possibly most of it.
     
Know someone interested in this topic? Share a link to this question via email, Google+, Twitter, or Facebook

Have something to add?