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.