Tesnsors and Units Consistancy

**Phrak** · Jun28-09, 01:20 PM

Where do the unit labels go on tensors?

This discussion is continued from this thread here

Greg, I've been trying to make sense of things in mixed units. Taking the dot product as you've done is a good test, Dale.

x·x = x_μ x^μ

If x^μ has units (T, L, L, L) then x_μ has units (1/T, 1/L, 1/L, 1/L)

The scalar product would be unitless.

The metric has interesting units. So that x_ν = η_μν x^μ , works out, the metric would have units

$LaTeX Code: \\left[ \\begin {array}{c} {\\frac{1}{T^2} \\; \\frac{1}{LT} \\; \\frac{1}{LT} \\; \\frac{1}{LT}} \\\\ {\\frac{1}{LT} \\; \\frac{1}{L^2} \\; \\frac{1}{LT} \\; \\frac{1}{LT}} \\\\ {\\frac{1}{LT} \\; \\frac{1}{LT} \\; \\frac{1}{L^2} \\; \\frac{1}{LT}} \\\\ {\\frac{1}{LT} \\; \\frac{1}{LT} \\; \\frac{1}{LT} \\; \\frac{1}{L^2}} \\end{array} \\right] $

I don't know if it makes sense in terms of the full tensor.

$LaTeX Code: \\eta = \\eta_{\\mu \\nu}\\: dx^{\\mu} \\otimes dx^{\\nu}$

α β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ ς σ τ υ φ χ ψ ω . . . . . Γ Δ Θ Λ Ξ Π Σ Φ Ψ Ω
∂ ∫ ∏ ∑ . . . . . ← → ↓ ↑ ↔ . . . . . ± − · × ÷ √ . . . . . ¼ ½ ¾ ⅛ ⅜ ⅝ ⅞
∞ ° ² ³ ⁿ Å . . . . . ~ ≈ ≠ ≡ ≤ ≥ « » . . . . . † ‼

**DrGreg** · Jun28-09, 03:23 PM

It depends on what convention for the metric you are using.

If you are taking your coordinates to be (t, x, y, z) (and not (ct, x, y, z)) and your metric has units of square-distance:

and so

$LaTeX Code: g_{\\mu\\nu} = \\left[ \\begin {array}{cccc} c^2 & 0 & 0 & 0 \\\\ 0 & -1 & 0 & 0 \\\\ 0 & 0 & -1 & 0 \\\\ 0 & 0 & 0 & -1 \\end{array} \\right] $

That means that if $LaTeX Code: X^{\\mu}$ has components of dimension (T, L, L, L) then $LaTeX Code: X_{\\mu} = g_{\\mu\\nu}X^{\\nu}$ has components of dimension (L²/T, L, L, L); $LaTeX Code: X_{\\mu}X^{\\mu}$ will thus have dimension L². Because of that, I would think of $LaTeX Code: X^{\\mu}$ as "having dimension L" (i.e $LaTeX Code: \\sqrt{|X^{\\mu}X_{\\mu}|}$ ), but I don't know if that's the official way of looking at it.

With non-Cartesian coordinates it gets even worse because you could have (in spherical polar coordinates)

$LaTeX Code: X^{\\mu} = (t, r, \\phi, \\theta)$
$LaTeX Code: ds^2 = c^2 dt^2 - dr^2 - r^2(d\\theta^2 + \\sin^2 \\theta d\\phi^2)$

**tiny-tim** · Jun28-09, 04:45 PM

Hi Phrak!

Originally Posted by Phrak

If x^μ has units (T, L, L, L) then x_μ has units (1/T, 1/L, 1/L, 1/L)

The scalar product would be unitless.

No, you have a fundamental misconception about co- and contra-vectors …

x^μ and x_μ have the same units,

and the scalar product has those units squared.

(and the problem with L/T disappears if you regard L as have the same dimensions as T, or cT)

**DrGreg** · Jun28-09, 07:51 PM

Originally Posted by tiny-tim

Hi Phrak!

No, you have a fundamental misconception about co- and contra-vectors …

x^μ and x_μ have the same units,

and the scalar product has those units squared.

True, if you are using a coordinate system in which all four components have the same units...

Originally Posted by tiny-tim

(and the problem with L/T disappears if you regard L as have the same dimensions as T, or cT)

...but the whole point of this thread is how to cope when the components don't have the same units. This problem can (but needn't) be avoided in SR with Minkowski coordinates but it can't be avoided in GR.

**Phrak** · Jun29-09, 12:21 AM

Thank you DrGreg. That all made a great deal of sense. And thanks for helping Tiny. This should prove interesting, where these things are masked when working with symbols, and/or where c is set equal to one. It has been for me!

What seems to be important is consistency; if the units of the covariant and contravarant vectors are chosen, for instance, they dictate the units of the metric.

Could there be some 'natural' units inherited from the manifold, specifically (T, L, L, L) for a contravariant vector in Cartesian coordinates?

I went back to the definition of a contravariant vector,
$LaTeX Code: V = \\frac{dx^\\mu}{d \\lambda} \\partial _{\\mu}$
or even
$LaTeX Code: V = \\frac{dx^\\mu}{d \\tau} \\partial _{\\mu} \\ .$
The bases have 'natural' units of 1/T and 1/L, but I can't make anything of the units $LaTeX Code: d/d\\lambda$ should posses.

**Mentz114** · Jun29-09, 08:39 AM

The components of the metric are dimensionless, or the line element would have the wrong dimensions.

$LaTeX Code: ds^2 = g_{jk} \\, dx^j \\, dx^k$

**DrGreg** · Jun29-09, 02:33 PM

Originally Posted by Mentz114

The components of the metric are dimensionless, or the line element would have the wrong dimensions.

$LaTeX Code: ds^2 = g_{jk} \\, dx^j \\, dx^k$

That's true enough in coordinates where dx⁰, dx¹, dx², dx³ and ds are all distances, e.g. standard (ct, x, y, z) Minkowski coordinates, but it's not true in (t, x, y, z) coordinates or $LaTeX Code: (t, r, \\phi, \\theta)$ coordinates.

**DrGreg** · Jun29-09, 03:21 PM

Originally Posted by Phrak

What seems to be important is consistency; if the units of the covariant and contravarant vectors are chosen, for instance, they dictate the units of the metric.

To my way of thinking, it's the other way round.

Decide whether your metric is in distance-units (e.g. ) or time-units (e.g. )
Decide on a (+---) or a (-+++) signature (e.g. or )
Decide on your coordinate system (e.g. (ct, x, y, z) or (t, x, y, z) or $LaTeX Code: (t, r, \\phi, \\theta)$ )

Those 3 decisions are independent of each other, but once made, the 16 individual components of the metric tensor are completely determined (for a given metric; assume the flat metric for this discussion, but the same holds in any other spacetime).

Then, for any given contravariant vector, the components of the covariant covector are determined from the original vector and the metric.

Let's consider an example: 4-momentum. To keep the equations simple I'll stick to one spatial dimension but it works with all three. My choices are

$LaTeX Code: X^{\\mu} = (t, x)$

(But you could make different choices, and different equations would follow.)

Define contravariant 4-momentum of a mass m > 0 as

$LaTeX Code: P^{\\mu}=m\\frac{dX^{\\mu}}{d\\tau} = \\left(m\\frac{dt}{d\\tau}, m\\frac{dx}{d\\tau}\\right) = (E/c^2, p)$

Bearing in mind what the metric components are (see post #2), the covariant 4-momentum is then

$LaTeX Code: P_{\\mu} = (E, -p)$

Note you can read the energy and momentum off this directly without rescaling (apart from the -1 factor). The norm is

$LaTeX Code: \\sqrt{|P_{\\mu}P^{\\mu}|} = \\sqrt{|E^2/c^2 - p^2|} = mc$

So I would say this tensor as a whole has dimensions of momentum.

**Mentz114** · Jun29-09, 11:09 PM

Originally Posted by DrGreg

That's true enough in coordinates where dx⁰, dx¹, dx², dx³ and ds are all distances, e.g. standard (ct, x, y, z) Minkowski coordinates, but it's not true in (t, x, y, z) coordinates or $LaTeX Code: (t, r, \\phi, \\theta)$ coordinates.

Yes, I said a dumb thing. Must stop coffee break posting.

**Phrak** · Jul21-09, 12:48 AM

Thanks DrGreg. That was very well done and enlightening. I haven't been able to find any good response other than to one. It seems the underlying manifold could be something such as energy and momentum, say, rather than time and space and generate the same metric. That would be very odd. I'm not sure what an energy-momentum manifold would be about.

**DrGreg** · Jul21-09, 05:52 PM

Originally Posted by Phrak

Thanks DrGreg. That was very well done and enlightening. I haven't been able to find any good response other than to one. It seems the underlying manifold could be something such as energy and momentum, say, rather than time and space and generate the same metric. That would be very odd. I'm not sure what an energy-momentum manifold would be about.

The tensor experts in this forum might correct me, but I think it is correct to say that there is only one manifold, and certainly only one metric, regardless of whether the vector or covector you are considering is 4-velocity, 4-momentum, 4-force, 4-current, 4-potential, 4-frequency or whatever. 4-vectors don't actually reside in the manifold itself but in a tangent space (or cotangent space).

Actually you raise an interesting point. At a given event on the manifold, is the space of all possible 4-momenta considered to be different to the space of all possible 4-forces (for example)? The two spaces have different physical interpretations, but are they mathematically distinct? They're both "the tangent space".