Tensor Calculation & Lorentz Transformation: Understanding Relations

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
7 replies · 2K views
laguna
Messages
9
Reaction score
0
Hi,
I have trouble understanding why the following relations hold true. Given the Minkowski metric [itex]\eta_{\alpha\beta}=diag(1,-1,-1,-1)[/itex] and the line segment [itex]ds^2 = dx^2+dy^2+dz^2[/itex], then how can i see that this line segment is equal to [itex]ds^2 = \eta_{\alpha\beta}dx^\alpha dx^\beta[/itex]. Further, we want the line segment to be unchanged under this metric. And i don't understand why the following equivalences hold true: [itex]ds^2 = ds'^2[/itex] if and only if [itex]c^2d\tau^2 = c^2d\tau'^2[/itex]
and [itex]\Lambda^{\alpha}{}_{\gamma} \Lambda^{\beta}{}_{\delta} \eta_{\alpha}{\beta} = \eta_{\gamma}{\delta} \iff \Lambda^T \eta \Lambda = \eta<br /> [/itex]
Thank you.
 
Last edited:
Physics news on Phys.org
laguna said:
Hi,
I have trouble understanding why the following relations hold true. Given the Minkowski metric [itex]\eta_{\alpha\beta}=diag(1,-1,-1,-1)[/itex] and the line segment [itex]ds^2 = dx^2+dy^2+dz^2[/itex], then how can i see that this line segment is equal to [itex]ds^2 = \eta_{\alpha\beta}dx^\alpha dx^\beta[/itex]. Further, we want the line segment to be unchanged under this metric. And i don't understand why the following equivalences hold true: [itex]ds^2 = ds'^2[/itex] if and only if [itex]c^2d\tau^2 = c^2d\tau'^2[/itex]
and [itex]\Lambda^{\alpha}{}_{\gamma} \Lambda^{\beta}{}_{\delta} \eta_{\alpha}{\beta} = \eta_{\gamma}{\delta} \iff \Lambda^T \eta \Lambda = \eta<br /> [/itex]
Thank you.

Why would you think that ##dx^2+dy^2+dz^2 = c^2 dt^2 - dx^2-dy^2-dz^2##?
 
if the first relation is true (which I of course believe but do not understand) then [itex]ds^2 = dx^2 + dy^2 + dz^2 = \eta_{\alpha\beta}dx^\alpha dx^\beta = c^2dt^2 -dr^2[/itex], since [itex]dx^{\alpha} = (cdt,dx,dy,dz)[/itex] is the 4-vector and we treat [itex]dx^{\alpha}dx^{\beta}[/itex] like the scalar product to get [itex](c^2 dt^2,dx^2,dy^2,dz^2)[/itex].
After multiplying this with the metric eta we would get your equation, is that correct?
 
laguna said:
Given... the line segment [itex]ds^2 = dx^2+dy^2+dz^2[/itex]
That's not the right definition of the interval; it's supposed to be (using your sign convention for the metric) ##ds^2 = dt^2-dx^2-dy^2-dz^2##.

The quantity [itex]dx^2+dy^2+dz^2[/itex] is something different. It's the square of the spatial separation in a particular coordinate system between two events that happen to have the same time coordinate in that coordinate system. It is not unchanged under Lorentz transformations, and it has no physical significance except when the coordinate system is such that ##dt=0## so that we can interpret it as the square of a spatial distance.
 
Last edited:
vanhees71 said:
Ah, i see. We just define it this way. Thank you so much. But in equation (1.2.8), in the last equality, how do I formally see that we can swap [itex]\bar{e_\mu}[/itex] with [itex]\Lambda^{\nu}{}_{\sigma}[/itex]? I mean is it not a matrix multiplication?
 
Thank you all for taking your time helping me. I think i understand this part now. Thanks.