La contracción interior de una métrica en el contexto de la geometría diferencial y la teoría de la relatividad general es un concepto matemático que refleja cómo se puede "contraer" o "reducir" un tensor para obtener una nueva cantidad que tiene menos índices. La métrica en estas áreas es un tensor que define la distancia entre puntos cercanos en un espacio o variedad, permitiendo medir longitudes de curvas, ángulos entre vectores y otras propiedades geométricas.
Para entender la contracción interior a nivel conceptual, primero es útil recordar qué es una métrica y qué es una contracción:
- Métrica: En geometría diferencial, una métrica es un tensor de rango 2 que define el producto escalar de vectores en cada punto de una variedad. En la relatividad general, la métrica del espacio-tiempo describe cómo se mide la distancia entre eventos cercanos en el continuo espacio-tiempo. La métrica es fundamental para definir la geometría del espacio o espacio-tiempo en cuestión.
- Contracción: La contracción de un tensor es una operación que reduce su rango sumando sobre pares de índices, generalmente uno superior (contravariante) y uno inferior (covariante), siguiendo la regla de suma de Einstein. Esto equivale a tomar un promedio ponderado o una suma de componentes del tensor, reduciendo así su complejidad.
Cuando se realiza la contracción interior de una métrica, específicamente, lo que se hace es aplicar la métrica a sí misma de alguna manera que reduce su rango. Sin embargo, esta descripción es algo simplista, ya que la métrica ya es un objeto de segundo rango, y su "contracción" usualmente se refiere a cómo se usa para contraer otros tensores, como en la operación de bajar o subir índices.
Por ejemplo, en la geometría de Riemann, donde la métrica define la distancia, una contracción interior podría utilizarse para convertir un tensor de rango 2 en un escalar (el caso más sencillo sería el trazo de la métrica, aunque en práctica la métrica misma es constante en este contexto y su trazo es más bien una propiedad intrínseca que una operación aplicada). Más comúnmente, la métrica se usa para transformar vectores en 1-formas (covectores) y viceversa, mediante la "contracción" de un índice vectorial con uno métrico.
En resumen, la contracción interior de una métrica, entendida en el sentido más general de cómo se aplica la métrica a otros objetos tensoriales, es un proceso fundamental para manipular y entender las propiedades geométricas y físicas de los espacios y variedades en matemáticas y física. Permite, entre otras cosas, definir cómo se miden las distancias, cómo se transforman los vectores y formas, y cómo se calculan curvaturas y otras cantidades geométricas importantes.
