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.
Índice
Definición
Longitud, ángulo y volumen
Ejemplos de métricas euclídeas
Coordenadas cartesianas
Coordenadas polares
Coordenadas cilíndricas
Coordenadas esféricas
Ejemplos de métricas no euclídeas
Métricas no euclídeas en geometría
Métricas no euclídeas en física
Definición
Una vez que se elige una base local, el tensor métrico aparece como una matriz, denotada convencionalmente como g (véase también
métrica). La notación gij se utiliza convencionalmente para las componentes del tensor. Así el tensor métrico g se expresa fijada una base
coordenada como:
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):
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:
Longitud, ángulo y volumen
La longitud de un segmento de una curva dada parametrizada por , desde hasta , se define como:
El ángulo entre dos vectores U y V (o entre dos curvas cuyos vectores tangentes U y V ) se define como:
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:
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) traspuesto de ese
jacobiano por el jacobiano.
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 métrico 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éricas, 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 :
Puesto que y . De acuerdo con la notación de la Delta de Kronecker podemos expresarlo como
.
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):
o bien en la notación más familiar:
Coordenadas polares
Coordenadas polares:
Coordenadas cilíndricas
Coordenadas cilíndricas:
Coordenadas esféricas
Coordenadas esféricas:
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:
Puede probarse que mediante ninguna transformación posible de coordenadas el tensor métrico en esas coordenadas 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 , su longitud viene dada:
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 tanto 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:
Métrica de Schwarzschild, que representa la geometría del espacio-tiempo alrededor de un cuerpo esférico aislado y
estático (que no gira alrededor de sí mismo).
Métrica de Friedman-Lemaître-Robertson-Walker, que se cree da una buena aproximación de la estructura del
universo en expansión a grandes escalas.
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: ):
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
. En coordenadas esféricas 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 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 esta métrica resulta ser:
Para resulta un universo abierto que se expande sin límite, mientras que para la métrica anterior describe un universo cerrado y
finito que tras expandirse hasta un máximo recolapsa sobre sí mismo dando lugar al big crunch.
Obtenido de «https://es.wikipedia.org/w/index.php?title=Tensor_métrico&oldid=141823561»
Esta página se editó por última vez el 21 feb 2022 a las 05:03.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0;
pueden aplicarse cláusulas adicionales. Al usar este sitio,
usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.
