En anteriores artículos de blog escribí sobre geometría proyectiva pero no comenté nada acerca de su relación con la física. Ahora quiero exponerla en el ámbito de la relatividad especial. El objetivo presentar las definiciones básicas de la versión proyectiva del espaciotiempo de Minkowski y construir el cono de luz. Para ello partiré de los conceptos que ya presenté en "El mundo donde todas las rectas se cortan" así que hablaré de espacios proyectivos y de variedades lineales sin definirlos. Empecemos.

Definición 1: Llamaremos espaciotiempo de Minkowski al par donde lo consideramos como espacio vectorial y es una forma bilineal, simétrica y no degenerada dada por:



Donde y son vectores de . A esta aplicación la llamaremos métrica de Minkowski.

La imagen típica del espaciotiempo de Minkowski es la siguiente:

Haz clic en la imagen para ampliar

Nombre:	EP Min.png
Vitas:	1
Tamaño:	4,4 KB
ID:	340766

Nosotros queremos una versión proyectiva de este espacio así que tenemos que añadir un hiperplano en el infinito al espaciotiempo de Minkowski con estructura de espacio afín. Las imagenes serán en dos dimensiones así que dibujaremos una recta en el infinito pero en realidad debería ser una variedad lineal de dimensión tres.

Definición 2: Llamaremos espaciotiempo proyectivo de Minkowski a donde es el hiperplano del infinito de dimensión tres.

Fijaos que en dos dimensiones es algo así:

Haz clic en la imagen para ampliar

Nombre:	Ep Min 2.png
Vitas:	1
Tamaño:	6,2 KB
ID:	340772

Para formarnos una imagen más global de este espacio vamos a definir el concepto de cuádrica:

Definicion 3: Una cuádrica proyectiva es la clase módulo multiplicación por constante (*) de una forma bilineal simétrica.

Una cuádrica vendría a ser como una generalización de una variedad lineal pero que está descrita por una ecuación de segunda grado en varias variables. Las cuádricas en dimensión dos se les llama cónicas. De este modo las parábolas, los elipsoides y demás figuras que seguro que conocéis son cuádricas.

Ahora os preguntareis ¿y para qué sirve estudiar las cuádricas en relatividad especial? Si os fijáis la expresión define un hiperboloide de dos hojas en un espacio de Minkowski. Alguna vez habréis visto imágenes como esta:

Haz clic en la imagen para ampliar

Nombre:	graficas_funciones_hiperbolicas.png
Vitas:	1
Tamaño:	25,2 KB
ID:	340773

Estoy hablando justamente de esa hipérbola. En el caso del espaciotiempo proyectivo de Minkowski:

Haz clic en la imagen para ampliar

Nombre:	Hiperboloide.png
Vitas:	1
Tamaño:	12,4 KB
ID:	340774

La hipérbola es el "círculo" que veis en la imagen. Pero cuidado que no es un círculo, esta cónica corta en dos puntos distintos al hiperplano del infinito. Cuesta de imaginar pero en el proceso de paso entre geometría proyectiva a geometía afín la hipérbola "se parte" y queda la imagen que todos conocemos. Ya nos queda poco para poder definir el cono de luz. Antes necesitamos el concepto de tangencia.

Definición 4: Un punto pertenece a una cuádrica de forma bilineal simétrica asociada si .

Definición 5: Sea una cuádrica y . La recta tangente por es la recta .

Recordemos que al ser una forma bilineal tenemos que donde es la matriz simétrica asociada a nuestra forma bilineal. Una recta tangente a una cuádrica la podemos visualizar de la siguiente forma:

Haz clic en la imagen para ampliar

Nombre:	Tangencia.png
Vitas:	1
Tamaño:	9,7 KB
ID:	340767

Ahora ya estamos preparados para definir el cono de luz en .

Definición 6: El cono de luz es el conjunto de rectas que son tangentes al hiperboloide de cuatro dimensiones definido por en los puntos de intersección entre la cuádrica y .

La historia queda así:

Haz clic en la imagen para ampliar

Nombre:	Min.png
Vitas:	1
Tamaño:	14,3 KB
ID:	340768

Toda esta construcción nos permite ver claramente la diferencia entre la relatividad especial y la mecánica newtoniana. Cuando la velocidad de la luz tiende a infinito el cono de luz de ecuación (**) tiende a y el hiperboloide tiende a con lo que para una velocidad de la luz infinita pasamos de al de toda la vida.

Haz clic en la imagen para ampliar

Nombre:	Min.png
Vitas:	1
Tamaño:	14,3 KB
ID:	340768

Haz clic en la imagen para ampliar

Nombre:	Min4.png
Vitas:	1
Tamaño:	16,8 KB
ID:	340769

Haz clic en la imagen para ampliar

Nombre:	in5.png
Vitas:	1
Tamaño:	16,2 KB
ID:	340770

Haz clic en la imagen para ampliar

Nombre:	Min6.png
Vitas:	1
Tamaño:	12,3 KB
ID:	340771

Y hasta aquí el artículo de blog. Cualquier recomendación, duda o errata que encontréis las podéis dejar en los comentarios. En futuros artículos me meteré aún más en física con las transformaciones de Lorentz en este contexto.

(*) Recordad que en la definición de espacio proyectivo tenemos una aplicación exhaustiva que cumple que si con si y solo si . De aquí viene lo de "clase módulo multiplicación por constante". Así pues las cuádricas son la imagen por de una forma bilineal simétrica.

(**) es el tiempo propio. Las ecuaciones y no son más que la ecuación de las rectas tangentes y reescribir la ecuación del hiperboloide que he presentado anteriormente.