2, 1987
(')
13
l. Espacios Seudoeuclideanos.
1.1 Definicin del esp_acio seudoeuclideano.
Definicin 1.1.1 Un espacio seudoeuclideano E es un espacio ve,~
torial real de dimensin finita n, en que es definida una funcin
real bilineal simtrica el> que tiene las propiedades siguientes:
1.- Es no degenerada, es decir que si para un elemento XE E, cualquiera dado se cumple, para todo yEE, que tfJ (x, y) es igual a O,
entonces x es igual al vector nulo de E que designamos tambin
porO.
2.- Es indefinida, o sea que la forma cuadrtica x -) tfJ (x, x) toma
valores positivos y negativos. Es decir que eJciste algn vector
para el cual es tfJ (x, x) >O y algn otro para el que es tfJ (x, x) < O.
tfJ se llama producto interno del espacio seudoeuclideano E.
(x, y) es el producto interno de x e y, y se designa tambin por
(x ly). Se dice que dos vectores son ortogonales si su producto interno es nulo. Se llama scudonorma de un vector x al nmero positivo.
11 x 11 =+ v' 1(x 1x) 1
tfJ
Si
11
x JI
un producto escalar 1), respecto del cual E resulta ser dual consigo
mismo. Por consigu.iente, a cada subespacio E1 de E le corresponde el subespacio complemento ortogonal de E1 , que se designa
por (E1)1., que est formado por los vectores de E que son ortogonales a todos los vectores de E1 . Puesto que E es de dimensin finita
se tiene 2).
dim E1 + di m (E 1)-1 = dim E,
(1.2.1)
relacin que se expresa diciendo que un subespacio y su complemento ortogonal tienen dimensiones complementarias.
En general, dado un subespacio E1 de E, no siempre ste es suma directa del primero y de su complemento ortogonal, lo que s
tiene lugar en el caso en que E es un espacio euclideano 3), pues entonces se cumple que E1 n (E1 )-L = (0}, de modo que (1.2.1) implica
que E es suma directa de E1 y (E1)-L. Esto no ocurre en un espacio
seudoeuclideano, porque puede elegirse en l (ver la secccin 1.2)
un vector te O; y el subespacio E1 de dimensin 1 generado por
est contenido en (E1)-l, y por tanto es E1 n (El)-l te {O}.
1)
2)
3)
15
Demostracin.
=O
Si, inversamente, suponemos que se cumple (1.2.2), podemos deducir que el producto interno no es degenerado en E1. En
efecto, supongamos que existax 1 E E1 tal que:
y= Yl +yl.,
E.L
Se tiene entonces:
(xly)
=O
paratodovectorye E
de donde se deduce, por cuanto el producto interno es no degenerado en E, que x 1 =O, y por consiguiente el producto interno es no degenerado en E1.
Las proposiciones que demostraremos a continuacin requieren emplear algunas definiciones relativas a las funciones
bilineales simtricas, que son aplicables en particular al producto interno de un espacio seudoeuclideanci.
16
Definicin 1.2.2 Una funcin bilineal simtrica <t> definida sobre un espacio vectorial se dice que es definida positiva (definida
negativa) si se cumple la condicin <t> (x) > O (resp. <t> (x) < O) para
todo vector x :t O; y que es semidefinida positiva (semidefinida
negativa) si para todo x es <t>(x) ~ O (resp. <t>(x) ~ 0), pero para algn
x :t. Oes <t>(x) =O.
Debe recordarse que si <t> es definida o semidefinida (positiva o negativa) se cumple la desigualdad de Schwarz 1), es decir la
relacin:
<P (x,y)2 ~ <P(x) <P(y)
1)
La desigualdad de Schwarz se prueba ordinariamente con la suposicin de que <l>(x) ~ Opara todo x. En
el caso en que es <t> :5O basta aplicar la desigualdad a la funcin bilineal simtrica -<t> definida por
(-<!:>) (x, y)= -<l>(x, y).
17
-4>
=-4> (x,
y).
Demostracin:
a) Si hubiera en E1 un vector no nulo x 1 tal que (x 1 1y) =O para
todo y e E1, se tendra que (x 1 1x1) = O, y resultara una con18
ye E+ ,areal;
Si fuera <!>(z) > O resultara <!>(x) >0 para todo x :t: O de E 2 y <!>
sera definida positiva en dicho espacio, cuya dimensin es mayor que la de E+, con lo cual resultara una contradiccin. Debe
ser por tanto.
ct(z) 50
(E+)l..
Ahtm>
19
x =y +z~
luego
Sean E+ y E"- dos subespacios que se corresponden de lamanera que fue establecida en la proposicin 1.2.3, parte (b). Dichos
espacios admiten, como entonces se seal, estructuras de espacios euc1ideanos con los productos internos <!> y -<I> respectivamente; por consiguiente poseen bases ortonormales, es decir tales que
cada uno de sus elementos es unitario y cada dos de ellos son ortogonales entre s respecto de los correspondientes productos internos. Sean pues {e1, ... , es }y fes+lt ... , enJ bases ortononnales de
E+ y de E respectivamente. Dado que E+ y E- son mutuament.P
ortogonales se cumplen entonces las relaciones.
para (i,j =1, ... , n, i :;tj);
para (i =1, ... , s);
para(j =s + 1, ... , n);
(e le} =0
(e lej=1,
(e le}=-1,
(1.2.4)
y se dice que la base {el> .. , en} de E es una'base ortonormal del espacio seudoeuclideano E.
Dados dos vectores x e y, cuyas expresiones respecto de dicha
n
base son x
=?
~ie , y= L
1=1
j=l
<f(x,y) =(xly)
=L
i=l
~7]- L
~7Jj,
(1.2.5)
i=s+l
y por consiguiente
s
(1.2.6)
i=s+l
nlecerse:
Proposicin 1.2.5. El nmero de trminos. positivos de la expresin de (x lx) mediante las componentes de x relativas a una base
ortonormal, es igual al ndice s de 11> o sea del espacio seudoeuclideano E; y las expresiones de ll>(x, y) y fl>(x) son dadas por las frmulas (1.2.5) y (1.2.6).
Definicin 1.2.6. Un vector x :t O del espacio seudoeuclideano E se
Barna vector espacial si (xlx) <O, vector temporal si (xlx) >O y
vector lumnico si (x 1x) =O.
Si i.. es un nmero cualquiera no nulo, Jx es un vector espacial, temporal o lumnico al mismo tiempo quex.
Si x es espacial o temporal, xl 11 x 11
espacial o temporal respectivamente.
es un vector unitario
2,_
1=1
(~) 2 -
L (tj)2 =O,
i=s+l
T1
= Yi = e;., donde
(1.3.2)
a (-J)n-s >0.
La funcin
determinant~::
(1.3.3.)
v'a (-1)n-s
satisface a la relacin
1)
... ,yrJ
=(-l)n-s
det((x ly)J,
(1.3.4)
Tola. Algebra lineal, 11 (Aigebra exterior), Universidad Nacional de Ingeniera, Instituto de Matemticas Puras y Aplicadas (1968), capitulo 2. En particular, seccin 2.5, (2.5.1).
23
T}
r'
= ~r'- fr
.1(x, x) =
(x ly)
(x'ly)
(x'ly)
.1(x,x). .1(y,y) = -
24
y por tanto se representa por las dos rectas que contienen a todos
los vectores tales que ~1 = ~2 y ~1 = -~2 (fig.l).
Puede verse que los vectores
figura 1
Por consiguiente:
x es un vector espacial si Q ~2 <
es
IX
<
oy
9192
<
o.
O;luego~l
Proposicin 1.4.2. Dados dos vectores temporales x e y, su producto interno (x ly) es negativo si y slo si ambos estn en T+ o en
T-.
En el plano seudoeuclideano, como en todo espacio vectorial
de dimensin finita puede ser introducida una orientacin 1) me-
1)
26
Tola, Algebra liJ,eal, 11, (Algebra exterior), Universidad de Ingeniera, Instituto de Matemticas
Puras y Aplicadas (1938), seccin 2.1.
(1.4.2)
t/x,y)2
(xfx)(yly)
(xlx)(yly)
=l.
(1.4.3)
Las conocidas propiedades de las funciones hiperblicas aseguran la existencia de un slo nmero real e tal que
l(xly)l
cosh 6=
11
X!!
.11
Y 11
y senh 6=
t/x,y)
11
il.lly 11
(1.4.4)
Definicin 1.5.1. Se llama ncleo de una funcin bilineal simtrica 't' definida sobre un espacio vectorial V al subespacio K de-
27
nnido por
K= {y
V}.
(1.5.1)
(1.5.2)
Demostracin.
(1) Para demostrar la primera parte basta probar, evidentemente, que si z1 es un vector tempora"l entonces es (z 1 1z) :t: O. En
virtud de (1.5.1) podemos escribir
(1.5.3)
Ahora bien, por (1.5.2), se tiene
A. :t: O, y resulta
t..2
es
[(zlz)=~l,
(zly)=O,
(yly)>O];
= (y ly)
Se obtiene entonces
(1.5.4)
y por la misma razn se tiene
de donde se deduce que (1.. 1)2 = (y 1 1y1 ). Y, semejantemente se comprueba que (i.2)2 = (y2l Y2). Ahora bien, de (1.5.4) resulta que
y por tanto
(1.5.5)
Los vectores YJ> y 2 pertenecen al complemento ortogonal de z, espacio en el que el producto interno es definido positivo, y (1.5.5)
muestra que, para dichos vectores, la desigualdad de Schwarz se
reduce a una igualdad, luego, segn es sabido, Yl e Y2 son linealmente dependientes, y por tanto es y 2 =J.y1; luego (1.5.4) toma la
forma
30
~s
~dems
es
tanto ;,1 =V(y 1 1y1). Luego el vector lumnico 1 puede expre:arse en una de las formas
r por
(1.5.6)
31
y por consiguiente es
x=
(y lyl)
z+y,
y(y1IY1)
1.6. Conos del futuro y conos del p::rsado. Sq;,ruin:mos considerando aqu un ef:paeio seudoeuclideano E de dimensin n e
ndice n-l.
El conjunto T de sus vectores temporales, o sea de aquellos
vectores z para los cuales es (z 1z) < O se descompone en dos subconjuntos T+ y T- de la manera siguiente. Definamos en T una
relacin de equivaltncia de la manera siguiente: Dos elementos
z1 y z2 de T son equivalentes si
(1.6.2)
y
(1.6.3)
(1.6.4)
y por tanto
en dos subconjuntos disjuntos que son las clases de equivalencia. Dado un vector temporal z1 arbitrario, si z es cualquier otro
vector temporal, o bien es (z 1 1z) < O, y entonces z pertenece a la
misma clase que ZJ> o bien es (z 1 1-z) <O, y entonces z pertenece a
la misma clase que -z1. Son esos subconjuntos los que llamaremosT+yT-.
Los subconjuntos T+ y T- son convexos, pues si z1 y z2 pertenecen a uno de ellos, y por tanto es (z 1 1z.V < O, entonces para
~t;g se tiene
(tz2 + (1-t) z1i tz2 + (1-t)z1J =t 2 (z21z~+2t (1-t) (z2iz1J
+ (1-tJ2
(ZJIZJ) < 0
(taz2 + (1 - tJz 1J = o,
lo que prueba que T no es convexo.
35
1.7
<p
es sobreyectiva por-
para todo z de E; de donde resulta que x = y. Por cuanto E es de dimensin finita, <p es entonces un automorfismo. Es evidente, adems, que transforma a los vectores espaciales, temporales y
lumnicos en vectores de la misma naturaleza respectivamente.
Supongamos ahora que E es el plano euclidean.o y que <p es
una rotacin del mismo. Vamos a suponer en adelante que se
cumple la condicin
det cp>O,
lo cual implica que
ma orientacin 1).
<p
(1.7.2)
1)
36
(1.7.4)
-12
(el+--
ev,
el
y).
(1.7.5)
37
Si designamos ahora por ~1 y ~ 2 ' a las componentes de ~ = cpx respecto de la base {el> e:J), se obtienen las frmulas de transforma-
cin
rc-vl
A=
1/2
L~~
puede escribirse
a
~ V~J+~2
~1 -
~2
~2=
~/=
ll/2'
_v2
..
~]
[ - v2ll/2
c2
(1.7.6)
38
~1- v;2
c2
~/=
~1 + ~2
' ~2=
[- ~]
c2
1/2
'(1.7.6)
~- :]
1/2
39
;-
-r
;+ r
r'=
f=
[1- ~]
1/2
~- ~J
1/2
e
, senh 6=
eosh 6=
1/2
=~ cosh (} + r senh (}
(1.7.7)
r'
=~ senh 6+ r cosh (}
=!? - r(2,
40
(1.7.8)
rrJ cosh e,
cosh e=
sen 8=
(xlx}
l(xlx)l
=
lxl. Jx'l
'y
.1(x,y)
lxl. lx' 1
e> O,
41
=-senh e.
cosh e
-senh e
=-senh e.
senh e
-cosh ()
e }),
43
=v
t'=Bx+Ct
44
y=y'
z=z'
(2.2.2)
el'=
9'=
vel
+e
(2.2.4)
x' =x'[t1,
y' =y [(-Bx'[t1 +At'/A(C +Bv)]=y'[t1,
z' =z[(-Bx'[t1 +At'/A(C +Bv) =z' [t1,
representan, en el sistema S', a la parte de la trayectoria correspondiente al intervalo de la variable t comprendido entre los ins
tantes de los sucesos cuyas coordenadas en el referencial R(S, S')
son
(x'[a'},y'[a'], z'[a'],a') y (x'[b'], y'[b'],z'[b'],b').
Consideremos ahora en el sistema S' una trayectoria rectilinea de velocidad constante, es decir dada por ecuaciones de la
forma
X
Z'
(2.2.5)
46
(2.2.6)
X=
(Ca+Av)t + f3
A-Ba
C+Bv
A-Ba Ay'
C+B
A-Ba A .
(2.2.7)
Se ve de esta manera que para el sistema S la trayectoria es tambin rectilnea y de velocidad constante.
Si consideramos, en particular, en el sistema S', la trayectoria de velocidad nula de ecuaciones paramtricas
formada por sucesos que tienen coordenadas espaciales idnticas, sus ecuaciones en el sistema S son
AC+Bv
A-Ba
A-Ba
r, o.
(2.2.8)
(2.2.9)
(2.2.10)
C2 es dada por
1
, B2=
1-v2fc2
1
A=C=
(1-v2fc2Jll2
(1- v2 Jc2)112
Por consiguiente las frmulas de transformacin, llamadas frmulas de transformacin de Lorentz, tienen la forma
x-vt
x'=
{1-v2fc2)112
(-v/c2)x +t
,y'=y,z'=z, t'=
(1-v2fc2)1/2
(2.2.11)
x=
(v 1c2)x' + t'
(1-v2Jc2)II2
(2.2.12)
1
Si representamos por p a la expresin
(J-v2Jc2)112
,la
fnnulas (2.2.3) y (2.2.4) que dan las relaciones entre las bases
asociadas a los referenciales R(S) y R(S, S') se escriben en la
formP
e1 =p(e/+(vfc2)()), B=p(ve/+8),
(2.2.13)
(2.2.14)
2.3
so
se cumple que
Segn hemos establecido en la seccin precedente, el segundo miembro de (2.3.1) tiene el mismo valor cualquiera que sea el
51
sistema inercial que se considere, por cuanto (x, Yi> z, t), i=l,2,
son las coordenadas del suceso Pi tal que Vi es el vector que corresponde al par de puntos (0, Pi ) del espacio afn U.
es evidentemente un espacio vectorial seudoeuclideano de dimensin 4 e ndice 3 que se llama espacio de Minkowski, y por tanto
el espacio U es un espacio afn asociado al espacio de Minkowski,
al cual, siempre que no haya lugar a confusin, llamaremos
tambin espacio de Minkowski, y constituye una representacin
del universo relativa a un sistema inercial cualquiera S al que
se distingue como sistema en estado de reposo.
Si designamos por qJ a la aplicacin del espacio seudoeuclideano V sobre s mismo que hace corresponder a los vectores
los vectores
Sin embargo, para nuestros fines, las frmulas (2.2.11) pueden ser interpretadas, segn ya sealamos, como correspondientes al cambio de la base (e1, ez, e3, e} asociada al referencial
R(S) por la base {e/, e_2, e3 ', e1 asociada al referencial R(S, S'),
resultante de una rotacin no euclideana en que los vectores e2 y
e3 quedan invariables y los vectores e2 y e3 cambian en los vectorese1'y e'.
2.5 Composicin de velocidades. Como nico ejemplo de aplicacin de las frmulas de Lorentz nos limitaremos aqu a probar
la clebre frmula de Einstein de la suma de velocidades.
Consideremos los sistemas inerciales S y S' referidos a sus
referenciales R(S) y R(S, S'). Si suponemos en S' un mvil que se
desplaza paralelamente al eje x' con velocidad constante u', sus
sucesivas posiciones en el espacio U constituyen sucesos que dan
lugar a una trayectoria rectilnea cuyas ecuaciones en el sistema
S' son
x'=u't, y'=y'()l z'=z'o-
x-vt
=U '
{1-v2/c2)112
{1-v2Jc2)112
X=
z=z'o-
u'v
153
La velocidad de esta trayectoria es la velocidad del mvil respecto del sistema S, y su valor es
u'+v
u=
u'v
1-
c2
/3=
54
y, adems, sustitumos la variables t y t' del tiempo por las nuevas variables
w=ct
y w'=ct
x-f3w
w'=
X=
-./1-fF
w-f3x
,fJ-fF
(3.2.1)
x'+f3w'
X=
W=
(3.2.2)
w = {3x,
y por tanto es la recta que pasa por el origen y hace con el eje x un
q,rulo a. tal que tg a = ~- Puesto que la velocidad v es menor que la
velocidad e de la luz en valor absoluto, debe ser 1 ~ 1 <1; es decir
que el eje x', cuyo coeficiente angular depende de u, hace con el
eje x un ngulo menor de 45 grados.
Semejantemente, la ecuacin del eje w', cuyos puntos cumplen la condicin x' =O, es
x = f3w.
Por tanto dicho eje es la recta que pasa por el origen y hace con el
eje w el ngulo a. Resulta as que la bisectriz del ngulo que forman los ejes x' y w' coincide con la bisectriz del pri-mer cuadrante.
Para determinar las unidades de longitud sobre los ejes x' y
w' basta que determinemos las coordenadas x y w de los puntos
1
x=
(3.2.3)
W=
X=
[3
w=
_1_
vT-]12"
(3.2.4)
Vx2+w2=
+/P
>1.
1-{P
Un suceso cualquiera P (figura 2) cuyas coordenadas espacio-temporales para el sistema S son (x,t) es representado por el
punto cuyas coordenadas en el plano xw son x y w = ct. Si las coordenadas del mismo punto relativas al sistema de coordenadas
x'w' son (x', w'), medidas con la escala que corresponde a esos
ejes, entonces sus coordenadas espacio-temporales para el sistema S' sonx' y t' =w' /c.
La determinacin de la unidad de la escala de los ejes x' y
w' que corresponden a un determinado valor de ~ puede llevarse a
cabo grficamente de la manera siguiente. La ecuacin, relativa
al sistema de coordenadas xw, del lugar geomtrico de los puntos
cuyas coordenadas son (1, 0), respecto de alglino de los sistemas
x'w' que corresponden a los diversos valores de !3, se obtienen
eliminando a !3 entre las dos ecuaciones (3.2.3). Resulta as la
ecuacin
(figura 3). Semejantemente, eliminando ~ entre las dos ecuaciones (3.2.4) se obtiene la ecuacin, relativa al sistema de coordenada xw, del lugar geomtrico de l5s puntos cuyas coordenadas
respecto cada uno de los sistemas x'w' que corresponden a los diversos valores de ~.son (O, 1). Se obtiene as la ecuacin
x'
-3
figura3
u
X=
=j3uJ,
que pasa por el origen y cuyo coeficiente angular respecto del eje
w es igual a~ Puesto que es 1~ 1<1, esa recta se encuentra situada
dentro de la zona que aparece rayada en la figura 4, es decir en
dos de los sectores determinados por las bisectrices de los cuadrantes
en que el plano xw es
dividido por los ejes.
Si, en forma ms
general, suponemos que
el mvil se mueve de una
manera cualquiera sobre el eje x del referencial del sistema S, de
manera que sus posiciones sobre dicho eje son
dadas en cada instante t
por la funcin
Ir
~
j
fzgura4
------~------------------~
59
X =f(t),
x=f(w/e)=g(w),
cuya tangente en el punto (x, w) tiene, respecto del eje w, el coeficiente angular
g'(w)=
dx
dw
dx
dt
=--
dw
u
e
Las bisectrices de lo
dos cuadrantes del sistema de coordenadas xw
son representativas de
las posiciones de un mvil que se desplaza con la
figura5
velocidad de la luz. Es
por tanto la lnea del un~----verso de las mcesivas posiciones de un rayo de luz. De all la
denominacin de vectores lumnicos que tienen los vectores l de
componentesx, w tales que
60
w"
w'
x'
x"
PRESENTE
PRESENTE
62
Hemos visto que, segn sea el sistema inercial que se considere, un suceso dgdo del pasado o del futuro puede ocurrir para
un observador en el mismo punto de su sistema de coordenadas
que el suceso O, aunque en tiempo distinto, y para otro puede tener
lugar en puntos distintos de su sistema de coordenadas; pero para
ambos observadores el suceso se realiza antes o bien se realiza
despus que el suceso O. Por esa razn los sucesos situados en los
conos del futuro o del pasado se llaman sucesos temporales. En
cambio, un suceso del presente ocurre para todo observador en un
punto distinto de aquel en que ocurre el suceso O, respecto de su
-referencial, pero puede coincidir para l en el tiempo. Por esa
razn los sucesos del presente se llaman tambin sucesos espaciales, denominaciones que son coincidentes con las que dimos
a los vectores situados en esa zonas del plano euclideano.
La representacin geomtrica del universo fsico mediante
el espacio de Minkowski permite llevar a cabo muchas otras
opservaciones de inters, de las cuales no es el caso tratar en la
presente nota.
63