Está en la página 1de 16

GEOMETRA MODERNA

GEOMETRA DE MINKOWSKI
I. ESPACIOS METRICOS
1.1 Concepto de espacio abstracto

Un espacio abstracto es un conjunto de elementos (no especificados) los
cuales satisfacen ciertos axiomas, con un cierto propsito. La eleccin de
diferentes conjuntos de axiomas permitir obtener diferentes tipos de espacios
abstractos. La teora entonces consiste de consecuencias lgicas que resultan
de los axiomas derivados en teoremas, los cuales pueden posteriormente ser
aplicados a varios conjuntos especiales satisfaciendo aquellos axiomas.
La idea de usar espacios abstractos de una manera sistemtica se remonta a
M. Frechet (1906), y se justifica por su gran xito.
1.2 Definicin de Mtrica
Sea X un conjunto no vaco. Una funcin d , con dominio real, definida en
X X , esto es, en el conjunto de los pares ordenados de los elementos de X ,
es una mtrica o funcin distancia de X si y solo si, para todos
x
,
y
,
z
Z se
satisfacen los siguientes axiomas:
A1: d es una funcin de valor real, finito y no negativo.
A2:
( , ) 0 d x y
si y solo si
x y
A3:
( , ) ( , ) d x y d y x
(simetra)
A4:
( , ) ( , ) ( , ) d x y d x z d z y +
(desigualdad triangular)
El nmero real no negativo
( , ) d x y
recibe el nombre de distancia de
x
a
y
. El
nombre de desigualdad triangular es motivado por la geometra elemental
como se muestra en la figura 1.
Figura 1
1.3 Definicin de Espacio mtrico
Un espacio mtrico es un par
( , ) X d
donde X es un conjunto y d es una
mtrica definida en X .
1
( , ) d x y
( , ) d x z
( , ) d z y
GEOMETRA MODERNA
GEOMETRA DE MINKOWSKI
En lugar de
( , ) X d
podemos simplemente escribir X siempre que no haya
peligro de confusin.
Ejemplos de espacios mtricos
1.3.1 La recta real R
Este es el conjunto de todos los nmeros reales con la mtrica usual definido
por
( , ) d x y x y
Ver figura 2.
Figura 2
1.3.2 El plano euclidiano
2
R
con la mtrica Euclidiana
El espacio mtrico
2
R
, llamado plano Euclidiano, es obtenido si tomamos el
conjunto de pares ordenados de nmeros reales
1 2
( , ) x x x
,
1 2
( , ) y y y
, etc. y la
mtrica Euclidiana definida por
2 2
1 1 2 2
( , ) ( ) ( ) d x y y x y x +
Ver figura 3.
Figura 3
2
x
y
( , ) d x y
1
x
1
y
2
x
2
y
1 2
( , ) x x x
1 2
( , ) y y y
( , ) d x y
1 1
( , ) d x y
2 2
( , ) d x y
GEOMETRA MODERNA
GEOMETRA DE MINKOWSKI
1.3.3 El plano Euclidiano
2
R
con la mtrica de la suma
Otro espacio mtrico se puede obtener si se toma el mismo conjunto del
ejemplo 1.3.2 pero con la mtrica definida mediante
1 1 1 2 2
( , ) d x y x y x y +
Ver figura 4.
Figura 4
Para probar que las funciones dadas en los ejemplos anteriores son mtricas,
se debe verificar en cada caso cada uno de los axiomas A1 al A4.
1.4 Definicin de Producto Interno
El producto interno viene a ser el anlogo del producto punto, o producto
escalar entre dos vectores familiar a todos nosotros. El producto escalar entre
dos vectores cualquiera
1 2
( , ) a a a
r
y
1 2
( , ) b b b
r
esta dado por
1 1 2 2
. a b a b a b +
r
r
Este producto escalar da como resultado a las siguientes formulas
. a a a
r r r
y la condicin de ortogonalidad (perpendicularidad)
metros
1 segundo
3
1
x
1
y
2
x
2
y
1 2
( , ) x x x
1 2
( , ) y y y
1 1
( , ) d x y
2 2
( , ) d x y
GEOMETRA MODERNA
GEOMETRA DE MINKOWSKI
. 0 a b
r
r
los cuales son muy importantes en muchas aplicaciones matemticas. Por lo
tanto, surge la pregunta de si el producto escalar y la ortogonalidad pueden ser
generalizados a espacios vectoriales arbitrarios. La respuesta es si, y a esta
generalizacin se le llama producto interno , a b
r
r
, que permite definir:
a) Una norma . mediante , x x x
r r r
b) Ortogonalidad mediante , 0 x y
r r
Definicin: El producto interno sobre un espacio vectorial X es una aplicacin
que va de X X a un campo escalar K de X ; esto es, con cada par de
vectores x
r
e y
r
esta asociado un escalar , x y
r r
llamado el producto interno
de x
r
e y
r
de tal manera que para todos los vectores x
r
, y
r
, z
r
y escalares


se tiene
A1: , , x y z x z y z + + +
r r r r r r r
A2: , , x y x y
r r r r
A3: , , x y y x
r r r r
A4: , 0 x x
r r
A5: , 0 0 x x x
r r r
Un producto interno sobre X define una norma sobre X dado por
, x x x
r r r
y una mtrica sobre X dado por
( )
, , d x y x y x y x y
r r r r r r r r
II. GEOMETRIA DE MINKOWSKI
2.1 Espacio tiempo
El espacio tiempo es bastante familiar a nosotros: Un diagrama de espacio
tiempo es un esquema que se usa para describir y analizar el movimiento. Por
ejemplo, supongamos que una partcula se mueve hacia arriba a lo largo del
eje z con velocidad constante de
v
metros por segundo. Acostumbramos
representar el movimiento en un diagrama como el de la figura 5, el cual
constituye una representacin del espacio tiempo debido a que involucra un eje
metros
1 segundo
4
GEOMETRA MODERNA
GEOMETRA DE MINKOWSKI
coordenado para el tiempo. El movimiento de la partcula en este caso es
representado por una lnea recta con pendiente
v
al cual llamamos lnea de
universo de la partcula. En la representacin de la figura 5, deberamos tener
cuatro ejes, pero debido a que
x
y
y
no cambian mientras la partcula se
mueve, no se considera los correspondientes ejes con el fin de hacer el
diagrama mas simple. Cuando el movimiento se da en una regin
tridimensional, el espacio tiempo es un hiperespacio
( , , , ) t x y z
(1+3)
dimensional. Es claro que el espacio tiempo (1+1) dimensional es fcil de
visualizar. Llamaremos a un punto
( , ) t z
o
( , , , ) t x y z
del espacio tiempo un
evento, debido a que un evento siempre acontece en algn lugar en algn
tiempo.
Figura 5
2.2 Conos de luz
En el espacio tridimensional, los fotones de un destello se propagan en todas
direcciones y ocupan una celda esfrica
2 2 2 2
( ) x y z ct + + de radio
ct
despus
de haber transcurrido
t
segundos. En una rebanada 2 dimensional, la esfera se
reduce a un crculo
2 2 2
( ) y z ct + , tambin de radio
ct
. Si graficamos ahora
este circulo en el espacio tiempo
( , , ) t y z
como una funcin de
t
, obtenemos un
cono ordinario. Las lneas de universo de todos los fotones movindose en el
plano
( , ) y z
yacen en este cono, el cual es llamado cono de luz. Notar que
cuando tomamos la rebanada
0 y
para obtener el espacio tiempo
( , ) t z
(1+1)
dimensional simple, obtenemos el par de lneas de universo de fotones ya
mencionados anteriormente. A esta figura as obtenida tambin llamamos cono
de luz. Ver figuras 6 y 7.
z(m)
t(s)
metros
1 segundo
4 3 2
1
1
2
Espacio tiempo con dos dimensiones espaciales suprimidas
5

GEOMETRA MODERNA
GEOMETRA DE MINKOWSKI
Figura 6
Figura 7
2.3 Transformaciones de Galileo
El propsito de la ciencia es describir e interpretar la realidad objetiva. Sin
embargo el punto de partida de la ciencia es la observacin individual, el cual
es inherentemente subjetivo. Sin embargo, cuando los observadores
individuales comparan sus resultados, ellos encuentran puntos de comn
acuerdo, lo cual constituye en ultima instancia lo que es fsicamente, o
objetivamente, real. (Estn mis clculos de acuerdo con los tuyos?, puedo
yo reproducir tu experimento?).
z
x
y
Onda expansiva
en el espacio
y
z
Una rebanada de
espacio
y
z
t
Una rebanada de espacio tiempo
t
z
Una rebanada delgada de espacio
tiempo

6

GEOMETRA MODERNA
GEOMETRA DE MINKOWSKI
El problema de la objetividad de las observaciones siempre ha sido parte de la
ciencia moderna y Galileo se ocupo de ello en conexin con el movimiento, lo
cual lo condujo a formular el siguiente principio de relatividad:
Dos observadores movindose uniformemente uno relativo al otro, deben
formular las leyes de la naturaleza exactamente de la misma manera. En
particular, ningn observador puede distinguir entre reposo absoluto y
movimiento absoluto apelando a cual ley de la naturaleza.; por lo tanto, no
existe cosa semejante a movimiento absoluto, tan solo movimiento en relacin
a un observador.
Esto significa que:
Cualquier ley fsica debe ser formulada de la misma manera por todos
los observadores.
Toda cosa formulada de la misma manera por todos los observadores es
una ley fsica.
La transformacin de Galileo se escribe
t
z v

+
O en forma matricial
1 0
1
t
z v

_ _ _


, , ,
Los correspondientes diagramas espacio temporales de dos observadores
diferentes son:

t
z vt



t
z v

+
Figura 8

7
R
G O
t
t

z
z

z
z
t
v
vt

O
G
R
t
GEOMETRA MODERNA
GEOMETRA DE MINKOWSKI
2.4 Relatividad especial Cinemtica
Los objetos materiales tienen masa y se mueven en respuesta a fuerzas que
actan sobre ellos. La cinemtica estudia aquella parte del movimiento sin
tener en cuenta la fuerza y la masa. Desde que la cinemtica es la parte mas
simple de la dinmica, y desde que algunas de las ideas mas bsicas de la
relatividad especial son cinemticas en naturaleza, nos centraremos tan solo
en estas.
De acuerdo al experimento de Michelson Morley y las ecuaciones de
Mawxells, la velocidad de la luz es constante, independientemente del
movimiento del observador que lo mide. En lugar de considerar esto como una
contradiccin problemtica, Einstein alego en base al principio de relatividad de
Galileo que la velocidad de la luz debe ser simplemente una ley de la fsica.
En trminos geomtricos, la contradiccin aparece debido al uso de la
transformacin Galileana, el cual altera el cono de luz (ver figura 9). Einstein
razono que la salida era construir una nueva transformacin de tal manera que
preserve el cono de luz.
Figura 9
La nueva transformacin que Einstein propuso encontrar de tal manera que se
preservara el cono de luz esta dada por
( )
( )
2
2
1
1
1
1
t v
v
z v
v


+

Las que fueron deducidas por Lorentz, razn por la cual se conocen como las
formulas de transformacin de Lorentz.
Actividad: escriba en forma matricial las transformaciones de Lorentz.
D
U
O
0


t
z
O
0
t
0

0
G
0

U
D

G
R
8
GEOMETRA MODERNA
GEOMETRA DE MINKOWSKI
2.5 Rotaciones y norma Euclidiana
En geometra analtica plana, las tareas bsicas son la medicin de longitudes
y ngulos; todo lo dems depende de estos. La herramienta para llevar a cabo
estas tareas es un producto interno en
2
R
. El producto interno Euclidiano
estndar esta dado por
( )
1
1 2 1 1 2 2
2
. , `
t
y
x y x y x x x y x y
y
_
+

,
r r r
Aqu escribimos un elemento x
r
de
2
R
del modo usual como un vector
columna; la transpuesta
t
x
es el correspondiente vector fila. Usando la
transpuesta del vector al lado izquierdo, nos permite escribir el producto interno
como un multiplicacin matricial ordinaria y nos ser de utilidad mas adelante.
El producto interno nos permite determinar la longitud, o norma Euclidiana de
un vector:
2 2
1 2
. x x x x x +
r r r
El cual nos permite realizar mediciones bsicas. Para dos puntos o vectores x
r

e y
r
de
2
R
, tales mediciones son
a) Distancia de x
r
a y
r
denotado por y x
r r
2 2
1 1 2 2
( ) ( ) y x y x y x +
r r
b) Angulo

entre x
r
y y
r
.
arccos
x y
x y



,
r r
r r
Es un principio geomtrico fundamental que las longitudes y ngulos no
cambian cuando el plano sufre una rotacin. Una rotacin de radianes
en sentido contrario a las agujas del reloj esta dado por la matriz
cos
cos
sen
R
sen


,
Probemos que las rotaciones, como se ha definido aqu, preservan
longitudes y ngulos demostrando que ellas preservan la norma y el
producto interno. Para ello, es suficiente probar para el caso del producto
9
GEOMETRA MODERNA
GEOMETRA DE MINKOWSKI
interno, debido a que la norma se define en trminos del producto interno.
Sin embargo, mostremos primero para el caso de la norma, una prueba
mediante clculos directos.
PROPOSICION: R x x


r
para todo x
r
en
2
R
.
PRUEBA
Sea
cos
cos
p sen x
q sen y

_ _ _


, , ,
. Debemos probar que
2 2 2 2
p q x y + +
.
En efecto.
( ) ( )
2 2
2 2
cos cos p q x y sen x sen y + + +

2 2 2 2 2 2
cos 2 cos x xy sen y sen x sen + + +

2 2
2 cos cos x y sen y + +

( ) ( )
2 2 2 2 2 2
cos cos x sen y sen + + +
2 2 2 2
p q x y + +
COROLARIO: La rotacin R

aplica cada circulo


2 2 2
x y r +
en si
mismo.
PROPOSICION: . . R x R y x y


r r r r
PRUEBA
Escribamos el producto interno como una multiplicacin de matrices.
. ( )
t t t t
R x R y R x R y x R R y x R R y


r r r r r

.
t
x I y x y
r r r r
. . R x R y x y


r r r r
* Verificar que
1 t
R R R


COROLARIO: La distancia de R x

r
a R y

r
es la misma distancia de x
r
a y
r
. El ngulo entre R x

r
y R y

r
es igual al ngulo entre x
r
y y
r
.
PRUEBA
La distancia de R x

r
a R y

r
es
10
GEOMETRA MODERNA
GEOMETRA DE MINKOWSKI
( ) R x R y R x y x y


r r r r r r
Que resulta ser la distancia de x
r
a y
r
.
El ngulo entre R x

r
y R y

r
es
. .
arccos cos
R x R y x y
ar
R x R y x y


_ _



, ,
r r r r
r r r r
Que corresponde al ngulo entre x
r
y y
r
.
As, aun cuando las coordenadas de un punto cambian bajo una rotacin, su
norma no cambia. En otras palabras, las coordenadas son relativas a un
sistema de coordenadas, pero la norma no, esta es absoluta: esta tiene el
mismo valor en todos los sistemas de coordenadas (obtenido de otro sistema
mediante una rotacin). Debido a que la norma es absoluta, esta tiene un
verdadero significado geomtrico. De la misma manera, el producto interno de
dos vectores es absoluto, no relativo, de manera que tiene un verdadero
significado geomtrico.
2.6 La norma de Minkowski
La transformacin de Lorentz
u
H esta diseado para preservar el cono de luz,
el que corresponde al conjunto
{ }
2 2
( , ) / 0 L t z t z . En efecto,
u
H hace
mucho mas; de acuerdo al siguiente teorema,
u
H preserva cada una de las
hiprbolas
2 2
t z k
, para todo k . (la asintota comn de estas hiprbolas es
el cono de luz). Figura 5.
Figura 5
11
t
z
0 k <
0 k >
0 k
Tipo espacial T
Tipo Luz T
Tipo
temporal
GEOMETRA MODERNA
GEOMETRA DE MINKOWSKI
TEOREMA : Si
2 2
k
y
cosh
cosh
u
t u senhu
H
z senhu u


_ _ _ _


, , , ,
entonces
2 2
t z k
. El parmetro
u
puede tomar cualquier valor real.
PRUEBA
2 2 2 2
( cosh ) ( cos ) t z u senhu senhu hu + +

2 2 2 2 2 2
cosh 2 cosh u u senhu senh u senh u + +

2 2
2 cosh cosh senhu u u

2 2 2 2 2 2 2 2
(cosh ) (cosh ) u senh u u senh u
2 2 2 2
t z
Desde que
2 2
t z
corresponde a la norma
2
2 2
x x y +
r r r
que se usa para
medir distancias en el plano Euclidiano, tal correspondencia sugiere que
deberamos tratar
2 2
t z
como una norma para medir distancias en el espacio
tiempo. Este es el enfoque que Hermann Minkowski asumi en 1907.
2.7 El cono de luz divide al espacio tiempo
Tal enfoque es complicado por el hecho de que
2 2
t z
puede ser negativo
como tambin positivo o cero.
Con el fin de ver lo que esto implica, trabajemos con eventos
( , , , ) E t x y z
en
el espacio tiempo (1+3) dimensional. En este caso definimos
2 2 2 2
( ) Q E t x y z
o
2 2
( ) Q E t z
si
( , ) E t z
. El conjunto
( ) 0 Q E
es un cono que separa el
espacio tiempo en dos regiones:
Q
es positivo en una regin y negativo en la
otra. Figura 6.
12 1
Tipo espacial T
Tipo Luz T
Tipo
temporal
GEOMETRA MODERNA
GEOMETRA DE MINKOWSKI
Figura 6
Actividad: Dibuje el cono de luz para eventos
( , , ) E t x y
e indique las
regiones que corresponde a los eventos del tipo temporal, tipo espacial y tipo
luz.
Vemos as que
( ) 0 Q E >
en todo los puntos dentro del cono (parte sombreada
de la figura). Desde que la imagen de cualquier eje temporal de un
observador bajo una transformacin del Lorentz
u
H yacer en el interior del
cono, decimos que los eventos E en el interior del cono son del tipo temporal.
El exterior del cono donde
( ) 0 Q E <
contendr las imgenes de ejes
espaciales de otros observadores, de manera que decimos que los eventos E
en esta regin son del tipo espacial. Finalmente, decimos que los eventos
sobre el cono de luz son del tipo luz.
Definicin: La norma de Minkowski de un evento
( , , , ) E t x y z
en el espacio
tiempo es
( ) Si es del tipo temporal:Q( )>0
( ) Si es del tipo espacial:Q( )<0
0 Si es del tipo luz: Q( )=0
Q E E E
E Q E E E
E E


'

Desde que estamos trabajando con unidades geomtricas, en el cual la


longitud tiene dimensiones de tiempo, la norma de Minkowski tiene igualmente
dimensiones de tiempo. Por ejemplo, si
(5sec, 3sec) E
, entonces,
4sec E
.
Esto por supuesto no es un error: La geometra de Minkowski tiene un triangulo
3-5-4 cuando la geometra Euclidiana tiene un triangulo 3-4-5.
Actividad: Dibuje el triangulo 3-5-4 de la geometra de Minkowski.
13 1
Tipo espacial T
Tipo Luz
z
tt
Tipo
temporal
GEOMETRA MODERNA
GEOMETRA DE MINKOWSKI
2.8 El circulo unidad en la geometra de Minkowski
Cuando usamos la norma de Minkowski para medir longitudes en el espacio
tiempo, se obtiene resultados que son a primera vista sorprendentes y no
intuitivos. Para empezar por ejemplo, el circulo unidad en la geometra de
Minkowski es el par de hiperbolas
2 2
1 t z t
. Asi todos los vectores que se
muestran en la figura 7 son vectores unitarios del tipo temporal a la izquierda,
del tipo espacial a la derecha.
Actividad: Observe la figura 7, y responda que pasara si midiera los vectores
unitarios con la norma Euclidiana.
Figura 7
Actividad: El dibujo de la figura 7 es una parte del circulo unidad de acuerdo
a la norma de Minkowski. Dibuje la otra parte del circulo unidad que falta.
2.9 El producto interno de Minkowski
El producto interno Euclidiano estndar de dos vectores x
r
y
y
r
esta dado por
1
1 2 1 1 2 2
2
1 0
. ( , )
0 1
t
y
x y x Iy x x x y x y
y
_ _
+

, ,
r r r
Desde que
2
2 2
1 2
. x x x x x +
r r r
, la analoga entre las normas Euclidiana y de
Minkowski sugiere que deberamos definir el producto interno de Minkowski de
dos eventos
1
E
y
2
E
como
2
1 2 1 1,1 2 1 2 1 2
2
1 0
.
0 1
t
t
E E E J E t t z z
z
_ _

, ,
14
t
z
GEOMETRA MODERNA
GEOMETRA DE MINKOWSKI
Se observa que la diferencia entre el producto interno de Minkowski y producto
interno Euclidiano yace solo en la matriz que los define La matriz indentidad
en un caso y la matriz
1,1
J
en el otro. Para definir el producto interno de
Minkowski en el espacio tiempo (1+3) dimensional, usamos la matriz
1,3
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
J
_

,
Entonces
2 2 2 2
1,3
. ( )
t
E E E J E t x y z Q E de manera que
2
2
Si es del tipo espacial
.
E Otro caso
E E
E E

'

TEOREMA: Las rotaciones hiperbolicas preservan el producto interno de


Minkowski.
PRUEBA
1 2 1 1,1 2 1 1,1 2
( ). ( ) ( )
t t t
u u u u u u
H E H E H E J H E E H J H E

1 2
cosh 1 0 cosh
s cosh 0 1 s cosh
t
u senhu u senhu
E E
enhu u enhu u
_ _ _

, , ,

1 2
cosh cosh
cosh cosh
t
u senhu u senhu
E E
senhu u senhu u
_ _

, ,

1 2
1 0
0 1
t
E E
_

,

1 2
. E E
2.10 Consecuencias fsicas
Por citar se indica algunas de las consecuencias fsicas de la teora de la
relatividad de Einstein basado en la constancia de la velocidad de la luz.
2.10.1 Longitud y tiempo
Una de las consecuencias de la teora de la relatividad de Einstein es que la
longitud y el tiempo no son independientes.
2.10.2 Limite de la velocidad
15
GEOMETRA MODERNA
GEOMETRA DE MINKOWSKI
Ningn observador Galileano puede viajar mas rpido que la velocidad de la
luz, relativo a otro observador Galileano.
2.10.3 Simultaneidad
Dado cualquier evento del tipo espacial E , existe un observador quien afirma
que el evento E y el evento O son simultneos.
2.10.4 Causalidad
Si el evento A causa, o influencia, el evento B , entonces A debe acontecer
antes que B . Con el fin de que este principio de causalidad sea una ley fsica,
A debe acontecer ante que B para todos los observadores Galileanos.
2.10.5 Rigidez
Uno de las consecuencias intrigantes de la estructura causal del espacio
tiempo es que ningn objeto fsico es completamente rgido.

16