Espacio de Minkowski

En física matemática, el espacio de Minkowski (o espacio-tiempo de Minkowski) es una variedad lorentziana de cuatro dimensiones y curvatura nula, usada para describir los fenómenos físicos en el marco de la teoría especial de la relatividad de Einstein.

En el espacio de Minkowski pueden distinguirse tres dimensiones espaciales ordinarias y una dimensión temporal adicional, de tal manera que todas juntas forman una 4-variedad y así representar al espacio-tiempo.

El espacio-tiempo de Minkowski es una variedad lorentziana de curvatura nula e isomorfa a ${displaystyle {mathcal {M}}_{0}=(mathbb {R} ^{4},{oldsymbol {eta }})}$ donde el tensor métrico puede llegar a escribirse en un sistema de coordenadas cartesianas como:

(1)${displaystyle eta =-dx^{0}otimes dx^{0}+dx^{1}otimes dx^{1}+dx^{2}otimes dx^{2}+dx^{3}otimes dx^{3}}$

O en forma matricial explícita, respecto a la misma base:

(2)${displaystyle left(eta _{alpha eta } ight){overset {underset {mathrm {def} }{}}{=}}{egin{pmatrix}-1&0&0&0\0&1&0&0\0&0&1&0\0&0&0&1end{pmatrix}}}$

De todas maneras es común renombrar a las coordenadas en términos de las coordenadas espaciales y el tiempo usados en la mecánica newtoniana es decir: ${displaystyle (x^{0},x^{1},x^{2},x^{3})mapsto (ct,x,y,z)}$ con lo cual el tensor métrico se escribe simplemente como:

(3)${displaystyle eta =-c^{2}dtotimes dt+dxotimes dx+dyotimes dy+dzotimes dz}$

El tensor de curvatura de Riemann del espacio-tiempo de Minkowski es idénticamente nulo, razón por la cual se dice que el espacio-tiempo es plano. Así el resto de tensores y escalares de curvatura resultan nulos, siendo también nulo el tensor de Einstein que es igual al contenido material. Por tanto, el espacio-tiempo de Minkowski representa un universo vacío.

Físicamente el espacio-tiempo de Minkowski puede emplearse como una aproximación local del espacio-tiempo en regiones razonablemente pequeñas y en presencia de materia, siempre que esta no llegue a gravitar por sí misma. Este hecho queda recogido en el Principio de equivalencia.

Cualquier línea recta constituye una geodésica, ya que el tensor de curvatura se anula. Tomando coordenadas cartesianas las geodésicas vienen dadas simplemente por:

(5)${displaystyle {ddot {t}}=0qquad {ddot {x}}=0qquad {ddot {y}}=0qquad {ddot {z}}=0}$

Que corresponden a líneas rectas:

(6)${displaystyle t( au )=t_{0}+{frac { au }{sqrt {1-{frac {v^{2}}{c^{2}}}}}}quad x( au )=x_{0}+{frac {v_{x} au }{sqrt {1-{frac {v^{2}}{c^{2}}}}}}quad y( au )=y_{0}+{frac {v_{y} au }{sqrt {1-{frac {v^{2}}{c^{2}}}}}}quad z( au )=z_{0}+{frac {v_{z} au }{sqrt {1-{frac {v^{2}}{c^{2}}}}}}}$

Donde:

El grupo de isometría del espacio-tiempo de Minkowski es precisamente el grupo de Poincaré, que admite diversos subgrupos entre ellos:

El espacio-tiempo de Minkowski admite un tratamiento pseudoeuclídeo, eso significa que bajo la aplicación sobre los complejos dada por:

Y tratando las coordenadas resultantes como vectores de un espacio euclídeo de cuatro dimensiones se reproducen los resultados geométricos típicos del espacio-tiempo de Minkowski. Si en esa representación se trata todo como escalares complejos y se construyen a partir del producto escalar euclídeo las magnitudes escalares de la teoría, estas resultan invariantes. Además se cumple que:

(7)${displaystyle U^{alpha }V_{alpha }={widetilde {U}}cdot {widetilde {V}}qquad forall U,Vin T{mathcal {M}}_{0}}$

Es más todos los cuadrivectores y cuadritensores antisimétricos de segundo orden admiten una representación compleja de ese tipo, con similares propiedades de invariancia a (4):

---