The metric tensor is ubiquitous when arriving at a certain level in one’s physics career. When it comes to cyndrilical coordinates, there is a useful way to remember its deeper meaning through a rather simple derivation – or at least through the use and construction of a series of definitions. (I say ‘simple’ in that this is something one can do ‘on the fly’, should they be required to remind themselves of the properties of the metric tensor). For a more general treatment of what follows, see also this document on special tensors.
To start, if we had some general curvilinear coordinate system, we could begin by writing
From this we can also immediately invoke the principle that . I won’t explain this for sake space, but any textbook will cover why is equal to the dot product of our displacement vector with itself.
But from above we also can see that is the same as, in this example using two curvilinear coordinates, . It follows,
As taking the dot product of our two tangent vectors, , is equal by standard relation to the metric tensor, we arrive at the following
This identity, if I may describe it as such, is important to remember. But how can we issue further meaning to this result?
Let’s use cylindrical coordinates.
Now, for pedagogical purposes, I’ve labelled the unit vectors ,, and . But, to generalise things, moving forward note that I have set ,, and .
The first thing that one should notice is that our displacement vector, , can be written as
If this is not immediately clear, I suggest taking a few minutes to revise cylindrical coordinates (a generalisation of 2D polar coords.).
Now, here is a key step. Having written our equation for , we want to focus in on , , and and how we might represent them with respect to . To do this, we’re going to take partials.
With expressions for , , and established, we can return to our previous definition of the metric tensor and look to derive a definition of our metric tensor for cylindrical coordinates.
Notice, if , in matrix form we have
What is this saying? Well, let’s look. We know, again, that . So if we take the dot product, as defined, we should then arrive at our metric tensor for our cylindrical system. And, indeed, this is exactly the result. For , for instance, we’re just taking the dot product of with itself.
We keep doing this for the entire matrix. But to save time, I will only work out the remaining diagonals. The non-diagonal components cancel to zero. You can do the dot product for each to see that this is indeed true. Thus,
Therefore, we arrive at our desired metric