## The Tangent Bundle

So far we’ve talked about tangent spaces one at a time. For each we get a tangent space at . But things get really interesting when we start to sew them all together.

So, let’s take the (disjoint) union of all the tangent spaces at once. It’s important here that we never identify any of these with each other; a tangent vector at is never the same as another tangent vector at . So far this is just a bunch of -dimensional vector spaces parameterized by the -dimensional manifold , but I say that we can actually give this whole set the structure of a -dimensional smooth manifold!

Indeed, all we need is to give a collection of patches covering the whole space, and we can do this starting from any atlas on . Given an open coordinate patch in , we will make a coordinate patch that covers all of the with . Given a we need to come up with a point . We write

As varies within , the first components of the image — — stay fixed, and the rest of them give a linear isomorphism from to .

On the other hand, how do things change as we vary the base point ? This, it turns out, is where the interesting stuff is happening. Normally we wouldn’t be able to tell anything about how and are related for , but within a single coordinate patch we can use the coordinate map to define coordinate vectors at every single point , and this lets us compare vectors at different points by comparing their components with respect to these coordinate vector bases.

The catch is, this only works for points in the same coordinate patch, and different coordinate patches give us different ways of comparing tangent vectors at nearby points. So we can’t really say much about them, but it’s enough to define a coordinate patch.

So we have to check about where patches overlap. If we have and as two patches on then we already know that is a smooth transition function. This handles the smoothness of the first components of the transition function . For the other components, we know that the transition function is a linear isomorphism, which is clearly smooth.

We call this manifold the “tangent bundle” of and write . It comes equipped with a map , which I say is smooth. Indeed, we just need to check this on a single pair of coordinate patches. We can pick any patch on and the corresponding patch on . Then given we get a vector by writing

Our projection then sends to its base-point , which sends to . That is, if we write our projection out in terms of coordinates on and on , it’s just the projection , which is obviously smooth.

Man, you should try writing a book sometime. I am really enjoying your clear exposition of manifold theory and think you have a great writing style!

Comment by Jake | April 5, 2011 |

[…] It turns out that the tangent bundle construction is actually a functor. Given a smooth map between smooth manifolds, we will get a […]

Pingback by The Derivative « The Unapologetic Mathematician | April 6, 2011 |

[…] of the Derivative We’ve said that the tangent bundle construction is a functor with the derivative as the action on morphisms. But we haven’t […]

Pingback by Functoriality of the Derivative « The Unapologetic Mathematician | April 7, 2011 |

[…] look at the tangent bundle to a Euclidean space. That is, we let be a finite-dimensional real vector space with its standard […]

Pingback by The Tangent Bundle of a Euclidean Space « The Unapologetic Mathematician | April 11, 2011 |

[…] at least to some extent — at points within a local coordinate patch, and let us define the tangent bundle as a -dimensional […]

Pingback by Cotangent Vectors, Differentials, and the Cotangent Bundle « The Unapologetic Mathematician | April 13, 2011 |

[…] example is the projection from the tangent bundle down to its base manifold . Indeed, given any tangent vector at we can pick a coordinate patch […]

Pingback by Submersions « The Unapologetic Mathematician | May 2, 2011 |

[…] get back to the differential geometry and topology. Let’s say that we have a manifold with tangent bundle , which of course comes with a projection map . If is an open submanifold, we can restrict the […]

Pingback by Vector Fields « The Unapologetic Mathematician | May 23, 2011 |

[…] But we can check this using the coordinates on and the coordinate patch induced by on the tangent bundle. With this choice of source and target coordinates the map is just the inclusion of into the […]

Pingback by Coordinate Vector Fields « The Unapologetic Mathematician | May 24, 2011 |

[…] a chart with , then is always smooth. Indeed, remember that gives us a coordinate patch on the tangent bundle. Since is smooth and is smooth, the […]

Pingback by Identifying Vector Fields « The Unapologetic Mathematician | May 25, 2011 |

[…] have a number of other constructions similar to the tangent bundle that will come in handy. These are all sort of analogues of certain constructions we already know […]

Pingback by Tensor Bundles « The Unapologetic Mathematician | July 6, 2011 |