Why Is the Position 4-Vector Contravariant While the Del Operator Is Covariant?

[Oxymoron]

Why do we say that the position 4-vector, $$x^{\mu}$$, is naturally contravariant and that the del operator, $$\partial_{\mu}$$, is naturally covariant?

The only thing I could come up with is that the contravariant del components $$\partial^{\mu} = (-c^{-1}\partial_t,\nabla)$$ have a negative sign in front of the c. Is this 'unnatural'?


The relationship between time, $$t$$, and proper time, $$\tau$$, is simply $$t = \gamma\tau$$. Which makes $$t$$ a function of velocity. Now the velocity 4-vector:

$$\frac{dx^{\mu}}{d\tau}$$

is definitely a 4-vector right? I am sure it is. But is

$$\frac{dx^{\mu}}{dt}$$

a 4-vector? Could the fact that $t$ is not a scalar have an influence on this question?

 

[selfAdjoint]

Why do we say that the position 4-vector, $$x^{\mu}$$, is naturally contravariant and that the del operator, $$\partial_{\mu}$$, is naturally covariant?

The only thing I could come up with is that the contravariant del components $$\partial^{\mu} = (-c^{-1}\partial_t,\nabla)$$ have a negative sign in front of the c. Is this 'unnatural'?


The relationship between time, $$t$$, and proper time, $$\tau$$, is simply $$t = \gamma\tau$$. Which makes $$t$$ a function of velocity. Now the velocity 4-vector:

$$\frac{dx^{\mu}}{d\tau}$$

is definitely a 4-vector right? I am sure it is. But is

$$\frac{dx^{\mu}}{dt}$$

a 4-vector? Could the fact that $t$ is not a scalar have an influence on this question?

The itex tags (inline tex) don't work on PF; we just use tex for inline formulas. I took the liberty of editing them.

I think you are making too heavy weather over this. The covariant/contravariant distinction is not a function of anything like a minus sign; both covariant and contravariant tensors form an algebra.

The distinction is rather in the definitions of the two kinds of tensor. A covariant vector (to just illustrate with rank 1 tensors) takes a tangent vector and produces a number. That's what a derivative does; it gives the slope, a number, of a tangnt, right?

A contravariant vector on the other hand takes a tangent vector and produces another tangent vector. You can think of the position vector as taking a unit vector in the right direction and extending it to the position.

It is a consequence of these definitions that when you make a diffeomorphic change of coordinates, the components of a covariant vector are inner producted with the partials of the old coordinates with respect to the new ones, while the components of a contravariant vector are producted with the partials of the new coordinates woth respect to the old ones. "CO, LOW, PRIMES BELOW" as Lillian Lieber taught, Covariant has its index subscript, and the partials have the primed (new) coordinates in the denominators. Contravariant has the opposites.

 

[rbj]

The itex tags (inline tex) don't work on PF;

sure they do. but i wouldn't use \frac{}{} for inline. $\alpha = e^2/(\hbar c 4 \pi \epsilon_0)$ might be more readable than $\alpha = \frac{e^2}{\hbar c 4 \pi \epsilon_0}$.

we just use tex for inline formulas.

unfortunately, that sometimes floats your equation way above or way below the text baseline. sometimes i use tex instead if itex when it looks better.

 

[robphy]

sure they do. but i wouldn't use \frac{}{} for inline. $\alpha = e^2/(\hbar c 4 \pi \epsilon_0)$ might be more readable than $\alpha = \frac{e^2}{\hbar c 4 \pi \epsilon_0}$.

You could add a \displaystyle to get
$$\alpha = \displaystyle\frac{e^2}{\hbar c 4 \pi \epsilon_0}$$
but not with itex
$\alpha = \displaystyle\frac{e^2}{\hbar c 4 \pi \epsilon_0}$

 

[pmb_phy]

Why do we say that the position 4-vector, $$x^{\mu}$$, is naturally contravariant and that the del operator, $$\partial_{\mu}$$, is naturally covariant?

Where did you get this term "naturally" from? It is not needed.

The 4-position is a Lorentz 4-vector, and not a general tensor such as a tangent vector. The term "Lorentz tensor" can, and often is, defined in two equivalent ways. The first way is is to say that a Lorentz tensor maps Lorentz 4-vectors and Lorentz 1-forms to scalars. The other way is by stating the transformation properties on the components of the Lorentz tensors.

A Lorentz 4-vector is a set of 4 quantities which transform in the same way as the coordinates of an event relative to a well defined origin. This makes finite spacetime displacements 4-vectors.

A general 4-vector is defined in a similar way, i.e. the coordinates of a general 4-vector transform in the same way as the coordinates of an infinitesimal spacetime displacement.

$$\frac{dx^{\mu}}{d\tau}$$

is definitely a 4-vector right? I am sure it is.

Yes.

But is

$$\frac{dx^{\mu}}{dt}$$

a 4-vector?

No. The components don't transform in the same way as the components of a 4-vector does.

Could the fact that $t$ is not a scalar have an influence on this question?

Yes. Absolutely.

Pete

 

[Oxymoron]

I've been playing around with some Lorentz transformations and I've reached a problem. In SR Lorentz transformation matrices, $L^{\mu'}{}_{\nu}$ are 4x4 matrices which obey the Lorentz transformation property

$$[g_{\mu\nu}] = [L^{\mu'}{}_{\nu}]^{T}[g_{\mu\nu}][L^{\mu'}{}_{\nu}]$$

The problem I have regards the $L^4_4$ entry. Why can it never be zero? Why must we have $L^4_4 \geq 1$ or $L^4_4 \leq -1$? What happens if $L^4_4 = 0$?

 

[Oxymoron]

I just had a thought. Could it be that if $L^4_4 = 0$ then the $x^4$ coordinate is not invariant under Lorentz transformations?

 

[robphy]

With L⁴₄=0, does the inverse transformation exist?

 

[George Jones]

Let $L$ be a Lorentz transformation, so that $g\left( Lu,Lv\right) =g\left(u,v\right)$ for all 4-vectors $u$ and $v$, and let $\left\{ e_{1},e_{2},e_{3},e_{4}\right\}$ be an orthonormal basis for Minkowski space. Then, $\left\{ e_{1}^{\prime},e_{2}^{\prime},e_{3}^{\prime},e_{4}^{\prime<br /> }\right\}$, with $e_{\mu}^{\prime}=Le_{\mu}$ is also an orthonormal basis. In particular, $e_{4}^{\prime}=Le_{4}$ is a unit-length timelike vector, and this is what your condition guarantees:

$$\begin{align*}<br /> e_{4}^{\prime} & =Le_{4}\\<br /> & =L_{4}{}^{\mu}e_{\mu}\\<br /> & =L_{4}{}^{1}e_{1}+L_{4}{}^{2}e_{2}+L_{4}{}^{3}e_{3}+L_{4}{}^{4}e_{4},<br /> \end{align*}$$

and

$$\begin{align*}<br /> 1 & =g\left( e_{4}^{\prime},e_{4}^{\prime}\right) \\<br /> & =-\left( L_{4}{}^{1}\right){}^{2}-\left( L_{4}{}^{2}\right) ^{2}-\left(L_{4}{}^{3}\right) ^{2}+\left( L_{4}{}^{4}\right) ^{2}.<br /> \end{align*}$$

Allowing only the $+1$ restricts to orthochronous Lorentz transformations. Note that because $L$ is not symmetric, indices should be staggered, but also note that I might have used a non-standard staggering convention.

Regards,
George

 

[pmb_phy]

I've been playing around with some Lorentz transformations and I've reached a problem. In SR Lorentz transformation matrices, $L^{\mu'}{}_{\nu}$ are 4x4 matrices which obey the Lorentz transformation property

$$[g_{\mu\nu}] = [L^{\mu'}{}_{\nu}]^{T}[g_{\mu\nu}][L^{\mu'}{}_{\nu}]$$

The problem I have regards the $L^4_4$ entry. Why can it never be zero? Why must we have $L^4_4 \geq 1$ or $L^4_4 \leq -1$? What happens if $L^4_4 = 0$?

It appears as if you've chose the LT between two inertial frames which are in the standard relationship, i.e. S' moves relative to S in the +x direction. When this is the case then $L^4_4 = \gamma$. You can rotate the spatial axes of the S frame so that $L^4_4 = 0$.

Pete

 

[Ratzinger]

Co means it transforms like basis vectors. Contra means it transforms inverse to basis vectors.

 

[pmb_phy]

With L⁴₄=0, does the inverse transformation exist?

Hi Rob!

Yes. In fact the inverse transformation always exists.

Pete

 

[pervect]

I've been playing around with some Lorentz transformations and I've reached a problem. In SR Lorentz transformation matrices, $L^{\mu'}{}_{\nu}$ are 4x4 matrices which obey the Lorentz transformation property

$$[g_{\mu\nu}] = [L^{\mu'}{}_{\nu}]^{T}[g_{\mu\nu}][L^{\mu'}{}_{\nu}]$$

The problem I have regards the $L^4_4$ entry. Why can it never be zero? Why must we have $L^4_4 \geq 1$ or $L^4_4 \leq -1$? What happens if $L^4_4 = 0$?

I assume that the '4' here is the time axis?

From your mathematical description, you are looking for the set of general linear coordinate transorms that leave the metric invariant.

Your transform basically defines a new coordinate system $x'^a = L^a{}_b x^b$, and we demand that the metric coefficients be identical in the new primed coordinates.

The sort of coordinate transformation that does this includes Lorentz boosts, reflections, and rotations.

Thinking about this, we can eliminate spatial diagonal elements (i.e. $L^3{}_3$) via a spatial reflection We can swap a time coordinate with a space coordinate, and this will make $L^4{}_4$ zero, but unfortunately the metric will change - it will still be Minkowskian, but the time coordinate is distinguished by a minus sign in the metric.

In other words, we can't replace a time coordinate with some superposition of purely space-like coordinates and maintain a minkowski metric unchanged, i.e. we can't write

t' = a*x + b*y + c*z + 0*t

and keep t' as being a time coordinate (distinguished by a negative sign in the metric).

 

[pmb_phy]

For purposes of searching the index there are two terms which apply here. When L⁰₀ > 0 or L⁰₀ < 0 the two terms "orthochronos" and "antichronos" are used to define which one applies to the Lorentz transformation. Which one belongs with which will depend on the convention used for the metric.

Try searching the internet using those terms and see you find.

Pete