Tangent vectors as equivalence classes of curves

[demonelite123]

defining a tangent vector v as the equivalence class of of curves: v = [\sigma] = \left. \frac{df(\sigma)}{dt} \right|_{t=0}, i want to show that this definition is independent of the member of the equivalence class that i choose.

where \sigma represents a function from the reals to the manifold and f is a coordinate function from the manifold to the reals.

so i am starting with \sigma_{1} (0) = \sigma_{2}(0)since i am picking two curves that go through the same point. i then define the functions F = \phi o \sigma_{1} and G = \phi o \sigma_{2} and since these are both functions from R to R my goal is to now show that F'(0) = G'(0). i also know that f(0) = g(0) since \sigma_1(0) = \sigma_2(0) but now i am stuck and can't figure out the next step. can someone give me a few hints in the right direction? thanks.

 

[quasar987]

Hey. So you've defined a relation on the set of smooth curves passing through a given point p on the manifold by declaring equivalent two curves iff they tangent vector at p with respect to some chart about p are the same. Presumably, you've shown that this is an equivalence relation, and you then call such an equivalence class a "tangent vector at p".

What is there to show? What is ambiguous with this definition?

The next step however would be to show that the set of all tangent vectors is a vector space. And then, there will be ambiguities and it will be necessary to check that the vector space operations are well defined (independent of the class representatives).

 

[mathwonk]

given this definition,check that two curves are equivalent iff they have the same tangent vector in one and hence all coordinate charts., therefore it is a vector space, oops once you check the isomorphism for different coordinate charts is linear (chain rule). this stuff seems trivial, i.e. a good exercise if you don't agree.

 

[Landau]

iff they tangent vector at p with respect to some chart about p are the same. (...)What is there to show?

I think he wants to show that this equivalence relation (or rather, 'being tangent') is chart-independent, i.e. that if two curves are tangent in some chart, then also in any other chart. This follows directly from the chain rule.

 

[demonelite123]

the book i am using says to show that this equivalence class is independent of the representative i choose but i guess that follows from the set of curves being an equivalence class to begin with. as for showing that the equivalence classes are coordinate chart independent i know how to do that as well. i think my question was a bit confusing, but thanks for everyone's input.

 

[Fredrik]

defining a tangent vector v as the equivalence class of of curves: v = [\sigma] = \left. \frac{df(\sigma)}{dt} \right|_{t=0}

I'm not a fan of this notation, or the precise statement you made. If there's an f on the right, there obviously needs to be one on the left as well. Why "d/dt" when there's no "t" in the expression that's supposed to tell us what function you're taking the derivative of? (The latter is an abuse of notation that seems to be somewhat standard). Also, f isn't a coordinate function. I think it should be any smooth function defined on an open neighborhood of the relevant point in the manifold.

I'd write [\sigma]f=(f\circ\sigma)'(0) or \phi([\sigma])f=(f\circ\sigma)'(0). The point of this definition is to define a function from the set of equivalence classes of curves through p to the set of derivations at p, so it might be useful to choose a symbol for it, in anticipation of the next step, which is to prove that this function is a vector space isomorphism. The equality you posted doesn't define the tangent vectors or the equivalence relation. It just defines the isomorphism.

the book i am using

Isham?

says to show that this equivalence class is independent of the representative i choose but i guess that follows from the set of curves being an equivalence class to begin with.

If follows from the definition of this particular equivalence relation.

A couple of latex tips: If you use tex tags and you want a comma or a period at the end, you need to put it before the closing tex tag, not after it. I also recommend that you use itex tags instead of tex tags when it makes more sense for the math expression to appear in the middle of a line of text rather than indented on a line of its own.

 

[demonelite123]

yes i am using Isham's book which may not be the best book for a first exposure to differential geometry. i often get confused about what the notations are trying to say in the definitions. as i understand to show that the function taking a set of equivalence classes to a set of derivations is a vector space isomorphism, i need to show that it is a linear transformation and that it is both one to one and onto. i seem to be having trouble showing first that it is a linear transformation.

 

[Fredrik]

yes i am using Isham's book which may not be the best book for a first exposure to differential geometry.

I like the book, especially for the stuff about tangent spaces, Lie groups, Lie group actions and the introduction to fiber bundles. But it wasn't the first book I read on differential geometry. I don't really like his notation, but I don't really like anyone's notation but my own. I also felt that he was rushing things towards the end. I had to work much harder to understand each page once he started talking about connections on principal bundles. It was also weird that the book ended where it did. He could have included another chapter or two about integration on manifolds, the Yang-Mills lagrangian, etc.

"Introduction to smooth manifolds" by John M. Lee, is a better book for most purposes. Its biggest flaw is that it doesn't cover connections and curvature. The best place to read about those things is an earlier book by the same author, "Riemannian manifolds: an introduction to curvature".

i seem to be having trouble showing first that it is a linear transformation.

The definition of linear combinations of equivalence classes of curves makes it complicated. Let's see if I can remember how he did that. Hm, I'm thinking that he probably just defined a[\sigma]+b[\tau]=[a\sigma+b\tau], where the linear combination of the curves on the right is defined in terms of a coordinate system x, by a\sigma+b\tau=x^{-1}\circ(a(x\circ\sigma)+b(x\circ\tau)). If this is right, then it would take some work just to show that this makes sense and that the result doesn't depend on the coordinate system x. I'm not going to do that now. Assuming that things are defined as above, <br /> \begin{align} &amp;\phi(a[\sigma]+b[\tau])f=\phi([a\sigma+b\tau])f =(f\circ(a\sigma+b\tau))&#039;(0) =(f\circ x^{-1}\circ(a(x\circ\sigma)+b(x\circ\sigma)))&#039;(0)\\<br /> &amp;=(f\circ x^{-1})_{,i}(ax(\sigma(0)))+bx(\tau(0))) \ (a(x\circ\sigma)+b(x\circ\tau))^i&#039;(0)<br /> \end{align}<br /> The second factor is =(a(x^i\circ\sigma)+b(x^i\circ\tau))&#039;(0) =a(x^i\circ\sigma)&#039;(0)+b(x^i\circ\tau)&#039;(0) =a(x\circ\sigma)^i&#039;(0)+b(x\circ\tau)^i&#039;(0). Should be easy enough from here. Insert this result into the main calculation and use the chain rule again (this time in the other direction).

If the way I'm writing the chain rule looks weird to you, see this post for an explanation.