The Unapologetic Mathematician

Mathematics for the interested outsider

Coordinate Transforms on Tangent Vectors

Given a coordinate patch (U,x) in a neighborhood of a point p in an n-dimensional manifold M, we get n coordinate vectors \frac{\partial}{\partial x^i}(p) which form a basis for the tangent space \mathcal{T}_pM. But this is true of any coordinate patch! If we have another patch (V,y), we can get another basis \frac{\partial}{\partial y^j}(p). Today we’ll examine how these bases are related.

As is usual, we can use the two bases to come up with a change of basis matrix. This can be used to take the components of any vector written out in terms of the \frac{\partial}{\partial x^i}(p) basis and get the components of the same vector written out in terms of the \frac{\partial}{\partial y^j}(p) basis. And we come up with the matrix by asking how to write out each of the latter basis vectors in terms of the former.

So, how did we find the components of the tangent vector v in terms of the \frac{\partial}{\partial x^i}(p) basis? We evaluated v(x^i). Let’s stick x^i into \frac{\partial}{\partial y^j}(p) and see what we get:

\displaystyle\left[\frac{\partial}{\partial y^j}(p)\right](x^i)=\left[D_j(x^i\circ y^{-1})\right](y(p))=\left[D_j(u^i\circ(x\circ y^{-1}))\right](y(p))

But all this means is that we take the transition function x\circ y^{-1}:\mathbb{R}^n\to\mathbb{R}^n, take the ith component, and take the jth partial derivative of that function. And this is precisely the definition of the Jacobian of this transition function!

This basic fact starts showing us how everything we did when talking about multivariable calculus is on the one hand a special case of the concepts of differential geometry we’re coming up with now, while on the other hand they’re exactly the groundwork we need to build up the more general tools. What we did before in the simple Euclidean spaces is the model for all the more complicated manifolds we study.

April 1, 2011 Posted by | Differential Topology, Topology | 2 Comments