Estructura causalLa estructura causal en una variedad lorentziana que determina las relaciones causales entre sus puntos. IntroducciónEn la física actual (en particular, en relatividad general) el espacio-tiempo está representado por una variedad lorentziana. La estructura causal de esta variedad es una construcción formal que intenta reflejar la influencia que puedan ejercer o sufrir los eventos en el espacio-tiempo que esta variedad representa. El espacio-tiempo de Minkowski es un ejemplo sencillo de variedad lorentziana. Las relaciones causales entre puntos en este espacio-tiempo son particularmente simples debido a que es plano. La estructura causal de una variedad lorentziana arbitraria (posiblemente curvada) es más complicada debido a la curvatura. Las relaciones causales en estas variedades han de ser establecidas en términos de curvas diferenciables entre puntos, con condiciones sobre las velocidades de dichas curvas. Vectores tangentesEl espacio tangente en cada punto de una variedad lorentziana tiene, por definición, la misma estructura que el espacio de Minkowski: su métrica en cada punto es lorentziana. Por tanto, los vectores se clasifican en función del signo de su norma:
(Tomamos la convención .) Orientabilidad en el tiempoEsta estructura idéntica a Minkowski permite visualizar la estructura causal en las cercanías de un evento. En particular, en cada punto puede distinguirse entre pasado y futuro, separando el cono de luz (y su interior) en dos clases de equivalencia: dos vectores temporales, y , están en la misma clase si . Esta relación se extiende a los vectores de tipo luz mediante continuidad. Esta noción de flecha temporal, que indica la dirección en la que el tiempo avanza, no se extiende necesariamente a todo el espacio-tiempo. Se dice que una variedad lorentziana es orientable en el tiempo si es posible especificar una clase de equivalencia en cada punto de la misma, de manera continua. De forma equivalente, una variedad es orientable en el tiempo si y solo si posee un campo vectorial (global, esto es, definido en toda la variedad) continuo de tipo tiempo, que no se anule en ningún punto. Este es el requisito mínimo que podemos pedirle a un espacio-tiempo si queremos hablar de estructura causal entre eventos. Si es espacio-tiempo no es orientable en el tiempo, no podemos en general, dada la trayectoria de un observador, afirmar si está retrocediendo o avanzando en el tiempo. (Suponemos en las secciones subsecuentes que el espacio-tiempo considerado es orientable en el tiempo). CurvasDada una curva diferenciable podemos clasificarla según el carácter de su vector tangente como:
Futuro y pasadoDado un punto cualquiera de la variedad , puede definirse:
Como ejemplo sencillo, dado un punto en el espacio-tiempo de Minkowski, su futuro cronológico es el interior del cono de luz futuro, , y el futuro cronológico es el cierre del conjunto anterior, . Estructura causal de un espacio-tiempoLas relaciones causales en un espacio-tiempo son idénticas a las del espacio-tiempo de Minkowski en la vecindad de cualquiera de sus eventos. Sin embargo, incluso asumiendo que es orientable en el tiempo, pueden encontrarse espacio-tiempos "patológicos", en los que existan curvas temporales cerradas.
Un espacio-tiempo con CTC tiene poca relevancia física, al menos dentro de las condiciones estándar de la materia conocida, así como implicaciones filosóficas complejas. Así, parece lógico trabajar con espacio-tiempos sin curvas temporales cerradas. Sin embargo, incluso aunque un espacio-tiempo no contenga ninguna de estas curvas, puede estar "próximo" a tener alguna, en el sentido de que existan curvas temporales "casi cerradas", que pasan arbitrariamente cerca de un punto de partida dado. Una pequeña perturbación del campo gravitatorio cerca de un punto así dotaría a estos espacio-tiempos de CTC, luego parece lógico descartarlos también como físicamente razonables.
Un espacio-tiempo fuertemente causal no posee ese tipo curvas temporales "casi-cerradas". Sin embargo, la noción de causalidad fuerte no elimina la posibilidad de que una pequeña variación el campo gravitatorio pueda dar lugar a una CTC. Se necesita una definición de causalidad estable, que equivalga a la ausencia de CTC para toda métrica (campo gravitatorio) "parecida" a una dada. Para esto es necesario dotar al conjunto de las posibles métricas de una topología. Una definición más sencilla pero equivalente es:
Dado un campo vectorial t como el mencionado, el tensor g′ es aún una métrica lorentziana válida. Además, su cono de luz es estrictamente mayor: todo vector temporal o nulo respecto a g es temporal o nulo respecto a g′. Lo contrario no es cierto: hay vectores espaciales respecto a g que son temporales o nulos respecto a g′. Por lo tanto, si al abrir el cono de luz no encontramos CTC, podemos decir que todos los espacio-tiempos parecidos están libres de ellas también. Una definición equivalente de causalidad estable es:
Además, todo espacio-tiempo establemente causal es fuertemente causal. ReferenciasNotas
Bibliografía
Enlaces externos
|