# Line element

In geometry, the line element or length element can be informally thought of as a line segment associated with an infinitesimal displacement vector in a metric space. The length of the line element, which may be thought of as a differential arc length, is a function of the metric tensor and is denoted by ds

Line elements are used in physics, especially in theories of gravitation (most notably general relativity) where spacetime is modelled as a curved Pseudo-Riemannian manifold with an appropriate metric tensor.[1]

## General formulation

### Definition using metric

The coordinate-independent definition of the square of the line element ds in an n-dimensional metric space is:[2]

${\displaystyle ds^{2}=d{\mathbf {q} }\cdot d{\mathbf {q} }=g(d{\mathbf {q} },d{\mathbf {q} })}$

where g is the metric tensor, · denotes inner product, and dq an infinitesimal displacement in the metric space.

In n-dimensional general curvilinear coordinates q = (q1, q2, q3, ..., qn), the square of arc length is:[3][4]

${\displaystyle ds^{2}=g_{ij}dq^{i}dq^{j}}$

where the indices i and j take values 1, 2, 3, ..., n. Common examples of metric spaces include three-dimensional space (no inclusion of time coordinates), and indeed four-dimensional spacetime. The metric is the origin of the line element, in addition to the surface and volume elements etc.

### Total arc length

By parameterizing a curve with a parameter λ, so that q(λ), the arc length of the curve between the points q1) and q2) is the integral:[5]

${\displaystyle s=\int _{\lambda _{1}}^{\lambda _{2}}d\lambda {\sqrt {g_{ij}{\frac {dq^{i}}{d\lambda }}{\frac {dq^{j}}{d\lambda }}}}}$

## Line elements in Euclidean space

Vector line element dr (green) in 3d Euclidean space, where λ is a parameter of the space curve (light green).

Following are examples of how the line elements are found from the metric.

### Cartesian coordinates

The simplest line element is in Cartesian coordinates - in which case the metric is just the Kronecker delta:

${\displaystyle g_{ij}=\delta _{ij}}$

(here i, j = 1, 2, 3 for space) or in matrix form (i denotes row, j denotes column):

${\displaystyle [g_{ij}]={\begin{pmatrix}1&0&0\\0&1&0\\0&0&1\end{pmatrix}}}$

The general curvilinear coordinates reduce to Cartesian coordinates:

${\displaystyle (q^{1},q^{2},q^{3})=(x,y,z)\,\Rightarrow \,d{\mathbf {r} }=(dx,dy,dz)}$

so

${\displaystyle ds^{2}=g_{ij}dq^{i}dq^{j}=dx^{2}+dy^{2}+dz^{2}}$

### Orthogonal curvilinear coordinates

For all orthogonal coordinates the metric is given by:[6]

${\displaystyle [g_{ij}]={\begin{pmatrix}h_{1}^{2}&0&0\\0&h_{2}^{2}&0\\0&0&h_{3}^{2}\end{pmatrix}}}$

where

${\displaystyle h_{i}=\left|{\frac {\partial {\mathbf {r} }}{\partial q^{i}}}\right|}$

for i = 1, 2, 3 are scale factors, so the square of the line element is:

${\displaystyle ds^{2}=h_{1}^{2}(dq^{1})^{2}+h_{2}^{2}(dq^{2})^{2}+h_{3}^{2}(dq^{3})^{2}}$

Some examples of line elements in these coordinates are below.[7]

Coordinate system (q1, q2, q3) Metric Line element
Plane polars (r, θ) ${\displaystyle [g_{ij}]={\begin{pmatrix}1&0\\0&r^{2}\\\end{pmatrix}}}$ ${\displaystyle ds^{2}=dr^{2}+r^{2}d\theta \ ^{2}}$
Spherical polars (r, θ, φ) ${\displaystyle [g_{ij}]={\begin{pmatrix}1&0&0\\0&r^{2}&0\\0&0&r^{2}\sin ^{2}\theta \\\end{pmatrix}}}$ ${\displaystyle ds^{2}=dr^{2}+r^{2}d\theta \ ^{2}+r^{2}\sin ^{2}\theta \ d\phi \ ^{2}}$
Cylindrical polars (r, θ, z) ${\displaystyle [g_{ij}]={\begin{pmatrix}1&0&0\\0&r^{2}&0\\0&0&1\\\end{pmatrix}}}$ ${\displaystyle ds^{2}=dr^{2}+r^{2}d\theta \ ^{2}+dz^{2}}$

## General curvilinear coordinates

Given an arbitrary basis of a space of dimension ${\displaystyle n,\{{\hat {b}}_{i}\}}$, the metric is defined as the inner product of the basis vectors.

${\displaystyle g_{ij}=\langle {\hat {b}}_{i},{\hat {b}}_{j}\rangle }$

Where ${\displaystyle 1\leq i,j\leq n}$ and the inner product is with respect to the ambient space (usually its ${\displaystyle \delta _{ij}}$)

In a coordinate basis ${\displaystyle {\hat {b}}_{i}={\frac {\partial }{\partial x^{i}}}}$

The coordinate basis is a special type of basis that is regularly used in differential geometry.

## Line elements in 4d spacetime

### Minkowskian spacetime

The Minkowski metric is:[8][9]

${\displaystyle [g_{ij}]=\pm {\begin{pmatrix}1&0&0&0\\0&-1&0&0\\0&0&-1&0\\0&0&0&-1\\\end{pmatrix}}}$

where one sign or the other is chosen, both conventions are used. This applies only for flat spacetime. The coordinates are given by the 4-position:

${\displaystyle {\mathbf {x} }=(x^{0},x^{1},x^{2},x^{3})=(ct,{\mathbf {r} })\,\Rightarrow ,\,d{\mathbf {x} }=(cdt,d{\mathbf {r} })}$

so the line element is:

${\displaystyle ds^{2}=\pm (c^{2}dt^{2}-d{\mathbf {r} }\cdot d{\mathbf {r} }).}$

### General spacetime

The coordinate-independent definition of the square of the line element ds in spacetime is:[10]

${\displaystyle ds^{2}=d{\mathbf {x} }\cdot d{\mathbf {x} }=g(d{\mathbf {x} },d{\mathbf {x} })}$

In terms of coordinates:

${\displaystyle ds^{2}=g_{\alpha \beta }dx^{\alpha }dx^{\beta }}$

where for this case the indices α and β run over 0, 1, 2, 3 for spacetime.

This is the spacetime interval - the measure of separation between two arbitrarily close events in spacetime. In special relativity it is invariant under Lorentz transformations. In general relativity it is invariant under arbitrary invertible differentiable coordinate transformations.

## References

1. ^ Gravitation, J.A. Wheeler, C. Misner, K.S. Thorne, W.H. Freeman & Co, 1973, ISBN 0-7167-0344-0
2. ^ Tensor Calculus, D.C. Kay, Schaum’s Outlines, McGraw Hill (USA), 1988, ISBN 0-07-033484-6
3. ^ Vector Analysis (2nd Edition), M.R. Spiegel, S. Lipcshutz, D. Spellman, Schaum’s Outlines, McGraw Hill (USA), 2009, ISBN 978-0-07-161545-7
4. ^ An introduction to Tensor Analysis: For Engineers and Applied Scientists, J.R. Tyldesley, Longman, 1975, ISBN 0-582-44355-5
5. ^ Vector Analysis (2nd Edition), M.R. Spiegel, S. Lipcshutz, D. Spellman, Schaum’s Outlines, McGraw Hill (USA), 2009, ISBN 978-0-07-161545-7
6. ^ Vector Analysis (2nd Edition), M.R. Spiegel, S. Lipcshutz, D. Spellman, Schaum’s Outlines, McGraw Hill (USA), 2009, ISBN 978-0-07-161545-7
7. ^ Tensor Calculus, D.C. Kay, Schaum’s Outlines, McGraw Hill (USA), 1988, ISBN 0-07-033484-6
8. ^ Relativity DeMystified, D. McMahon, Mc Graw Hill (USA), 2006, ISBN 0-07-145545-0
9. ^ Gravitation, J.A. Wheeler, C. Misner, K.S. Thorne, W.H. Freeman & Co, 1973, ISBN 0-7167-0344-0
10. ^ Gravitation, J.A. Wheeler, C. Misner, K.S. Thorne, W.H. Freeman & Co, 1973, ISBN 0-7167-0344-0