7

In principle, one can write quantities in a manifestly invariant - rather than covariant - fashion in e.g. special relativity. For example, rather than writing just $x^\mu$, we could write the basis explicitly, and ask that the basis transforms oppositely to the components, $$ x = x^\mu e_\mu^{(i)}, $$ such that $x$ is invariant. Why isn't such an invariant notation more common in e.g. special and general relativity? Do mathematicians also work with covariant language? or the invariant language?

Is it because the basis disappears in contractions if the basis is orthonormal? e.g. $$ x(y) = x^\mu e_\mu y_\nu e^\nu = x^\mu y_\nu \delta^\nu_\mu = x^\mu y_\mu $$

Qmechanic
  • 220,844
innisfree
  • 15,425

2 Answers2

8

A physicist would write your first equation $x^a = x^\mu e_\mu^a$. The notation $x^a$ is invariant in your terminology. The $a$ is an abstract index. It is ostensibly not supposed to be thought of as ranging over a set of numerical values, but is just a marker that indicates that $x$ is a vector (i.e., rank 1,0 tensor.) Similarly for each $\mu$, $e^a_\mu$ is a vector. You can read more about abstract index notation on wikipedia.

Brian Moths
  • 11,134
3

Comments to the question (v5):

  1. In General Relativity (GR), the notation $x^{\mu}$, $\mu=0,1,2,3,$ usually denotes some (local) coordinates of a (spacetime) manifold $M$. Note that $x^{\mu}$ does in general not transform as a $(1,0)$ (contravariant) tensor in the sense that $$ x^{\prime \nu}~=~\frac{\partial x^{\prime \nu}}{\partial x^{\mu}} x^{\mu} \qquad (\leftarrow\text{Wrong in general!} )$$ under coordinate transformations $x^{\prime \nu}=f^{\nu}(x)$. Thus there is no useful physical concept of a vector basis in GR for the underlying local spacetime coordinates. [In Special Relativity (SR), the coordinate transformations are restricted to affine transformations $x^{\prime \nu}=\Lambda^{\nu}{}_{\mu} x^{\mu}+ a^{\nu}$ in an affine space.]

  2. On the other hand, if the notation $x^{\mu}$ is supposed to denote a $(1,0)$ (contravariant) tensor [rather than local spacetime coordinates], then one is of course welcome to introduce a corresponding dual basis $e_{\mu}$ that transform in the opposite way to keep $x=x^{\mu}e_{\mu}$ invariant. In general, it is probably a futile exercise to discuss which notation is best.$^1$

--

$^1$ However, have a look at e.g. this Phys.SE answer.

Community
  • 1
Qmechanic
  • 220,844