Tangent vector to curve - notational confusion.

Click For Summary
SUMMARY

The tangent vector to a curve ##\gamma: I \to M## at the point ##\gamma(0) = p \in M## is defined as the differential operator $$V_{\gamma(0)}= \gamma_* \left(\frac{d}{dt}\right)_{t=0}$$ in modern differential geometry. An alternative expression $$V_{\gamma(0)}= \left(\frac{d}{dt}\right)_{t=0} \gamma(t)$$ serves as a shorthand for identifying the tangent vector with the actual n-tuple of numbers produced by the derivative in a coordinate chart. Both expressions represent the same tangent vector but emphasize different aspects: one as a directional derivative operator and the other as a literal tangent to the curve. The discussion highlights the flexibility in identifying tangent vectors through various isomorphisms.

PREREQUISITES
  • Understanding of differential geometry concepts, particularly tangent vectors.
  • Familiarity with manifolds and curves in the context of differential calculus.
  • Knowledge of coordinate charts and their role in defining tangent vectors.
  • Proficiency in calculus, specifically derivatives and directional derivatives.
NEXT STEPS
  • Study the concept of tangent vectors in differential geometry using texts like "Differential Geometry of Curves and Surfaces" by Manfredo P. do Carmo.
  • Learn about the relationship between curves and their tangent vectors in various coordinate systems.
  • Explore the equivalence classes of curves and their implications in defining tangent vectors.
  • Investigate the role of directional derivatives in the context of smooth functions on manifolds.
USEFUL FOR

Mathematicians, students of differential geometry, and anyone interested in the formal definitions and applications of tangent vectors in manifold theory.

center o bass
Messages
545
Reaction score
2
Given a curve ##\gamma: I \to M## where ##I\subset \mathbb{R}## and ##M## is a manifold, the tangent vector to the curve at ##\gamma(0) = p \in M## is defined in some modern differential geomtery texts to be the differential operator
$$V_{\gamma(0)}= \gamma_* \left(\frac{d}{dt}\right)_{t=0}.$$
However, quite often when I read differential geometry texts I encounter expressions like
$$V_{\gamma(0)}= \left(\frac{d}{dt}\right)_{t=0} \gamma(t).$$

What is the meaning of the latter expression, and what is the relation between the two?

The only relation I can think of is that in a coordinate chart ##(U,\phi)## on ##M## and for ##f \in C(M)## we have
$$V_{\gamma(0)}f= \gamma_* \left(\frac{d}{dt}\right)_{t=0}f = \left(\frac{d}{dt}\right)_{t=0} f\circ \gamma(t) = \left(\frac{d}{dt}\right)_{t=0} f\circ \phi^{-1} \circ (\phi \circ \gamma(t)) = \frac{dx^\mu}{dt}(\gamma(0)) \left(\frac{\partial}{\partial x^\mu}\right)_{x^\mu(\gamma(0))} f\circ \phi^{-1}$$
where I have defined ##\phi\circ \gamma(t) = x^\mu(\gamma(t))##. Is the latter expression only meant to be a shorthand for
$$V_{\gamma(0)} = \frac{dx^\mu}{dt}(\gamma(0)) \left(\phi^{-1}_*\frac{\partial}{\partial x^\mu}\right)_{\gamma(0)}?$$
 
Physics news on Phys.org
I think the books are just making different identifications with the tangent vector. Any 1-1 isomorphism between a linear vector space will do. The first expression is when the books identify a tangent vector as a direction derivative operator on smooth functions on the manifold. One can easily prove that the directional derivative operators form a linear vector space over the real (complex) numbers.

The second one is identifying the tangent vector with a literal tangent to a curve. This is basically identifying the vector with the actual n-tuple of numbers this derivative will produce once you have an arbitrary chart defined around ##\gamma(0)##. Since the numbers themselves depend on the chart, but the actual tangency conditions do not, then one identifies a tangent vector with an equivalence class of these such tangents (if the derivatives of two different curves are equal at point ##\gamma(0)## with respect to one chart, they will be equal with respect to all well defined charts there).

One can also identify the tangent vector as an equivalence class of curves even. As long as one can make a 1-1 isomorphism, and prove that the underlying class of objects behaves as linear vectors over the real (complex) numbers, one is free to make any identification one wishes.
 

Similar threads

  • · Replies 36 ·
2
Replies
36
Views
6K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 6 ·
Replies
6
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 36 ·
2
Replies
36
Views
7K
  • · Replies 21 ·
Replies
21
Views
4K