Derivatives in Coordinates
Let’s take the derivative and see what it looks like in terms of coordinates. Say we have a smooth manifold and a smooth map
from an open subset of
to another smooth manifold
. If
is any point, we define the derivative
as before.
Now, if is a coordinate patch — even if there isn’t a single coordinate patch on the whole domain of
we can restrict
down to a coordinate patch containing
— we get a basis of coordinate vectors at
. Similarly, if
is a coordinate patch around
we get a basis of coordinate vectors at
. We want to write down the matrix of
in terms of these two bases.
So, the obvious path is to take one of the coordinate vectors at , hit it with
, and write the result out in terms of the coordinate vectors at
. The generic problem, then, is to calculate the
th component — the one corresponding to
— of
. But we know that this coefficient comes from sticking
into this vector and seeing what pops out!
We’re taking the th partial derivative of the
th component of the function
, which goes from the open set
into
, where
and
are the dimensions of
and
, respectively. Like we saw for coordinate transforms in place, this is just the Jacobian again.
So if we want to write out the derivative in terms of local coordinates, we first write out our local coordinate version of
as a function from one Euclidean space to another, and then we take the Jacobian of that function at the appropriate point.
[…] have the identity map on this vector space. And indeed, if we let be any coordinate patch around we know that the matrix of with respect to these local coordinates is the Jacobian of the coordinate […]
Pingback by Functoriality of the Derivative « The Unapologetic Mathematician | April 7, 2011 |
[…] Notice now that this does not guarantee that itself is injective. For instance, if and , then we can form the mapping . Using the coordinates on and on , we can calculate the derivative in coordinates: […]
Pingback by Immersions and Embeddings « The Unapologetic Mathematician | April 18, 2011 |
[…] In components, this is , where the are the canonical coordinates on . We can easily calculate the derivative in these coordinates: . This is the zero function if and only if , and so has rank at any nonzero […]
Pingback by Spheres as Submanifolds « The Unapologetic Mathematician | April 25, 2011 |
[…] us the basic coordinate vector fields in the patch. If is a coordinate patch around , then we know how to calculate the derivative applied to these […]
Pingback by Isometries « The Unapologetic Mathematician | September 27, 2011 |