Elemento de línea

Elemento de línea vectorial dr (verde) en el espacio euclídeo 3d, donde λ es un parámetro de la curva espacial (verde claro)

En geometría, un elemento de línea o elemento de longitud se puede considerar informalmente como un segmento de línea asociado con un desplazamiento infinitesimal en un espacio métrico. La longitud del elemento de línea, que puede considerarse como una longitud de arco diferencial, es una función del tensor métrico y se denota por $ds$.

Los elementos de línea se utilizan en física, especialmente en las teorías vinculadas a la gravedad (especialmente, en la relatividad general) en las que el espacio-tiempo se modela como una variedad pseudoriemanniana curva con un tensor métrico apropiado.

Formulación general

Definición de elemento lineal y de longitud de arco

La definición independiente del sistema de coordenadas del cuadrado del elemento lineal ds en una variedad pseudoriemanniana o riemaniana n-dimensiónal (en física, generalmente una variedad lorentziana) es el "cuadrado de la longitud" de un desplazamiento infinitesimal $d𝐪$ (en variedades pseudo riemannianas puede ser negativo) cuya raíz cuadrada debe usarse para calcular la longitud de la curva:

$d{s}^2=d𝐪\cdot d𝐪=g(d𝐪,d𝐪)$

donde g es el tensor métrico, · denota un espacio prehilbertiano y dq un desplazamiento infinitesimal en la variedad (pseudo) riemanniana. Al parametrizar una curva $q(\lambda )$, se puede definir la longitud de arco del desarrollo de la curva entre $q({\lambda }_1)$ y $q({\lambda }_2)$ como la integral:.

$s=\underset{{\lambda }_1}{\overset{{\lambda }_2}{\int }}d\lambda \sqrt{\left|d{s}^2\right|}=\underset{{\lambda }_1}{\overset{{\lambda }_2}{\int }}d\lambda \sqrt{\left|g(\frac{dq}{d\lambda },\frac{dq}{d\lambda })\right|}=\underset{{\lambda }_1}{\overset{{\lambda }_2}{\int }}d\lambda \sqrt{\left|g_{ij}\frac{d{q}^i}{d\lambda }\frac{d{q}^j}{d\lambda }\right|}$

Para calcular una longitud sensible de curvas en variedades pseudo riemannianas, es mejor suponer que los desplazamientos infinitesimales tienen el mismo signo en todas partes. Por ejemplo, en física, el cuadrado de un elemento lineal en una curva de línea de tiempo sería (según la convención de signos $-+++$) negativo y la raíz cuadrada negativa del cuadrado del elemento lineal en la curva mediría el tiempo propio que transcurre para un observador que se mueve sobre la curva. Desde este punto de vista, la métrica también define, además del elemento de línea, el elemento de superficie y el elemento de volumen.

Identificación del cuadrado del elemento lineal con el tensor métrico

Dado que $d𝐪$ es un "cuadrado de la longitud del arco" arbitrario, $d{s}^2$ define completamente la métrica y, por lo tanto, suele ser mejor considerar la expresión de $d{s}^2$ como una definición del tensor métrico en sí, escrito en una notación sugerente pero no tensorial:

$d{s}^2=g$

Esta identificación del cuadrado de la longitud del arco $d{s}^2$ con la métrica es aún más fácil de ver en coordenadas curvilíneas Plantilla:Nowrap por lo general de n dimensiones, donde se escribe como un tensor simétrico de rango 2 que coincide con el tensor métrico:

$d{s}^2=g_{ij}d{q}^{i}d{q}^j=g.$

Aquí, los índices i y j toman los valores 1, 2, 3, ..., n y se utiliza el convenio de suma de Einstein. Ejemplos comunes de espacios (pseudo) riemannianos incluyen el espacio físico tridimensional (sin la inclusión de coordenadas de tiempo) y, de hecho, el espacio-tiempo de cuatro dimensiones.

Elementos lineales en el espacio euclidiano

A continuación se muestran ejemplos de cómo se determinan los elementos de línea a partir de la métrica.

Coordenadas cartesianas

El elemento de línea más simple se expresa en coordenadas cartesianas, en cuyo caso la métrica es solo la delta de Kronecker:

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

(aquí i, j = 1, 2, 3 para el espacio) o en forma matricial (i denota fila, j denota columna):

$[g_{ij}]=\left(\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right)$

Las coordenadas curvilíneas generales se reducen a coordenadas cartesianas:

$(q^1,q^2,q^3)=(x,y,z)\Rightarrow d𝐫=(dx,dy,dz)$

y entonces

$d{s}^2=g_{ij}d{q}^{i}d{q}^j=d{x}^2+d{y}^2+d{z}^2$

Coordenadas curvilíneas ortogonales

Para todas las coordenadas ortogonales, la métrica viene dada por:

$[g_{ij}]=\left(\begin{array}{ccc}{h}_1^2& 0& 0\\ 0& h_2^2& 0\\ 0& 0& h_3^2\end{array}\right)$

donde

$h_i=\left|\frac{\partial 𝐫}{\partial q^i}\right|$

para i = 1, 2, 3 son factores de escala, por lo que el cuadrado del elemento de línea es:

$d{s}^2=h_1^2(d{q}^1{)}^2+h_2^2(d{q}^2{)}^2+h_3^2(d{q}^3{)}^2$

A continuación se muestran algunos ejemplos de elementos de línea en estas coordenadas:

Sistema de coordenadas	Plantilla:Math	Métrica	Elemento de línea
Cartesianas	Plantilla:Math	$[g_{ij}]=\left(\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right)$	$d{s}^2=d{x}^2+d{y}^2+d{z}^2$
Polares planas	Plantilla:Math	$[g_{ij}]=\left(\begin{array}{cc}1& 0\\ 0& r^2\end{array}\right)$	$d{s}^2=d{r}^2+r^{2}d{\theta }^2$
Esféricas	Plantilla:Math	$[g_{ij}]=\left(\begin{array}{ccc}1& 0& 0\\ 0& r^2& 0\\ 0& 0& r^2{\sin }^2\theta \end{array}\right)$	$d{s}^2=d{r}^2+r^{2}d\theta {}^2+r^2{\sin }^2\theta d\varphi {}^2$
Cilíndricas polares	Plantilla:Math	$[g_{ij}]=\left(\begin{array}{ccc}1& 0& 0\\ 0& r^2& 0\\ 0& 0& 1\end{array}\right)$	$d{s}^2=d{r}^2+r^{2}d\theta {}^2+d{z}^2$

Coordenadas curvilíneas generales

Dada una base arbitraria de un espacio de dimensión $n,\{{\hat{b}}_i\}$, la métrica se define como el producto interno de los vectores de la base.

$g_{ij}=⟨{\hat{b}}_i,{\hat{b}}_j⟩$

donde $1\le i,j\le n$ y el producto interno están con respecto al espacio envolvente (generalmente, su ${\delta }_{ij}$)

en una base de coordenadas ${\hat{b}}_i=\frac{\partial }{\partial x^i}$

La base de coordenadas es un tipo especial de base que se utiliza habitualmente en geometría diferencial.

Elementos de línea en el espacio-tiempo 4d

Espacio-tiempo de Minkowski

El espacio-tiempo de Minkowski tiene la expresión:

$[g_{ij}]=\pm \left(\begin{array}{cccc}1& 0& 0& 0\\ 0& -1& 0& 0\\ 0& 0& -1& 0\\ 0& 0& 0& -1\end{array}\right)$

Cuando se elige un signo u otro, se utilizan ambas convenciones. Esto se aplica solo para el espacio-tiempo de Minkowski. Las coordenadas vienen dadas por el cuadrivector:

$𝐱=(x^0,x^1,x^2,x^3)=(ct,𝐫)\Rightarrow d𝐱=(cdt,d𝐫)$

y entonces, el elemento de línea es:

$d{s}^2=\pm (c^{2}d{t}^2-d𝐫\cdot d𝐫).$

Coordenadas de Schwarzschild

En el sistema de Schwarzschild las coordenadas son $(t,r,\theta ,\varphi )$, siendo la métrica general de la forma:

$[g_{ij}]=\left(\begin{array}{cccc}-a(r{)}^2& 0& 0& 0\\ 0& b(r{)}^2& 0& 0\\ 0& 0& r^2& 0\\ 0& 0& 0& r^2{\sin }^2\theta \end{array}\right)$

(nótese las similitudes con la métrica en coordenadas polares esféricas en 3D).

Entonces, el elemento de línea es:

$d{s}^2=-a(r{)}^{2}d{t}^2+b(r{)}^{2}d{r}^2+r^{2}d{\theta }^2+r^2{\sin }^2\theta d{\varphi }^2.$

Espacio-tiempo general

La definición independiente de las coordenadas del cuadrado del elemento lineal ds en el espacio-tiempo es:

$d{s}^2=d𝐱\cdot d𝐱=g(d𝐱,d𝐱)$

En términos de coordenadas:

$d{s}^2=g_{\alpha \beta }d{x}^{\alpha }d{x}^{\beta }$

donde para este caso los índices Plantilla:Math y Plantilla:Math se aplican sobre 0, 1, 2, 3 para el espacio-tiempo.

Este es el espacio-tiempo: la medida de separación entre dos sucesos arbitrariamente cercanos en el espacio-tiempo. En teoría de la relatividad especial es invariante bajo la transformación de Lorentz. En la relatividad general es invariante bajo transformaciones de coordenadas diferenciables invertibles arbitrarias.

Véase también

• Covarianza y contravarianza
• Primera forma fundamental
• Anexo:Temas de integración y teoría de la medida
• Tensor métrico
• Cálculo de Ricci
• Ley de subir o bajar índices (tensores)
• Curva integral de un campo vectorial