Questions about tangent spaces & the tangent bundle

In summary, the differential geometry lecturer is discussing the concept of the Lagrangian, and how it can be used to describe all possible dynamics of a physical system. He states that the tangent bundle is a disjoint union of tangent spaces parametrised by the manifold of dimension n, and that for a given point p in the manifold, there are an infinite number of tangent vectors that one could choose from. He goes on to say that the Lagrangian is a one-parameter family of functions on the tangent bundle, and that in order to find the tangent vector to a given point, one needs to find a curve in configuration space parametrised by that point and a given value of
  • #1
"Don't panic!"
601
8
This is a slightly physics oriented question, so apologies for that.

Basically, having started studying differential geometry it has started to become a little clearer to me why one can consider the Lagrangian as a function of position and velocity, but I don't feel I'm quite there yet.

My confusion arises with the tangent bundle. I understand that the state of a physical system at a given instant in time is completely specified by its position and velocity at that given instant, and as such, for the Lagrangian to characterise all possible dynamics of a physical system, it must therefore be a function on the tangent bundle (correct?!)

As I understand it, the tangent bundle [itex]\mathcal{TM}[/itex] is defined as the disjoint union of tangent spaces [itex]T_{p}\mathcal{M}[/itex] parametrised by the manifold [itex]\mathcal{M}[/itex] (of dimension [itex]n[/itex]), [tex]\mathcal{TM}=\lbrace (p,\mathbf{X}_{p})\;\;\vert\quad p\in \mathcal{M}, \;\;\mathbf{X}_{p} \in T_{p}\mathcal{M}\rbrace[/tex]
Would it then be correct to say that there is an [itex]n[/itex]-dimensional tangent space [itex]T_{p}\mathcal{M}[/itex] for each fixed point [itex]p\in\mathcal{M}[/itex], and as such, for a fixed point, there are an infinite number of tangent vectors that one could choose from? On the face of it I see how, as the manifold formed by the tangent bundle is [itex]2n[/itex]-dimensional, one can specify a point on the this manifold uniquely by specifying a point [itex]p\in\mathcal{M}[/itex] and a vector in the tangent space to that point, [itex]\mathbf{X}_{p}\in T_{p}\mathcal{M}[/itex], however, I'm finding it difficult to see how they can be treated as independent variables, as surely one is required to specify a point [itex]p\in\mathcal{M}[/itex] before one can determine the tangent space to that point (and thus, the possible tangent vectors that one can choose from)?

I have been reading this set of notes http://www.physics.usu.edu/torre/6010_Fall_2010/Lectures/01.pdf and they have been enlightening me a bit on the subject, but I'm a little unsure that I'm understanding it correctly?!

I understand that points [itex]p[/itex] on the manifold [itex]\mathcal{M}[/itex] exist independently of any chosen curve, as do the tangent vectors [itex]\mathbf{X}_{p}[/itex] in the tangent space [itex]T_{p}\mathcal{M}[/itex] to those points, so would it be correct to say that each point in the tangent bundle represents a point on [itex]\mathcal{M}[/itex] through which a curve could pass through at a given velocity? [In the middle of page 6 the lecturer pauses to discuss a "common point of confusion" about the notation [itex]\dot{q}[/itex] (for a vector in the tangent space), stating that it is not the derivative of anything, but just a vector that exists at the point [itex]q[/itex]. Is this just the case because for each given point we can associate a set of vectors (which form a tangent space at that point); they are not derivatives of anything, but they do, in essence, contain information on what direction (and at what speed) curves can move through that point?!]

He then moves on to say that a given curve in the tangent bundle looks like $$q=q(t),\qquad\dot{q}=\dot{q}(t)$$ I assume by this that the curve is parametrised by some parameter [itex]t[/itex] and that a given value of [itex]t[/itex] corresponds to a given point [itex](q,\dot{q})[/itex] in the tangent bundle? Also, he says that such a curve may not actually correspond to any motion of the system and we need [itex]\dot{q}(t)[/itex] to actually represent the tangent to [itex]q(t)[/itex], that is, we need to choose [itex]\dot{q}(t) = \frac{dq(t)}{dt}[/itex]. By this does he mean that although a given value of [itex]t[/itex] will correspond to a point [itex]q=q(t)[/itex] and a tangent vector [itex]\dot{q}=\dot{q}(t)[/itex], the tangent vector associated with that value of [itex]t[/itex] may not be that of the curve passing through [itex]q[/itex], hence we require that, in actual fact, the given value of [itex]t[/itex] corresponds to a vector tangent to the point [itex]q[/itex] such that its value [itex]\dot{q}(t)[/itex] corresponds to the derivative of the curve evaluated at that point, i.e. [itex]\dot{q}(t)=\frac{dq(t)}{dt}[/itex]?

Having done all this, do we then say that the Lagrangian is a one-parameter family of functions (parameterised by [itex]t[/itex]) on the tangent bundle, i.e. $$\mathcal{L}=\mathcal{L}(q,\dot{q}, t)=\mathcal{L}(\lbrace q_{i}\rbrace, \lbrace\dot{q}_{i}\rbrace , t)$$ One may then choose a curve in configuration space [itex]q(t)=\lbrace q_{i}(t) \rbrace[/itex] such that when the Lagrangian is evaluated on that curve, for a given value of [itex]t[/itex] it returns a number [itex]\mathcal{L}(q(t),\dot{q}(t),t)[/itex] corresponding to the value of the Lagrangian evaluated at the point [itex]q=q(t)[/itex] on the curve, whose tangent vector is [itex]\dot{q}(t)=\frac{dq(t)}{dt}[/itex]?

Sorry for the long-windedness of this post, I'm just really keen to get these concepts firmly cemented (correctly) in my mind!
 
Last edited:
Physics news on Phys.org
  • #2
Perhaps it would help to think about a simple example. Let the manifold be a sphere. Then the "tangent plane" at any given point really is a plane tangent to the sphere at that point. And the "tangent bundle" for the sphere is the collection of all such tangent planes together with a function that, to every point of the sphere assigns its tangent plane.

A "curve" on sphere is a continuous function that assigns, to every real number (in some give interval) a point on the sphere. The "derivative", [itex]\frac{dq}{dt}[/itex], assigns to each point on the sphere, a vector in the tangent plane at that point. Some texts go the other way- defining a "tangent vector" at a given point to be an equivalence class of curves through that point with the equivalence relation being, of course, that the curves have the same derivative there.

So the answer to your last question
one may then choose a curve in configuration space q(t)={qi (t)} q(t)=\lbrace q_{i}(t) \rbrace such that when the Lagrangian is evaluated on that curve, for a given value of t t it returns a number L(q(t),q˙ (t),t) \mathcal{L}(q(t),\dot{q}(t),t) corresponding to the value of the Lagrangian evaluated at the point q=q(t) q=q(t) on the curve, whose tangent vector is q˙ (t)=dq(t)dt \dot{q}(t)=\frac{dq(t)}{dt} ?
is "yes".
 
  • #3
So would it be correct to say that one can treat the variables [itex]p\in\mathcal{M}[/itex] and [itex]\mathbf{v}\in T_{p}\mathcal{M}[/itex] as independent variables on the tangent bundle, as for each given [itex]p\in\mathcal{M}[/itex] we are free to choose any tangent vector [itex]\mathbf{v}\in T_{p}\mathcal{M}[/itex] from the tangent space to that point (although I'm not sure how this would work the other way round, i.e. does one always have to specify the point [itex]p\in\mathcal{M}[/itex] first)? As such, a given point on the tangent bundle is completely described by the ordered pair [itex](p, \mathbf{v})[/itex]?

"Don't panic!" said:
He then moves on to say that a given curve in the tangent bundle looks like
q=q(t),q˙=q˙(t)​
q=q(t),\qquad\dot{q}=\dot{q}(t) I assume by this that the curve is parametrised by some parameter tt and that a given value of tt corresponds to a given point (q,q˙)(q,\dot{q}) in the tangent bundle? Also, he says that such a curve may not actually correspond to any motion of the system and we need q˙(t)\dot{q}(t) to actually represent the tangent to q(t)q(t), that is, we need to choose q˙(t)=dq(t)dt\dot{q}(t) = \frac{dq(t)}{dt}. By this does he mean that although a given value of tt will correspond to a point q=q(t)q=q(t) and a tangent vector q˙=q˙(t)\dot{q}=\dot{q}(t), the tangent vector associated with that value of tt may not be that of the curve passing through qq, hence we require that, in actual fact, the given value of tt corresponds to a vector tangent to the point qq such that its value q˙(t)\dot{q}(t) corresponds to the derivative of the curve evaluated at that point, i.e. q˙(t)=dq(t)dt\dot{q}(t)=\frac{dq(t)}{dt}?

When one introduces a coordinate curve (as described on page 6 in the notes that I attached) is my understanding of this correct (as I talk about in the quoted text above)?

When one starts to talk about variations (upon introducing a curve [itex]q(t)[/itex]) is it correct to say that a variation in the curve, [itex]\delta q(t)[/itex], will induce a variation in the tangent vector, [itex]\delta\dot{q}(t)[/itex], to the curve evaluated at the point [itex]q=q(t)[/itex] [which is equivalent to taking the derivative of the variation of the curve at the point [itex]q=q(t)[/itex] as [itex]\delta\dot{q}(t) = \dot{q}'(t) - \dot{q}(t) =\frac{dq'(t)}{dt}- \frac{dq(t)}{dt} = \frac{d}{dt}(q'(t)-q(t)) = \frac{d}{dt}(\delta q(t))[/itex] ]? I have some confusion here, as usually one can not compare vectors at two different points on a manifold? Is it just that by varying the position that the curve takes for a given value of [itex]t[/itex] will naturally vary the tangent space we are considering and hence the vary the tangent vectors, and so the tangent vector [itex]\delta\dot{q}(t)[/itex] is the vector tangent to the new (varied) curve [itex]\delta q(t)[/itex] and the requirement that this corresponds to the actually velocity of this new curve leads to the result that [itex]\delta\dot{q}(t) = \frac{d}{dt}(\delta q(t))[/itex] ?
 
Last edited:
  • #4
Some of the confusion is probably caused by the fact that you (and the text you're reading?) denote both the curve q and its value at t by q(t). I also wouldn't use terminology like "parametrized by a variable t". It would be odd to say that, when we use different notations for the curve and its value at a point in its domain.

In what I'm about to say, the definition ##TM=\bigcup_{p\in M}T_pM## is convenient in one place, and the definition ##TM=\{(p,v)|p\in M,\ v\in T_pM\}## is convenient in another. Because of the bijective correspondence between these two sets, I will ignore the distinction and talk about them as if they're the same. (Yes, this is a mild abuse of the definitions).

The Lagrangian is a function ##\mathcal L:TM\to\mathbb R##. Ignoring some technical issues, the tangent vector field of a curve ##C:[a,b]\to M##, is defined as the function ##\dot C:[a,b]\to TM## such that
$$\dot C(t)(f)=(f\circ C)'(t),$$ for all ##t\in[a,,b]## and all smooth ##f:M\to\mathbb R##. So if ##q## is a curve in ##M##, then ##\dot q## is a curve in ##TM##, and if their common domain is ##[a,b]## (or rather, an open interval that contains ##[a,b]##), then for each ##t\in[a,b]##, we have ##q(t)\in M## and ##\dot q(t)\in T_{C(t)}M##. So ##(q(t),\dot q(t))## is a point in ##TM##, the domain of ##\mathcal L##.
 
Last edited:
  • #5
In regular vector calculus in Euclidean space, one thinks of a velocity vector as located at a point in space. If one imagines all possible velocity vectors at the point, these form a vector space.

The exact same thing is true on a manifold. No difference.

The union of all of these vector spaces is called the tangent bundle.

A lagrangian depends not only on positions but also on velocities. This means that it is defined in the tangent bundle.

Your problem with independence seems to have has nothing to do with the phase space itself but with the idea of a dynamical system. In a system velocity vectors are seemingly not independent since they occur at points along the path of the system. But this just means that a dynamical system is following a path. In the phase space itself, the positions and potential velocities are independent of each other just as the x and y coordinates are independent of each other in the plane.
 
Last edited:
  • #6
Fredrik said:
So if qq is a curve in MM, then q˙\dot q is a curve in TMTM, and if their common domain is [a,b][a,b] (or rather, an open interval that contains [a,b][a,b]), then for each t∈[a,b]t\in[a,b], we have q(t)∈Mq(t)\in M and q˙(t)∈TC(t)M\dot q(t)\in T_{C(t)}M. So (q(t),q˙(t))(q(t),\dot q(t)) is a point in TMTM, the domain of L\mathcal L.

So is the point that to each curve [itex]q\in M[/itex] there are associated a family of curves [itex]\dot{q}\in T_{c(t)}M[/itex] in the tangent space to this curve. If we wish to choose a particular curve, that has a particular velocity, then we require that the curve [itex]\dot{q}\in T_{c(t)}M[/itex] is equal to the velocity of that curve, i.e. [itex]\dot{q}(t)= \frac{dq(t)}{dt}[/itex]?

lavinia said:
A lagrangian depends not only on positions but also on velocities. This means that it is defined in the tangent bundle.

Is this because of the following:
We wish to characterise the dynamics of a given system (or set of systems) by a function (the Lagrangian). To do so, such a function will necessarily be dependent on the state of the system at each point in time. Empirically it is known that the state of a given system at a given instant in time is uniquely determined by specifying its position and velocity at that instant, hence the Lagrangian must be a function of positions and velocities?!

lavinia said:
Your problem with independence seems to have has nothing to do with the phase space itself but with the idea of a dynamical system. In a system velocity vectors are seemingly not independent since they occur at points along the path of the system. But this just means that a dynamical system is following a path. In the phase space itself, the positions and potential velocities are independent of each other just as the x and y coordinates are independent of each other in the plane.

So is it correct to say that the Lagrangian is a function on this phase space, so we are free to choose the positions and velocities independently. It is not until we choose a particular curve that they lose their mutual independence, at which point the velocity becomes the time derivative of the curve at each point?!

Also, going back to an earlier point, is it correct to say that if we choose a coordinate chart [itex]\varphi : U_{i}\rightarrow \mathbb{R}^{n}[/itex] (with [itex]U_{i}\subset M[/itex]) in the neighbourhood of some point [itex]p\in U_{i}[/itex] on the manifold, then [itex]TM\supset TU_{i}\cong\mathbb{R}^{2n} [/itex]. As such, each point [itex](p, \mathbf{v})\in TU_{i}[/itex] can be represented by a string of 2n-coordinates, i.e. [itex](p, \mathbf{v})\mapsto (x^{1},\ldots ,x^{n},v^{1},\ldots , v^{n})\in\mathbb{R}^{2n}[/itex]. Now, as the coordinate vectors [itex](v^{1},\ldots , v^{n})\in\mathbb{R}^{n}[/itex] they are not attached to any particular tangent space to any particular point, as such we are free to choose the coordinates [itex](x^{1},\ldots , x^{n})[/itex] and [itex](v^{1},\ldots , v^{n})[/itex] independently. If we choose the space coordinates [itex](x^{1},\ldots , x^{n})[/itex] first, then this corresponds to choosing a point [itex]p\in U_{i}[/itex], we are still free to choose the vector coordinates [itex](v^{1},\ldots , v^{n})[/itex] independently as there are an infinite number of vectors in the tangent space to that point that we can choose from. If we instead choose the vector coordinates [itex](v^{1},\ldots , v^{n})[/itex] first, then by choosing a particular point with space coordinates [itex](x^{1},\ldots , x^{n})[/itex] assigns this vector to a particular tangent space, such that any two vectors that have the same coordinates [itex](v^{1},\ldots , v^{n})[/itex] in [itex]\mathbb{R}^{n}[/itex] are distinguished by which tangent space they belong to (i.e. they are not equal, despite having the same component values in [itex]\mathbb{R}^{n}[/itex]).
 
  • #7
"Don't panic!" said:
Is this because of the following:
We wish to characterise the dynamics of a given system (or set of systems) by a function (the Lagrangian). To do so, such a function will necessarily be dependent on the state of the system at each point in time. Empirically it is known that the state of a given system at a given instant in time is uniquely determined by specifying its position and velocity at that instant, hence the Lagrangian must be a function of positions and velocities?!

yes
 
  • #8
Thanks Lavinia :-)

Is this right as well?

"Don't panic!" said:
So is it correct to say that the Lagrangian is a function on this phase space, so we are free to choose the positions and velocities independently. It is not until we choose a particular curve that they lose their mutual independence, at which point the velocity becomes the time derivative of the curve at each point?!

Also, going back to an earlier point, is it correct to say that if we choose a coordinate chart φ:Ui→Rn\varphi : U_{i}\rightarrow \mathbb{R}^{n} (with UiMU_{i}\subset M) in the neighbourhood of some point pUip\in U_{i} on the manifold, then TMTUi≅R2nTM\supset TU_{i}\cong\mathbb{R}^{2n} . As such, each point (p,v)∈TUi(p, \mathbf{v})\in TU_{i} can be represented by a string of 2n-coordinates, i.e. (p,v)↦(x1,…,xn,v1,…,vn)∈R2n(p, \mathbf{v})\mapsto (x^{1},\ldots ,x^{n},v^{1},\ldots , v^{n})\in\mathbb{R}^{2n}. Now, as the coordinate vectors (v1,…,vn)∈Rn(v^{1},\ldots , v^{n})\in\mathbb{R}^{n} they are not attached to any particular tangent space to any particular point, as such we are free to choose the coordinates (x1,…,xn)(x^{1},\ldots , x^{n}) and (v1,…,vn)(v^{1},\ldots , v^{n}) independently. If we choose the space coordinates (x1,…,xn)(x^{1},\ldots , x^{n}) first, then this corresponds to choosing a point pUip\in U_{i}, we are still free to choose the vector coordinates (v1,…,vn)(v^{1},\ldots , v^{n}) independently as there are an infinite number of vectors in the tangent space to that point that we can choose from. If we instead choose the vector coordinates (v1,…,vn)(v^{1},\ldots , v^{n}) first, then by choosing a particular point with space coordinates (x1,…,xn)(x^{1},\ldots , x^{n}) assigns this vector to a particular tangent space, such that any two vectors that have the same coordinates (v1,…,vn)(v^{1},\ldots , v^{n}) in Rn\mathbb{R}^{n} are distinguished by which tangent space they belong to (i.e. they are not equal, despite having the same component values in Rn\mathbb{R}^{n}).
 
  • #9
"Don't panic!" said:
So is the point that to each curve [itex]q\in M[/itex] there are associated a family of curves [itex]\dot{q}\in T_{c(t)}M[/itex] in the tangent space to this curve. If we wish to choose a particular curve, that has a particular velocity, then we require that the curve [itex]\dot{q}\in T_{c(t)}M[/itex] is equal to the velocity of that curve, i.e. [itex]\dot{q}(t)= \frac{dq(t)}{dt}[/itex]?
Is this because of the following:
We wish to characterise the dynamics of a given system (or set of systems) by a function (the Lagrangian). To do so, such a function will necessarily be dependent on the state of the system at each point in time. Empirically it is known that the state of a given system at a given instant in time is uniquely determined by specifying its position and velocity at that instant, hence the Lagrangian must be a function of positions and velocities?!
So is it correct to say that the Lagrangian is a function on this phase space, so we are free to choose the positions and velocities independently. It is not until we choose a particular curve that they lose their mutual independence, at which point the velocity becomes the time derivative of the curve at each point?!

Also, going back to an earlier point, is it correct to say that if we choose a coordinate chart [itex]\varphi : U_{i}\rightarrow \mathbb{R}^{n}[/itex] (with [itex]U_{i}\subset M[/itex]) in the neighbourhood of some point [itex]p\in U_{i}[/itex] on the manifold, then [itex]TM\supset TU_{i}\cong\mathbb{R}^{2n} [/itex]. As such, each point [itex](p, \mathbf{v})\in TU_{i}[/itex] can be represented by a string of 2n-coordinates, i.e. [itex](p, \mathbf{v})\mapsto (x^{1},\ldots ,x^{n},v^{1},\ldots , v^{n})\in\mathbb{R}^{2n}[/itex]. Now, as the coordinate vectors [itex](v^{1},\ldots , v^{n})\in\mathbb{R}^{n}[/itex] they are not attached to any particular tangent space to any particular point, as such we are free to choose the coordinates [itex](x^{1},\ldots , x^{n})[/itex] and [itex](v^{1},\ldots , v^{n})[/itex] independently. If we choose the space coordinates [itex](x^{1},\ldots , x^{n})[/itex] first, then this corresponds to choosing a point [itex]p\in U_{i}[/itex], we are still free to choose the vector coordinates [itex](v^{1},\ldots , v^{n})[/itex] independently as there are an infinite number of vectors in the tangent space to that point that we can choose from. If we instead choose the vector coordinates [itex](v^{1},\ldots , v^{n})[/itex] first, then by choosing a particular point with space coordinates [itex](x^{1},\ldots , x^{n})[/itex] assigns this vector to a particular tangent space, such that any two vectors that have the same coordinates [itex](v^{1},\ldots , v^{n})[/itex] in [itex]\mathbb{R}^{n}[/itex] are distinguished by which tangent space they belong to (i.e. they are not equal, despite having the same component values in [itex]\mathbb{R}^{n}[/itex]).

I think you have it.

Try working through some simple examples.
 
  • #10
"Don't panic!" said:
So is the point that to each curve [itex]q\in M[/itex] there are associated a family of curves [itex]\dot{q}\in T_{c(t)}M[/itex] in the tangent space to this curve. If we wish to choose a particular curve, that has a particular velocity, then we require that the curve [itex]\dot{q}\in T_{c(t)}M[/itex] is equal to the velocity of that curve, i.e. [itex]\dot{q}(t)= \frac{dq(t)}{dt}[/itex]?
##\dot q(t)## is by definition the velocity at time t (and therefore the velocity at the point ##q(t)##) of a point particle moving as described by ##q##. The Lagrangian must be defined on all of ##TM## even though we will only be interested in inputs of the form ##(q(t),\dot q(t))##, because the fact that ##q## can be almost any curve ensures that ##\dot q(t)## can be any tangent vector.
 
  • #11
lavinia said:
I think you have it.

Try working through some simple examples.

Thanks for your help. I shall try to do so.
 
  • #12
lavinia said:
I think you have it.

Try working through some simple examples.

Thanks for your help, I shall try to do so.
Fredrik said:
##\dot q(t)## is by definition the velocity at time t (and therefore the velocity at the point ##q(t)##) of a point particle moving as described by ##q##. The Lagrangian must be defined on all of ##TM## even though we will only be interested in inputs of the form ##(q(t),\dot q(t))##, because the fact that ##q## can be almost any curve ensures that ##\dot q(t)## can be any tangent vector.

Appreciate all your help Fredrik, I'm a bit confused by this though, as in the notes that I linked in an earlier post the lecturer talks about [itex] q(t) [/itex] and [itex] \dot{q(t)}[/itex] as being a curve on the manifold and its associated curve in the tangent space, respectively, but he then goes on to say that for it to be a physically realisable path for the system we require that [itex] \dot{q} (t) =\frac{dq(t)} {dt} [/itex] (i.e. It is the time derivative of the curve)?
 

1. What is a tangent space?

A tangent space is a mathematical concept used in differential geometry to describe the local behavior of a manifold at a specific point. It is a vector space that contains all possible directions of movement from that point.

2. How is a tangent space related to the tangent bundle?

The tangent space at a point is just one piece of the larger tangent bundle, which is the collection of all tangent spaces at every point on a manifold. The tangent bundle allows for a more global understanding of the manifold's behavior.

3. How do you calculate the dimension of a tangent space?

The dimension of a tangent space is equal to the dimension of the manifold it is associated with. For example, a tangent space on a 2-dimensional surface such as a sphere will have a dimension of 2.

4. What is the difference between a tangent space and a cotangent space?

A tangent space contains vectors that describe the possible directions of movement at a point, while a cotangent space contains the dual vectors that describe the possible directions of movement for a tangent vector. In other words, a tangent space deals with velocities, while a cotangent space deals with differentials.

5. How are tangent spaces used in physics?

Tangent spaces are used in physics to describe the behavior of objects moving in curved spaces, such as in general relativity. They are also used in mechanics to analyze the dynamics of systems with many degrees of freedom.

Similar threads

  • Differential Geometry
Replies
2
Views
511
  • Differential Geometry
Replies
21
Views
553
Replies
4
Views
1K
  • Differential Geometry
Replies
10
Views
639
  • Differential Geometry
Replies
5
Views
2K
Replies
9
Views
3K
Replies
8
Views
2K
  • Differential Geometry
Replies
26
Views
5K
  • Differential Geometry
Replies
8
Views
2K
  • Differential Geometry
Replies
17
Views
2K
Back
Top