Tensor métrico


Tensor métrico

En geometría de Riemann, el tensor métrico es un tensor de rango 2 que se utiliza para definir conceptos métricos como distancia, ángulo y volumen en un espacio localmente euclídeo.

Contenido

Definición

Una vez que se elige una base local, el tensor métrico aparece como una matriz, notada convencionalmente G (véase también métrica). La notación gij se utiliza convencionalmente para los componentes del tensor. Así el tensor métrico g se expresa fijada una base coordenada como:

 g = \sum_{i,j=1}^n g_{ij} \ dx^i \otimes dx^j \qquad \qquad 
G = \begin{pmatrix}
  g_{11} & g_{12} & ... & g_{1n} \\
  g_{21} & g_{22} & ... & g_{2n} \\
  \vdots & \vdots & \vdots & \vdots \\
  g_{n1} & g_{n2} & ... & g_{nn} 
\end{pmatrix}

O más cómodamente usando el convenio de sumación de Einstein (que usaremos de aquí en adelante para el resto del artículo como):

 g =  g_{ij} \ dx^i \otimes dx^j \,

En física es muy común escribir la métrica como el cuadrado del elemento de longitud, dado que el tensor es simétrico la notación física es equivalente a la notación anterior:

 ds^2 =  g_{ij} \ dx^i dx^j \,

Longitud, ángulo y volumen

La longitud de un segmento de una curva dada parametrizada por t\,, desde a\, hasta b\,, se define como:

L = \int_a^b \sqrt{ g_{ij}\dot{x}^i\dot{x}^j}\ dt

El ángulo entre dos vectores U y V (o entre dos curvas cuyos vectores tangentess U y V ) se define como:


\cos \theta = \frac{g_{ij}U^iV^j}
{\sqrt{ \left| g_{ij}U^iU^j \right| \left| g_{ij}V^iV^j \right|}}

El n-volumen de una región R de una variedad de dimensión n viene dado por la integral extendida a dicha región de la n-forma de volumen:


V_R = \int_R \sqrt{|g|}\ dx^1 \land dx^2 \land...\land dx^n

Para computar el tensor métrico de un conjunto de ecuaciones que relacionan el espacio con espacio cartesiano (gij = ηij: vea delta de Kronecker para más detalles), compute el jacobiano del conjunto de ecuaciones, y multiplique el (producto exterior) transpuesto de ese jacobiano por el jacobiano.

 G = J^TJ\,

Ejemplos de métricas euclídeas

Una métrica euclídea no es otra cosa que una métrica arbitraria definida sobre un espacio euclídeo. Un espacio métrico es euclídeo si en el tensor de curvatura es idénticamente nulo en todo el espacio. Cuando se usan coordenadas cartesianas en un espacio euclídeo las componentes del tensor tensión son constantes y, por tanto, los símbolos de Christoffel son también nulos. Sin embargo, en muchos problemas conviene usar otro tipo de coordenadas, como por ejemplo las coordenadas polares, cilíndricas o esfércias, en este caso aun cuando el espacio es euclídeo las componentes del tensor métrico expresado en estas coordenadas no son constantes, y los símbolos de Christoffel no se anulan. A continuación se dan algunos ejemplos de coordenadas frecuentes.

Los sistemas de coordenadas ortogonales se caracterizan porque en esos el tensor métrico tiene una forma diagonal. A continuación se presentan ejemplos de métricas para un espacio euclídeo, el hecho de que el espacio es localmente euclídeo queda reflejado en que el tensor de curvatura calculado para todas las métricas que siguen es idénticamente nulo.

Coordenadas cartesianas

Dado un tensor métrico euclidiano en dos dimensiones, dado en coordenadas cartesianas \scriptstyle (u^1, u^2)=(x,y):

G = \begin{bmatrix} 1 & 0 \\ 0 & 1\end{bmatrix}

Puesto que g_{11}\ =g_{22}\ =1 y g_{12}\ =g_{21}\ =0.

La longitud de una curva C parametrizada mediante el parámetro t se reduce a la fórmula familiar del cálculo (teorema de Pitágoras):

L_C = \int_C \sum_{i,j} \sqrt{ g_{ij}du^idu^j} =
\int_{t_1}^{t_2} \sum_{i,j} \sqrt{ g_{ij} \frac{du^i}{dt} \frac{du^j}{dt} }\ dt L_C = \int_{t_1}^{t_2} \sqrt{ 1 \frac{du^1}{dt} \frac{du^1}{dt} + 0 \frac{du^1}{dt} \frac{du^2}{dt} + 0 \frac{du^1}{dt} \frac{du^2}{dt} + 1 \frac{du^2}{dt} \frac{du^2}{dt}}\ dt

o bien en la notación más familiar:

L_C = \int_C \sqrt{ dx^2 + dy^2} =
\int_{t_1}^{t_2} \sqrt{ \left(\frac{dx}{dt}\right)^2 +\left(\frac{dy}{dt}\right)^2 }\ dt

Coordenadas polares

Coordenadas polares: (u1,u2) = (r,ϕ)

G = \begin{bmatrix} 1 & 0 \\ 0 & (x^1)^2\end{bmatrix} = \begin{bmatrix} 1 & 0 \\ 0 & r^2\end{bmatrix}

L = \int_a^b \sqrt{ g_{11}du^1du^1 + g_{22}du^2du^2}
L = \int_a^b \sqrt{ dr^2 + r^2(d \phi)^2}

Coordenadas cilíndricas

Coordenadas cilíndricas: (u1,u2,u3) = (r,ϕ,z)

G = \begin{bmatrix} 1 & 0 & 0\\ 0 & (u^1)^2 & 0 \\ 0 & 0 & 1\end{bmatrix} = 
\begin{bmatrix} 1 & 0 & 0\\ 0 & r^2 & 0 \\ 0 & 0 & 1\end{bmatrix}
L = \int_a^b \sqrt{ g_{11}du^1du^1 + g_{22}du^2du^2 + g_{33}du^3du^3}
L = \int_a^b \sqrt{ (dr)^2 + r^2(d \phi)^2 + (dz)^2}

Coordenadas esféricas

Coordenadas esféricas: (x1,x2,x3) = (r,θ,ϕ)

G =
\begin{bmatrix} 1 & 0 & 0\\ 0 & (x^1)^2 & 0 \\ 0 & 0 & (x^1\sin x^2)^2\end{bmatrix}=
\begin{bmatrix} 1 & 0 & 0\\ 0 & r^2 & 0 \\ 0 & 0 & r^2\sin^2 \theta\end{bmatrix}
L = \int_a^b \sqrt{ g_{11}dx^1dx^1 + g_{22}dx^2dx^2 + g_{33}dx^3dx^3}
L = \int_a^b \sqrt{ (dr)^2 + r^2(d \theta)^2 + r^2\sin^2 \theta(d \phi)^2}

Ejemplos de métricas no euclídeas

Todos los ejemplos anteriores están asociados a métricas euclídeas, caracterizadas por el hecho de que el tensor de curvatura se anula idénticamente en todos los puntos.

Métricas no euclídeas en geometría

Sobre una esfera de radio R, parametrizada por el ángulo polar y el ángulo azimutal (θ, φ) se suele considerar el tensor métrico inducido por la distancia euclídea del espacio tridimensional que contiene a la esfera:

G = \begin{bmatrix} R^2 & 0 \\ 0 & R^2\sin^2 \theta \end{bmatrix}

Puede probarse que mediante ninguna transformación posible de coordenadas el tensor métrico en esas coordendas será igual al tensor métrico del espacio euclídeo bidimensional, lo cual evidencia que ese tensor representa una geometría no-euclídea (además su curvatura escalar es precisamente 1/R). Puede probarse que dada una curva sobre dicha esfera \scriptstyle (\theta(t),\phi(t)), su longitud viene dada:

L_C = \int_A^B \sqrt{R^2\dot\theta^2 + (R^2\sin^2\theta) \dot{\phi}^2}\ dt =
R\int_{t_A}^{t_B} \sqrt{\dot\theta^2 + \dot{\phi}^2\sin^2\theta }\ dt

Además sucede que fijados dos puntos sobre la esfera la curva de distancia mínima entre dos puntos, es además una curva con curvatura mínima. La curva de longitud mínima entre dos puntos de una esfera puede obtenerse buscando la intersección de un plano que contenga a los dos puntos y al centro de la esfera, entonces la interasección entre dicho plano y la esfera es un círculo máximo, y por tant con radio máximo R (y, por tanto, de curvatura 1/R mínima).

Una curva de curvatura mínima o longitud mínima en una variedad riemanniana se denomina geodésica. Y en una esfera pensada como variedad riemanniana los círculos máximos son curvas geodésicas.

Métricas no euclídeas en física

De acuerdo con la teoría de la relatividad general en presencia de materia, la geometría del espacio-tiempo no es plana, es decir, está caracterizada por un tensor de curvatura que no es idénticamente nulo en todos los puntos de la variedad. Este tensor de curvatura puede ser relacionado con tensor de energía-impulso que representa el contenido material del modelo de universo que se esté analizando. Algunos ejemplos de tensores métricos no euclídeos procedentes de la teoría relatividad general que se usan como modelos de universo son:

Por ejemplo a grandes rasgos la métrica solar lejos de los planetas, satélites y otras concentraciones de materia puede considerarse como un ejemplo bastante aproximado de métrica de Schwarzschild, siendo sus componentes (en las coordenadas cuasi-esféricas de Schwarzschild centradas en el sol: \scriptstyle (u^0,u^1,u^2,u^3) = (t,r,\theta,\varphi) ):

G = \begin{bmatrix}
-c^2 \left(1-\frac{2GM}{c^2 r} \right) & 0 & 0 & 0\\
0 & \left(1-\frac{2GM}{c^2 r} \right)^{-1} & 0 & 0\\
0 & 0 & r^2 & 0\\
0 & 0 & 0 & r^2\sin^2\theta \end{bmatrix}

Obsérvese la submatriz de 3x3 que se refiere a las coordenadas espaciales es similar a una métrica esférica difiriendo sólo en el término \scriptstyle g_{22}\ne 1. En coordenadas esféricas \scriptstyle g_{22} = 1 y la métrica resulta plana y por tanto representa un espacio euclídeo, sin embargo, en la métrica de Schwarzschild los términos \scriptstyle g_{11}, g_{22} caracterizan la curvatura del espacio-tiempo por culpa del campo gravitatorio del sol.

Por otro lado, la métrica de Friedman-Lemaître-Robertson-Walker se considera que podría ser un modelo adecuado del universo a escalas bastante más grandes que la de una galaxia. En el sistema comóvil pseudo-esférico \scriptstyle (u^0,u^1,u^2,u^3) = (t,r,\theta,\varphi) esta métrica resulta ser:

G = \begin{bmatrix}
-c^2 & 0 & 0 & 0\\
0 & a(t) \frac{1}{1-kr^2} & 0 & 0\\
0 & 0 & a(t) \frac{r^2}{1-kr^2} & 0\\
0 & 0 & 0 & a(t) \frac{r^2\sin^2\theta}{1-kr^2} \end{bmatrix}

Para \scriptstyle k \le 0 resulta un universo abierto que se expande sin límite, mientras que para \scriptstyle k > 0 la métrica ante anterior describe un universo cerrado y finito que tras expandirse hasta un máximo recolapsa sobre sí mismo dando lugar al big crunch.


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Tensor métrico — En matemáticas, en geometría de Riemann, el tensor métrico es un tensor de rango 2 que se utiliza para medir distancia y ángulo en un espacio. Una vez que se elige una base local, el tensor métrico aparece como una matriz, notada… …   Enciclopedia Universal

  • Tensor de curvatura — En geometría diferencial, el tensor de curvatura de Riemann , o simplemente tensor de curvatura o tensor de Riemann, supone una generalización del concepto de curvatura de Gauss, definido para superficies, a variedades de dimensiones arbitrarias …   Wikipedia Español

  • Tensor de Ricci — En geometría diferencial, la curvatura de Ricci es un tensor bivalente, obtenido como una traza del pleno tensor de curvatura. Puede ser pensado como un Laplaciano del tensor métrico riemaniano en el caso de las variedades de Riemann. En la… …   Enciclopedia Universal

  • Tensor de Ricci — En geometría diferencial, el tensor de curvatura de Ricci o simplemente, tensor de Ricci, que suele notarse por los símbolos Rab o Ric, es un tensor simétrico bivalente obtenido como una traza del tensor de curvatura, que, como aquel, puede… …   Wikipedia Español

  • Tensor de campo electromagnético — En electrodinámica clásica y teoría de la relatividad, el tensor de Faraday o tensor de campo electromagnético es un tensor 2 covariante y antisimétrico, cuyas componentes son las componentes de lo que en cada sistema de referencia se reflejan… …   Wikipedia Español

  • Introducción matemática a la relatividad general — La teoría de la relatividad general es una teoría métrica de la gravitación que incorpora además una descripción básica de los sistemas de referencia totalmente generales. Matemáticamente la teoría de la relatividad describe los efectos del campo …   Wikipedia Español

  • Relatividad general — Algunas partes de este artículo pueden resultar complicadas, en ese caso se recomienda Introducción a la relatividad general Representación artística de la explosión de la supernova SN 2006gy, situada a 238 millones de años luz. De ser válido el… …   Wikipedia Español

  • Glosario de relatividad — Anexo:Glosario de relatividad Saltar a navegación, búsqueda Este artículo contiene un glosario términos comúnmente usados en teoría de la relatividad. Se definen algunos de los términos brevemente y se enlaza a un artículo más amplio si éste… …   Wikipedia Español

  • Anexo:Glosario de relatividad — Este artículo contiene un glosario términos comúnmente usados en teoría de la relatividad. Se definen algunos de los términos brevemente y se enlaza a un artículo más amplio si éste existe. Índice: A B C D E F G H I J K L M N Ñ O P Q R S T U V W… …   Wikipedia Español

  • Cálculo tensorial — Un tensor de segundo orden, en tres dimensiones. En matemáticas y en física, un tensor es cierta clase de entidad algebraica de varias componentes, que generaliza los conceptos de escalar, vector y matriz de una manera que sea independiente de… …   Wikipedia Español