I Showing Determinant of Metric Tensor is a Tensor Density

AndersF
Messages
27
Reaction score
4
TL;DR Summary
I'm trying to show that the determinant ##g \equiv \det(g_{ij})## of the metric tensor is a tensor density.
I'm trying to show that the determinant ##g \equiv \det(g_{ij})## of the metric tensor is a tensor density. Therefore, in order to do that, I need to show that the determinant of the metric tensor in the new basis, ##g'##, would be given by

##g'=\operatorname{sgn}\bigg(\big(\det(C)\big)\bigg)\big(\det(C)\big)^wg \quad \quad \quad (1)##

With ##C=(C^a_b)_{n \times n}## the change-of-basis matrix.

I know that the metric tensor transforms under a change of basis in this way

##\tilde{g}_{i j}=C_{i}^{\alpha} C_{j}^{\beta} g_{\alpha \beta} \quad \quad \quad (2)##

I see that if I could identify in this last equation (2) a matrix multiplication, then I could use the properties of the determinants to get something similar to equation (1). But I'm stuck here, since these terms don't have the form of "classical" matrix multiplications, ##P^i_j=M^i_k N^k_j##.

Could somebody give me a hint on how to accomplish this demonstration?
 
Last edited:
Physics news on Phys.org
In matrix notation you can write ##\mathrm{det} \tilde{g}=\mathrm{det}(C^{\text{T}} g C)=(\mathrm{det} C)^2 \mathrm{det} g##. So ##g_{\mu \nu}## is a tensor density of weight 2.
 
To add: in linear algebra one has the cyclic identity det(ABC)=det(BCA)=det(CAB), and det(A^T)=det(A) ;)

Edit: typo corrected, thnx robphy!
 
Last edited:
  • Like
Likes vanhees71 and AndersF
haushofer said:
To add: in linear algebra one has the cyclic identity det(ABC)=det(BCA)=det(CBA), and det(A^T)=det(A) ;)
Typo: The third expression in this cyclic identity should be det(CAB).
 
  • Like
Likes vanhees71, haushofer and AndersF
vanhees71 said:
In matrix notation you can write ##\mathrm{det} \tilde{g}=\mathrm{det}(C^{\text{T}} g C)=(\mathrm{det} C)^2 \mathrm{det} g##. So ##g_{\mu \nu}## is a tensor density of weight 2.
haushofer said:
To add: in linear algebra one has the cyclic identity det(ABC)=det(BCA)=det(CAB), and det(A^T)=det(A) ;)

Edit: typo corrected, thnx robphy!

Ok, these were just the "tricks" I was looking for, thank you very much!
 
In this video I can see a person walking around lines of curvature on a sphere with an arrow strapped to his waist. His task is to keep the arrow pointed in the same direction How does he do this ? Does he use a reference point like the stars? (that only move very slowly) If that is how he keeps the arrow pointing in the same direction, is that equivalent to saying that he orients the arrow wrt the 3d space that the sphere is embedded in? So ,although one refers to intrinsic curvature...
So, to calculate a proper time of a worldline in SR using an inertial frame is quite easy. But I struggled a bit using a "rotating frame metric" and now I'm not sure whether I'll do it right. Couls someone point me in the right direction? "What have you tried?" Well, trying to help truly absolute layppl with some variation of a "Circular Twin Paradox" not using an inertial frame of reference for whatevere reason. I thought it would be a bit of a challenge so I made a derivation or...
I started reading a National Geographic article related to the Big Bang. It starts these statements: Gazing up at the stars at night, it’s easy to imagine that space goes on forever. But cosmologists know that the universe actually has limits. First, their best models indicate that space and time had a beginning, a subatomic point called a singularity. This point of intense heat and density rapidly ballooned outward. My first reaction was that this is a layman's approximation to...
Back
Top