Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Introducci On Geometría Diferencial
Introducci On Geometría Diferencial
on a la
GEOMETRIA DIFERENCIAL
DE VARIEDADES
nchez Caja
Miguel Sa
Jos
e Luis Flores Dorado
Indice general
1. Topologa b
asica
1.1. Generalidades . . . . . . . . .
1.2. Construccion de topologas . .
1.3. Axiomas de numerabilidad . .
1.4. Lmites. Espacios Hausdorff .
1.5. Continuidad . . . . . . . . . .
1.6. Espacios topologicos metricos
1.7. Conexion y arcoconexion . . .
1.8. Compacidad . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
5
8
9
10
12
16
18
.
.
.
.
.
.
.
23
23
26
31
34
38
41
44
3. Espacio tangente
3.1. Concepto de vector tangente . . . . . . . . . . . . . . .
3.1.1. Vector tangente como clase de equivalencia de
curvas . . . . . . . . . . . . . . . . . . . . . . .
3.1.2. Vector tangente por coordenadas . . . . . . . .
3.1.3. Vector tangente como derivacion . . . . . . . . .
3.2. Estructura del espacio tangente . . . . . . . . . . . . .
3.2.1. Vectores tangentes inducidos por los entornos coordenados . . . . . . . . . . . . . . . . . . . . .
i
49
49
50
52
53
55
56
INDICE GENERAL
ii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5. Campos vectoriales
5.1. Concepto de campo vectorial . . . . . . .
5.2. Estructura de los campos vectoriales . .
5.3. Paralelizabilidad . . . . . . . . . . . . .
5.4. Curvas integrales. Flujos . . . . . . . . .
5.5. Grupo uniparametrico de difeomorfismos
5.6. Corchete de Lie . . . . . . . . . . . . . .
Tp Q
. . .
. . .
. . .
. . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
57
60
62
63
64
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
67
69
69
69
70
71
73
76
79
.
.
.
.
.
.
.
85
85
86
87
89
91
95
99
.
.
.
.
.
.
.
.
.
.
.
.
105
105
105
107
108
111
111
112
112
116
117
118
118
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
INDICE GENERAL
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
119
122
125
127
.
.
.
.
.
.
.
.
131
131
135
137
138
139
141
142
144
8. Integraci
on en Variedades
155
8.1. Motivacion . . . . . . . . . . . . . . . . . . . . . . . . . 156
8.2. Integracion de nformas diferenciales . . . . . . . . . . 159
8.2.1. El problema de la integracion sobre una variedad 159
8.2.2. Integracion de n-formas en entornos coordenados 161
8.2.3. Integracion general de nformas . . . . . . . . 163
8.2.4. Particiones de la unidad e integracion . . . . . . 165
8.3. Integracion de funciones . . . . . . . . . . . . . . . . . 167
8.3.1. Elementos de volumen e integracion de funciones 167
8.3.2. Integracion en variedades semi-riemannianas . . 167
8.4. Teora de la medida . . . . . . . . . . . . . . . . . . . . 169
8.4.1. Nota previa sobre la integral de Riemann . . . . 169
8.4.2. Medida de Lebesgue . . . . . . . . . . . . . . . 171
8.4.3. Integral de Lebesgue en Rn . . . . . . . . . . . 172
8.4.4. Conjuntos de medida nula y espacio de medida
en una variedad . . . . . . . . . . . . . . . . . . 175
8.4.5. Integracion en una variedad . . . . . . . . . . . 176
8.5. Apendice 1: algebra exterior sobre V (R) . . . . . . . . 178
8.6. Apendice 2: Elementos de volumen en V (R) . . . . . . 183
8.6.1. Elemento de volumen y orientacion . . . . . . . 183
8.6.2. Determinante de un endomorfismo . . . . . . . 184
8.6.3. El elemento de volumen metrico orientado . . . 185
8.7. Apendice 3: rformas y orientacion . . . . . . . . . . . 186
INDICE GENERAL
iv
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
191
191
191
194
198
199
200
201
204
206
209
209
210
211
214
216
221
223
223
224
.
.
.
.
.
.
.
225
225
229
231
234
236
237
238
11.Curvatura
11.1. Concepto de curvatura . . . . . . . . . . . . . . . . . .
11.2. Tensor de curvatura 4-covariante . . . . . . . . . . . .
11.3. Curvatura seccional . . . . . . . . . . . . . . . . . . . .
241
241
242
243
10.Conexiones afines
10.1. Concepto de conexion afn
10.2. Smbolos de Christoffel . .
10.3. Derivada covariante . . . .
10.4. Transporte paralelo . . . .
10.5. Geodesicas . . . . . . . . .
10.6. Conexiones simetricas . . .
10.7. Aplicacion exponencial . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
INDICE GENERAL
11.4. Tensor de Ricci . . . . . . . . . . . . .
11.5. Curvatura escalar . . . . . . . . . . . .
11.6. Significado de la curvatura . . . . . . .
11.6.1. Orgenes geometricos . . . . . .
11.6.2. Como la curvatura determina la
11.6.3. Ecuacion de Jacobi . . . . . . .
11.6.4. Otras propiedades . . . . . . . .
v
. . . . .
. . . . .
. . . . .
. . . . .
metrica
. . . . .
. . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
244
245
246
246
250
252
253
.
.
.
.
.
.
.
.
.
.
.
.
.
255
255
255
257
259
261
263
265
265
267
269
270
273
275
vi
INDICE GENERAL
Nota introductoria
El presente volumen recoge los apuntes del curso Fsica Matematica III:
Ga Diferencial y Variedades impartido por el primero de los autores en
la licenciatura de Fsica desde el a
no 00/01. Su objetivo es ofrecer una
introduccion rapida a la Geometra Diferencial que provea al estudiante de una base geometrica para la Mecanica Racional, la Relatividad
General y otras ramas de la Fsica.
Con este objetivo, hacemos especial hincapie en la reflexion sobre
los conceptos y estructuras geometricas, ilustrandolos con ejemplos comunes en Fsica. Las demostraciones tambien estan orientadas a este
fin, por lo que se seleccionan aquellas que permiten profundizar en los
conceptos o resolver problemas concretos. No obstante, aunque se excluyan demostraciones, a menudo se dan esquemas o ideas intuitivas
de ellas, que aporten mas seguridad a los conocimientos adquiridos.
Estos apuntes tambien se han revelado u
tiles para alumnos de Matematicas como los de doctorado, los cuales, una vez concluida la licenciatura, han necesitado reordenar sus conocimientos geometricos. No
obstante, conviene que los lectores de formacion matematica tengan
presente las siguientes dos advertencias:
(1) El objetivo de las frecuentes Notas o Apendices sobre cuestiones de motivacion fsica no es ense
nar estas a quien se las tope por
primera vez: si este es el caso, resulta preferible saltarselas. Su modesto
objetivo es permitir, a quien ya las ha estudiado alguna vez (aunque,
probablemente, con un lenguaje muy diferente) ubicarlas en el contexto
geometrico apropiado.
(2) Aunque los conceptos se suelen definir del modo intrnseco libre
de coordenadas usual en la Matematica moderna, se hace especial
hincapie en las expresiones en coordenadas (incluso desde el punto
de vista de los fundamentos). Ello suele ser especialmente u
til para
vii
viii
INDICE GENERAL
INDICE GENERAL
ix
INDICE GENERAL
Captulo 1
Topologa b
asica
1.1.
Generalidades
Intuitivamente la Topologa es la rama de las matematicas que estudia las propiedades de los objetos que se conservan cuando estos se
deforman sin cortar ni pegar (con la excepcion de que es posible
cortar si luego se pega por el mismo sitio). Por ejemplo, la superficie de una bola es topologicamente equivalente a la de una pelota de
rugby o la de una barra, aunque no lo es a la de un toro, puesto que este
u
ltimo tiene un agujero. Este u
ltimo es topologicamente equivalente a
un toro anudado como el de la Figura 1. En el presente captulo estudiaremos algunos preliminares topologicos, que pueden encontrarse
en cualquier libro elemental de Topologa (p. ej., vease [AMR, Chapter
1] o [Ar]).
CAPITULO 1. TOPOLOGIA BASICA
Figura 1
Definiciones 1.1.1 Dado un conjunto X diremos que una colecci
on
de subconjuntos de X es una topologa si verifica:
(i) , X .
(ii) Si U, V entonces U V (o, equivalentemente, la intersecci
on finita de elementos de pertenece a ).
(iii) La union arbitraria de elementos de pertenece a .
Al par (X, ) lo llamaremos espacio topologico. A cada elemento de la
topologa lo llamaremos abierto.
Ejemplos:
(1) Dado un conjunto X definimos la topologa trivial de X como
= {X, }.
(2) Dado un conjunto X definimos la topologa discreta de X como
= P(X) (conjunto de las partes de X, esto es, coleccion de
todos los subconjuntos de X).
1.1. GENERALIDADES
(3) Dado X = R definimos la topologa usual de R como la coleccion de todos los conjuntos que son intervalos abiertos o uniones
arbitrarias de ellos.
(4) Dado X = R2 definimos la topologa usual de R2 como la coleccion de todos los rectangulos sin borde ]a, b[]a0 , b0 [ o uniones
arbitrarias de ellos. Ello es claramente generalizable a Rn , n N,
cuyos abiertos para la topologa usual se definen como uniones
arbitrarias de nrectangulos, cada uno de estos definido como el
producto cartesiano de n intervalos abiertos. Salvo especificacion
contraria, Rn se considerara dotado siempre de la topologa usual.
Como ejemplo veamos que (3) es una topologa. Obviamente, se verifican los axiomas (i) ( =]a, a[, R =] , [) y (iii). Por tanto, solo
resta comprobar (ii). Para ello es suficiente demostrar que si U, V son
abiertos y x U V entonces existe un intervalo abierto Ix U V
tal que x Ix (pues en este caso U V = xU V Ix ). Como x U
(resp. x V ), que es abierto, existe ]a1 , b1 [ U (resp. ]a2 , b2 [ V ) tal
que x ]a1 , b1 [ (resp. x ]a2 , b2 [). Por tanto, basta tomar Ix =]a, b[ con
a = Max{a1 , a2 }, b = Min{b1 , b2 }.
Definici
on 1.1.2 Sea (X, ) un espacio topol
ogico, decimos que A
X es cerrado si su complemento en X (es decir, X A = {x X :
x 6 A}) es abierto.
Ejemplos:
(1) y X son cerrados.
(2) En R con la topologa usual el subconjunto [0, 1] es cerrado ya
que R [0, 1] =] , 0[]1, [ es abierto. Sin embargo, los subconjuntos [0, 1[ y ]0, 1[[2, 7] no son cerrados ni abiertos.
(3) En un conjunto arbitrario X con la topologa trivial los u
nicos
subconjuntos cerrados o abiertos son y X.
(4) En un conjunto arbitrario X con la topologa discreta todo subconjunto es cerrado y abierto.
(5) En R3 se ha definido la topologa usual como la coleccion de todos
los subconjuntos del tipo ]a1 , b1 []a2 , b2 []a3 , b3 [ (3-rectangulos)
CAPITULO 1. TOPOLOGIA BASICA
DE TOPOLOGIAS
1.2. CONSTRUCCION
Figura 2
(1)
AAA
(2) A = A (X A)
(3) A = A A =
AA
(4)
A coincide con la union de todos los abiertos incluidos en A (
A
es el abierto mas grande incluido en A).
(5) A coincide con la interseccion de todos los cerrados que contienen
a A (A es el menor cerrado que contiene a A).
Ejercicio. Clasifquense los puntos del conjunto A = [0, 1[{7} (]
3, 0[] 2, 1[) R.
Ejercicio. Clasifquense los puntos de un subconjunto arbitrario A
X con cardinal mayor que 1 cuando se considera para X: (i) la topologa
discreta, (ii) la topologa trivial.
1.2.
CAPITULO 1. TOPOLOGIA BASICA
DE TOPOLOGIAS
1.2. CONSTRUCCION
De manera rigurosa, la expresion poder visualizar como significa ser homeomorfo a (siendo el codominio del homeomorfismo un subespacio topologico de
R3 ); vease la Definicion 1.5.3.
CAPITULO 1. TOPOLOGIA BASICA
1.3.
Axiomas de numerabilidad
1.4.
Definici
on 1.4.1 Sea (X, ) un espacio topol
ogico y {xn }n X una
sucesi
on de elementos de X. Diremos que {xn }n converge a x X
si para todo entorno N de x existe un n0 N tal que xn N para
todo n n0 . En este caso diremos que x es un lmite de {xn }n y
escribiremos {xn }n x.
Ejemplos:
(1) La sucesion {1/n}n R converge a 0 con la topologa usual.
(2) Consideremos en un conjunto X la topologa trivial. Entonces
cualquier sucesion de X converge a cualquier elemento de X.
As, el lmite de una sucesion puede no ser u
nico.
El problema de la posible falta de unicidad de los lmites, entre otros,
se evita con el siguiente concepto.
ogico (X, ) es HausDefinici
on 1.4.2 Se dice que un espacio topol
dorff (
o T2 ) si para cualesquiera x, y X x 6= y, existen entornos
Nx , Ny de x e y, respectivamente, tales que Nx Ny = .
Proposici
on 1.4.3 En todo espacio topol
ogico Hausdorff (X, ) el lmite de una sucesi
on convergente es u
nico.
Demostraci
on. Supongamos, por reduccion al absurdo, que una sucesion {xn }n X satisface {xn }n x, {xn }n y, siendo x 6= y. Como
X es Hausdorff existen entornos Nx , Ny de x e y respectivamente que
son disjuntos. En consecuencia, existe un n0 (resp. n00 ) tal que xn Nx
(resp. xn Ny ) si n n0 (resp. n n00 ). Entonces, si n = Max{n0 , n00 }
tenemos que xn Nx Ny , lo que contradice que Nx Ny = . 2
Es inmediato comprobar que todo subespacio topologico de un espacio topologico Hausdorff es tambien Hausdorff.
Ejemplos:
(1) Rn con la topologa usual (y todos sus subconjuntos con la topologa inducida) es Hausdorff.
un conjunto X con cardinal mayor que uno y
(2) Obviamente, ning
dotado de la topologa trivial es Hausdorff. Todo conjunto con la
topologa discreta es Hausdorff.
10
1.5.
Continuidad
Definici
on 1.5.1 Sean (X, ), (X 0 , 0 ) dos espacios topol
ogicos y f :
0
X X una aplicaci
on entre ellos. Se dice que f es continua en
x0 X si para todo entorno abierto U 0 de f (x0 ) existe un entorno
abierto U de x0 tal que f (U ) U 0 . Diremos que f es continua si lo es
en todos los puntos de X (vease la Figura 3).
Figura 3
Por supuesto, en la definicion anterior podemos reemplazar la expresion entorno abierto por entorno (compruebese). Tambien es facil
comprobar:
on entre dos espacios topol
ogicos f :
Proposici
on 1.5.2 Una aplicaci
0
1
0
X X es continua si y solo si f (U ) es abierto de (X, ) para todo
abierto U 0 de (X 0 , 0 ).
1.5. CONTINUIDAD
11
Definici
on 1.5.3 La aplicaci
on f : X X 0 se dice que es un homeomorfismo si es biyectiva y tanto f como f 1 son continuas.
Dos espacios topol
ogicos (X, ), (X 0 , 0 ) son homeomorfos si existe
un homeomorfismo entre ellos (f : X X 0 o, equivalentemente, g :
X 0 X).
El concepto de homeomorfismo es uno el modo riguroso de expresar
la idea de cuando dos espacios topologicos son equivalentes y que
tratabamos de apuntar con ideas intuitivas al principio de este captulo, como las de que dos espacios topologicos son equivalentes si se
pueden obtener uno de otro deformando sin cortar ni pegar3 . Dos espacios topologicos homeomorfos poseen las mismas propiedades topologicas.
Observaciones: Sean (X, ), (X 0 , 0 ) y (X 00 , 00 ) tres espacios topologicos.
(1) La composicion g f : X X 00 de dos aplicaciones continuas
f : X X 0 y g : X 0 X 00 es tambien continua.
(2) La restriccion f |AX : A X 0 de una aplicacion continua f :
X X 0 es tambien continua (consideramos la topologa inducida
en A por X). As, por ejemplo, la inclusion i : A X X es
continua ya que coincide con la restriccion a A de la aplicacion
identidad en X. Tambien son continuas las aplicaciones
ix00 : X X X 0
x 7 (x, x00 )
ix0 : X 0 X X 0
x0 7 (x0 , x0 ).
p0 : X X 0 X 0
(x, x0 ) 7 x0 .
12
1.6.
Espacios topol
ogicos m
etricos
13
kx yk
si x, y estan en una recta que pasa por (0, 0),
0
d (x, y) =
kxk + kyk en caso contrario.
Definiciones 1.6.2 Sea (X, d) un espacio metrico y x0 X. Definimos la bola abierta de centro x0 y radio r 0 como Bx0 (r) = {x
X : d(x, x0 ) < r}. An
alogamente, definimos la bola cerrada de centro
x0 y radio r 0 como B x0 (r) = {x X : d(x, x0 ) r}.
Definici
on 1.6.3 Sea (X, d) un espacio metrico. Llamaremos topologa metrica asociada a (o inducida por) d en X a aquella que admite
por base topol
ogica todas las bolas abiertas (de cualquier centro y de
cualquier radio) para dicha metrica.
Ejercicio. (1) Pruebese que las bolas abiertas constituyen, efectivamente, una base para una topologa.
(2) Sea U un abierto de (X, d) para la topologa metrica. Pruebese
que para todo x U existe un > 0 tal que Bx () U .
Es facil comprobar que la topologa inducida por una metrica es siempre ANI y Hausdorff, aunque no necesariamente ANII.
Ejemplo. Sea X un conjunto y consideremos la distancia
0 si x = y,
d(x, y) =
1 si x 6= y.
La topologa asociada a d es la discreta. Por tanto, si X no es numerable, la topologa asociada no resultara ANII.
Un espacio topologico (X, ) se dice metrizable si existe alguna distancia d cuya topologa metrica sea . Estaremos especialmente interesados en tales espacios topologicos, pero destaquemos que, en general, la
distancia d no esta fijada de modo u
nico o canonico por .
Ejemplo. En R2 (y en cualquier Rn ) la topologa metrica asociada a la
distancia usual d0 es la topologa usual. Considerese la nueva distancia
sobre R2 , d((x, y), (x0 , y 0 )) = |x x0 | + |y y 0 | (como son sus bolas?).
La topologa metrica asociada a d tambien coincide con la usual. Sin
14
15
Definici
on 1.6.7 Sea (X, d) un espacio metrico. Diremos que una
sucesi
on {xn }n X es de Cauchy si para todo > 0 existe un n0 N
tal que si n, m n0 entonces d(xn , xm ) < .
Claramente toda sucesion convergente es de Cauchy, pero el recproco
no es cierto.
Definici
on 1.6.8 Se dice que un espacio metrico (X, d) es completo
si toda sucesi
on de Cauchy es convergente.
Ejemplos:
(1) El espacio eucldeo Rn con la distancia usual es completo. Con
la topologa inducida sus bolas cerradas B x0 (r) son completas (y
las abiertas Bx0 (r) no, para ning
un x0 Rn , r > 0).
umeros racionales Q con la distancia inducida
(2) El conjunto de los n
por la usual de R no es completo4 .
Observese que los conceptos de completitud o de sucesion de Cauchy
dependen (a diferencia de los de convergencia o continuidad) no solo
de la topologa sino tambien de la metrica. As, aunque varias distancias generen la misma topologa metrica , una misma sucesion {xn }n
puede ser de Cauchy para una de ellas y no para las otras. Pero {xn }n
sera convergente si y solo si lo es para la topologa ; por tanto, si
{xn }n es convergente tambien sera de Cauchy para todas las metricas
con topologa metrica asociada .
Ejercicio. Se dice que una aplicacion entre dos espacios metricos
f : X X 0 es uniformemente continua si
> 0, > 0 : d(x, y) < d0 (f (x), f (y)) < .
Compruebese que si f es uniformemente continua:
(a) es continua, y
(b) la imagen por f de una sucesion de Cauchy en (X, d) es una
sucesion de Cauchy en (X 0 , d0 ).
Muestrese con un contraejemplo que si f verifica (a) y (b) no tiene por
que ser uniformemente continua.
De hecho, R puede verse como la completacion de Q -intuitivamente, como el
espacio que se obtiene a
nadiendo a Q el mnimo de puntos necesarios para obtener
un espacio completo-; el concepto de completacion se puede generalizar a cualquier
espacio metrico.
4
16
1.7.
Conexi
on y arcoconexi
on
Definici
on 1.7.1 Decimos que un espacio topol
ogico (X, ) es conexo
si los u
nicos subconjuntos de X que son a la vez abiertos y cerrados
son el vaco y el total.
Observaci
on. Notese que encontrar un subconjunto A X, A 6= , X
que sea abierto y cerrado equivale a encontrar dos subconjuntos de X
abiertos (o cerrados) U, V no vacos, disjuntos y tales que X = U V .
Por ejemplo, en R3 el subconjunto A definido como la union de una
esfera y un plano que no sean tangentes ni secantes es no conexo.
Definici
on 1.7.2 Sea (X, ) un espacio topol
ogico y A X. Diremos
que A es una parte o componente conexa de X si el u
nico subconjunto
conexo de X que contiene a A es el propio A.
Por ejemplo, las componentes conexas de Q son cada uno de sus elementos ya que ning
un subconjunto A Q con mas de un elemento
es conexo. En efecto, sean r1 , r2 A, r1 < r2 , y sea a R Q con
r1 < a < r2 . En ese caso, los subconjuntos no vacos U =] , a[A y
V =]a, [A son abiertos de A, disjuntos y tales que A = U V , por
tanto, A no es conexo.
Supondremos conocido de la estructura de R que los subconjuntos
conexos de R coinciden con los intervalos (de cualquier tipo: abiertos,
cerrados, semiabiertos, acotados, no acotados...).
Ejercicio. Sea X un conjunto con cardinal mayor que 1 y considerense las topologas trivial y discreta. Con cuales de ellas es X
conexo?
Definici
on 1.7.3 Dado un espacio topol
ogico (X, ) definimos un arco en X como una aplicaci
on continua : [a, b] X, < a <
b < . Si x = (a) y y = (b) diremos que dicho arco conecta x con
y.
En esta definicion se puede normalizar el dominio de los arcos suponiendo siempre [a, b] = [0, 1].
Definici
on 1.7.4 Un espacio topol
ogico (X, ) se dice que es arcoconexo si cualesquiera x, y X se pueden conectar con un arco en X.
Y ARCOCONEXION
1.7. CONEXION
17
Figura 4
18
1.8.
Compacidad
Definici
on 1.8.1 Dado un espacio topol
ogico (X, ) llamamos recubrimiento abierto U de (X, ) a una colecci
on de abiertos de X cuya
uni
on sea todo X. Un subrecubrimiento de U es un subconjunto U U
tal que U tambien es un recubrimiento abierto de X.
Definici
on 1.8.2 Decimos que un espacio topol
ogico (X, ) es compacto si para todo recubrimiento abierto suyo U existe un subrecubrimiento U f U con un n
umero finito de elementos.
Dos propiedades tpicas de los espacios compactos son las siguientes:
Proposici
on 1.8.3 Sea (X, ) un espacio topol
ogico compacto:
(1) Si A X es cerrado entonces A es compacto.
(2) Si (X 0 , 0 ) es otro espacio topol
ogico y f : X X 0 es continua
entonces Imf = {f (x) : x X}(= f (X)) es compacto.
1.8. COMPACIDAD
19
Demostraci
on. (1) Notese que cada abierto UA de A se puede escribir
como UA = U A, donde U es un abierto de X. Dado cualquier
recubrimiento abierto de A, UA , consideremos el conjunto U formado
por los abiertos U de X con U A UA . Como A es cerrado, X A es
un abierto de X; por tanto, U (X A) es un recubrimiento abierto
de X. Al ser X compacto, podemos extraer un subrecubrimiento finito
U f de U {X A}, y el conjunto UAf = {U A|U (U f (X A))}
es un subrecubrimiento finito de UA .
(2) Para cualquier recubrimiento abierto U 0 de f (X), se considera el
recubrimiento abierto de X: U = {f 1 (U 0 )|U 0 U 0 }. Tomando ahora
un subrecubrimiento finito de U y, para cada abierto Ui , i = 1, . . . k,
de este subrecubrimiento, un abierto Ui0 U 0 con f (Ui ) = Ui0 , se extrae
el subrecubrimiento finito {U10 , . . . , Uk0 } de U 0 . 2
ogico Hausdorff. Si K
Proposici
on 1.8.4 Sea (X, ) un espacio topol
X es compacto entonces K es cerrado en X.
Demostraci
on. Probaremos que X K es abierto. Para ello, basta con
demostrar que, fijado y X K existe un entorno abierto Uy tal que
Uy K = . Por ser X Hausdorff para cada x K existen entornos
abiertos Ux , Ux0 de x e y, respectivamente, tales que Ux Ux0 = . En
consecuencia, UK = {Ux K : x K} es un recubrimiento abierto de
K. Pero como K es compacto podemos extraer un subrecubrimiento
finito UKf = {Ux1 K, . . . , Uxn K}. Por tanto, un entorno abierto de y
que satisface las propiedades requeridas es Uy = Ux0 1 Ux0 n XK.
2
Relacionada con la compacidad se halla la siguiente propiedad.
Definici
on 1.8.5 Un espacio topologico (X, ) se dice que es secuencialmente compacto si cualquier sucesi
on {xn }n X admite una parcial5 convergente.
En los espacios topologicos que nos interesaran, compacidad y compacidad secuencial coinciden.
Teorema 1.8.6 (Bolzano-Weierstrass). Sea (X, ) un espacio topol
ogico metrizable y ANII. Entonces, X es compacto si y solo si X es
secuencialmente compacto.
Esto es, una sucesion del tipo {x(n) }n , donde : N N es una aplicacion
estrictamente creciente.
5
CAPITULO 1. TOPOLOGIA BASICA
20
La prueba, bajo hipotesis mas refinadas, puede consultarse, por ejemplo, en [AMR, Proposition 1.5.5].
Ejercicio. Sea (X, d) un espacio metrico. Demuestrese: (i) si una
sucesion de Cauchy admite una parcial convergente entonces converge;
(ii) si (X, d) es secuencialmente compacto entonces debe ser completo.
Analicemos con mas detalle el concepto de compacidad en espacios
metricos.
Definiciones 1.8.7 Sea (X, d) un espacio metrico y 6= A X.
Definimos el diametro de A como diam(A) =Sup{d(x, y) : x, y A}
[0, ]. As, diremos que A esta acotado si diam(A) < .
Notese que el diametro de las bolas (abiertas o cerradas) de Rn es dos
veces su radio.
Proposici
on 1.8.8 Sea (X, d) un espacio metrico y K X compacto.
Entonces K es cerrado y acotado.
Demostraci
on. Por la Proposicion 1.8.4, K es cerrado (recordemos
que todo espacio metrico es Hausdorff). Para probar que es acotado, fijemos xo K y consideremos su recubrimiento abierto UK =
{Bx0 (n) K : n N}. Como K es compacto podemos extraer un subrecubrimiento finito y, por tanto, K Bx0 (n0 ) para alg
un n0 . Luego
diam(K) diam(Bx0 (n0 )) 2n0 . 2
Se
nalemos que, en general, no es cierto que si K X es cerrado
y acotado ello implique que sea compacto (por ejemplo, tomese K =
X = R con la distancia d(x, y) = 1 si x 6= y)6 . Sin embargo, ello ocurre
en Rn con la topologa usual, esto es :
Teorema 1.8.9 (Heine-Borel) Los conjuntos compactos de Rn son los
cerrados y acotados.
La demostracion no es difcil teniendo en cuenta: (a) por la Proposicion 1.8.3 basta con probar que un n-rectangulo cerrado y acotado
[a1 , b1 ] [an , bn ] que contenga A es compacto, (b) [a1 , b1 ] es secuencialmente compacto y, razonando inductivamente tomando sucesiones
parciales, el n-rectangulo tambien lo sera, (c) por el Teorema 1.8.6, el
6
1.8. COMPACIDAD
21
22
Captulo 2
El concepto de variedad
diferenciable
2.1.
Definici
on 2.1.1 Una variedad topologica de dimension n N es un
espacio topol
ogico Hausdorff y ANII1 Q( (Q, )), Q 6= , que es localmente homeomorfo a Rn en el siguiente sentido (vease la Figura 5):
para cada punto p Q existen un entorno abierto U de p
y un abierto de Rn que son homeomorfos, esto es, tales
que : U Rn homeomorfismo.
Dada una variedad topologica Q, introducimos los siguientes conceptos:
(U, ) es un entorno coordenado de p (o bien, una carta coordenada o unas coordenadas locales alrededor de p).
Sea i : Rn R, i (x1 , . . . , xn ) = xi , entonces a q i i : U
Q R le llamaremos coordenada i-esima. Tambien usaremos la
notacion (U, ) (U, q 1 , . . . , q n ).
1
23
Figure 5
Una coleccion de entornos coordenados A = {(U , ) : I}
es un atlas (topol
ogico) si Q = I U .
Observaciones:
(1) En la definicion se ha supuesto que la dimension es un n
umero
natural (n 1). Como caso lmite admitiremos n = 0 asumiendo R0 := {1} (si Q es localmente homeomorfo a R0 entonces
tendra la topologa discreta).
(2) La dimension de la variedad es u
nica, porque un espacio topologico no puede ser localmente homeomorfo a Rn y Rm , n 6= m a
la vez. Esto se debe a que ning
un abierto (6= ) de Rn puede ser
homeomorfo a ning
un abierto de Rm . Aunque muy intuitivo, la
prueba de este resultado no es en absoluto trivial2 .
(3) Un espacio topologico que sea localmente homeomorfo a Rn puede
no ser Hausdorff. De hecho, el ejemplo no trivial de espacio
topologico no Hausdorff que vimos en el captulo anterior, al final
de la Seccion 1.4, prueba que ser localmente homeomorfo a R no
implica ser Hausdorff.
2
Es una consecuencia de un resultado clasico en Topologa, el Teorema de Invariancia Dominio. Sin embargo, la unicidad de la dimension de las variedades
diferenciables, que estudiaremos mas adelante, s se puede probar con facilidad a
partir del Teorema de la Funcion Inversa.
2.1. CONCEPTO DE VARIEDAD TOPOLOGICA
25
(4) La hipotesis relativa al axioma ANII puede no imponerse en principio, si bien otras hipotesis muy razonables pueden acabar implicandolo. De hecho, es posible demostrar que, fijadas las otras
hipotesis de la definicion de variedad, equivale exigir: (1) Q es
ANII y (2) la topologa de Q es metrizable con un conjunto numerable de partes conexas3 .
Ejercicio. Sea (Q, ) un espacio topologico localmente homeomorfo a
Rn . Pruebese: (i) Q es ANI, (ii) Q es conexo si y solo si es arco-conexo,
(iii) las partes conexas de Q son abiertas y cerradas en Q (ocurre lo
mismo con las partes conexas del conjunto de los racionales Q?)
Por supuesto, Rn (o cualquier abierto suyo no vaco) es una variedad
topologica de dimension n. En efecto, para probarlo basta considerar
como atlas A = {(Rn , Id)} (Id: aplicacion identidad). Sin embargo,
en ocasiones resulta u
til usar otros entornos coordenados como, por
ejemplo, las coordenadas polares sobre R2 , las coordenadas esfericas
o bien las cilndricas sobre R3 , etc. (vease el Apendice 2). Como un
ejemplo explcito menos trivial, en el Apendice 1 construimos dos atlas
sobre la esfera.
En una variedad topologica (Q, ) consideremos dos cartas (U, ),
(U , )
tales que U U 6= y tomemos p U U . Entonces, a partir
de los homeomorfismos
|U U : U U (U U )
|U U : U U (U
U )
podemos construir los homeomorfismos
( |U U )1 : (U U ) Rn (U
U ) Rn
( |U U )1 : (U
U ) Rn (U U ) Rn .
A estos homeomorfismos se les llama cambios de carta o de coordenadas
(vease la Figura 6).
3
La metrizabilidad tambien equivale a la propiedad topologica llamada paracompacidad, que muchos autores usan en lugar de ANII. As, cuando se usa la paracompacidad en lugar de ANII, se permite un conjunto no numerable de partes conexas.
Esta generalidad no es de mucha utilidad practica (y resulta incluso contraproducente en algunos contextos, como los resultados de unicidad para la topologa de
subvariedades).
Figura 6
Observaci
on. De acuerdo con la notacion ya introducida (U, )
1
(U, q , . . . , q n ), (U , )
(U , q1 , . . . , qn ) se suele usar la notacion
( |U U )1 (
q 1 (q 1 , . . . , q n ), . . . , qn (q 1 , . . . , q n ))
1
( |U U ) (q 1 (
q 1 , . . . , qn ), . . . , q n (
q 1 , . . . , qn )).
As, para el ejemplo de las coordenadas polares en R2 (Apendice 2) se
tienen los siguientes cambios de coordenadas:
(x(, ), y(, ));
((x, y), (x, y));
2.2.
x+
x2 +y 2
Variedades diferenciables
27
1 : R R
x 7 x1/3 .
29
0 : U 0 0 (U 0 ) Rn de Q y Q0 , respectivamente, tomamos
como carta coordenada de Q Q0
0 : U U 0 Q Q0 (U ) 0 (U 0 ) Rn Rn
(p, p0 ) 7 ((p), 0 (p0 )).
Profundizaremos en las variedades con borde dentro del contexto del Teorema
de Stokes, Subseccion 9.2.
31
Mas concretamente, en Fsica (Mecanica, Termodinamica, Relatividad...) es frecuente suponer, al menos implcitamente, que el
conjunto X de los estados de un sistema fsico5 admite para cada
estado un subconjunto U X que contiene a dicho estado y una
aplicacion biyectiva : U X Rn ; esto es, podemos
describir ese estado en funcion de coordenadas en un abierto
de Rn . Mas a
un, se supone que los cambios de coordenadas son
diferenciables.
Veamos que es suficiente con estos elementos para definir una estructura de variedad diferenciable, salvo por los requisitos topologicos Hausdorff y ANII. Para definir la topologa en X, tomaremos como base de abiertos de X los subconjuntos 1 (0 ), siendo
0 cualquier abierto de Rn en el codominio de . En consecuencia,
obtenemos un espacio topologico (X, ) que, por construccion, es
localmente homeomorfo a Rn , y ademas estara dotado de un atlas
diferenciable.
El requisito de que la variedad sea Hausdorff siempre se supone
para la topologa , al menos, implcitamente (pues se da por
hecho que se pueden tomar coordenadas que separen entornos de
dos estados distintos). Como se comento, la hipotesis ANII no
es en principio imprescindible. Pero, suele haber otras hipotesis
mas o menos implcitas para X que acaban por implicar que
sea ANII (matematicamente, como ya hemos visto, basta con
que la topologa sea metrica y que X tenga un conjunto numerable de partes conexas; fsicamente, parece logico pensar que
una topologa que no quedara constructivamente determinada en
un conjunto numerable de pasos se escapara a las posibilidades
reales de medicion).
2.3.
Figura 7
Definici
on 2.3.1 Sean Q, Q0 dos variedades diferenciables de dimensiones n, n0 , respectivamente. Diremos que una aplicaci
on f : Q Q0
continua en p Q es diferenciable en este punto si para un par de entornos coordenados (U, ) y (U 0 , 0 ) de p y f (p), respectivamente, tales
0
que f (U ) U 0 se tiene que la aplicaci
on 0 f 1 : (U ) Rn Rn
es diferenciable en (p).
Observaci
on. En la Definicion 2.3.1 se puede sustituir la expresion
un par por cualesquiera. En efecto, supongamos que 0 f 1 es
diferenciable en (p) y probemos que, para cualesquiera otros entornos
coordenados (U , )
y (U 0 , 0 ) de p y f (p), respectivamente, tambien se
0
tiene que f 1 es diferenciable en (p).
En un entorno de (p)
podemos escribir:
0 f 1 = (0 01 ) (0 f 1 ) ( 1 ).
(2.1)
33
Observaci
on. En principio tiene sentido definir si f es diferenciable
s
C , s N{}, en p. Ello se debe a que los cambios de carta en Q y Q0
0
son C . Si solo fueran C r y C r , respectivamente, solo tendra sentido
definir que f es diferenciable C s , para s Min{r, r0 }. En cualquier
caso, tambien supondremos por simplicidad que f es diferenciable
significa que lo es C , salvo que se indique explcitamente lo contrario.
Ejercicio. Comprobar usando la definicion que la aplicacion f : S 2
R3 R, f (x, y, z) = z es diferenciable.
Definici
on 2.3.2 Dadas dos variedades diferenciables Q, Q0 se dice
que una aplicaci
on f : Q Q0 es un difeomorfismo si f es biyectiva y
1
f , f son diferenciables.
El nombre difeomorfismo local se extiende al caso de que solo se pueda
asegurar sobre f que, para cada p Q, existen entornos abiertos U de
p y U 0 = f (U ) de f (p), tales que la restriccion de f a U y U 0 sea un
difeomorfismo.
Definici
on 2.3.3 Dos variedades diferenciables Q, Q0 son difeomorfas
si existe un difeomorfismo f : Q Q0 .
Ejercicio. Probar que las variedades diferenciables (R, D(A)), (R, D(B))
con A = {(R, Id)}, B = {(R, x3 )} son difeomorfas.
Observaciones:
(1) El espacio eucldeo Rn admite infinitas estructuras diferenciables
compatibles con la topologa usual. Ademas, si n 6= 4 todas ellas son difeomorfas. Curiosamente, existen infinitas estructuras
diferenciables sobre R4 que no son difeomorfas6 .
(2) Toda variedad diferenciable (ANII!) conexa de dimension 1 es
difeomorfa a R o a S 1 .
6
2.4.
Hipersuperficies regulares de
n
R
z : Uz U R
(x, y, f (x, y)) 7 (x, y)
35
Figura 8
con parciales distintas de cero son z e y. En primer lugar, para la
coordenada z tenemos
z : F 1 (c0 ) Vz Vy Dz0 R2
(x, y, z) 7 (x, y)
y
z1 : Dz0 R2 F 1 (c0 ) Vz Vy
(x, y) 7 (x, y, z (x, y)),
y1 : Dy0 R2 F 1 (c0 ) Vz Vy
(x, z) 7 (x, y (x, z), z),
y z1 : Dz0 R2 Dy0 R2
(x, y) 7 (x, z (x, y)),
37
(x a1 )2 (y a2 )2 (z a3 )2
+
+
=1
a2
b2
c2
Figura 9
1
para abiertos Vxi , Dxi . Se tiene, x1
(c0 ) con:
i : Dxi Vxi F
2.5.
Subvariedades regulares de
n
R
Definici
on 2.5.1 Sea F : U Rn Rm (n m) diferenciable
(C ) y sea c0 Im(F ). Se dice que c0 es un valor regular de F si la
diferencial de F en p, (d F )p , tiene rango maximo m para todo p
F 1 (c0 ).
i
Esto es, la matriz ( F
(p))i,j Mmn (R) tiene rango m para todo
xj
1
p F (c0 ).
39
F
Si m = 1 entonces la matriz anterior se reduce a grad F (p) = ( x
1 (p),
F
. . . , xn (p)) y, por tanto, reobtenemos la definicion de valor regular de
la seccion anterior. Nuestro objetivo sera ahora generalizar la Proposicion 2.4.2 para mostrar que la imagen inversa de cualquier valor regular
es una variedad diferenciable.
i
(p))i,j tiene rango m entonces habra alguna
Observemos que si ( F
xj
submatriz cuadrada de orden m con determinante distinto de 0. Esto
es, podremos escoger m columnas (que supondremos son las m u
ltimas)
tales que el correspondiente determinante es distinto de 0. En este caso,
el Teorema de la Funcion Implcita permite asegurar que en la ecuacion
F (x1 , . . . , xnm , xnm+1 , . . . , xn ) = c0 las variables xnm+1 , . . . , xn son
despejables como funcion de las n m primeras x1 , . . . , xnm . Esto
es, la proyeccion sobre las n m primeras variables sirve como carta
local en F 1 (c0 ) y, ademas, los cambios de carta resultan diferenciables.
Con mas precision, recordemos ese teorema:
2a 2b 0 0
(d F )A = c d a b M34 (R).
(2.2)
0 0 2c 2d
Ahora bien, como A At = Id se tiene que det(A) = 1 6= 0 y las dos
primeras columnas de (d F )A son independientes. Ademas tambien se
obtiene que c y d no se anulan simultaneamente, por lo que el rango de (d F )A es 3. En consecuencia, tomando como coordenada sobre
O(2, R) la proyeccion al elemento c (cuando c 6= 0) o d (cuando d 6= 0)
obtenemos un atlas para O(2, R).
Notas: (1) O(2, R) puede estudiarse mas detenidamente como sigue.
Si definimos
O+ (2, R) = {A O(2, R) : det(A) = 1}
O (2, R) = {A O(2, R) : det(A) = 1}
2.6. APENDICE
1: ATLAS EN 2
41
cos sen
+
O (2, R) = {
: R}
sen cos
cos sen
O (2, R) = {
: R}.
sen cos
Los conjuntos O+ (2, R) y O (2, R) son las dos partes conexas de O(2, R).
El grupo O(2, R) se reduce, por tanto, a dos copias de S 1 . En general,
O(n, R) = {A Mnn (R) : AAt = Idn } es una variedad diferenciable
de dimension n(n 1)/2 que tiene dos componentes conexas. Ademas,
O(n, R) s compacto, al identificarse con un subconjunto cerrado y aco2
tado de Rn .
(2) O(n, R) con el producto usual de matrices es un caso especial
de grupo de Lie; esto es, de grupo algebraico G (G, ) dotado de una
estructura de variedad diferenciable, y tal que las aplicaciones
GGG
(g, h) 7 g h
GG
g 7 g 1
son diferenciables7 .
2.6.
Ap
endice 1: dos atlas explcitos sobre
la esfera
que es continua puesto que cada componente suya lo es. En consecuencia, hemos encontrado un entorno coordenado para cada punto
p Uz+ .
Para el abierto Uz = {(x, y, z) S 2 : z < 0} (casquete inferior)
repetimos el mismo proceso pero ahora con
z : Uz
(x, y, z) 7 (x, y)
1
(
: Uz
z)
p
(x, y) 7 (x, y, 1 x2 y 2 ).
Para completar nuestro atlas debemos cubrir el ecuador. Para ello consideramos en primer lugar los abiertos Uy+ = {(x, y, z) S 2 : y > 0} y
Uy = {(x, y, z) S 2 : y < 0} con
+
+
y : Uy
(x, y, z) 7 (x, z)
1
(+
: Uy+
y)
(x, z) 7 (x, 1 x2 z 2 , z)
y : Uy
(x, y, z) 7 (x, z)
1
(
: Uy
y)
respectivamente. Por u
ltimo, para cubrir los puntos (1, 0, 0), (1, 0, 0)
2
S tomamos los abiertos Ux+ = {(x, y, z) S 2 : x > 0} y Ux =
{(x, y, z) S 2 : x < 0} con
+
+
x : Ux
(x, y, z) 7 (y, z)
1
: Ux+ p
(+
x)
(y, z) 7 ( 1 y 2 z 2 , y, z)
x : Ux
(x, y, z) 7 (y, z)
1
: Ux p
(
x)
(y, z) 7 ( 1 y 2 z 2 , y, z),
2.6. APENDICE
1: ATLAS EN 2
43
+
+
+
+
AS 2 = {(Uz+ , +
z ), (Uz , z ), (Uy , y ), (Uy , y ), (Ux , x ), (Ux , x )}.
2
Por tanto, S es una variedad topologica. De la forma explcita de
los cambios de carta resulta inmediato comprobar que el atlas AS 2 es
diferenciable.
Podemos optimizar el n
umero de elementos que componen un atlas
2
para S proyectando estereograficamente. En efecto, lo haremos para
el caso general de la esfera n-dimensional S n (de nuevo centrada en
el origen y de radio 1 por comodidad). Sean N = (0, . . . , 0, 1) (polo
norte) y S = (0, . . . , 0, 1) (polo sur). Como primer entorno coordenado consideramos el abierto U N = S n {N } junto con la proyecci
on
n
N
N
N
estereogr
afica desde N , : U R , esto es, es la aplicacion
que lleva cada elemento (x1 , . . . , xn+1 ) de U N al punto de corte con
el plano xn+1 0 de la recta que pasa por N y por (x1 , . . . , xn+1 ).
Explcitamente,
N : U + Rn
(x1 , . . . , xn+1 ) 7
1
(x1 , . . . , xn ).
1xn+1
1
(x1 , . . . , xn ).
1+xn+1
2.7.
Ap
endice 2: coordenadas polares, cilndricas y esf
ericas
arc tan xy
si x > 0
si x = 0, y > 0
2
y
+ arc tan x
si x < 0, y > 0
(x, y) =
si x = 0, y < 0
2
+ arc tan xy
si x < 0, y < 0
o mas compactamente:
(x, y) = 2 arc tan
y
p
x + x2 + y 2
2.7. APENDICE
2: COORDENADAS EN R3
45
con la aplicacion
: U R3 ]0, [] , [R
(x, y, z) 7 ((x, y), (x, y), z),
donde (x, y) y (x, y) se definen como en las coordenadas polares. Por
tanto, la correspondiente inversa es 1 (, , z) = ( cos , sen, z).
Coordenadas esf
ericas sobre R3 : Para definir estas coordenadas
consideramos el abierto U = R3 {(x, y, z) R3 : x 0, y = 0} junto
con la aplicacion
: U R3 ]0, []0, [] , [
(x, y, z) 7 (r(x, y, z), (x, y, z), (x, y, z)),
p
donde r(x, y, z) = x2 + y 2 + z 2 , y (x, y, z) y (x, y, z) son los u
nicos
reales de ]0, [ y ] , [, respectivamente, tales que x = r sen cos
e y = r sen sen. Por tanto, en este caso 1 (r, , ) = (r sen
cos , r sen sen, r cos ).
Ejercicios
Ejercicio 1. Razonar si todo espacio topologico X localmente homeomorfo a Rn es necesariamente T1 (esto es, para cada par de puntos
x, y X, existe un entorno de x que no contiene a y, y un entorno de
y que no contiene a x.)
Ejercicio 2. Se considera la aplicacion : R+ R R2 {(0, 0)},
(, ) ( cos , sen). Compruebese que es un difeomorfismo local
y suprayectivo. Es un difeomorfismo global?
Ejercicio 3. Si Q es una variedad diferenciable, pruebese que cada
carta : U (U ) de Q es un difeomorfismo entre las variedades
diferenciables U y (U ).
Ejercicio 4. Dado un n
umero real > 0 (o = ), demuestrese que
todo punto p de una variedad diferenciable Q de dimension n tiene una
carta (U, ) tal que (p) = 0 y (U ) = B0 () = {x Rn : kxk < }.
Ejercicio 5. Se consideran en R+ =]0, [ los atlas A1 = {(R+ , IdR+ )},
A2 = {(R+ , ln)}, A3 = {(R+ , exp)}, A4 = {(R+ , x3 )}, A5 = {(R+ , (x
2.7. APENDICE
2: COORDENADAS EN R3
47
Ejercicio 15. Sean A, B, C R\{0}. Determnense los valores regulares de la funcion sobre R3 , f (x, y, z) = Ax2 + Bxy + Czy.
Ejercicio 16. En la esfera S 2 se considera la relacion de equivalencia
p q si y solo si q = p, p, q S 2 . Denotaremos por P2 (R) al espacio
cociente S 2 / (espacio proyectivo real bidimensional). Pruebese que,
con la topologa cociente, P2 (R) es una variedad topologica de dimension 2. Demuestrese que admite una estructura diferenciable tal que
la correspondiente proyeccion canonica desde S 2 es un difeomorfismo
local (esta estructura diferenciable es u
nica). Generalizar a cualquier
dimension n N.
Ejercicio 17. Consideremos la esfera unidad de dimension 1, S 1 ,
como los n
umeros complejos de modulo 1, es decir, S 1 = {z C :
|z| = 1}.
(1) Pruebese que la aplicacion F : S 1 S 1 , definida por F (z) = z 2 ,
z S 1 , es diferenciable, sobreyectiva y coincide sobre cada par
de puntos antpodas de S 1 .
(2) Si F : P1 (R) S 1 es la aplicacion inducida por F en el cociente,
pruebese que F es un difeomorfismo.
Captulo 3
Espacio tangente
3.1.
50
Figura 10
Con mas generalidad, consideremos ahora una variedad diferenciable arbitraria Q de dimension n y un punto p Q. El objetivo de
este captulo es dar una definicion razonable de espacio tangente a la
variedad Q en el punto p, as como el estudio de la estructura de dicho espacio. En general, asociaremos a cada punto p de una variedad
n-dimensional Q, su espacio tangente, que sera un espacio vectorial
tambien de dimension n.
Como primera aproximacion, en esta seccion introduciremos los
conceptos de vector y espacio tangente a una variedad en un punto de
tres formas diferentes, cada vez mas abstractas, aunque equivalentes.
3.1.1.
51
Figura 11
Observaci
on. Esta definicion es independiente del entorno coordenado escogido. En efecto, sea (U , = (
q 1 , . . . , qn )) otro entorno coordej
nado de p y denotemos por qqi (p) la i-esima parcial de qj 1 , esto
es,
qj
(
q j 1 )
(p)
=
((p)),
q i
xi
donde x j denota la parcial j-esima usual para funciones definidas en
Rn . Entonces
d
| (
q j )(t)
= d |t=0 [(
q j 1 ) ( )](t)
dt t=0
Pn qj dt d
= i=1 qi (p) dt |t=0 (q i )(t)
(y, si y estan relacionadas usando (U, ))
P j
= ni=1 qqi (p) dtd |t=0 (q i )(t) =
d
|
dt t=0
(
q j )(t)
Notese que
d
d
la relacion entre dt |t=0 ( )(t) y dt |t=0 ( )(t) es, matricialmente,
d
q1
d
q1
1
1
.
.
.
|
(
q
)(t)
|
(q
)(t)
1
n
t=0
t=0
q
q
dt
dt
.. . .
..
..
.
= .
.
. ..
.
.
d
d
n
n
qn
qn
| (
q )(t)
| (q )(t)
. . . qn
dt t=0
dt t=0
q 1
p
(3.1)
52
3.1.2.
y se verifica
(a1 , . . . , an ) = (b1 , . . . , bn ).
Esto es, fijado un sistema de coordenadas (U, ) cada vector tangente
[] se puede identificar con una n-upla (a1 , . . . , an ) Rn . Ademas, si
tomamos otra carta coordenada (U , = (
q 1 , . . . , qn )), al mismo vector
tangente [] le asignamos la n-upla:
d
d
d
|t=0 (t) = ( |t=0 q1 (t), . . . ,
|t=0 qn (t)) = (
a1 , . . . , a
n ),
dt
dt
dt
que, aunque es distinta de (a1 , . . . , an ), se relaciona con ella mediante
la igualdad (3.1). Podemos establecer la siguiente definicion alternativa
de vector tangente:
53
Definici
on 3.1.3 Un vector tangente a Q en p (por coordenadas) es
una aplicaci
on que a cada entorno coordenado (U, = (q 1 , . . . , q n )) de
p le hace corresponder un elemento (a1 , . . . , an ) Rn , de modo tal que
dado otro entorno coordenado (U , = (
q 1 , . . . , qn )) el nuevo elemento
n
(
a1 , . . . , a
n ) R asignado verifica
q1
a
1
q 1
.. ..
. = .
qn
a
n
q 1
a1
.. .. ,
. .
qn
an
q n
(3.2)
i {1, . . . , n}.
(3.3)
q1
q n
...
..
.
...
o, equivalentemente,
n
X
qi
a
=
(p) aj
j
q
j=1
i
3.1.3.
d
|
dt t=0
(f )(t) =
d
|
dt t=0
(f )(t).
54
Demostraci
on. Si (U, = (q 1 , . . . , q n )) es un sistema de coordenadas
en p entonces dtd |t=0 (f )(t) = dtd |t=0 (f 1 ) ( )(t). Entonces,
aplicando la regla de la cadena,
Pn (f 1 )
d
1
((p)) dtd |t=0 (q j )(t)
|
(f
)(t)
=
t=0
j=1
dt
xj
Pn (f 1 )
= j=1 xj ((p)) dtd |t=0 (q j )(t) = dtd |t=0 (f 1 ) ( )(t)
= dtd |t=0 (f )(t).
2
Por tanto, cada clase de equivalencia proporciona una u
nica derivada
direccional en p.
De la prueba del Lema 3.1.4 resulta inmediato comprobar que si el
vector tangente [] viene dado por coordenadas entonces la derivada
P
1 )
direccional de f es igual a i ai (fx
((p)), en la notacion de la
i
Definicion 3.1.3.
Consideremos el conjunto C (Q) = {f : Q R : f es diferenciable C }. De manera natural, en este conjunto se pueden definir las
operaciones f + g, f g y a f , siendo f, g C (Q) y a R. De
hecho, (C (Q), +, ) tiene estructura de anillo unitario conmutativo
y (C (Q), +, R) tiene estructura de espacio vectorial. Si fijamos un
vector tangente en p, [] = vp , podemos definir la aplicacion:
Dvp : C (Q) R
f 7 Dvp (f ) vp (f ),
(3.4)
f, g C (Q), a, b R.
f, g C (Q)
Demostraci
on de (2). Si vp = [], entonces
Dvp (f g) = dtd |t=0 ((f g) )(t) = dtd |t=0 ((f ) (g ))(t) =
( dtd |t=0 (f )(t)) g((0)) + f ((0)) ( dtd |t=0 (g )(t)) =
Dvp (f ) g(p) + f (p) Dvp (g). 2
55
d
|t=0 (f )(t) f C (Q).
dt
3.2.
56
3.2.1.
Figura 12
Observemos ademas que en este caso la derivacion asociada a vp [i ]
es
Dvp : C (Q) R
(f 1 )
f
((p)).
f 7 q
i (p) :=
xi
57
En efecto:
Dvp (f ) = dtd |t=0 (f i )(t) = dtd |t=0 (f 1 ) ( i )(t)
P
1 )
= nj=1 (fx
((p)) dtd |t=0 q j 1 ((p) + tei )
j
Pn (f 1 )
1 )
((p)),
= j=1 xj ((p)) dtd |t=0 (q j (p) + ij t) = (fx
i
donde recordemos que q j = xj y ij es la delta de Kronecker. Esto
justifica que de ahora en adelante sigamos la notacion Dvp q i |p
siempre que vp = [i ].
En resumen, fijado un entorno coordenado (U, = (q 1 , . . . , q n ))
hemos obtenido n derivaciones en p,
q i
|p : C (Q) R
f
f 7 q
i (p)
i = 1, . . . , n.
|
p
(f ) = f
(p)
|(1,/2) (2 cos2 + sen)
|p (f ) = f
(p) =
|(1,/2) (2 cos2 + sen)
2
= ( sen2 + cos ) |(1,/2) = 0.
que x
|p y y
|p coinciden con las derivadas parciales usuales en p.
3.2.2.
58
v1
vp 7 ... Rn .
vn
En particular, q i |p ei Rn . Por tanto, Bp se aplica en la base usual
P
de Rn y, es entonces una base. Mas a
un, si vp = ni=1 v i q i |p entonces
j
vp (q ) =
n
X
i=1
i q
q i
(p) =
n
X
v i ij = v j .
i=1
En particular, si (U , = (
q 1 , . . . , qn )) es otro entorno coordenado
X qi
|
=
(p) i |p .
p
j
j
q
q
q
i=1
(3.5)
Observaciones:
(1) La expresion (3.5) se reduce a aplicar la regla de la cadena evaluando en la correspondiente funcion. En efecto,
q j
(f )
)
f
|p (f ) = q
((p)) = (f xj
((p))
j |p =
xj
Pn qi
Pn f 1
qi
59
n
X
qi
(p) qj (vp )
j
q
j=1
(3.7)
( x
|p0 , y
|p0 ). Tenemos pues las aplicaciones
C (R2 ) R,
f 7
f
(p )
x 0
|p0 : C (R2 ) R,
f 7
f
(p0 ).
y
| :
x p0
|p0 +b
|p
x
y 0
con
(a, b) 7 (a x
|p0 +b y
|p0 ).
Obviamente, esto es extensible a Rn . De hecho, podemos trabajar
indistintamente con Rn o con su tangente Tp0 Rn va el isomorfismo canonico ip0 anterior.
Mas a
un, en todo espacio vectorial V (R) existe una identificacion
natural entre Tv V y V , v V . En efecto, fijado v V , para
cada w V se tiene una curva t 7 v + tw que define un vector
tangente wv Tv V . Se tiene entonces un isomorfismo natural
Tv V V
wv 7 w.
Sin embargo, nada similar a estas identificaciones ocurre en variedades diferenciables arbitrarias.
60
(
|p0 ,
|p0 ) del espacio tangente Tp0 R2 tenemos
| = x
| |
p0
p0 x p0
+ y
|
p0
|p0 = cos 0 x
|p0 +sen0 y
|p0
+ y
|
p0
|p0 = 0 sen0 x
|p0 +0 cos 0 y
|p0 .
|p0 =
x
| |
p0 x p0
|p0 ,
|p0 ) es una base de Tp0 R2 . Si escribimos e =
|p0 ,
As, (
1
e = 0 |p0 e identificamos (
e , e ) va ip0 con una base de R2 ,
esta base es ortonormal para el producto eucldeo usual.
Tp R en la base ( |p , |p ).
3.3.
Variedad tangente
Sea Q una variedad diferenciable de dimension n. Definimos el espacio o variedad tangente a Q como T Q = pQ Tp Q. Consideremos la
proyeccion : T Q Q, (vp ) = p. Nuestro objetivo es demostrar que
cada entorno coordenado de Q induce un entorno coordenado en T Q de
modo que T Q resulta ser, de manera natural, una variedad diferenciable de dimension 2n. Sea (U, = (q 1 , . . . , q n )) un entorno coordenado
de Q. Definimos
T : 1 (U )( T Q) (U ) Rn ( Rn Rn R2n )
vp 7 ((p), (vp (q 1 ), . . . , vp (q n )))
((q 1 (p), . . . , q n (p)), (q1 (vp ), . . . , qn (vp )).
(3.8)
61
se tiene T (T )1 : (U U ) Rn (U
U ) Rn
1
n
((q 1 , . . . , q n ), (q1 , . . . , qn )) 7 ((
q 1 (q), . . . , qn (q)), (q (q, q),
. . . , q (q, q)),
(x0 , y0 , a, b) 7 a x
|(x0 ,y0 ) +b y
|(x0 ,y0 )
es un difeomorfismo entre R4 y T R2 . Analogamente, la aplicacion
V V TV
(v, w) 7 (v, 0 (0)),
con (t) = v + tw, determina un difeomorfismo entre V V y
TV .
(2) Justifiquemos que tambien T S 1 es difeomorfo a S 1 R. Consideremos primero el vector tangente en cada punto de R2
y
|(x,y) +x
|(x,y) .
x
y
x
y
en el dominio de definicion de las polares. De ah que, sin posibil
idad de confusion, podamos denotarlo
|(x,y) para todo (x, y)
2
R {(0, 0)}. En particular, sobre todo punto de S 1 , podemos ver
62
((x, y), a) 7 a
|(x,y)
es un difeomorfismo.
(3) Sin embargo, la variedad T S 2 , tangente a la esfera bidimensional
S 2 , no es difeomorfa a S 2 R2 (vease la Seccion 5.3).
Por u
ltimo, se
nalemos que cada curva (t) en Q determina un vector tangente [] 0 (0) en (0) o, con mas generalidad, un vector
tangente 0 (t0 ) en cada punto t0 de su dominio de definicion (formalmente, 0 (t0 ) := [(t + t0 ]). As, cada curva (t) en Q genera una curva
0 (t) en TQ.
3.4.
Ap
endice: notas sobre Mec
anica Lagrangiana
3.4. APENDICE:
MECANICA
LAGRANGIANA
3.4.1.
63
Lagrangianas
Con bastante generalidad, se postula que el espacio de configuracion de un sistema mecanico es una variedad diferenciable arbitraria
Q siendo entonces la lagrangiana una funcion sobre T Q o, con mas
generalidad (lagrangianas dependientes del tiempo),
L : T Q R R,
donde la coordenada natural de R en T Q R o tiempo se usara para
parametrizar las curvas bajo consideracion (formula (3.9)). El dominio
de definicion de la lagrangiana es pues una variedad producto N =
T Q R, donde usualmente se trabaja con coordenadas tipo (q, q,
t),
T
esto es, coordenadas (q, q)
como en (3.8) junto a la coordenada
usual de R.
Tiene sentido pues considerar L
, L y L
. Sea
q q
t
:IR Q
t 7 (t)
una curva diferenciable (tomando coordenadas podemos escribir t
q(t)). Esta curva induce a su vez curvas en T Q y en N = T Q R:
I R TQ
t 7 0 (t)
I R TQ R
t 7 ( 0 (t), t).
(3.9)
En coordenadas esta u
ltima aplicacion se suele escribir (q(t), q(t),
t),
i
donde cada q (t) es igual a la componente i-esima del vector tangente
0 (t), que coincide con la derivada de q i (t) q i ((t)) en cada t I,
dq i
(t) t I.
dt
Observese que, en general, si (t) = (q(t), q(t),
(t)
(t)(L)
= d(L)
dt
i
L
L
t) ddtq (t) +
i=1 ( q i (q(t), q(t),
Pn
dq i
L
(q(t), q(t),
t)).
t
Pero solo cuando la curva (t) es del tipo (t) = 0 (t) para alguna
curva (t) de Q se puede escribir
dqi
d2 q i
dq i
= qi (t);
= 2.
dt
dt
dt
64
3.4.2.
i=1
si1
s (t1 ) = p1 ,
s ] , [.
(3.10)
3.4. APENDICE:
MECANICA
LAGRANGIANA
65
L
qi
L
= 0.
q i
Ejercicios
Ejercicio 1. Razonar por que se puede identificar Tp R2 con R2 , p
R2 .
Ejercicio 2. Calc
ulese una base de T(1,1,2) Q, siendo Q el paraboloide
dado por la grafica de la funcion z = x2 + y 2 .
Ejercicio 3. Calc
ulese una base de T( 1 ,0,2) Q, siendo Q el elipsoide
2
de ecuacion
2
x2 + y 2 + z4 = 1.
Ejercicio 4. Sea Q una variedad, p Q y v Tp Q. Demuestrese:
(i) Si f C (Q) es constante entonces v(f ) = 0.
(ii) Si f, g C (Q) coinciden en un entorno de p entonces v(f ) =
v(g).
Ejercicio 5. Se consideran las coordenadas cilndricas definidas en
[Tema 2, Apendice 2]. Escrbanse /|p , /|p y /z|p como combinacion lineal de la base de Tp R3 inducida por las coordenadas usuales
(cartesianas) de R3 .
Ejercicio 6. Sean U = {(x, y, z) : z > 0} y f : U R la aplicacion
definida por f (x, y, z) = 3 x + y/z. Calcular que valor toman sobre
f las derivaciones asociadas a las coordenadas cilndricas en el punto
p = (1, 1, 3).
66
Captulo 4
Aplicaciones diferenciables
entre variedades
f
f
(x0 , y0 )(x x0 ) +
(x0 , y0 )(y y0 ).
x
y
f
f
(x0 , y0 )dx +
(x0 , y0 )dy.
x
y
68
|(x0 ,y0 ) +v 2
|(x ,y ) T(x0 ,y0 ) R2
x
y 0 0
se tiene
(df )(x0 ,y0 ) (v) = v 1
f
f
(x0 , y0 ) + v 2 (x0 , y0 ) R,
x
y
Figura 13
En la Seccion 4.1 se va a extender este punto de vista a cualquier
funcion real sobre Q lo que, en particular, permitira definir la variedad
cotangente, Seccion 4.2. En la Seccion 4.3 extenderemos el concepto de
diferencial a cualquier aplicacion entre dos variedades.
4.1. DIFERENCIAL DE UNA FUNCION
69
4.1.
4.1.1.
Concepto
(4.1)
a la que denominaremos diferencial de f en p. Como muestra la siguiente proposicion, la aplicacion dfp es una forma lineal sobre Tp Q
(vease (1) del Apendice). En efecto,
Proposici
on 4.1.1 La aplicaci
on dfp definida en (4.1) es lineal, esto
es, dfp Tp Q .
Demostraci
on.
dfp (avp +bwp ) = (avp +bwp )(f ) = avp (f )+bwp (f ) = adfp (vp )+bdfp (wp )
para todo vp , wp Tp Q y todo a, b R. 2
As, la aplicacion dfp extiende a la diferencial usual de funciones
reales, y representa la mejor aproximacion lineal a f en p.
4.1.2.
Expresi
on en coordenadas
70
Demostraci
on. Observese en primer lugar que q i : U Q R es, obviamente, diferenciable, por lo que, efectivamente dqpi define un elemento
de Tp Q . El resultado se deduce por tanto de:
dqpj (
q j
|
)
=
(p) = ij
p
q i
q i
i, j {1, . . . , n}.
2
Podemos ahora considerar la matriz de dfp asociada a Bp , esto es,
(siguiendo el Apendice), las coordenadas de dfp en Bp . Usando que
f
|p (f ) = i (p) i {1, . . . , n}
i
q
q
dicha matriz queda:
M (dfp , {1}
= dfp ( 1 |p ), . . . , dfp ( n |p )
q
q
f
f
=
(p), . . . , n (p) .
q 1
q
Bp )
As,
n
X
f
dfp =
(p)dqpi ,
i
q
i=1
(4.2)
y si vp Tp Q entonces
n
n
X
X
f
f
i
dfp (vp ) =
(p) dqp (vp ) =
(p) vpi ,
i
i
q
q
i=1
i=1
donde vp =
4.1.3.
Pn
i=1
vpi q i |p .
Cambio de coordenadas
n
X
f
(p)d
qpi .
i
i=1
71
dqpi =
n
X
q i
(p)d
qpj .
j
j=1
En consecuencia, de la anterior ecuacion se tiene facilmente la siguiente relacion entre las parciales de f con respecto a las distintas coordenadas:
Pn qi
Pn qi
f
(p)
=
df
(
|
)
=
df
(
(p)
|
)
=
p
p
p
p
j
j
j
i
i=1 q
i=1 qj (p)dfp ( q i |p )
q
q
Pn qqi
f
= i=1 qj (p) q
i (p).
4.2.
El espacio cotangente
El desarrollo de la seccion anterior es aplicable a cualquier forma lineal sobre Tp Q. As, si fijamos un entorno coordenado (U, =
(q 1 , . . . , q n )) de p Q y consideramos las bases Bp y Bp entonces a
cada Tp Q le corresponden n n
umeros reales (b1 , . . . , bn ) tales que
=
n
X
bi dqpi .
i=1
Estos n n
umeros reales son las coordenadas de en Bp y vienen dados
por la expresion
bi = (
|p ) i {1, . . . , n}.
q i
n
X
q i
(p)bi .
j
i=1
(4.3)
Como ocurra con los vectores tangentes, esta relacion permite definir
cada elemento del espacio dual Tp Q por coordenadas como una n-upla
72
(4.4)
Nota. En Mecanica Hamiltoniana se parte de la variedad de configuracion Q, de su espacio cotangente T Q (o espacio de fases) y de una
hamiltoniana H : T Q R R. A las coordenadas pi se les llama
momentos generalizados. Analogamente al caso lagrangiano (Seccion
3.4), en Mecanica Hamiltoniana se pueden calcular curvas crticas de
la hamiltoniana (u otros funcionales relacionados con ella) para diversos tipos de variaciones. Esto es, curvas en T Q
: [t0 , t1 ] T Q , (t) = (q(t), p(t))
tales que para cualquier variacion
] , [[t0 , t1 ] T Q
(s, t) 7 s (t)
(en la clase de curvas que se considere) la funcion
Z t1
Z t1
A(s ) =
H(s (t), t)dt
H(qs (t), ps (t), t)dt
t0
t0
verifique dA
| = 0. Pero, a diferencia del caso lagrangiano, tanto la
ds s=0
curva (t) como la variacion s (t) se toman directamente en T Q , esto
es, no se construyen a partir de curvas de Q (comparese con (3.10)).
La consecuencia de esta mayor libertad en las variaciones, es que las
ecuaciones de Hamilton
H
dq i
(t) =
(q(t), p(t), t);
dt
pi
dpi
H
(t) = i (q(t), p(t), t),
dt
q
(4.5)
4.3. DIFERENCIAL DE UNA APLICACION
73
4.3.
Figura 14
Observaci
on. Para comprobar que esta definicion es consistente, debemos tener en cuenta lo siguiente:
74
d
|t=0 (f ) Tf (p) R R.
dt
|
(0 F 1 ) = ( F
, . . . , F
)(p).
xj (p)
q j
q j
Con esta notacion dFp (vp ) adopta la expresion:
m
!
n
X
X F i
dFp (vp ) =
(p)v j
| ,
j
0i F (p)
q
q
i=1
j=1
P
j
donde vp = m
j=1 v q j |p . Esto es, matricialmente las coordenadas de
0
dFp (vp ) en la base Bp = ( q01 |p , . . . , q0n |p ) son
F 1
F 1
1
.
.
.
v
1
m
q
q
..
.. .. .
..
(4.7)
.
.
. .
m
F n
F n
v
. . . qm
q 1
p
4.3. DIFERENCIAL DE UNA APLICACION
75
(4.8)
Demostraci
on. Si vp = [] entonces dFp (vp ) = [F ]. Por tanto,
dFp (vp )(g) =
d
d
|t=0 g (F ) =
|t=0 (g F ) = vp (g F ). 2
dt
dt
Figura 15
Obviamente, (4.8) tambien puede tomarse como definicion de dFp ,
aplicable directamente a vectores dados como derivaciones.
Ejemplos:
(1) Para una funcion diferenciable F : Rm Rn , si identificamos los
espacios tangentes Tp Rm , TF (p) Rn con Rm , Rn (vease (4.7)), respectivamente, entonces la definicion de diferencial (dF )p coincide
con la usual entre Rm y Rn .
76
d
|p0 ) =
| F (cos , sen)
d 0
|0 (cos 2, sen2) = 2
|F (p0 ) ,
d
|p0 = sen0
|p0 + cos 0
|p .
x
y 0
(3) Consideremos una subvariedad regular Q Rn+p y una aplicacion F : Q Q0 que sea restriccion de otra aplicacion F :
Rn+p Q0 . Se verifica entonces
dFp = dFp |Tp Q .
As, por ejemplo, la aplicacion F : S 2 S 2 , F (x) = x es la
restriccion a S 2 de la aplicacion F : R3 R3 , F (x) = x. Como,
salvo identificacion, dFp = Id3 , se tiene
n
!
n
X
X
i
dFp
a
|p =
ai i |(p)
i
x
x
i=1
i=1
para cualquier vector tangente
4.4.
Pn
i=1
ai x i |p Tp S 2 .
Teoremas fundamentales
En esta seccion enunciaremos con generalidad en variedades arbitrarias algunos teoremas fundamentales relacionados con las aplicaciones diferenciables. Esencialmente, sus demostraciones se reducen a
las de los correspondientes teoremas entre espacios eucldeos, una vez
escritos los enunciados en coordenadas.
77
78
4.5. APENDICE:
EL ESPACIO DUAL
79
Figura 16
alg
un valor regular c Rk . Cuando existe una subvariedad S de Q tal
que T S = F 1 (c) entonces se dice que las ligaduras son holonomas o
integrables. En caso contrario, se dice que son anhol
onomas.
4.5.
Ap
endice: el espacio dual
1
a
n
X
(v) =
(vi )ai = ((v1 ) . . . (vn )) ...
i=1
an
80
a1
= M (, {1} B) ... R.
an
(2) Base dual.
Consideremos los espacios vectoriales V (R), V (R) y fijemos una
base B = (v1 , . . . , vn ) de V (R). Es conocido el siguiente resultado:
Teorema 4.5.1 Existe una u
nica base B = (1 , . . . , n ) de V (R)
que verifica
i (vj ) = ji i, j {1, . . . , n}.
A esta base B se la llama base dual de la base B. Ademas, para los
elementos de esta base se tiene
M (1 , {1} B) = (1, 0, . . . , 0)
..
..
.
.
M (n , {1} B) = (0, 0, . . . , 1).
Analogamente, si V y =
bj . Esto es,
1
i=1
Pn
i
i=1 bi
= (v1 ) + + (vn ) =
n
X
entonces (vj ) =
(vi )i ,
Pn
V .
i
i=1 bi j
(4.9)
i=1
a11 . . . a1n
= ... . . . ... .
an1 . . . ann
4.5. APENDICE:
EL ESPACIO DUAL
81
P
Como consecuencia, si v V y v = ni=1 ai vi
P
ai = ni=1 aij aj . Esto es,
a1
..
. = M (IdV , B B)
an
Pn
j=1
aj v j entonces
a1
.. .
.
an
Comprobemos a continuacion
=
i
i=1
j=1 bj se
tiene
n
X
bj =
ai bi ,
j
i=1
(o bien, directamente, bj = (v j ) =
Pn
i=1
aij (vi ) =
Pn
i=1
aij bi ).
n de una aplicacio
n lineal.
(4) Trasposicio
0
Sean V (R), V (R) dos espacios vectoriales y f : V V 0 una aplicacion lineal entre ellos. Para cada 0 V 0 (R) podemos definir la
aplicacion 0 f : V R. Como 0 f es una composicion de aplicaciones lineales se tiene que 0 f es tambien lineal y, por tanto,
0 f V (R).
Definici
on 4.5.2 Definimos la aplicacion traspuesta f t de la aplicaci
on lineal f : V V 0 como la aplicaci
on
f t : V 0 V
0 7 f t (0 ) := 0 f.
Se tiene entonces el siguiente resultado:
Teorema 4.5.3 La aplicaci
on traspuesta f t de una aplicaci
on lineal
0
f : V V verifica:
(i) Es lineal.
82
4.5. APENDICE:
EL ESPACIO DUAL
83
Ejercicios
Ejercicio 1. (a) Si F : Rn Rm es una aplicacion lineal, compruebese que, con las identificaciones usuales de Tp (Rk ) con Rk , se
tiene (dF )p = F , p Rn .
(b) Sea Q una subvariedad de R3 . Si (R3 ) y f : Q R
es la funcion diferenciable sobre Q dada por f (p) = (p), p Q,
compruebese que (df )p (v) = (v), v Tp Q.
Ejercicio 2. Se consideran las aplicaciones f : R2 R2 , g : R2
R3 , dadas por
f (x, y) = (x2 2y, 4x3 y 2 ),
Calc
ulese: (a) la matriz de (df )(1,0) en coordenadas cartesianas; (b)
84
Captulo 5
Campos vectoriales
5.1.
86
5.2.
5.3. PARALELIZABILIDAD
87
dimension 0, en cuyo caso X(Q) 0). Por otra parte, X(Q) con la
primera y la tercera operacion verifica propiedades formalmente analogas a las de un espacio vectorial sobre C (Q). Ahora bien, C (Q)
no es un cuerpo, ya que no existe inverso respecto al producto para
funciones que, sin ser identicamente nulas, se anulen en alg
un punto de
la variedad. De hecho, C (Q) solo tiene estructura de anillo unitario
conmutativo. Se dice entonces que X(Q) es un modulo sobre el anillo
C (Q).
Fijado un campo vectorial X X(Q), para cada funcion f
i
(f ) =
X i i C (Q).
X(f ) =
X
i
q
q
i=1
i=1
En consecuencia, para cada X X(Q) tenemos una aplicacion
C (Q) C (Q)
f 7 X(f )
que es R-lineal y verifica la regla de Leibniz, esto es:
X(f g) = X(f ) g + f X(g).
5.3.
Paralelizabilidad
88
Definici
on 5.3.1 De una variedad diferenciable Q que admita una
base global de campos vectoriales se dice que es paralelizable. En caso
contrario, diremos que es no-paralelizable.
En caso de que una variedad Q sea paralelizable y {X1 , . . . , Xn } sea
una base global suya podemos establecer el isomorfismo de espacios
vectoriales:
C (Q)n X(Q)
P
(f 1 , . . . , f n ) 7 ni=1 f i Xi .
Obviamente, en este caso la aplicacion
Q Rn T Q P
(p, a1 , . . . , an ) 7 ni=1 ai Xi (p).
es un difeomorfismo entre QRn y T Q. Es decir, en las variedades paralelizables el correspondiente espacio tangente se reduce esencialmente
a Q Rn .
Ejemplos:
(1) Ejemplos sencillos de variedades paralelizables son Rn (vease
[Seccion 3.3, Ejemplo (1)]), cualquier espacio vectorial y cualquier abierto de un entorno coordenado. No es difcil visualizar
que un toro tambien es una variedad paralelizable.
(2) La esfera 1-dimensional S 1 R2 tambien es paralelizable. En
Esta propiedad, relacionada con el clasico Teorema del Punto Fijo de Brouwer,
puede interpretarse intuitivamente como la imposibilidad de peinar una esfera
peluda sin hacer remolinos.
5.4.
89
Definici
on 5.4.1 Sea Q una variedad diferenciable, X X(Q) un
campo vectorial y : I Q, I =]a, b[ R una curva diferenciable.
Diremos que es una curva integral de X si 0 (t) = X(t) para todo
t I.
Toda curva integral de X se puede extender como curva integral hasta un (
unico) dominio maximo. Mas formalmente, la curva integral
: I Q es inextensible o maximal si no existe otra curva integral
: J Q tal que I
J y = |I . Como veremos, toda curva integral determinara una u
nica maximal por lo que, en adelante,
consideraremos siempre curvas integrales inextensibles.
Una curva integral de X (inextensible) : I Q es completa si
I = R, e incompleta en caso contrario. En el primer caso, diremos
que X es completo a lo largo de . Diremos que X es completo si es
completo a lo largo de todas sus curvas integrales.
dq i
(t) = X i (q(t)) i {1, . . . , n}.
dt
(5.1)
90
una u
nica curva integral maximal. Por otra parte, si (t) es una curva
integral de un campo X entonces tambien lo es la curva (t) = (t+t0 ),
por lo que no sera restrictivo suponer, como haremos en adelante, t0 =
0 I. En conclusion,
Teorema 5.4.2 Fijado un campo vectorial X X(Q), para cada p
Q existe una u
nica curva integral inextensible de X, p :]ap , bp [ Q,
tal que p (0) = p (0 ]ap , bp [).
Ejemplo. Consideremos sobre R2 el campo vectorial X = xy /x. Si
imponemos que (t) sea una curva integral de X entonces obtenemos
el sistema de ecuaciones
x0 (t) = x(t)y(t)
y 0 (t) = 0.
Si suponemos (0) = (x0 , y0 ) R2 entonces este sistema tiene por
solucion
x(t) = x0 ey0 t
y(t) = y0
para todo t R. En particular, se deduce que X es completo.
Del ejercicio anterior se deduce que, incluso en R, existen campos vectoriales completos e incompletos. Ello ocurre en toda variedad (de dimension mayor que 0) excepto en las compactas. De hecho, es posible demostrar que: si Q es compacta entonces todo campo vectorial
X X(Q) es completo (vease, v. gr., [ON, Lemma 1.56]).
Intimamente relacionado con las curvas integrales aparece el concepto de flujo de un campo vectorial.
Definici
on 5.4.3 Consideremos un campo vectorial completo X
X(Q). Definimos el flujo de X como la aplicaci
on
: RQQ
(t, p) 7 t (p) = p (t),
donde p es la curva integral de X dada en el Teorema 5.4.2.
5.5. GRUPO UNIPARAMETRICO
DE DIFEOMORFISMOS
91
5.5.
Grupo uniparam
etrico de difeomorfismos
En esta seccion vamos a introducir el concepto de grupo uniparametrico de difeomorfismos, que, como veremos, abstrae la nocion de flujo.
Sea X X(Q) un campo completo y consideremos su flujo global .
92
d
|t=0 t (p).
dt
5.5. GRUPO UNIPARAMETRICO
DE DIFEOMORFISMOS
93
Para demostrar que t 7 t (p) es una curva integral de X, basta comprobar que:
d
|t=t0 t (p) = Xt0 (p) t0 R.
dt
En efecto,
d
d
d
|t=t0 t (p) =
|t=0 t+t0 (p) =
|t=0 t (t0 (p)) = Xt0 (p) . 2
dt
dt
dt
Observaciones:
(1) El generador infinitesimal X de es invariante por ; esto es,
verifica la propiedad Xt0 (p) = (dt0 )p Xp para todo t0 . En efecto,
Xt0 (p) =
d
d
|t=0 t0 +t (p) =
|t=0 t0 (t (p)) = (dt0 )p Xp .
dt
dt
(2) Las curvas del tipo t 7 t (p) son inyectivas o se cierran sobre
s mismas, ya que son curvas integrales de un campo (el generador
infinitesimal). Estas curvas reciben el nombre de
orbitas del grupo
uniparametrico (vease la Figura 17).
Ejemplo. Consideremos en Q = R3 o Q
respecto al eje z, : R Q Q
x
cos sen
, y 7 sen cos
z
0
0
0
y .
1
z
x cos ysen
y
xsen + y cos = x T(x,y,z) Q,
z
0
X(x,y,z) =
d
|=0
d
94
Figura 17
+ x y
.
es decir, el campo vectorial X = y x
R TQ TQ
(t, vp ) 7 dt (vp ) Tt (p) Q.
5.6.
95
q i
i {1, . . . , n}
(5.2)
f
2f
=
.
Xj (Xi (f )) = j
q
q i
q j q i
Del Lema de Schwarz se deduce entonces que
Xj (Xi (f )) =
2f
2f
=
= Xi (Xj (f )).
q j q i
q i q j
Por tanto, una condicion necesaria para que una base de campos vectoriales sea localmente de campos coordenados (esto es, que verifique
(5.2) en un entorno de cada p Q), es que se verifique:
Xi (Xj (f )) = Xj (Xi (f )) f C (Q) i, j {1, . . . , n}.
La justificacion de que esta propiedad es suficiente conduce a la siguiente definicion, de interes propio:
Definici
on 5.6.1 Si X, Y X(Q), definimos su corchete de Lie en
un punto p Q como la aplicaci
on
[X, Y ]p : C (Q) R
f 7 Xp (Y (f )) Yp (X(f )).
(5.3)
Observemos que de esta definicion se puede deducir facilmente la identidad de Leibniz para el producto:
[X, Y ]p (f g) = f (p) [X, Y ]p (g) + g(p) [X, Y ]p (f ).
96
En efecto,
i
X=
X
Y =
Y i i.
i
q
q
i=1
i=1
Pn
Si escribimos en coordenadas [X, Y ] = k=1 [X, Y ]k qk , entonces
=
Pn
n
k
k
X
i Y
i X
[X, Y ] =
X
Y
.
i
i
k
q
q
q
i,k=1
(5.4)
97
98
Figura 18
El siguiente resultado resuelve el problema que planteaban las bases
de campos y con el que iniciamos esta seccion:
Teorema 5.6.3 (Frobenius). Sea {X1 , . . . , Xr } un conjunto de campos
vectoriales independientes sobre una variedad Q. Son equivalentes:
(i) [Xi , Xj ] = 0 para todo i, j {1, . . . , r}.
(ii) Para cada p Q existe un entorno coordenado (U, q 1 , . . . , q n ) tal
que Xi = q i para todo i {1, . . . , r}.
En particular, si r = n, una base de campos {X1 , . . . , Xn } es localmente
una base de campos coordenados si y solo si [Xi , Xj ] = 0 i, j
{1, . . . , n}.
Idea de la demostraci
on. La implicacion (ii) (i) es inmediata de la
discusion al comienzo de esta seccion. Para la implicacion (i) (ii)
(i)
consideremos para simplificar el caso r = n. Sean t flujos locales de
Xi , i = 1, . . . , n, definidos en un entorno de p para todo t ] , [.
Consideremos la aplicacion
F :] , [n Q
(1)
(n)
(t1 , . . . , tn ) 7 t1 tn (p).
Claramente, dF ( t i |(0,...,0) ) = Xi (p), i {1, . . . , n}. En consecuencia, por el Teorema de la Funcion Inversa existen entornos de (0, . . . , 0)
5.7. APENDICE:
GRUPOS Y ALGEBRAS
DE LIE
99
y U de p tales que la restriccion F | : U es un difeomorfismo. El entorno coordenado en cuestion sera entonces (U, (F | )1
(q 1 , . . . , q n )). Para comprobar que, efectivamente, Xi = q i , se usa la
conmutatividad de los flujos (para mas detalles vease, p. ej., [AM,
2.2.26]). 2
5.7.
Ap
endice: Grupos y Algebras
de Lie
GG
g 7 g 1
100
P
Lie G. En particular, G es paralelizable. Mas a
un, si X = ni=1 f i Xi
X(G) entonces X G si y solo si f i cte para todo i.
Un hecho destacable es que el corchete de Lie preserva los campos
invariantes por la izquierda, esto es:
X1 , X2 G = [X1 , X2 ] G
(debido a que dLg [X1 , X2 ] = [dLg X1 , dLg X2 ] = [X1 , X2 ], vease [Seccion 5.6, Propiedad (3)]). Como consecuencia, (G, [, ]) es un algebra
de Lie de dimension finita n. Adem
P as, para los elementos de la base
(X1 , . . . , Xn ) se tiene [Xi , Xj ] = nk=1 ckij Xk , donde los ckij R determinan el algebra (salvo isomorfismos) y se denominan constantes de
estructura del grupo en la base (X1 , . . . , Xn ).
La teora de grupos de Lie estudia detalladamente como las propiedades del algebra de Lie (G, [, ]) determinan el grupo de Lie G
(al menos localmente). Una simplificacion importante se debe a que,
esencialmente, todo grupo de Lie es isomorfo a un subgrupo de matrices regulares (Teorema de Ado), siendo el corchete de Lie identificable
con el conmutador de las matrices en el espacio tangente a la matriz
identidad.
Ejercicio. Compruebese que el algebra de Lie del grupo de las matrices ortonormales O(n, R) = {A Gl(n, R) : A At = In } es identificable al espacio vectorial de las matrices antisimetricas n n.
Ejercicios
sobre R . Calc
ulese X(f ), siendo f (x, y, z) = 2x y + z.
z
,
x y
Y = (y 2 + 1)
+x .
x
y
5.7. APENDICE:
GRUPOS Y ALGEBRAS
DE LIE
101
(ii) Si Z = (x2 + y 2 ) x
+ (x2 y 2 ) y
, encuentrense f1 , f2 C (R2 )
tales que Z = f1 X + f2 Y .
+
,
x y
Y =y
+x .
x
y
Calc
ulese [X, Y ].
Ejercicio 7. Compruebese que para todo X, Y X(Q) y todo f, g
X(Q) se verifica:
[f X, gY ] = f g[X, Y ] + f (X(g))Y g(Y (f ))X.
Ejercicio 8. Sea F : Q Q0 un difeomorfismo. Para cada X
X(Q) compruebese que
(F (X))q0 := (dF )F 1 (q0 ) (XF 1 (q0 ) ),
q 0 Q0
102
1
(x + y)et + (x y)et , (x + y)et (x y)et .
2
2xz
+y .
x
y
z
Calc
ulese X(f ), siendo f (x, y, z) = x + y + z.
Ejercicio 16. En R3 se consideran los campos vectoriales:
X1 = yz zy ,
X2 = zx xz ,
X3 = xy yx .
(i) Compruebese que inducen, por restriccion, tres campos vectoriales sobre cualquier esfera S centrada en el origen. Forman
una base de campos (referencia movil) sobre R3 ? Y sobre S?
Calc
ulense todos los corchetes [Xi , Xj ], i, j = 1, 2, 3.
(ii) Sea (i) el flujo de cada Xi y considerese la aplicacion : R
(2)
(1)
S S, (t, p) = t 2t (p). Es un grupo uniparametrico de
difeomorfismos? Calc
ulese el campo generado como (t, p)/t|0 .
5.7. APENDICE:
GRUPOS Y ALGEBRAS
DE LIE
103
Y = x2 x + y
Calc
ulense sus curvas integrales. Cuales de ellos son completos?
Ejercicio 18. En R3 se consideran los campos de vectores:
X = y ,
Y = zyx + 3y xyz .
Calc
ulense las curvas integrales de Z = [X, Y ]. Es Z completo?
Ejercicio 19. Se considera la aplicacion : R R2 R2 ,
(t, (x, y)) =
1
(x + y)et + (x y)et , (x + y)et (x y)et .
2
z
= h(x, y, z),
y
+g ,
x
z
Y =
+h .
y
z
104
Captulo 6
Campos tensoriales y formas
diferenciales
6.1.
6.1.1.
Concepto
Definici
on 6.1.1 Sea V (R) un espacio vectorial. Un tensor r veces
covariante y s veces contravariante (o tipo (r, s)) sobre V (R) es una
aplicaci
on
T : V r (V )s R
(u1 , . . . , ur , 1 , . . . , s ) 7 T (u1 , . . . , ur , 1 , . . . , s )
105
106
a11 . . . a1n
a1n
a11
.. . .
..
..
.
.
( . , . . . , . ) 7 .
. . .
an1 . . . ann
ann
an1
Es directo comprobar que det Tn,0 (Rn ).
107
n
X
i (f (vi )) =
i=1
n
X
Tf (vi , i ),
i=1
6.1.2.
Producto tensorial
T T 0 : V r+r (V )s+s R
0
0
((u1 , . . . , ur+r0 ), (1 , . . . , s+s )) 7 T T 0 (u1 , . . . , ur+r0 , 1 , . . . , s+s ),
siendo
0
108
6.1.3.
n
X
i,j=1
tij ( )(vk , vl ) =
n
X
tij ki lj = tkl . 2
i,j=1
Teorema 6.1.4 (1) El conjunto B2,0 es una base del espacio T2,0 (V )
y, por tanto, dim T2,0 = n2 .
(2) La coordenada (k, l) de un tensor T en la base B2,0 coincide con
T (vk , vl ).
109
Demostraci
on. (1) En primer
que B2,0 es linealmente
Pnlugar veamos
i
j
independiente. En efecto, si i,j=1 tij = T0 0 entonces, por el
Lema 6.1.3, tij = T0 (vi , vj ) = 0, i, j. Para demostrar que B2,0 es un
sistema de generadores
basta comprobar que para todo T T2,0 (V )
Pn
se tiene T =
t i j , siendo tij = T (vi , vj ). En efecto, si
i,j=1
Pn i
Pnij j
u = i=1 a vi , v = j=1 b vj entonces
n
n
n
X
X
X
i
j
T (u, v) = T (
a vi ,
b vj ) =
T (vi , vj )ai bj
i=1
n
X
j=1
tij ai bj =
i,j=1
n
X
i,j=1
!
tij i j
(u, v)
i,j=1
T (v1 , v1 ) . . . T (v1 , vn )
..
..
...
MB (T ) = (tij )i,j =
.
.
.
T (vn , v1 ) . . . T (vn , vn )
Se comprueba entonces:
b1
110
Pn
i,j=1
Teorema 6.1.6 (1) El conjunto B0,2 es una base del espacio T0,2 (V )
y, por tanto, dim T0,2 = n2 .
(2) La coordenada (k, l) de un tensor T en la base B0,2 coincide con
T (k , l ).
Observaci
on. Se suele usar la notacion T0,2 (V ) V V .
Finalmente, consideremos el espacio vectorial T1,1 (V ). Dados
V y u V podemos definir
u:V V R
(v, ) 7 (v) (u).
Para el conjunto B1,1 = {j vi : i, j {1, . . . , n}} se verifica entonces:
Lema 6.1.7 Si T =
Pn
i j
i,j=1 tj
Teorema 6.1.8 (1) El conjunto B1,1 es una base del espacio T1,1 (V )
y, por tanto, dim T1,1 = n2 .
(2) La coordenada (k, l) de un tensor T correspondiente al elemento
l
vk de la base B1,1 coincide con T (vl , k ).
Observaci
on. Seg
un la definicion general de producto tensorial que
estamos considerando, se verifica u = u . Por tanto, indistintamente se suelen usar las notaciones T1,1 (V ) V V V V .
6.1.4.
111
n
X
...js
tji11...i
i1 ir vj1 vjs
r
i1 ,...,js =1
...js
entonces tji11...i
= T (vi1 , . . . , vir , j1 , . . . , js ).
r
,...,js
Abusando del lenguaje se suele decir que los escalares tji11,...,i
son las
r
coordenadas de T en B (en lugar de en Br,s ).
6.1.5.
Tensores sim
etricos y antisim
etricos tipo (2, 0)
Definiciones 6.1.10 (1) Diremos que un tensor T T2,0 (V ) es simetrico si T (x, y) = T (y, x), x, y V .
(2) Diremos que un tensor T T2,0 (V ) es antisimetrico si T (x, y) =
T (y, x), x, y V .
En caso de tensores tipo (0, 2) se puede dar una definicion analoga; en
cambio, para tensores tipo (1, 1) esto no tiene sentido.
Proposici
on 6.1.11 Sea T T2,0 (V ). Son equivalentes:
(i) T es simetrico (resp. antisimetrico).
112
n
X
i,j=1
i j
a b T (vi , vj ) =
n
X
j=1
i,j=1
Observaci
on: Si , V entonces el tensor + es simetrico
mientras que el tensor es antisimetrico.
Definici
on 6.1.12 Si , V se define su producto exterior como
el tensor antisimetrico = .
Es facil probar que se verifican la siguientes propiedades:
S
A
(1) Tanto T2,0
(V ) = {T T2,0 (V ) : T es simetrico} como T2,0
(V ) =
{T T2,0 (V ) : T es antisimetrico} son subespacios vectoriales de
T2,0 (V ).
S
(2) Se verifica la descomposicion en suma directa T2,0 (V ) = T2,0
(V )
A
S
A
S
A
T2,0 (V ) (esto es, T2,0 (V ) = T2,0 (V )+ T2,0 (V ) y T2,0 (V ) T2,0 (V ) = {0}.)
(3) Si B = (1 , . . . , n ) es una base de V entonces los conjuntos
S
A
B2,0
= {i j + j i : 1 i j n} y B2,0
= {i j =
S
i j j i : 1 i < j n} son bases de los espacios T2,0
(V ) y
A
T2,0 , respectivamente. Por tanto, la dimension del primero es n(n+1)/2
y la del segundo n(n 1)/2.
6.2.
6.2.1.
Sea Q una variedad diferenciable y p Q. Consideremos el espacio vectorial tangente Tp Q y sea (U, = (q 1 , . . . , q n )) un entorno
113
n
X
,...,js
tji11,...,i
dqpi1 dqpir
r
i1 ,...,js =1
|p j s |p ,
j
1
q
q
,...,js
donde tji11,...,i
= Tp ( qi1 |p , . . . , qir |p , dqpj1 , . . . , dqpjs ) (coordenadas de T
r
en Bp ).
Para estudiar como cambian las coordenadas del tensor ante cambios de base, supongamos que (U , = (
q1 , . . . , qn )) es otro entorno
coordenado alrededor de p. Entonces las nuevas bases asociadas a esas
p = ( 1 |p , . . . , n |p ) y B
= (d
coordenadas son B
qp1 , . . . , d
qpn ). Por
p
q
q
tanto, debemos hallar la relacion existente entre las coordenadas de Tp
p . Para ello,
en las diferentes bases de tensores inducidas por Bp y B
supongamos en primer lugar que Tp T2,0 (Tp Q), entonces
Tp =
n
X
tij
dqpi
dqpj
i,j=1
Ahora bien,
n
X
tkl d
qpk d
qpl .
k,l=1
Pn
|
=
p
k
q
Pni=1
| = j=1
ql p
q i
(p) q i |p
qk
q j
(p) q j |p ,
ql
luego
P P
tkl = Tp ( qk |p , ql |p ) = ni=1 nj=1
P
i
j
(p)tij .
= ni,j=1 qqk (p) q
ql
j
q i
(p) q
(p)
qk
ql
Tp ( q i |p , q j |p )
Esto es,
tkl =
n
X
q j
q i
(p)
(p)tij
k
l
i,j=1
k, l {1, . . . , n}.
114
n
X
ql
qk
(p)
(p)tij
i
j
q
q
i,j=1
k, l {1, . . . , n}.
q1
q1
q01
..
. .
(6.1)
. = A .. + ..
qn
qn
q0n
para alguna matriz regular A = (aji )i,j y q01 , . . . , q0n R fijos. Escribiendo la matriz inversa como A1 = (bji )i,j , muestrese que se verifica:
tkl =
n
X
i,j=1
tkl =
n
X
i,j=1
s
tlk11,...,l
qpl1 , . . . , d
qpls )
,...,kr = Tp ( qk1 |p , . . . , qkr |p , d
Pn qi1
P
ir
= Tp ( i1 =1 qk1 (p) qi1 |p , . . . , nir =1 qqkr (p) qir |p ,
Pn qls
Pn ql1
j1
js
js =1 q js (p)dqp ).
j1 =1 q j1 (p)dqp , . . . ,
n
X
i1 ,...,js
q i1
q ir
ql1
qls
...js
(p)
(p)
(p)
(p) tji11...i
. (6.2)
r
k1
kr
j1
js
q
q
=1
115
Observaci
on. La eleccion de las posiciones de los ndices (contravariantes arriba, covariantes abajo) facilita recordar mnemotecnicamente expresiones tensoriales generales como (6.2): (i) siempre que hay un
sumatorio de dos ndices, uno de ellos aparece arriba y otro abajo, (ii)
si un ndice queda suelto (sin sumarse en el) en uno de los miembros de
la igualdad, tambien quedara suelto en el otro, y en la misma posicion.
Nota (Sobre el electromagnetismo en Relatividad Especial). Clasicamente se supona que cada observador inercial O meda en cada instante de
tiempo t y en cada punto p del espacio fsico ordinario tridimensional
~ t (p)
(al que asigna unas coordenadas (x, y, z)), un campo electrico E
~
~
~
E(t, x, y, z) y un campo magnetico Bt (p) B(t, x, y, z). Otro obser~ 0 (p) E
~ 0 (t, x0 , y 0 , z 0 ) y un
vador inercial O0 medira un campo electrico E
t
~ t0 (p) B
~ 0 (t, x0 , y 0 , z 0 ). Si, por ejemplo, O0 se mueve
campo magnetico B
a lo largo del eje x de O con velocidad constante v, desde el punto de
vista de Galileo la transformacion de coordenadas que los observadores
inerciales encuentran para los puntos del espacio fsico es:
x0 = x vt
y0 = y
z 0 = z.
(6.3)
|p =
|p ;
x
x0
|p = 0 |p ;
y
y
|p = 0 |p .
z
z
(6.4)
116
de coordenadas :
0
E1
E2
E3
E 1
0
B 3 B 2
.
(Fij ) =
E 2 B 3
0
B1
E 3 B 2 B 1
0
6.2.2.
Campos tensoriales
Un campo tensorial T tipo (r, s) sobre una variedad Q es una asignacion de un tensor Tp Tr,s (Tp Q) a cada punto p Q. Dado el campo T y un entorno coordenado (U, = (q 1 , . . . , q n )), existen funciones
,...,js
tji11,...,i
, i1 , . . . , js {1, . . . , n} definidas en U tales que
r
Tp =
n
X
i1 ,...,js =1
,...,js
tji11,...,i
(p)dqpi1 dqpir
r
|p js |p
j
1
q
q
p U.
117
6.3.
Formas diferenciales
Definici
on 6.3.1 Una forma diferencial (tipo (1, 0)
o 1-forma diferencial) es un campo de formas lineales, esto es, de tensores tipo
(1, 0).
Denotaremos por 1 (Q) al conjunto de todas las formas diferenciales, dotado de sus operaciones naturales.
Ahora podemos reobtener el concepto de variedad cotangente a Q
(definida ya en la Seccion 4.2) sin mas que tener en cuenta T1,0 (Q) =
T Q .De nuevo, 1 (Q) es un espacio vectorial (de dimension ) y un
C (Q)-modulo. La diferente notacion introducida hasta ahora se resume en el siguiente esquema:
(r, s) cualquiera
Tr,s (Q)
Xr,s (Q)
r = 0, s = 1
TQ
X(Q)
r = 1, s = 0
T Q
1 (Q).
118
1
Ademas, si
(Q) y (U, q 1 , . . . , q n ) es un entorno coordenado de Q
P
n
entonces = i=1 i dq i , siendo i = ( q i ).
Un ejemplo relevante de forma de diferencial es la diferencial de una
funcion f C (Q) esto es, df 1 (Q).
Definici
on 6.3.2 Una forma diferencial (2, 0) o 2-forma diferencial
sobre una variedad Q es un campo tensorial tipo (2, 0) que es antisimetrico, esto es, tal que p (vp , wp ) = p (wp , vp ), vp , wp Tp Q y
p Q.
Denotaremos por 2 (Q) al conjunto de todas las formas diferenciales, dotado de sus operaciones naturales.
Recordemos que si , Tp Q entonces = es
un tensor (2, 0) antisimetrico y, obviamente, el producto se extiende
naturalmente a formas diferenciales. Ademas, si 2 (Q) entonces
=
n
X
ij dq i dq j ,
i,j=1
donde ij = ( q i , q j ) = ( q j , q i ) = ji . As,
=
ij dq i dq j ,
1i<jn
6.4.
La diferencial exterior
6.4.1.
Formas exactas
Definici
on 6.4.1 Diremos que una forma diferencial 1 (Q) es
exacta si existe una funcion f C (Q) tal que = df .
119
Una
on interesante consiste en cuando una forma diferencial =
Pn cuesti
i
ervese que, en caso afirmativo,
i=1 i dq es exacta. Obs
n
X
f i
dq ,
=
i
q
i=1
f C (Q)
y, por tanto,
i
2f
2f
j
=
=
=
.
j
j
i
i
j
q
q q
q q
q i
Esto es, si es exacta entonces en cualquier sistema de coordenadas:
i
j
=
j
q
q i
i, j {1, . . . , n}.
(6.5)
Mas adelante veremos que la condicion (6.5) no solo es una condicion necesaria para que sea exacta sino que, localmente, tambien
es suficiente (Teorema 6.4.6). Pero antes definiremos el concepto de
diferencial de una forma, que, como veremos, extiende al de una funcion. Este concepto nos permitira comprobar que la igualdad (6.5) es
independiente de coordenadas, esto es, si para unas coordenadas sobre un abierto U se verifica (6.5), entonces tambien se verifica para
cualesquiera otras coordenadas en U .
6.4.2.
Pn
i
Sea =
on de una forma diferencial en un
i=1 i dq la expresi
1
entorno coordenado (U, = (q , . . . , q n )) de Q. Por analoga con la
diferencial de una funcion, no resulta extra
no definir la diferencial exterior de (en esas coordenadas) como
d =
n
X
di dq i .
i=1
Observese que di =
Pn
i
j
j=1 q j dq ,
d =
por lo que
n X
n
X
i
i=1 j=1
q j
dq j dq i ,
(6.6)
120
o tambien,
d =
1i<jn
i j
i ) dq j dq i .
q j
q
(6.7)
Sin embargo, para que esta definicion sea consistente, debe resultar
independiente de coordenadas, como comprobamos a continuacion.
Proposici
on 6.4.2 Sea 1 (Q), y sean (U, = (q 1 , . . . , q n )),
(U , = (
q 1 , . . . , qn )) do entornos coordenados con U U 6= , escribiendose en U U :
=
n
X
i dq i =
i=1
Entonces:
n
X
j=1
n
X
j d
qj .
j=1
d
j d
q =
n
X
dk dq k .
(6.8)
k=1
Llamaremos diferencial exterior d de a la 2-forma diferencial definida en cada entorno coordenado por la expresi
on (6.8).
Demostraci
on. Como
n
!
X
n
n
k
X
X
q
q k
q k
j =
=
=
=
k ,
qj
qj q k
qj
q k
qj
k=1
k=1
k=1
(que es un caso particular de (6.2)) se tiene:
n
!
n
n
X
X
X q k
2qk
q k k
l
d
j =
d
q =
+ j
d
ql .
l
j k
lq
j k
l
l=1
k=1
k,l=1
En consecuencia,
P
Pn
2 k
k
k
j d
q j = nj,k,l=1 ( ql q qj k + q
)d
q l d
qj
j=1 d
qj ql
Pn
P
k
k
= k,l,j=1 (
d
q l ) ( q
d
q j ) = nk=1 dk dq k ,
qj
ql
donde se ha usado que
n
X
2qk
d
q l d
qj = 0
lq
j
l,j=1
121
por la antisimetra de . 2
El siguiente resultado caracteriza a la diferencial exterior, y puede
tomarse como definicion alternativa de ella.
Teorema 6.4.3 Sea 1 (Q), y X, Y X(Q). Entonces:
d(X, Y ) = X((Y )) Y ((X)) ([X, Y ]).
Demostraci
on. Resulta inmediato de (6.7) en el caso de que X, Y sean
campos coordenados. Para el caso general, observese que cada miembro es C (Q)lineal en X e Y , esto es, resulta equivalente en cada
miembro multiplicar por f C (Q) que reemplazar X (resp. Y ) por
f X (resp. f Y ) . 2
Ejercicio. Demuestrese que la aplicacion diferencial exterior d : 1 (Q)
2 (Q) es lineal y verifica:
d(f ) = df + f d, f 0 (Q), 1 (Q).
Podemos caracterizar ahora la igualdad (6.5).
Definici
on 6.4.4 Diremos que una forma diferencial 1 (Q) es
cerrada si d = 0, esto es, si en cualesquiera coordenadas verifica
(6.5).
De la discusion al comienzo de la Subseccion 6.4.1 se tiene:
Corolario 6.4.5 Si 1 (Q) es exacta ( = df ) entonces es
cerrada (d = 0).
Veamos a continuacion un recproco parcial de este resultado.
Teorema 6.4.6 (Lema de Poincare). Sea 1 (Q) una forma diferencial cerrada. Para cada p Q existe un entorno abierto V de p y
una funci
on f : V R tal que = df sobre V .
Demostraci
on. Consideremos un entorno coordenado (U, = (q 1 , . . . ,
n
q )) de p Q tal que (p) = 0. Sea > 0 tal que ], [n (U ) Rn ,
y tomemos V = 1 (] , [n ). Todo se reduce a hallar una funcion f
tal que
f
= i i {1, . . . , n}.
(6.9)
q i
122
6.5.
Circulaci
on de una forma diferencial
Consideremos una forma diferencial 1 (Q) y una curva diferenciable : [a, b] Q. Es posible definir la composicion:
0 (t) = (t) ( 0 (t)) R,
1
t [a, b],
123
124
n Z
X
i=1
q1i
q0i
i (q 1 (q i ), . . . , q i , . . . , q n (q i ))dq i ,
(6.12)
(q01 , . . . , q0n ),
siendo (a)
(b) (q11 , . . . , q1n ). En ocasiones, en lugar
de la expresion circulacion de a lo largo de se habla de integral
de lnea (o camino) de a lo largo de (la imagen de) , con lo que se
pone mas de manifiesto su invariancia ante reparametrizaciones.
Si conocemos la circulacion de a lo largo de cualquier curva entonces podemos reconstruir . Con mas precision, de (6.11) se sigue
inmediatamente:
Proposici
on 6.5.2 Si vp Tp Q y si : [0, ] Q, > 0 es una
curva diferenciable con 0 (0) = vp , entonces se verifica
Rt
( 0 (t))dt
0
.
(vp ) = limt0
t
La circulacion de a lo largo de dos curvas distintas y no tiene por
que coincidir aunque los extremos de y s lo hagan. Sin embargo,
esto s coincide cuando es exacta. En efecto, si = df entonces
Z b
Z b
Z b
d(f )
0
0
( (t))dt =
df ( (t))dt =
dt = f ((b)) f ((a)).
dt
a
a
a
(6.13)
De hecho, esta propiedad caracteriza a las formas diferenciales exactas:
Teorema 6.5.3 Resultan equivalentes:
(i) es una forma diferencial exacta.
(ii) Para cualesquiera dos curvas : [a, b] Q, : [c, d] Q con
(a) = (a), (b) = (b) la circulaci
on de a lo largo de
coincide con la circulaci
on de a lo largo de .
Demostraci
on. La implicacion (i) (ii) se reduce a (6.13). Para la
recproca, escojamos un punto p0 en (cada parte conexa de) Q. Para
cada punto p (en esa parte conexa -y, por tanto, arcoconexa) tomamos
una curva : [0, b] Q que conecte p0 con p. Definimos f escogiendo
f (p0 ) R arbitrariamente y tomando:
Z b
f (p) = f (p0 ) +
( 0 (t))dt.
(6.14)
0
SIMPLE
6.6. APENDICE
1: CONEXION
125
6.6.
Ap
endice 1: variedades simplemente
conexas
126
6.7. APENDICE
2: TERMODINAMICA
127
6.7.
Ap
endice 2: Termodin
amica
Consideramos los estados de equilibrio de un sistema termodinamico (simple) como puntos de una variedad5 M que, por sencillez, supondremos simplemente conexa.
Cada proceso casiestatico de un estado p M a un estado q M
se modela por una curva diferenciable : [a, b] M con (a) = p,
(b) = q. El parametro de la curva no debe interpretarse como el
tiempo (los estados son de equilibrio). Como estaremos interesados en
circulaciones de formas, por la Proposicion 6.5.1 no nos importara la
reparametrizacion de .
En cada proceso casiestatico , el fsico es, en principio, capaz de
calcular el calor transferido Q y el trabajo realizado L por el sistema.
La independencia de Q y L con la reparametrizacion de sugiere que
ambos son circulaciones de formas diferenciales. La Proposicion 6.5.2
permitira calcular entonces estas formas. Postulamos entonces que ex y dL,
cuyas circulaciones a lo largo
isten dos formas diferenciales, dQ
de cualquier proceso casiestatico proporcionan, respectivamente, Q
y L. Notese que d es solo una notacion, no representa diferenciales de
dL
1 (M ). La notacion simplemente sugiere que el
funciones, dQ,
calor o trabajo transferidos a lo largo del proceso se obtiene como
una circulacion a lo largo de el.
dL
pueden ser arbitrarias, con la u
En principio, las formas dQ,
nica
restriccion de que en ning
un punto se anulen. Sin embargo, existen
razones fsicas por las que se postula que su diferencia es exacta, esto
es:
(Primer Principio de la Termodin
amica.) Existe una funcion U , la energa interna del sistema termodinamico, que
verifica:
dL
= dU.
dQ
5
128
dL
no sean cerradas, se admite que dL
es expresable
Aunque dQ,
en terminos de funciones con significado fsico sobre M , tpicamente
= P dV , donde P es la presion del sistema y V : M (0, )
dL
De nuevo, exisel volumen; as, 1/P es un factor integrante de dL.
tambien debe admitir un factor
ten razones fsicas para creer que dQ
integrante:
(Segundo Principio de la Termodin
amica). La inversa de la
temperatura T del sistema fsico es un factor integrante de
esto es 1 dQ
es cerrada. Al ser M simplemente conexa,
dQ,
T
podemos escribir:
1
dQ = dS
T
para una funcion S sobre M , a la que se le llamara entropa
del sistema fsico.
Una consecuencia del Segundo Principio de la Termodinamica es el
Teorema de Caratheodory, la conclusion del cual puede admitirse
como un postulado alternativo al Segundo (Postulado de Caratheodory). Para analizarlo tengase en cuenta el siguiente resultado general
[AMR, Section 8.4.1]:
Teorema 6.7.1 Sea M simplemente conexa y 1 (M ) tal que p 6=
0, p M . Equivalen:
(i) admite un factor integrante.
(ii) Para ning
un p M existe un entorno suyo U tal que el punto p
y cada q U puedan conectarse mediante una curva con 0 0.
[Es facil comprobar (i) (ii). De hecho, si h = df entonces 0 0
equivale a df 0 0, esto es, f constante. Por tanto, mediante
curvas con 0 0 solo podremos conectar p y q si f (p) = f (q).]
Una vez admitido el Segundo Postulado de la Termodinamica, el
Teorema de Caratheodory afirma:
Para todo estado p M existen estados arbitrariamente
proximos de p (esto es, una sucesion {pn }n p, pn
M {p}, n N) que son inaccesibles desde p por va
adiabatica (esto es, no existe ning
un proceso casiestatico
0
6.7. APENDICE
2: TERMODINAMICA
129
Ejercicios
Ejercicio 1. Expresese en coordenadas cilndricas el campo tensorial
sobre R3 : T = xyzdx dz /y.
Ejercicio 2. Pruebese que para toda funcion f sobre una variedad
diferenciable Q se verifica d(df ) = 0.
Ejercicio 3. Sean , 1 (Q), 2 (Q), f C (Q) 0 (Q) y
sea F : Q0 Q diferenciable. Definimos (vease tambien la Definicion
8.5.6.) F : T Q0 R por
F (vp0 ) = (dFp0 (vp0 )),
vp0 Tp0 Q0 , p0 Q0 ,
y, analogamente, F : T Q0 T Q0 R. Demuestrese:
(i) F 1 (Q0 ), F 2 (Q0 ).
(ii) F F = F ( ).
(iii) d(F ) = F d, d(f F ) = F df .
(iv) si es cerrada (resp. exacta), F es cerrada (resp. exacta).
Ejercicio 4. Se considera la forma diferencial = (xdy ydx)/(x2 +
y 2 ) sobre R2 {(0, 0)}. Es cerrada? Es exacta?
Sea : R+ R R2 {(0, 0)}, (, ) ( cos , sen). En la
notacion del ejercicio anterior, es cerrada? Es exacta?
Ejercicio 5. En R+ R+ se considera la 1-forma diferencial =
y
dx + 2dy. Es cerrada o exacta? Admite un factor integrante?
x
Calc
ulese su circulacion a lo largo del rectangulo de extremos los puntos
(1, 1), (3, 1), (3, 2), (1, 2) en sentido de giro positivo.
Ejercicio 6. En todo R2 \{0} se considera la forma diferencial que,
en el dominio de definicion de las coordenadas polares, se expresa como = d + 2 d. Sea
su restriccion a la circunferencia unidad.
Determnese si y
son cerradas o exactas. Calc
ulese la circulacion
de ambas a lo largo de la curva (t) = (cos t, sent), t [0, 3].
Ejercicio 7. En R2 \{0} se considera la forma diferencial
=
x2
1
(x + xy 2 y)dx + (yx2 + y 3 + x)dy .
2
+y
Calc
ulese su circulacion a lo largo de (t) = (cos t, sent), t [0, ]. Es
cerrada? Es exacta?
130
1 2
sen(2)dz,
2z
= z .
y
x
= x 2
dx + y + 2
dy.
x + y2
x + y2
Calc
ulese su circulacion a lo largo de (t) = (cos t, sent), t [0, ]. Es
cerrada? Es exacta?
Ejercicio 10. Determnense las posibles funciones f C (R4 ) para
que la forma diferencial sobre R4 , = (y + z + t)dx + (x + z + t)dy +
(x + y + t)dz + f dt, sea cerrada, y entonces muestrese explcitamente
que es exacta.
Captulo 7
Campos tensoriales m
etricos
7.1.
Concepto de m
etrica riemanniana y
lorentziana
132
que
hvi , vj i = 0 si i 6= j
1 si i = 1, . . . , s
1 si i = s + 1, . . . , r
y hvi , vi i =
0 si i = r + 1, . . . , n.
A las bases en las que h, i adopta esta expresion se les llama ortonormales. Los valores de s, r {0, 1, . . . , n} son independientes de la base
ortonormal escogida y reciben el nombre de ndice y rango de h, i,
respectivamente. Se dice que h, i es:
(1) no degenerado o un producto escalar si r = n. Ello ocurrira si y
solo si la matriz asociada (hvi , vj i)i,j es regular (su determinante
es distinto de 0) para alguna base B = (v1 , . . . , vn ) de V (y, en
este caso, la matriz es regular para cualquier base).
Equivalentemente: si un vector v V verifica hv, wi = 0 para
todo w V , entonces necesariamente v = 0.
(2) un producto escalar eucldeo si s = 0 y r = n, o equivalentemente: hv, vi 0 v V , con igualdad si y solo si v = 0. Por
tanto, h, i es no degenerado y las bases ortonormales pueden
calcularse por el procedimiento clasico de ortonormalizacion de
Gram-Schmidt. Observese que en este caso la matriz asociada a
una base ortonormal B = (v1 , . . . , vn ) es la identidad.
(3) un producto escalar lorentziano si n 2 y la matriz (hvi , vj i)i,j
es no degenerada y con ndice s = 1. En este caso, para cualquier
base ortonormal B = (v1 , . . . , vn ) se tiene la matriz:
1 0 . . . 0
0
(hvi , vj i) = ..
.
.
Idn1
0
Definiciones 7.1.1 Sea Q una variedad diferenciable. Llamaremos
campo tensorial metrico o, simplemente, metrica sobre Q a cualquier
campo de tensores 2-covariante simetrico g sobre Q. En este caso se
dice que la metrica g es:
7.1. METRICAS
RIEMANNIANAS Y LORENTZIANAS
133
i=1
1 2
i=2
134
Si la metrica de partida g fuera semi-riemanniana, habra que tener la precaucion de que el campo de tensores inducido g S sobre la subvariedad no degenerase
en ning
un punto. Con esta restriccion, (S, g S ) tambien es una nueva variedad semiriemanniana, aunque no necesariamente del mismo ndice que (Q, g).
7.2. GRADIENTE DE UNA FUNCION
135
f > 0,
1 0
...
0
.
..
2
.
f (t) Id3
0
(2) La metrica g es lorentziana. Constr
uyase una base ortonormal
en cada punto.
(3) La restriccion de la metrica lorentziana g a cada hipersuperficie
t constante es una metrica riemanniana.
(4) Si S 1 = {(x, y, z, w) S 3 : z = w = 0} es el ecuador de
S 3 , entonces S = R S 1 es una subvariedad de R S 3 y la metrica
lorentziana g restringida a S tambien es lorentziana.
(5) Existen en R S 3 subvariedades de dimension 1 tales que g
restringida a cualesquiera de ellas es identicamente nula.
7.2.
En un espacio vectorial dotado de un producto escalar los isomorfismos bemol y sostenido permiten asociar a cada vector una forma
136
n
X
Xi
i=1
n
X
,
q i
i dq ,
X[ =
n
X
gij X i dq j .
i,j=1
i=1
n
X
g ij i
i,j=1
.
q j
p Q.
n
X
i,j=1
g ij
f
.
q i q j
d
d
|t=0 f (t) =
|t=0 c = 0.
dt
dt
137
Mas a
un, cuando g es riemanniana y es una curva arbitraria en Q
(no necesariamente contenida en S) tal que (0) = p S, | 0 (0)k = 1,
entonces:
d
|t=0 f (t) = gp (grad fp , 0 (0)) = kgrad fp k cos ,
dt
siendo el angulo que forman grad fp y 0 (0) seg
un gp . En particular, si
0
(0) apunta en la direccion de grad fp entonces cos = 1 y la derivada
anterior es maxima. En resumen, grad fp es perpendicular a S en p y
apunta en la direcci
on de maxima variacion de f , en sentido creciente,
con modulo igual a la maxima derivada.
7.3.
+ X2
+ X3 .
x
y
z
CAPITULO 7. CAMPOS TENSORIALES METRICOS
138
X [ = X 1 dx + X 2 dy + X 3 dz.
Un calculo simple muestra entonces que la 2-forma rotacional vale:
X 3 X 2
[
dX =
dy dz
y
z
X 3 X 1
X 2 X 1
+
dx dz +
dx dy.
x
z
x
y
Usando las coordenadas usuales de R3 podemos definir el rotacional de
X como el siguiente campo de vectores3 :
X 3 X 2
X 3 X 1
X 2 X 1
Rot X =
.
y
z
x
x
z
y
x
y
z
(7.1)
Claramente, dX [ = 0 si y solo si Rot X = 0. As, si X est
a definido
en un abierto U simplemente conexo, (p. ej., todo U = R3 ), X es
conservativo si y solo si Rot X = 0.
7.4.
Circulaci
on de un campo vectorial a
lo largo de una curva
7.5. ISOMETRIAS
139
entonces que X(t) , 0 (t) T(t) Q, y tiene sentido considerar la aplicacion diferenciable
[a, b] R
t 7 g(X(t) , 0 (t)).
Definici
on 7.4.1 Definimos la circulacion de un campo X X(Q) a
lo largo de una curva diferenciable en Q como la integral
Z
g(X(t) , 0 (t))dt.
(7.2)
7.5.
Isometras
Definici
on 7.5.1 Sean (Q, g), (Q0 , g 0 ) dos variedades semi-riemannianas.
Diremos que una aplicacion diferenciable F : Q Q0 es una isometra
(entre variedades semi-riemannianas) si
140
(i) F es un difeomorfismo,
(ii) F preserva las metricas, esto es,
gp (vp , wp ) = gF0 (p) (dFp (vp ), dFp (wp )), vp , wp Tp Q, p Q.
Observemos que la condicion (ii) equivale a que la aplicacion dFp :
Tp Q TF (p) Q0 sea una isometra vectorial entre (Tp Q, gp ) y (TF (p) Q0 ,
gF0 (p) ) para todo p Q. De dos variedades semi-riemannianas entre las
que existe una isometra se dice que son isometricas. Todas las propiedades derivadas de la metrica (y, por supuesto, de la estructura de
variedad diferenciable -en particular las propiedades topologicas) que
verifique una variedad semi-riemanniana (Q, g) las verificaran tambien
todas las variedades isometricas a ella. Por tanto, las propiedades asociadas a la metrica en la variedad se conservan a traves de la isometra.
Dadas dos variedades semi-riemannianas resulta natural preguntarse cuando son isometricas. Por ejemplo, consideremos la esfera S 2
R3 , un cilindro C R3 y un plano R3 como variedades riemannianas. Dos a dos no son isometricas porque no son difeomorfas globalmente (de hecho, ni siquiera son homeomorfas): la esfera es compacta y
el resto no; el cilindro no es simplemente conexo mientras que la esfera
y el plano s lo son. Sin embargo, un casquete abierto de una esfera
s es difeomorfo a un disco, o a algunos abiertos de un cilindro (Figura
19).
Figura 19
141
7.6.
El concepto de longitud de una curva que acabamos de introducir sugiere la siguiente definicion de distancia. Dada una variedad riemanniana
conexa (Q, g) y dos puntos p, q Q, definimos la distancia entre ellos
como:
dg (p, q) = Inf {L() : : [a, b] Q, (a) = p, (b) = q}.
Aunque las propiedades de la funcion distancia se veran con mas detalle
en el Captulo ??, anticipamos ahora las dos siguientes:
(1) La aplicacion dg : Q Q [0, ) es una distancia abstracta,
esto es, verifica las propiedades de una distancia definidas en
[Seccion 1.6, Definicion 1.6.1].
(2) La topologa asociada a la distancia dg en Q coincide con la
topologa de (Q, g) como variedad.
Como acabamos de ver, toda variedad riemanniana conexa (Q, g) tiene
asociado un espacio metrico (Q, dg ) que, en general, puede o no ser
completo. Por otra parte, dos variedades riemannianas isometricas son
tambien isometricas como espacios metricos. En particular, tendran el
mismo diametro, que se define (como en cualquier espacio metrico):
diam(Q) = Sup{dg (p, q) : p, q Q} [0, ].
142
7.7.
Ap
endice 1: aplicaciones bemol y sostenido
7.7. APENDICE
1: BEMOL Y SOSTENIDO
Pn
i=1
ai vi V y v [ =
n
X
aj = v (vj ) = hv, vj i =
143
Pn
j=1
gij ai ,
aj j .
(7.3)
i=1
P
donde gij = hvi , vj i. Por tanto, v [ = ni,j=1 ai gij j . Si denotamos por
(g ij )i,j la matriz inversa de (gij )i,j entonces multiplicando ambos miembros de la igualdad (7.3) por g jk y sumando en j obtenemos:
k
a =
n
X
aj g jk
j=1
En conclusion, si =
entonces
Pn
i
i=1 bi
]
V y suponemos ] =
n
X
bi g ij vj .
Pn
j=1
b j vj
(7.4)
i,j=1
Observaci
on: Si h, i es eucldea y B es una base ortonormal entonces
aj = aj para todo j {1, . . . , n}. (En el caso lorentziano la u
nica
1
diferencia es a = a1 ).
Este isomorfismo entre V (R) y V (R) induce isomorfismos entre tensores tipo (2, 0), (0, 2) y (1, 1) (y, en general, entre tensores tipo (r, s)
y (r0 , s0 ) con r + s = r0 + s0 ). Por ejemplo, supongamos que T es un
tensor (2, 0) y queremos construir a partir de el un tensor T que sea
(0, 2). Entonces basta con definir T(, ) := T (] , ] ). Observese que
la relacion correspondiente en coordenadas queda:
T =
n
X
tij i j ,
T =
i,j=1
donde
tij =
n
X
k,l=1
n
X
tkl vk vl ,
k,l=1
kl
gik gjl t ,
kl
t =
n
X
g ki g lj tij .
i,j=1
144
n
X
i=1
tii
siendo
tij
n
X
g ik tkj .
k=1
Esto es facilmente generalizable a tensores de tipo superior (contraccion de tensores en un ndice covariante y otro covariante -sin necesidad de g- y contraccion de tensores en dos ndices covariantes o dos
contravariantes -con ayuda de g).
7.8.
Ap
endice 2: M. Lagrangiana frente a
Hamiltoniana
En este apendice comentaremos la relacion existente entre el formalismo lagrangiano, introducido en el apendice del Captulo 3, y el formalismo hamiltoniano, del que dimos algunos elementos en la nota final
de la Seccion 4.2. Esencialmente desarrollaremos las siguientes ideas:
(1) cualquier lagrangiana L : T Q R R, a cada instante t fijo,
define de manera natural una aplicacion (no necesariamente lineal)
Tp Q Tp Q para cada p y, por tanto, una aplicacion T Q T Q ;
cuando esta es un difeomorfismo, la lagrangiana se dice hiper-regular,
(2) las lagrangianas tpicas L = T V , donde T es la energa
cinetica asociada a una metrica semi-riemanniana g, y V un potencial,
no solo son hiper-regulares, sino que la aplicacion que inducen entre
T Q y T Q coincide con el bemol para g, independientemente de t,
(3) para cualquier lagrangiana hiper-regular, el difeomorfismo asociado T Q R T Q R se expresa en coordenadas (q, q,
t)
i
(q, p(q, q,
t), t), con pi = L/ q ; ademas las coordenadas en T Q R
se inducen T Q R, y viceversa, y
(4) cuando, fijada una funcion L(= Lp,t ) sobre un espacio vectorial
se toman como nuevas coordenadas las derivadas parciales de L, resulta
7.8. APENDICE
2: M. LAGRANGIANA Y HAMILTONIANA
145
n
X
f
(u)i ,
i
x
i=1
f 1
(x , . . . , xn ), i = 1, . . . , n.
i
x
Si calculamos la diferencial de Df en u0 V , se obtiene que su
matriz en las coordenadas introducidas coincide con la matriz hessiana
2 f /xi xj en u0 . Si esta es regular, el Teorema de la Funcion Inversa permite escoger entornos apropiados de u0 y Dfu0 para los que la
restriccion de la aplicacion Df es un difeomorfismo.
Supongamos para simplificar que Df es un difeomorfismo global entre V y V . En este caso las coordenadas (p1 , . . . , pn ) (resp. (x1 , . . . , xn ))
sobre V (resp. V ), compuestas con Df (resp. (Df )1 ) generan unas
nuevas coordenadas en V (resp V ), y las funciones
pi (x1 , . . . , xn ) =
CAPITULO 7. CAMPOS TENSORIALES METRICOS
146
(x, y) R2 .
Calc
ulese Df : R2 R2 y pruebese que es un difeomorfismo global si
y solo si
a b
b c 6= 0.
(2) Sea g un producto escalar sobre el espacio vectorial V (R), y sea
Eg : V R la aplicacion Eg (u) = g(u, u)/2, u V . Pruebese que
DEg coincide con la aplicacion bemol asociada a g.
Lagrangianas regulares. Momentos generalizados
Consideremos en Mecanica Lagrangiana un espacio de configuracion
Q ( (q 1 , . . . , q n )), el correspondiente espacio de estados T Q ( (q 1 , . . . ,
q n , q1 , . . . , qn )), y una lagrangiana
L : TQ R R
(q , . . . , q , q1 , . . . , qn , t) 7 L(q, q,
t).
1
(7.5)
esto es,
(q1 , . . . , qn ) 7 L(q 1 (p0 ), . . . , q n (p0 ), q1 , . . . , qn , t0 ).
Como vimos en el apartado anterior, esta aplicacion (de V = Tp Q a
R) induce otra con codominio el dual:
Leg(p0 ,t0 ) : Tp0 Q 7 Tp0 Q
vp0 7 vp0 ,
que viene definida por la diferncial, esto es:
vp0 : Tp0 Q R
|
(vp0 + swp0 , t0 ).
wp0 7 dL
ds s=0
Diremos que la lagrangiana L es regular en (p0 , t0 ) si Leg(p0 ,t0 ) es un
difeomorfismo local, esto es, si su diferencial es biyectiva en todo punto.
7.8. APENDICE
2: M. LAGRANGIANA Y HAMILTONIANA
147
L
(vp , t0 )
,
qi qj 0
i,j
por lo que L es regular en (p0 , t0 ) si y solo si esta matriz (para unas
coordenadas alrededor de p0 y, por tanto, para cualesquiera) es regular
en todo vector vp0 tangente a p0 . Diremos que L es regular si es regular
en todo (p0 , t0 ) Q R. En adelante, supondremos por simplicidad
la condicion algo mas fuerte de que L sea hiper-regular, esto es, que
Leg(p0 ,t0 ) sea un difeomorfismo (no solo local, sino global) (p0 , t0 )
Q R. Por tanto, en este caso se tiene el difeomorfismo:
Leg : T Q R T Q R
(vp , t) 7 (
vp = Leg(p,t) (vp ), t).
(7.6)
(7.7)
L
L
,
.
.
.
,
p
:=
).
n
q1
qn
n
X
L
(q(p), q(v
p ), t)wpi
i
i=1
CAPITULO 7. CAMPOS TENSORIALES METRICOS
148
y, por tanto,
vp =
n
X
i=1
X L
X
i
(q(p),
q(v
),
t)dq
=
pi (vp , t)dqpi .
vp ( i |p )dqpi =
p
p
i
q
i=1
i=1
Pn
i=1
V .
n
X
xi (p1 , . . . , pn )pi
(7.8)
i=1
7.8. APENDICE
2: M. LAGRANGIANA Y HAMILTONIANA
149
sera un hiperplano {(u, (u)) : u V } que pasa por el origen. Desplazando paralelamente este hiperplano podemos construir un hiperplano
tangente a la grafica de la funcion f : V R en un (
unico) punto
(u , f (u )). La ordenada en el origen de este hiperplano coincide con
L[f ]().
El principal interes geometrico de la transformada de Legendre
aparece cuando, por alguna razon, resulta conveniente usar como coordenadas las derivadas parciales de una funcion4 f . Si conocemos la funcion f (p1 , . . . , pn ) pero no el difeomorfismo Df entonces, en principio,
no podemos recuperar la funcion original f (x1 , . . . , xn ). Sin embargo,
si conocemos L[f ] podemos recuperar la grafica de f como la hipersuperficie envolvente a todos los hiperplanos H = {(u, (u) + L[f ]()) :
u V } obtenidos variando V . Se dice entonces que la transformada de Legendre de f conserva la informacion de f (al menos bajo
la hipotesis de que Df sea un difeomorfismo).
Ejercicio. (1) Se considera la funcion f : R R, f (x) = x2 + 3x + 2.
(a) Calc
ulese Df y compruebese que es un difeomorfismo.
(b) Calc
ulese f (Df )1 y L[f ].
(c) Sea h : R R tal que Dh es un difeomorfismo. Compruebese:
(i) L[h] = L[f ] h = f , (ii) existe una funcion h 6= f tal que
f (Df )1 = h (Dh)1 .
(2) Reptanse los puntos anteriores para f : R2 R, f (x, y) = 2xy
3x + 4y 1.
La hamiltoniana como transformada de Legendre
Consideremos ahora una lagrangiana hiper-regular L. Como hemos
visto, tenemos asociado un difeomorfismo Leg entre el dominio T QR
de L y el dominio T Q R de las funciones hamiltonianas. Llevando a
cabo la transformada de Legendre de Leg(p0 ,t0 ) en cada (p0 , t0 ) Q R
y cambiando el signo, generamos una funcion
H : T Q R R
4
150
n
X
(7.9)
i=1
(7.10)
es constante (independiente de t). Esto es, (7.10) es una cantidad conservada a lo largo de la curva . Si L es una tpica lagrangiana
1
L(vp ) = gp (vp , vp ) V (p),
2
(7.11)
(7.12)
7.8. APENDICE
2: M. LAGRANGIANA Y HAMILTONIANA
151
Ejercicios
Ejercicio 1. Sea V (R) un espacio vectorial real de dimension 3, B =
(v1 , v2 , v3 ) una base ordenada suya y B = (1 , 2 , 3 ) su base dual. Se
consideran los tensores metricos g, g 0 sobre V definidos por sus matrices
en B:
2 1 0
1 0
0
MB (g) = 1 1 0 ,
MB (g 0 ) = 0 3 0
0 0 3
0 0 1
Compruebese que g y g 0 son productos escalares y determnense sus
ndices. Calc
ulese para cada uno v [ , ] , siendo v = 2v1 + v2 + v3 y
= 1 32 + 3 .
Ejercicio 2. Se considera en R3 la metrica riemanniana usual y una
funcion f : R3 R. Calc
ulense las coordenadas de grad f en los campos coordenados inducidos por las coordenadas cartesianas, cilndricas
y esfericas.
Ejercicio 3. Se considera sobre R2 el campo de tensores metrico
g = 2ex dx2 + 2senydxdy + ex dy 2
( 2ex dx dx + seny(dx dy + dy dx) + ex dy dy).
(a) Es g una metrica riemanniana? Calc
ulese, si es posible, una base
de campos que sea ortonormal en todo punto.
152
1
x
(e
seny)
+
(2e
seny)
.
x
y
2 sen2 y
1
x2
+ y2
(xx + yy ) ,
Y = (yx + xy ) .
t [0, ].
t [0, ].
7.8. APENDICE
2: M. LAGRANGIANA Y HAMILTONIANA
153
v = (x y)/2.
154
Captulo 8
Integraci
on en Variedades
156
EN VARIEDADES
CAPITULO 8. INTEGRACION
8.1.
Motivaci
on
8.1. MOTIVACION
157
EN VARIEDADES
CAPITULO 8. INTEGRACION
158
Z
f dA =
S
1+
z
x
z
y
2
(x, y) dxdy.
(8.2)
No obstante, estas definiciones de area e integracion parecen muy
particulares para grafos. Para indagar su posible generalidad,
pensemos ahora en el grafo S solo como una variedad dotada de la
metrica g (obtenida por restriccion de la usual de R3 ), para la cual
la proyeccion sobre el plano z = 0 desempe
na el papel de carta
coordenada (global) (x, y, z) = (q 1 (x, y, z) = x, q 2 (x, y, z) = y).
La funcion peso |~n ~k|1 que aparece en (8.1), (8.2) se puede
expresar en funcion de la metrica g y la carta coordenada como
sigue. Sea B la base de campos coordenados inducida por ,
z
z
,
=
+
,
+
.
B=
q 1 q 2
x x z y y z
Resulta inmediato computar la matriz gij de g en la base B,
DE N FORMAS DIFERENCIALES
8.2. INTEGRACION
159
obteniendose
det MB (g) = 1 +
z
x
z
y
2
,
p
f (q 1 , q 2 ) |det MB (g)|(q 1 , q 2 ) dq 1 dq 2 ,
f dA =
S
(8.3)
expresion esta que valdra tambien para cualesquiera otras coordenadas sobre S.
8.2.
Integraci
on de nformas diferenciales
8.2.1.
El problema de la integraci
on sobre una variedad
Supongamos que nos planteamos el problema de definir la integral de una funcion real f sobre una variedad diferenciable Q de dimension n. Para simplificar dicho problema, supondremos inicialmente
f C (Q) y que el soporte de f es compacto y esta incluido en un
entorno coordenado (U, ) de Q, sopf U . En este caso, la funcion
diferenciable f 1 : (U ) Rn R tambien tiene soporte compacto incluido en Rn , pues sop(f 1 ) = (sop f ). Ingenuamente, se
podra pensar en definir la integral de f sobre Q como
Z
f 1 ,
(8.4)
n
(U )R
donde la integral es la usual en (abiertos de) Rn . Sin embargo, esta
definicion presentara un problema fundamental: no es independiente
del entorno coordenado escogido. Para comprobarlo, supongamos que
(V, ) es otro entorno coordenado que verifica sopf V , y tomemos
analogamente la integral
Z
f 1 .
(8.5)
(Q)
160
EN VARIEDADES
CAPITULO 8. INTEGRACION
f 1 ,
1 ((U V ))
(U )
=
((f 1 ) ( 1 ))|det J( 1 )|
1
((U V ))
(U
R V )
= (V ) (f 1 )|det J( 1 )|
donde J( 1 ) denota la matriz jacobiana de 1 . Resumiendo:
Z
Z
1
f =
(f 1 )|det J( 1 )|,
(8.6)
(U )
(V )
x1
x1
..
.
. 7 A .. ,
xn
xn
DE N FORMAS DIFERENCIALES
8.2. INTEGRACION
161
8.2.2.
Integraci
on de n-formas en entornos coordenados
Las rformas diferenciales, o campos tensoriales r covariantes antisimetricos, ya fueron introducidas en el Tema 6, en el cual nos centrabamos en los casos r = 1, 2. Las propiedades de (el C (Q)-modulo
de) las rformas diferenciales r (Q) resultan inmediatas a partir de
las propiedades de los tensores antisimetricos sobre un espacio vectorial
y de los campos tensoriales sobre una variedad (veanse los Apendices
8.5, 8.7.1). En adelante necesitaremos nformas diferenciales, esto es,
el caso de covariancia maxima no trivial r = n.
Definici
on 8.2.1 Consideremos un abierto U Rn y una n-forma
diferencial n (U ), con soporte incluido en U , y expresi
on en coordenadas usuales:
= w dx1 dxn ,
w C (U )
162
EN VARIEDADES
CAPITULO 8. INTEGRACION
UF
si F invierte la orientacion en todo punto.
V
Estamos ya en condiciones de introducir la definicion de integral de una
n-forma diferencial en una variedad orientada arbitraria, al menos en
el caso de que el soporte de la nforma sea compacto e incluido en un
entorno coordenado. Observemos previamente que, para una variedad
orientada, no supone ninguna perdida de generalidad restringirnos a
entornos coordenados (U, ) que preserven la orientacion (Proposicion
8.7.5).
Definici
on 8.2.4 Sea +Q una nvariedad orientada, y n (Q)
una n-forma diferencial con soporte compacto incluido en un entorno
coordenado. Se define la integral de en Q como:
Z
Z
:=
(1 ) ,
(8.8)
+Q
(U )
donde (U, (q 1 , . . . , q n )) es cualquier entorno coordenado que contiene al soporte de y preserva la orientacion.
Por construccion, resulta inmediato ahora comprobar que esta definicion es independiente del entorno coordenado que se escoja (siempre
que incluya al soporte de y preserve la orientacion).
DE N FORMAS DIFERENCIALES
8.2. INTEGRACION
8.2.3.
163
Integraci
on general de nformas
(U )
(U )
(U )
164
EN VARIEDADES
CAPITULO 8. INTEGRACION
Por u
ltimo, podramos extender la definicion de integracion incluso al caso en el que no sea continua, sino que generara en
coordenadas una funcion w que fuera solo integrable Riemann o
Lebesgue (vease la Seccion 8.4).
DE N FORMAS DIFERENCIALES
8.2. INTEGRACION
8.2.4.
165
Definici
on 8.2.5 Sea U {U }I un recubrimiento abierto de una
variedad diferenciable Q. Se dice que una colecci
on de funciones diferenciables : Q [0, 1], I es una particion de la unidad sobre
Q, subordinada a U si:
(1) sop U para todo ,
(2) la colecci
on {sop }I es localmente finita, esto es, todo punto
de Q tiene un entorno coordenado que interseca solo a un n
umero
finito de elementos de {sop }I ,
P
(3)
(p) = 1 para todo p Q.
Observaciones:
(1) En principio, la suma que aparece en la condicion (3) anterior
involucrara posiblemente un n
umero infinito de sumandos. Sin
embargo, la condicion (2) implica que cada p Q admite un
entorno en el cual la funcion es identicamente nula para todos
salvo para un n
umero finito de valores del ndice . En consecuencia, la sumatoria en (3) debe entenderse siempre en cada
punto como la suma (finita) de los terminos no nulos.
(2) En una variedad diferenciable (paracompacta) todo recubrimiento abierto admite una particion de la unidad.Mas a
un, las condiciones sobre las implican que, aunque el conjunto de ndices I
podra ser no numerable, solo un subconjunto numerable de las
puede no ser identicamente nulo2 .
Ejercicio. Usando la existencia de particiones de la unidad, pruebese
que toda variedad diferenciable admite una metrica riemanniana. Admite tambien una lorentziana?
Sea (+Q, g) una variedad riemanniana orientada y consideremos un recubrimiento por entornos coordenados positivamente orientados {(U ,
)}I de Q. Sea { }I una particion de la unidad subordinada, y
consideremos una n-forma .
2
EN VARIEDADES
CAPITULO 8. INTEGRACION
166
i=1
+Q
+Q
i+ ,
Z
X
i=1
+Q
es finita.
En este caso, se define la integral de en (+Q, g) como
Z
Z
Z
X
X
+
w :=
i
i [, ].
+Q
i=1
+Q
i=1
+Q
De nuevo, la integral as definida resulta independiente del recubrimiento abierto y la particion escogida. Ademas, como apuntamos en
la subseccion anterior, no solo es aplicable al caso en que es diferenciable, sino tambien a cuando es solo continua o, a
un mas, cuando
cada una de las funciones wi generada sobre i (U ) Rn por las i
es integrable en el sentido de Riemann o, con mas generalidad, en el
de Lebesgue.
DE FUNCIONES
8.3. INTEGRACION
167
8.3.
Integraci
on de funciones
8.3.1.
(Q,+)
(Q,)
(Q,+)
(Q,0 )
8.3.2.
Integraci
on en variedades semi-riemannianas
168
EN VARIEDADES
CAPITULO 8. INTEGRACION
Definici
on 8.3.2 Se define el elemento de volumen metrico orientado
+
g de una variedad semi-riemanniana orientada (+Q, g) como la nforma diferencial que en cada espacio tangente Tp Q es igual al elemento
de volumen metrico orientado para (+Tp Q, gp ).
El elemento de volumen metrico orientado se calcula en coordenadas a
partir de las expresiones en el Apendice 8.6. En efecto, para cualquier
entorno coordenado positivamente orientado (U, (q 1 , . . . , q n )) se
tiene
p
+
|det MB (g)| dq 1 dq n ,
g =
donde B = (q1 , . . . , qn ) (vease la Proposicion 8.6.6). En particular,
esto prueba que +
g es diferenciable.
La Definicion 8.3.1 permite ahora definir la integracion de funciones
respecto a +
on opuesta,
g . Por supuesto, si en Q tomamos la orientaci
+
entonces se tiene g = g . De la igualdad (8.9) (para cada parte
conexa de Q) se tiene que la integracion es independiente de la orientacion escogida, lo que conduce a la definicion:
Definici
on 8.3.3 Sea (Q, g) una variedad semi-riemanniana orientable. Una funcion f sobre Q se dice integrable si, escogida una (y
entonces, para toda) orientacion sobre Q, f es integrable respecto al
elemento de volumen metrico orientado +
g . En este caso, se define su
integral por la expresi
on, independiente de la orientacion escogida:
Z
Z
f :=
f.
(Q,g)
(Q,+
g )
169
8.4.
Integraci
on a partir de la teora de la
medida
8.4.1.
170
EN VARIEDADES
CAPITULO 8. INTEGRACION
X
m
f := lm
f (xm
[0, ],
k ) vol(Ck )
n
m
R
k=1
(8.10)
171
8.4.2.
Un espacio medible es un par (X, F), donde X es un conjunto arbitrario y F es una -algebra; esto es, una coleccion no vaca de subconjuntos de X que verifica las siguientes propiedades:
(a.1) F ,
(a.2) si A pertenece a F entonces su complementario Ac tambien,
(a.3) si {An }n es una sucesion de elementos de F entonces su union
tambien pertenece a F.
Un espacio de medida es un espacio medible (X, F) dotado de una
medida; esto es, de una funcion real m sobre F tal que:
(m.1) m() = 0,
(m.2) m(
n=1 An ) =
P
n=1
!
X
(A) = Inf {{Ci } :A
vol(Ci ) .
i=1 Ci }
iN
i=1
172
EN VARIEDADES
CAPITULO 8. INTEGRACION
que una propiedad se verifica casi por doquier (c.p.d.) cuando se verifica para todos los puntos, salvo a lo mas para los de un subconjunto
de medida nula.
La relacion entre los conjuntos de medida nula y las aplicaciones
diferenciables se resume en el siguiente resultado:
Teorema 8.4.1 Sea F : Rn Rn , una aplicaci
on diferenciable:
(1) Si A Rn es de medida nula en Rn entonces F (A) es de medida
nula en Rn .
(2) (Sard.) Si F Rn es el conjunto de los puntos crticos de F ,
entonces F (F ) es de medida nula en Rn .
Adem
as, si F : Rn Rm , y n < m entonces F (Rn ) es de medida nula
m
en R .
El conjunto P(Rn ) de las partes de Rn es obviamente una -algebra de
Rn , y la medida exterior de Lebesgue es aplicable a cualquier elemento
de ella. Sin embargo, la medida exterior no verifica la propiedad (m.2)
de una medida. De ah que se elijan -algebras para las cuales la restriccion de la medida exterior de Lebesgue s proporcione una medida.
Existen dos elecciones fundamentales: (1) la -algebra boreliana, esto
es, la -algebra mnima que contiene a los abiertos de Rn , y (2) la
-algebra de Lebesgue, esto es, la -algebra mnima que contiene tanto
a los abiertos como a los conjuntos de medida nula de Rn . (Que tales
-algebras mnimas existen se prueba tomando la interseccion de todas
las -algebras que contienen los subconjuntos requeridos).
Se define as el espacio de medida de Lebesgue (Rn , MRn , Rn )
(Rn , M, ), donde M es la -algebra de Lebesgue, y es la restriccion a M de la medida exterior de Lebesgue o, simplemente, medida
de Lebesgue. La clase de los conjuntos medibles Lebesgue (que, desde luego, incluye tanto a los abiertos como a los cerrados), se revela
espectacularmente grande; la construccion de un conjunto no medible
precisa del axioma de eleccion.
8.4.3.
Integral de Lebesgue en Rn
173
174
EN VARIEDADES
CAPITULO 8. INTEGRACION
f :=
f+
f [, ].
8.4.4.
175
Consideremos ahora una variedad semi-riemanniana (Q, g) de dimension n. Para definir de manera analoga a Rn un espacio de medida,
debemos empezar por considerar una algebra sobre Q. La algebra, sera intrnseca a la estructura diferenciable, e independiente de
g.
Definici
on 8.4.3 Un subconjunto A de la variedad diferenciable Q es
de medida nula si para todo entorno coordenado (U, ) el subconjunto
(U A) es un conjunto de medida nula de Rn .
El Teorema 8.4.1(1) muestra la consistencia de esta definicion, esto es,
basta con verificar que (U A) es de medida nula para un recubrimiento por entornos coordenados de A.
Es facil entender la importancia a la hora del computo de una integral del siguiente resultado, que permite reducir siempre la integracion
a un u
nico entorno coordenado (entorno coordenado c.p.d.)5 :
Teorema 8.4.4 Sea Q una variedad diferenciable de dimension n. Existe un cerrado C M de medida nula tal que U = Q\C es difeomorfo
a un abierto de Rn .
Consecuencia inmediata de este resultado es que el Teorema 8.4.1 es
traspasable a variedades, sin mas que sustituir Rn , Rm por variedades
de dimensiones n, m, resp.
Con estas definiciones, ya estamos en condiciones de definir el espacio medible para (Q, g). Definimos la -algebra MQ de Q como la
-algebra generada por los abiertos y los conjuntos de medida nula de
Q. A los elementos de MQ los llamaremos conjuntos medibles de la
variedad. Para cada conjunto medible A Q, y cualquier entorno coordenado, (U A) resulta ser entonces un medible de Rn . Definimos
as la medida de A como:
Z
p
|det MB (g)|(U A) ,
g (A) =
(U )
5
Aunque se puede dar una prueba directa de este teorema, existen metodos
elegantes y simples dentro del marco de la Geometra Riemanniana: se toma una
metrica riemanniana completa, y se suprime su lugar de corte.
176
EN VARIEDADES
CAPITULO 8. INTEGRACION
jq0 : Q0 Q Q0
q 0 7 (q0 , q 0 ).
8.4.5.
Integraci
on en una variedad
177
Mas a
un, las propiedades fundamentales de la integral de Lebesgue
se demuestran de manera completamente analoga en el caso de Rn y de
la variedad. Repasamos brevemente estas propiedades, formulandolas
directamente para (Q, g):
Elementales:
(i) Linealidad: si f = af1 + bf2 siendo f1 y f2 integrables
R
Lebesgue, entonces f es integrable Lebesgue y: (Q,g) f =
R
R
f + (Q,g) f2 ,
(Q,g) 1
R
R
(ii) Orden: f g entonces (Q,g) f (Q,g) g.
Conmutatividad del lmite con la integral:
Teorema de la Convergencia Mon
otona. Sea {fn }n una
sucesi
on no decreciente c.p.d. de funciones medibles positivas sobre (Q, g) y f : Q [0, ] su lmite
puntual c.p.d.
Entonces, f
R
R
es medible y su integral verifica: (Q,g) f = lmn (Q,g) fn .
Teorema de la Convergencia Dominada. Sea {fn }n una
sucesi
on de funciones integrables L1 en (Q, g) tales que: (i) existe una funcion h integrable L1 tal que |fn | h c.p.d. para cada
n N; (ii) existe f : Q [, ] que es lmite
R puntual
R c.p.d.
de {fn }n . Entonces, f es integrable L1 y lmn (Q,g) fn = (Q,g) f .
n en variedades producto:
Integracio
Para integrar en una variedad producto, usaremos la notacion
estandar (diferencial respecto a una variable) para indicar si se
esta integrando solo en uno de los factores.
Teorema de Fubini. Sean (Qi , gi ), i {1, 2} dos variedades
semi-riemannianas y f : Q1 Q2 [, ] una funcion medible.
Sean:
I12 =
dq1
Z
(Q1 ,g1 )
I21 =
dq2 |f (q1 , q2 )|
Z
(Q2 ,g2 )
dq2
(Q2 ,g2 )
EN VARIEDADES
CAPITULO 8. INTEGRACION
178
dq1
(Q1 ,g1 )
dq2 f (q1 , q2 ) =
(Q2 ,g2 )
dq2
(Q2 ,g2 )
dq1 f (q1 , q2 ),
(Q1 ,g1 )
donde ademas:
(i) casi para todo q10 Q1 , la funcion q2 7 fq10 (q2 ) := f (q10 , q2 )
es finita c.p.d. en Q2 y es integrable L1 ;
(ii) casi para todo q20 Q2 , la funcion q1 7 fq20 (q1 ) := f (q1 , q20 )
es finita c.p.d. en Q1 y es integrable L1 ;
R
(iii) la funcion q1 7 (Q2 ,g2 ) fq1 es finita c.p.d. en Q1 y es integrable L1 ;
R
(iv) la funcion q2 7 (Q1 ,g1 ) fq2 es finita c.p.d. en Q2 y es integrable L1 ;
Otros resultados clasicos de teora de integracion permiten relacionar
integrales con derivadas (version de la Regla de Barrow clasica, resultados que permiten permutar la integral con derivadas parciales, etc.)
8.5.
Ap
endice 1:
algebra exterior sobre
V (R)
8.5. APENDICE
1: ALGEBRA
EXTERIOR SOBRE V (R)
179
Definici
on 8.5.1 Diremos que un tensor r-covariante T Tr,0 (V ) es
antisimetrico si verifica:
T (y1 , . . . , yi , . . . , yj , . . . , yr ) = T (y1 , . . . , yj , . . . , yi , . . . , yr )
1 i < j r, para todo y1 , . . . , yr V , esto es, si T es antisimetrico
respecto a cualquier par (i, j) de sus variables, i < j. El conjunto de
todos los tensores r-covariantes antisimetricos se denotara por r (V ).
Es directo comprobar que r (V ) es un subespacio vectorial de Tr,0 (V ).
Recordemos ademas las identificaciones 1 (V ) = V y 0 (V ) = R.
Antes de introducir el concepto de antisimetrizador para los tensores de un espacio vectorial, conviene recordar la definicion, as como
algunas propiedades basicas, de las permutaciones.
Definici
on 8.5.2 Sea S(r) = {1, 2, . . . , r} N. Llamaremos permutacion de S(r) (o de r elementos) a toda aplicaci
on biyectiva :
S(r) S(r). Al conjunto de todas las permutaciones de S(r) lo denotaremos por Sr .
Propiedades elementales:
(1) El conjunto de las permutaciones Sr junto con la operacion de
composicion tiene estructura de grupo abeliano. Ademas, su cardinal es r!
(2) Toda permutacion Sr , se puede escribir como composicion de
trasposiciones (permutaciones que actuan sobre S(r) u
nicamente
intercambiando dos de sus elementos). Existen muchas maneras de escribir una misma permutacion como composicion de
trasposiciones, y se pueden escoger estas de un modo canonico
como [] trasposiciones de ndices contiguos, tomadas de modo que se vayan reordenando los ndices de menor a mayor.
En cualquier caso, el n
umero de trasposiciones necesarias para
una fijada siempre sera par o impar, independientemente de la
composicion de trasposiciones, y se define la signatura de como
sig() := (1)[] .
(3) La aplicacion sig : Sr {1, 1} es un homomorfismo de grupos.
La permutacion se dice par (resp. impar) si sig() = 1 (resp.
= 1).
EN VARIEDADES
CAPITULO 8. INTEGRACION
180
Definici
on 8.5.3 Se define el antisimetrizador de orden r N para
el espacio vectorial V como la aplicaci
on
hr : Tr,0 (V ) T
r,0 (V )
P
T
7 Sr sig()T ,
donde T (y1 , . . . , yr ) := T (y(1) , . . . , y(r) ) para todo y1 , . . . , yr V .
No es difcil comprobar las siguientes propiedades:
Propiedades:
(1) hr es lineal y hr (T ) = sig() hr (T ).
(2) Im hr r (V ), y si T r (V ) entonces hr (T ) = r! T .
(3) Para todo T Tr,0 (V ), T 0 Tr0 ,0 (V ) se tiene
0
hr+r (T hr (T 0 )) = r0 ! hr+r (T T 0 ).
0
: r (V ) r (V ) r+r (V )
(T, T 0 ) 7 T T 0 =
0
0
1
hr+r (T
r!r0 !
T 0)
: r (V ) r (V ) r+r (V )
1
r+r0
(T T 0 ).
(T, T 0 ) 7 T T 0 = (r+r
0 )! h
Es inmediato comprobar que estos productos pueden expresarse del
siguiente modo:
P
P
T T 0 = k!k1 0 ! Sr+r0 sig()(T T 0 ) = r,r0 sig()(T T 0 )
P
1
0
T T 0 = (k+k
0 )!
Sr+r0 sig()(T T )
donde r,r0 = { Sr+r0 : (1) < < (r) y (r + 1) < <
(r + r0 )}.
Propiedades: Los productos exteriores , son:
8.5. APENDICE
1: ALGEBRA
EXTERIOR SOBRE V (R)
181
T T 0 = (1)r+r T 0 T,
T T 0 = (1)r+r T 0 T,
ti1 ...ir i1 ir ,
1i1 <<ir n
EN VARIEDADES
CAPITULO 8. INTEGRACION
182
y1 , . . . yr V.
Propiedades:
(1) La aplicacion F : Tr,0 (V 0 ) Tr,0 (V ) es lineal y verifica F (r (V 0 ))
r (V ).
(2) Si F = IdV entonces F = IdTr,0 (V ) .
(3) Si se tiene otra aplicacion lineal G : V 0 V 00 entonces (GF ) =
F G .
(4) Si F es biyectiva entonces (F 1 ) = (F )1 . En particular, F es
biyectiva y F (r (V 0 )) = r (V ).
Se define entonces F = (F 1 ) que, en el caso de que G tambien
sea biyectiva verifica: (G F ) = G F .
(5) F (T10 T20 ) = F (T10 ) F (T20 ).
8.6. APENDICE
2: ELEMENTOS DE VOLUMEN EN V (R)
183
8.6.
Ap
endice 2: Elementos de volumen
en V (R)
8.6.1.
(8.11)
184
8.6.2.
EN VARIEDADES
CAPITULO 8. INTEGRACION
Determinante de un endomorfismo
Definici
on 8.6.2 Sean (V, []), (V 0 , [ 0 ]) dos espacios vectoriales orientados. Diremos que un isomorfismo F : V V 0 preserva las orientaciones si F 0 [].
Observese que esta definicion es independiente del representante 0
escogido. Ademas, si F preserva las orientaciones [] y [ 0 ], entonces
tambien preserva las orientaciones opuestas.
El hecho de que n (V ) tenga dimension 1 permite definir el determinante cuando F es un endomorfismo.
Definici
on 8.6.3 Sea F un endomorfismo de V y consideremos el
correspondiente endomorfismo
F : n (V ) n (V )
w 7 F w
del espacio vectorial monodimensional n (V ). Llamamos determinante
de F al u
nico n
umero real det F R que verifica
F = det F Idn (V ) .
Esta definicion coincide, para cualquier base B = (v1 , . . . , vn ), con la
del determinante usual de la matriz M (F, B) cuya columna jesima
esta formada por las coordenadas de F (vj ) en B. De hecho, es facil
comprobar de la Definicion 8.6.3 y las propiedades del tensor TB :
Proposici
on 8.6.4 (1) Si F es un endomorfismo de V y B = (v1 ,
. . . , vn ) es una base ordenada suya, entonces se verifica
det F = TB (F (v1 ), . . . , F (vn )) = det(M (F, B)).
(2) Sea F un automorfismo de V . Se verifica que det F > 0 si y solo
si F [] para alg
un (y, entonces, para todo) elemento de volumen
, esto es, si y solo si F aplica bases positivamente orientadas en bases
positivamente orientadas.
8.6. APENDICE
2: ELEMENTOS DE VOLUMEN EN V (R)
8.6.3.
185
El elemento de volumen m
etrico orientado
EN VARIEDADES
CAPITULO 8. INTEGRACION
186
Definici
on 8.6.7 Sean (V, g, []), (V 0 , g 0 , [ 0 ]) dos espacios vectoriales metricos orientados de igual dimension, y F : V V 0 una aplicacion lineal. Se define el determinante de F como el u
nico n
umero real
det F R que verifica
F g0 = det F g .
Obviamente, si F es un endomorfismo de V entonces las Definiciones
8.6.3 y 8.6.7 coinciden para todo g y [], siempre y cuando se supongan
g 0 = g y [ 0 ] = [].
8.7.
Ap
endice 3: rformas y orientaci
on
en variedades
8.7.1.
El
algebra de rformas diferenciales
8.7. APENDICE
3: RFORMAS Y ORIENTACION
8.7.2.
187
Orientaci
on de una variedad
188
EN VARIEDADES
CAPITULO 8. INTEGRACION
Para simplificar la notacion, escribiremos (Q, []) +Q, y Q denotara la variedad orientada con la orientacion opuesta. Todo abierto de
una variedad orientada se supone asimismo orientado por la restriccion
de la orientacion.
A continuacion centraremos nuestra atencion en el comportamiento de
la orientacion respecto a los difeomorfismos locales y, en particular,
respecto de los entornos coordenados.
Definici
on 8.7.4 Sea F : Q0 Q un difeomorfismo local y [] una
orientaci
on sobre Q. Se define la orientacion inducida por F en Q0
8.7. APENDICE
3: RFORMAS Y ORIENTACION
189
8.7.3.
190
EN VARIEDADES
CAPITULO 8. INTEGRACION
como
entorno coordenado (U , )
de Q
: U Rn
(q, Oq ) 7 (q),
siendo U = {(q, Oq ) : q U, Oq la orientacion inducida por en q}.
Se verifican entonces las siguientes propiedades:
(i) Por construccion, la aplicacion es un recubridor de dos hojas,
es orientable;
yQ
tiene dos partes conexas.
(ii) Q es orientable si y solo si Q
En particular, se demuestra as:
Teorema 8.7.7 Toda variedad diferenciable no orientable conexa Q
) tal que Q
es orientable y
admite un recubridor de dos hojas (Q,
conexo.
Ejercicio. Una variedad producto Q1 Q2 es orientable si y solo si
Q1 y Q2 lo son.
Por u
ltimo, es de se
nalar que la idea de la construccion del recubridor de dos hojas orientables esta en la base del siguiente importante
resultado, en el que el papel del conjunto de las dos orientaciones en
cada punto lo pasa a desempe
nar el conjunto de las clases de lazos
homotopicos en cada punto.
Teorema 8.7.8 Toda variedad diferenciable conexa Q admite un re ) tal que Q
es simplecubridor universal, esto es, un recubridor (Q,
mente conexo.
Es de remarcar que el concepto de recubridor es valido en el contexto mas general de los espacios topologicos arcoconexos, sin mas que
reemplazar la diferenciabilidad de las aplicaciones por continuidad en
particular difeomorfismos locales por homeomorfismos locales. En este
contexto tambien se mantiene el Teorema 8.7.8, con alguna condicion
topologica poco restrictiva (hay que suponer que, ademas de ser arcoconexo, Q verifica que todo punto admite un entorno simplemente
conexo propiedad esta que verifica cualquier obviamente variedad).
Captulo 9
Teorema de Stokes
9.1.
9.1.1.
Derivaci
on tensorial
192
n
X
k=1
193
A T (Q)
(9.1)
(9.2)
194
9.1.2.
Antiderivaci
on tensorial
Aprovechando las propiedades de antisimetra del producto exterior, es posible introducir un tipo de derivacion especfica para los
tensores antisimetricos.
Definici
on 9.1.4 Una antiderivacion de grado p Z en (Q) es una
aplicaci
on R-lineal D : (Q) (Q) que verifica:
(i) D(r (Q)) r+p (Q) (asuminos el convenio: r (Q) 0, r
N),
(ii) D( 0 ) = (D) 0 +(1)r D 0
(Regla de Leibniz).
r (Q), 0 r (Q)
195
di1 ...ir dq i1 dq ir ,
(9.3)
1i1 <<ir n
P
siendo := 1i1 <<ir n i1 ...ir dq i1 dq ir , y di1 ...ir la diferencial
usual de funciones.
Repitiendo pasos analogos a los de la Proposicion 6.4.2 no es difcil
comprobar que esta definicion resulta independiente de las coordenadas
elegidas.
Observese que de la expresion (9.3) se deduce directamente que la
derivada exterior sobre las funciones coincide con la diferencial usual. Para las (n 1)-formas diferenciales, la siguiente expresion de la
diferencial exterior, que usaremos mas adelante, tambien es inmediato
196
Proposici
on 9.1.6 Sea n1 (Q) una (n 1)-forma diferencial.
Entonces, en coordenadas locales admite la expresi
on:
=
n
X
ci dq n ,
(1)i1 i dq 1 dq
i=1
Pn i1 ir j
i1
ir
d(d) = d
dq
dq
dq
j
1i1 <<ir n
P j=1P q
P
i1 ir
n
n
i
j
dq
dq
dq i1 dq ir
= 1i1 <<ir n
j=1
i=1 q i q j
= 0,
donde se ha usado que, por la igualdad entre las derivadas cruzadas,
el parentesis del u
ltimo termino es nulo. 2
Ejercicio. Pruebense las siguientes caracterizaciones de la diferencial
exterior:
(1.) La diferencial exterior es la u
nica antiderivacion tensorial que
coincide con la diferencial usual sobre las funciones y que verifica
d d = 0.
(2.) La diferencial exterior es la antiderivacion tensorial definida, para
todo r (Q), por:
P
i , . . . , Xr ))
d(X0 , X1 , . . . , Xr ) = ri=0 (1)i Xi ((X0 , . . . , X
P
i, . . . , X
j , . . . , Xr ).
+ 0i<jr (1)i+j ([Xi , Xj ], X0 , . . . , X
donde el smbolo sobre un argumento indica que este ha sido
suprimido.
197
Proposici
on 9.1.8 Consideremos dos variedades diferenciables Q, Q0
y una aplicaci
on diferenciable entre ellas F : Q0 Q. Si (Q)
entonces se verifica
d(F ) = F d.
Demostraci
on. Basta con considerar r (Q) para r arbitrario, y
restringirnos a un abierto. Notese previamente que si f : Q R
entonces
F df = d(f F ),
(9.4)
ya que F df (v)
P = df dF (v) = d(f F )(v) para todo v T Q. Por
tanto, si = 1i1 <<ir n i1 ...ir dq i1 dq ir entonces
P
F = P1i1 <<ir n (F i1 ir ) F dq i1 F dq ir
= 1i1 <<ir n (i1 ir F ) d(q i1 F ) d(q ir F ).
En consecuencia, usando de nuevo (9.4) se deduce:
P
d(F ) = 1i1 <<ir n d(i1 ir F ) d(q i1 F ) d(q ir F )
P
= F 1i1 <<ir n di1 ir dq i1 dq ir
= F d. 2
La otra antiderivacion que tambien desempe
nara un papel importante mas adelante es el producto interior. Pero, previamente, conviene
tener presente el siguiente ejercicio elemental.
Ejercicio. Sea V un espacio vectorial, v V y r (V ). Se define
el producto interior de seg
un v, iv r1 (V ), como:
iv (v1 , . . . , vr1 ) := (v, v1 , . . . , vr1 ) v1 , . . . , vr1 V.
Pruebese que se verifican:
(i) iv : r (V ) r1 (V ) es una aplicacion lineal,
(ii) iv ( 0 ) = (iv ) 0 + (1)r (iv 0 ),
0
r (V ).
r (V ), 0
Definici
on 9.1.9 Sea Q una variedad diferenciable de dimension n.
Se define el producto interior iX seg
un X X(Q) como la u
nica antiderivaci
on de grado 1 tal que: (i) iX (f ) = 0 para todo f C (Q),
(ii) iX () = (X) para todo 1 (Q).
198
Si bien la unicidad viene garantizada por la propiedad (2) de las antiderivaciones, para asegurar su existencia se debe aplicar el ejercicio
anterior.
Observese que de la definicion de producto interior se deduce facilmente el siguiente resultado.
Proposici
on 9.1.10 Si X, Y X(Q) y f, h C (Q) entonces
(1) if X+hY = f iX + h iY
(2) iX df = X(f ).
9.1.3.
Teorema de Cartan
(9.5)
Demostraci
on. Dado que DX es manifiestamente lineal, basta con de0
mostrar (9.5) para r (Q), 0 r (Q). Se tiene entonces:
iX d( 0 ) = iX (d 0 + (1)r d 0 )
= (iX d) 0 + (1)r+1 d (iX 0 )
+(1)r (iX ) d 0 + (1)2r iX d 0 ,
(9.6)
199
X X(Q), r (Q).
Demostraci
on. Aplicando el Teorema de Cartan y la Proposicion 9.1.7
dos veces se tiene:
dLX = d(iX d + diX ) = (d iX )d = (LX iX d)d = LX d. 2
Ejercicio. Redemuestrese este corolario usando que (localmente) LX =
d
y d t = t d, siendo t el flujo local de X.
dt t
Ejercicio. Demuestrese la igualdad i[X,Y ] = LX (iY ) LY (iX ).
9.2.
200
9.2.1.
(9.9)
201
(9.10)
c1
i
..
F
C
.
=
(9.11)
(x
)
,
0
xj
cn1
i,j
0 ... 0
c
donde F i xi F , C =
(F )i
(x0 )
xj
i,j
9.2.2.
La definicion de variedad (diferenciable) con borde resulta completamente analoga a la de variedad diferenciable, con la u
nica salvedad
n
de que las cartas locales toman ahora valores en R+ .
202
203
204
9.2.3.
Orientaci
on en el borde
a1 0
...
0
N ) = a2
M (IdV , BN B
, con a1 > 0.
..
0
0
)
.
M (IdV , B B
an
205
206
9.3.
Teorema de Stokes
207
Teorema 9.3.1 (de Stokes): Sea +Q una variedad con borde orientada de dimension n 2, i : Q Q la inclusion del borde en la
variedad, y una n 1 forma continua sobre Q que sea diferenciable
C 1 en IntQ.
Si el soporte sop es compacto, entonces
Z
Z
i=
d ,
+Q
+Q
+Q
i=1
De la linealidad de esta igualdad, basta con probar el resultado para cada uno de los k sumandos. Esto es, sin perdida de generalidad,
podemos suponer sop incluido en un entorno coordenado (U, ).
Podemos asumir que : U (U ) Rn+ esta positivamente
orientada. Ademas, se verifica la igualdad i 1 = 1 i, siendo
i : ((U )) Rn+ , (U ) Rn+ . En consecuencia,
Z
Z
Z
1
d =
d =
d(1 )
n
n
+Q
+R+
+R+
y
Z
Z
i =
+Q
Z
=
+ R
n
+
+ R
(i ) =
n
+
(1 ) i
n
+
+ R
Z
i) =
n
+
+ R
i (1 ).
Luego no resulta restrictivo suponer que es una (n 1)-forma sobre Rn+ , por lo que simplificaremos (1 ) por . Podemos escribir
entonces (Proposicion 9.1.6):
=
n
X
ci dxn .
(1)i1 i dx1 dx
i=1
208
En este caso,
P
i
d = ni=1
dx1 dxi dxn
xi
i = (1)n1 n (x1 , . . . , xn1 , 0) dx1 dxn1 | Rn .
+
Integrando:
Z
n
+
+R
d =
n
+
i=1
xi
dx1 dxn
i i
ci dxn
dx dx1 dx
i
n2
R R+
x
Z
Z
n n
+ n1
dx dx1 dxn1 .
n
x
0
R
n1 Z
X
i=1
n
!
X i
Ahora
por la compacidad de sop, la primera sumatoria es nula
R bi bien,
i
i
( ai xi dx = 0 para ai , bi suficientemente grande).
n
u
ltimo sumando sera cero, esto es,
R Si sop R+ = tambien el
n
n d = 0. Pero si sop R
+ 6= :
+R
+
R n n 1
R
R
n
n
n1
d
=
=
dx dx dxn1
n
0 xn
+R
RR+ x
R
= Rn1 n (x1 , . . . , xn1 , 0) dx1 dxn1 .
n
+
209
+{a}
+{b}
df =
+Q
f 0 dx.
9.4.
Primeras aplicaciones
9.4.1.
F
ormula de Green-Riemann en el plano
Z
Z
Q P
(P dx + Qdy) =
dx dy.
x
y
+D
+D
Observese que el miembro izquierdo no es mas que una integral ordinaria de una funcion (con soporte compacto en D) sobre D. El miembro
derecho se puede escribir como la circulacion de la 1-forma sobre
una curva que parametrice (cada parte conexa de) +D en sentido
positivo (esto es, de modo que al recorrerla D quede a la izquierda).
Puesto que el soporte es compacto, no supone perdida de generalidad
210
i
=
(i ) (dx ) =
(i )
dt
dt
[a,b]
[a,b] i=1
i=1 a
Z
dx
dy
+ Q(x(t), y(t)) )dt.
dt
dt
a
Resulta especialmente interesante el caso en el que +D puede parametrizarse
con una curva de Jordan diferenciable, esto es, una curva diferenciable
: [a, b] R2 , cerrada (a) = (b), cuya restriccion a [a, b[ es inyectiva, y tal que ademas 0 (a) = 0 (b).4 En particular, observese que para
calcular el area D basta con tomar = ydx o bien = xdy en el
Teorema 9.4.1, obteniendose:
=
(P (x(t), y(t))
9.4.2.
211
es nula.
Demostraci
on. Observese que el integrando es, al menos formalmente,
la 1-forma compleja:
(z) := f (z)dz = (f1 + if2 )(z) (dx + idy)
= (f1 dx f2 dy) + i(f2 dx + f1 dy) = 1 + i2 ,
siendo
1 = f1 dx f2 dy
2 = f2 dx + f1 dy.
f
dy)
=
=
1
2
1
R+D
R+D
R+D d1 = 0
(f
dy
+
f
dx)
=
=
d2 = 0,
2
+D 1
+D 2
+D
lo que concluye la prueba. 2
9.4.3.
Teorema cl
asico de Stokes
+Q
212
X =
+Q
g( 0 , X)dt.
(9.14)
hRot X, N i =
(S,g )
g( 0 , X)dt,
(9.16)
213
Por u
ltimo, es de remarcar que la igualdad anterior no solo es
valida cuando el campo X X(Q) (el cual, para superficies embebidas -como la regular S-, siempre se puede obtener por restriccion de
sino tambien para un campo
otro definido en un entorno de Q en Q),
X(Q)
que, sobre los puntos de S, no sea necesariaarbitrario X
mente tangente a S. Para comprobarlo, escribamos (cada entorno de)
S como imagen inversa de un valor regular de una funcion F , siendo
S = Sc=0 , Sc = F 1 (c). Podemos considerar N como un campo vectorial unitario definido en un entorno de S y que sea ortogonal a cada superficie Sc (de hecho, componiendo F con una funcion apropiada para
= X + hX,
N iN ,
normalizar, se tiene N =grad( F )), y escribir X
donde X es tangente a cada superficie Sc . Entonces claramente
= g( 0 , X),
h 0 , Xi
= rotX + d(h 0 , Xi)N
y, de rotX
se sigue:
N i = hRotX, N i.
hRotX,
Por tanto, usando (9.16) se tiene, en resumen:
Teorema 9.4.5 (Stokes clasico extrnseco). Sea S una superficie regular de R3 (o de cualquier 3-variedad riemanniana orientada), orientada
por un vector unitario normal N , y eventualmente con borde, cada una
de sus partes conexas parametrizada con una curva i : [ai , bi ] S,de
modo que i0 pertenezca en cada punto a la orientacion inducida. Para
X(Q) se considera la funcion flujo del rotacional a
cada campo X
traves de S:
N i : S R.
hRotX,
y S es compacta, se tiene entonces:
Si la intersecci
on del soporte de X
Z
Ni =
hRot X,
(S,g )
XZ
i
bi
ai
hi0 , Xidt,
(9.17)
214
9.5.
Teorema de la Divergencia
+Q
(9.19)
215
la u
ltima igualdad por ser dg una (n + 1)-forma diferencial. Por otra
parte, si X X(Q) y v2 , . . . , vn Tp (Q) entonces
(iX g )(v2 , . . . , vn ) = g (X, v2 , . . . , vn ) = g(X, N ) g (N, v2 , . . . , vn )
= g(X, N ) iN g (v2 , . . . , vn ) = g(X, N ) i g (v2 , . . . , vn ).
Por tanto,
iX g = g(X, N )i g .
(9.20)
216
(9.21)
(Q,i g)
9.6.
+Q
A lo largo de esta seccion, consideraremos Rn dotado de sus ele sera una nvariedad con borde
mentos geometricos usuales, y Q = D
compacta obtenida como la adherencia de un abierto D. Denotaremos al borde por5 S = Q, y a su campo normal exterior por N . Dado
p Rn , denotaremos p al propio p visto como vector tangente en Tp Rn .
lculo de volumenes de Rn :
Ca
P
Consideremos en Rn el campo vectorial X = ni=1 xi /xi . Un calculo
directo muestra: div X = n. Por tanto, el Teorema de la Divergencia
proporciona la siguiente formula para el volumen de D (y Q):
Z
1
vol(D) =
hp, Np i.
n S
n de superficies que contienen al origen de
Caracterizacio
3
R:
5
217
1
p
= 2
(xx + yy + zz ).
3
2
kpk
(x + y + z 2 )3/2
Z
0 si (0, 0, 0) 6 D,
g(X, N ) =
4 si (0, 0, 0) D,
S
donde N apunta al exterior de D. Por tanto, el valor de esta integral
caracteriza las superficies que contienen al origen de R3 .
tico:
Ley de Gauss del campo electromagne
Esta ley es solo una reformulacion del resultado anterior. Se define
el campo electrico E producido en un punto p R3 por una carga
puntual de magnitud q situada en el origen como
E :=
q
p
,
40 kpk3
donde 0 > 0 es una constante (dielectrica del vaco). Salvo una constante, E coincide con el campo X del apartado anterior. Por tanto,
tomando una superficie S compacta y embebida en R3 que contenga al
origen, se sigue la siguiente igualdad conocida como Ley de Gauss:
Z
q
g(E, N ) = .
0
S
Nota. Cabe se
nalar que la Ley de Gauss lleva naturalmente a postular
la igualdad (una de las Leyes de Maxwell)
div E =
,
0
densidad de carga.
218
Angulo
solido:
Llamamos
angulo solido a la 2-forma en R3 \ {0} definida por:
sol = ip/|p|3 0 =
x dy dz + y dz dx + z dx dy
,
(x2 + y 2 + z 2 )3/2
1
1
0 (p, vp , wp ) = 3 hp, vp wp i
3
|p|
|p|
1
1
BR 3 =
,
,
r r rsen
(valida siempre que 6= n, n Z). En consecuencia, una base
ortonormal de Tp S 2 (r), positivamente orientada con la orientacion inducida sobre S 2 (r) como borde de B(0, r), es
1
1
,
,
BS 2 (r) =
r rsen
cuya dual es BS 2 (r) = (r d, rsen d). As, la metrica inducida en S 2 (r)
es
h, i |S 2 (r) = r2 (d2 + sen2 d2 ),
219
y el elemento de volumen positivamente orientado 0 sobre S 2 (r), tambien calculable inmediatamente de BS 2 (r) :
0 = r2 sen d d = r2 sol
en T S 2 (r).
Esta u
ltima igualdad permite caracterizar a sol mediante:
(9.22)
^sol (+S) =
+S
3
Area(S
(1) C(S)) =
i sol .
+S
0 si (0, 0, 0) 6 D
^sol (S) =
4 si (0, 0, 0) D.
220
Teorema de Arqumedes:
Suponiendo a R3 dotada con la metrica usual, consideremos la funcion
presi
on P : R3 R definida por:
cz si z 0
(x, y, z) 7
0
si z > 0,
siendo la constante c > 0 la densidad por atracci
on gravitatoria que,
en terminos de magnitudes fsicas tpicas, es igual a c = g0 , siendo
la densidad (constante) de masa del fluido y g0 la aceleracion gravitatoria (digamos g0 = 90 8 m/s2 ). Supongamos que el solido rgido
esta incluido en la region z < 0. Para cada q S = Q se
Q = D
define la fuerza ejercida por el fluido en q como
Fq = P Nq = czNq ,
siendo Nq el vector unitario normal exterior. Consideremos el campo
vectorial F = F x x
+ F y y
+ F z z
as definido sobre S, y definamos
el empuje del fluido sobre Q como la terna, E = (E x , E y , E z ):
Z
Z
Z
x
x
y
y
z
E =
F , E =
F , E =
F z.
S
E z = c vol(Q) = g0 vol(Q).
Esto es, todo cuerpo solido (representado por la variedad compacta con
borde Q) sumergido en un fluido (subespacio z < 0) experimenta un
empuje vertical hacia arriba E igual al peso del fluido que desaloja.
Demostraci
on. Sea Z = cz /z. Entonces div Z = c y F z = cz
hN, /zi = hN, Zi. Luego, por el Teorema de la Divergencia,
Z
Z
z
E = hZ, N i =
c = c vol(Q).
S
y analogamente E = 0.
9.7. FORMULAS
DE GREEN
9.7.
221
F
ormulas de Green
En particular, si Q = entonces
Z
Z
f h g = g(f, h)g .
Q
Demostraci
on. Aplquese el Teorema de la Divergencia teniendo presente la igualdad
div(f h) = f divh + g(f, h). 2
Observese que si f 1 entonces se reobtiene el Teorema de la Divergencia para h.
Segunda F
ormula de Green: Si f, h C (Q) son tales que sop(f h)
y sop(hf ) son compactos, entonces
Z
Z
Z
f h g
hf g =
g(f h hf, N )i g .
Q
En particular, si Q = entonces
Z
Z
f h g =
hf g .
Q
Demostraci
on. Escrbase tambien la Primera Formula de Green intercambiando los papeles de f y h, y restense las dos expresiones. 2
Las formulas anteriores se mantienen validas para metricas no degeneradas (siempre que i g tambien sea una metrica no degenerada
sobre Q, al menos c.p.d.) Sin embargo, el siguiente resultado fundamental usa fuertemente el caracter definido de la metrica.
222
Teorema 9.7.1 Sea (Q, g) una variedad riemanniana conexa, compacta y sin borde. Si h C (Q) es tal que h 0
o h 0 sobre
todo Q, entonces h es constante.
Demostraci
on. Consideremos el caso h 0 (si h 0 u
sese que
(h) = h 0). Puesto que Q es compacta, podemos escoger
c 0 (c R) tal que hc = h + c 0; observese que hc = h y
hc = h. Tomando f = hc en la Primera Formula de Green se tiene
Z
Z
hc h g +
g(h, h) = 0.
Q
9.8. APENDICE:
PRODUCTO VECTORIAL
223
9.8.
Ap
endice: producto vectorial y rotacional
9.8.1.
(9.23)
(9.24)
w V.
(9.25)
Por supuesto, todo esto resulta extensible punto a punto a los espacios
tangentes en variedades de dimension 3.
224
9.8.2.
El rotacional
Captulo 10
Conexiones afines
En este captulo introducimos un elemento nuevo sobre una variedad: el concepto de conexion afn. A partir de el se pueden definir
varios conceptos de interes geometrico: la derivada covariante a lo largo
de una curva, el transporte paralelo, las geodesicas y la aplicacion exponencial (ademas de la curvatura que estudiaremos en el captulo
siguiente). Describiremos brevemente estos conceptos y hallaremos expresiones en coordenadas para todos ellos a partir de los smbolos de
Christoffel de la conexion.
10.1.
Concepto de conexi
on afn
226
n
X
Yi
i=1
,
xi
vp (Y ) :=
vp (Y i ) i |p .
x
i=1
Obviamente, esta definicion depende del sistema de coordenadas escogido. As, en una variedad arbitraria Q donde no exista un sistema
de coordenadas privilegiado la anterior definicion carece de sentido.
Por tanto, se hace necesario abstraer las propiedades deseables de esta
definicion de manera que sea aplicable a una variedad Q arbitraria.
Definici
on 10.1.1 Sea Q una variedad diferenciable. Una conexion
afn sobre Q es una aplicaci
on ,
: X(Q) X(Q) X(Q)
(X, Y ) 7 X Y
que verifica:
(1) Es R-lineal con respecto a la segunda variable, esto es,
X (aY + bY ) = aX Y + bX Y , a, b R, X, Y, Y X(Q).
(2) Verifica la regla de Leibniz del producto con respecto a la segunda
variable:
X (f Y ) = X(f )Y + f X Y, f C (Q), X, Y X(Q).
(3) Es R-lineal con respecto a la primera variable, esto es,
aX+bX (Y ) = aX Y + bX Y, a, b R, X, X, Y X(Q).
(4) Es C (Q)-lineal con respecto a la primera variable, esto es,
f X Y = f X Y, f C (Q), X, Y X(Q).
AFIN
10.1. CONCEPTO DE CONEXION
227
Si, adem
as, se verifica
X Y Y X = [X, Y ], X, Y X(Q)
entonces se dice que la conexi
on es simetrica. Al par (Q, ) lo llamaremos variedad afn.
Observaciones:
(1) Es inmediato comprobar que el corchete de Lie sobre Q
[, ] : X(Q) X(Q) X(Q)
(X, Y ) 7 [X, Y ]
no es una conexion afn puesto que no verifica la propiedad (4)
(en cambio, s verifica el resto de las propiedades).
(2) Del axioma (2) queda claro que (si dim Q > 0) la conexion afn
no es C (Q)-lineal con respecto a la segunda variable. S lo es,
sin embargo, respecto de la primera variable (propiedad (4)).
Comprobemos ahora que con una conexion afn s es posible definir la
derivada de Y en la direccion de un vector tangente v. En adelante,
simplificaremos sistematicamente la notacion siendo consistentes con:
i /q i .
Proposici
on 10.1.2 Sean X, X X(Q) tales que Xp = X p para cierto p Q. Entonces
(X Y )p = (X Y )p ,
Y X(Q).
Demostraci
on. Sean X, X X(Q) tales que Xp = X p . Si (U, q 1 , . . . , q n )
es un entorno coordenado de Q alrededor de p entonces podemos escribir:
n
n
X
X
i
i
X i ,
X=
X=
X i ,
i=1
i=1
i=1
Y =
i )
Pn
i=1 X i Y.
(10.1)
228
n
X
X (p)(i Y )p =
i=1
n
X
X (p)(i Y )p = (X Y )p . 2
i=1
0X Y
n
X
n
X
Y j
:=
X(Y ) j =
Xi i
,
x
x xj
j=1
i,j=1
j
P
P
siendo X = ni=1 X i x i , Y = nj=1 Y j x j , es una conexion afn simetrica sobre Rn .
Definici
on 10.1.3 Dada una variedad afn (Q, ) se dice que X
X(Q) es paralelo si X 0; esto es, si
v X = 0,
v T Q.
10.2.
229
Smbolos de Christoffel
Sean (Q, ) una variedad afn y (U, q 1 , . . . , q n ) un entorno coordenado de Q. Como sabemos, el conjunto (1 /q 1 , . . . , n /q n ) es
una base de campos sobre U , y dado que i j tambien es un campo
sobre U , podemos expresarlo punto a punto como combinacion lineal
de los campos coordenados (1 , . . . , n ). En consecuencia, existen n3
funciones diferenciables kij , i, j, k {1, . . . , n} sobre U tales que
i j =
n
X
kij k .
(10.2)
k=1
Definici
on 10.2.1 Las funciones kij , i, j, k {1, . . . , n} dadas por la
expresi
on (10.2) reciben el nombre de smbolos de Christoffel de en
las coordenadas (q 1 , . . . , q n ).
Propiedades:
(1) Los valores de kij , i, j, k {1, . . . ,P
n} determinan laPconexion
sobre el abierto U . En efecto, si X = ni=1 X i i , Y = nj=1 Y j j
entonces
P
P
X Y = (Pni=1 X i i ) ( nj=1 Y j j ) = ni,j=1 X i i (Y j j )
P
P
P
= ni,j=1 X i (i Y j j + Y j i j ) = ni,j=1 X i (i Y j j + Y j nk=1 kij k ),
(mientras que en la segunda igualdad se usa el axioma (4), en la tercera
se usa el (2); para la u
ltima igualdad se ha usado (10.2)). En consecuencia, conociendo los smbolos de Christoffel podemos computar la
conexion afn sobre dos campos cualesquiera.
(2) Recprocamente, fijado un entorno coordenado (U, q 1 , . . . , q n ) y
3
n funciones diferenciables arbitrarias kij , i, j, k {1, . . . , n} sobre U ,
existe una u
nica conexion afn sobre U cuyos smbolos de Christoffel
en coordedanadas (q 1 , . . . , q n ) son kij . Concretamente, viene dado
por la expresion
!
n
n
X
X
kij k , X, Y X(U ).
X Y :=
X i i Y j j + Y j
i,j=1
k=1
230
n
X
kij k
n
X
kji k
(kij kji )k ,
k=1
k=1
k=1
n
X
que es nulo si y solo si kij = kji para todo i, j, k. Para campos cualesquiera basta con expresar dichos campos en terminos de los coordenados y reducir la prueba al caso anterior.
(4) Sea una conexion sobre Q y sean (q 1 , . . . , q n ), (q 1 , . . . , q n )
dos sistemas coordenados sobre un mismo abierto U Q. La relacion
k
existente entre los smbolos de Christoffel kij y ij asociados a los
respectivos sistemas coordenados es:
s
ij
n
n
X
X
q l q m q s r
q s 2 q r
+
.
=
q r q i q j l,m,r=1 q i q j q r lm
r=1
(10.3)
n
X
k=1
k
ij k
n
X
k,r=1
ij
q r
r .
q k
231
k
ij
k=1
Pero
Pn
q r
q s
r=1 q k q r
n
X
q r
2qr
q l q m r
=
+
.
q i q j l,m=1 q i q j lm
q k
q s
q k
(10.4)
q s
q r
q r k=1 ij q k
r=1
k=1
!
n
n
X
X
q l q m r
2qr
q s
=
+
. 2
i
j
i
j lm
r
q
q
q
q
q
r=1
l,m=1
10.3.
0 = ,
1
0 = .
Derivada covariante
: I TQ
t 7 0 (t) X T(t) Q.
Usando las propiedades de la conexion afn de la Seccion 10.1 se obtienen las siguientes:
(1) La derivada covariante es R-lineal, esto es,
DX
DX
D(aX + bX)
=a
+b
.
dt
dt
dt
232
(t) =
n
X
j=1
qj (t)
|(t) .
q j
Por tanto,
P
DX
(:= 0 (t) X)
= nk=1 0 (t) (X k k )
dt
Pn
P
= k=1 0 (t)(X k )k + ni=1 X i 0 (t) i
P
P
k
= nk=1 d(Xdt) k + ni,j=1 X i ((t))qj (t)(j |(t) ) i
P
P
P
k
= nk=1 d(Xdt) k + ni,j=1 X i ((t))qj (t) nk=1 kij ((t))k .
En conclusion, su expresion en coordenadas queda:
!
n
n
X
DX
d(X k ) X i
(t) =
+
X ((t))qj (t)kij ((t)) k |(t) .
dt
dt
i,j=1
k=1
(10.5)
La definicion de derivada covariante se puede extender a campos vectoriales sobre mas generales de la siguiente manera:
Definici
on 10.3.2 Dada una curva diferenciable : I Q decimos
t 7 X(t)
= siendo
tal que X(t)
T(t) Q, t I (esto es, tal que X
: T Q Q la proyecci
on can
onica).
Por ejemplo, si X X(Q) entonces la aplicacion diferenciable
X : I TQ
t 7 X(t) ,
(10.6)
233
Figura 20
es un campo sobre . Ahora bien, no todos los campos sobre una curva son restricciones a esa curva de un campo definido sobre toda la
variedad (vease la Figura 20).
A partir de (10.5) se comprueba que la derivada covariante de
un campo a lo largo de una curva solo depende de los valores del
campo sobre dicha curva. Esto permite definir la derivada covariante
sobre que no provenga necesaria lo largo de de un campo X
amente P
de un campo definido sobre toda la variedad. En efecto, si
DX
(t) :=
dt
k=1
!
n
X
k
dX
i (t)qj (t)k ((t)) k |(t) . (10.7)
(t) +
X
ij
dt
i,j=1
DX
hemos definido un nuevo campo vectorial dt tambien sobre que
en la direccion de 0 (t), para todo t I.
representa la derivada de X
234
10.4.
Transporte paralelo
0.
dt
Idea de la demostraci
on. Tomemos coordenadas alrededor de (t0 ).
La prueba se reduce entonces a resolver el sistema de n ecuaciones
diferenciales de primer orden
n
dV k (t) X i
+
V (t)qj (t)kij ((t)) = 0,
dt
i,j=1
k = 1, . . . , n,
(10.8)
V k (t0 ) = v k ,
k = 1, . . . , n.
235
n
X
ai Ei ,
ai R, i {1, . . . , n}.
i=1
236
10.5.
Geod
esicas
!
n
n
0
2 k
X
X
D
dq
(t) =
(t) +
qi (t)qj (t)kij ((t))
|(t) .
2
dt
dt
q k
i,j=1
k=1
En consecuencia, sera una geodesica si y solo si se verifica:
n
X
d2 q k
(t) +
kij ((t))qi (t)qj (t) = 0,
dt2
i,j=1
k {1, . . . , n}.
(10.9)
+ 2 = 0.
10.6. CONEXIONES SIMETRICAS
237
Como en la demostracion del Teorema 10.4.2, si aplicamos los teoremas clasicos de existencia y unicidad de soluciones de ecuaciones
diferenciales a (10.9) obtenemos:
Teorema 10.5.2 Sea (Q, ) una variedad afn. Para cada t0 R,
p Q y v Tp Q, existe una u
nica geodesica :]a, b[ Q tal que
(i) (t0 ) = p, 0 (t0 ) = v, y
(ii) es inextensible (o maximal), esto es, no existe otra geodesica
que verifique (i) y cuyo dominio de definicion contenga estrictamente a ]a, b[.
Grosso modo, lo que se esta diciendo es que el punto y la velocidad
iniciales determinan la geodesica. Una propiedad relevante que pueden
presentar las geodesicas es la completitud:
Definici
on 10.5.3 Si una geodesica inextensible tiene dominio de definici
on todo R entonces se dice que es completa.
Una variedad cuyas geodesicas inextensibles son todas completas se
dice que es una variedad geodesicamente completa.
Por ejemplo, Rn con la conexion usual es completa. Sin embargo, la
bola de centro 0 y radio r(< ) no lo es.
Nota. Las velocidades de las geodesicas proporcionan las curvas integrales de un campo vectorial G sobre la variedad tangente, G X(T Q).
Ello permite descubrir algunas analogas entre los conceptos aqu estudiados para las geodesicas y los vistos en el Tema 5 para las curvas
integrales de cualquier campo vectorial.
10.6.
Conexiones sim
etricas
238
Proposici
on 10.6.1 Dada una conexi
on no simetrica , existe una
u
nica conexi
on simetrica cuyas geodesicas coinciden con las de .
Esquema de la demostraci
on. Paso 1. Para toda conexion afn se
define su torsi
on como
Tor(X, Y ) = X Y Y X [X, Y ],
X, Y X(Q).
2
2
= X Y Y X Tor(X, Y ) = [X, Y ].
Paso 4. Dado que
X X = X X 1 Tor(X, X) = X X,
2
(la u
ltima igualdad por la antisimetra de Tor) las geodesicas para
ambas conexiones coinciden. 2
10.7.
Aplicaci
on exponencial
D dt 0
d2 t 0
dt
D 0
D 0
(s) =
(t(s)) = 2 (t(s)) +
(t(s)).
ds
ds ds
ds
ds
dt
2
d t
Por tanto, seguira siendo una geodesica si y solo si ds
2 (s) 0, es
decir, si y solo si t(s) = a s + b, a, b R.
Por otra parte, observemos que si las geodesicas inextensibles v ,
0
(0) = h
hv , h R\{0} verifican v (0) = hv (0), v0 (0) = v, hv
0
v entonces ambas geodesicas tienen la misma imagen y hv (s) h
v0 (hs).
EXPONENCIAL
10.7. APLICACION
239
(10.10)
240
Captulo 11
Curvatura
11.1.
Concepto de curvatura
242
n
X
i,j,k,l=1
l
Ri,j,k
dq i dq j dq k
,
q l
l
donde Ri,j,k
= dq l (R(/q i , /q j , /q k )). Teniendo en cuenta que
!!
X ljk
X
X
ljk l ) =
i (j k ) = i (
+ ljk
m
,
il m
i l
q
m
l
l
i
se deduce facilmente que la expresion de los coeficientes Rjkl
en coordenadas locales es:
i
Rkjl
n
n
X
X
i
i
i
m
= k jl k lj +
lm jk
ikm m
lj .
q
q
m=1
m=1
11.2.
243
curvatura R podemos obtener un tensor tipo (4, 0) equivalente al anterior sin mas que aplicar a R el sostenido ]. Es decir, podemos definir
el campo tensorial
R] : X(Q)4 C (Q)
(X, Y, Z, W ) 7 R] (X, Y, Z, W ) := g(R(X, Y )Z, W ).
Obviamente, para reobtener el tensor de curvatura a partir de este
basta con subir ndices, [Seccion 7, Apendice 1]. De ahora en adelante
abusaremos de la notacion escribiendo tambien R en lugar de R] .
El tensor de curvatura R presenta las siguientes simetras:
(1) Es un tensor antisimetrico en las dos primeras variables, esto es,
R(X, Y, Z, W ) = R(Y, X, Z, W ),
X, Y, Z, W X(Q).
X, Y, Z, W X(Q).
(3) Es simetrico dos a dos en las dos primeras variables con las dos
u
ltimas, esto es,
R(X, Y, Z, W ) = R(Z, W, X, Y ),
X, Y, Z, W X(Q).
11.3.
X, Y, Z, W X(Q).
Curvatura seccional
244
Observaciones:
(1) La expresion (11.1) se simplifica si tomamos u, v tales que formen una base ortonormal de , ya que en este caso el denominador
pasa a ser 1.
(2) Cuando g | es eucldea el denominador coincide con el cuadrado
del area del paralelogramo generado por u, v. En efecto, si (u, v) es
el angulo formado por u y v entonces
g(u, u)g(v, v) g(u, v)2 = kuk2 kvk2 kuk2 kvk2 cos2 ((u, v))
= kuk2 kvk2 sen2 ((u, v)).
Ademas, si g es riemanniana entonces g | es no degenerada para
cualquier plano .
(3) El valor de la curvatura seccional de un plano es independiente
de los vectores u, v elegidos. En efecto, si u = au + bv y v = cu + dv
con ad bc 6= 0 entonces
R(u,v,v,u)
(adbc)2 R(u,v,v,u)
=
2
g(u,u)g(v,v)g(u,v)
(adbc)2 (g(u,u)g(v,v)g(u,v)2 )
R(u,v,v,u)
= g(u,u)g(v,v)g(u,v)2 .
11.4.
Tensor de Ricci
Sea (Q, g) una variedad semi-riemanniana y R su tensor de curvatura. Para cada Y, Z X(Q) consideramos el campo de endomorfismos
p 7 R(, Yp )Zp , siendo
R(, Yp )Zp : Tp Q Tp Q
Xp 7 R(Xp , Yp )Zp .
Definici
on 11.4.1 Se define el tensor de Ricci de (Q, g) como el tensor (2, 0)
Ric : X(Q) X(Q) C (Q)
(Y, Z) 7 Ric(Y, Z),
245
definido por
Ric(Y, Z) : Q R
p 7 traza R(, Yp )Zp .
Si se computa esta traza en terminos de la metrica se obtiene:
Ric(Y,
:= traza R(, Yp )Zp P
Pn Z)(p)
ij
= i,j=1 g g(R(i , Yp )Zp , j ) = ni,j=1 g ij R(i , Yp , Zp , j ).
Propiedades:
(1) El tensor de Ricci es simetrico, esto es, Ric(Y, Z) = Ric(Z, Y )
(esto es facil de comprobar a partir de las simetras de R, vease
la Seccion 11.2). Ademas, salvo signo es el u
nico tensor (2, 0) no
nulo que se obtiene como contraccion del tensor de curvatura.
(2) En el caso riemanniano la media de las curvaturas seccionales
de todos los planos que contienen a vp Tp Q {0} es
1 Ric(vp , vp )
.
n 1 g(vp , vp )
(11.2)
11.5.
Curvatura escalar
246
Definici
on 11.5.1 Se define la curvatura escalar S de (Q, g) como la
contracci
on metrica de su tensor de Ricci.
En coordenadas (U, q 1 , . . . , q n ) la curvatura escalar en p adopta la expresion
n
X
S(p) =
g ij (p)Ric(i |p , j |p ), p U.
i,j=1
11.6.
Significado de la curvatura
11.6.1.
Orgenes geom
etricos
Sea : I R2 una curva plana unitaria (k 0 (t)k = 1). A continuacion, consideremos la circunferencia tangente a dicha curva en (t0 )
247
que mejor se aproxime a ella, esto es, aquella que, parametrizada como
curva unitaria, tenga velocidad y aceleracion coincidentes con las de
en (t0 ). Se define la curvatura C((t0 )) de en (t0 ) como 1/r siendo
r el radio de dicha circunferencia. Observese que, como g0 ( 0 (t), 0 (t))
es constante, se tiene 2g0 ( 00 (t), 0 (t)) = 0, es decir, 00 (t) 0 (t), t. El
centro de la circunferencia que mas se aproxima queda entonces sobre
la recta que pasa por (t0 ) con vector director 00 (t0 ), y su radio es
r = 1/k 00 (t0 )k. Como caso lmite, la curvatura se define como 0 si
00 (t0 ) = 0 (r = ). 1
Observaci
on. Esta definicion de curvatura se extiende facilmente al
caso de curvas en R3 . En este caso, aunque la curva unitaria : I
R3 no este contenida en un plano, el plano afn que pasa por (t0 )
generado por 0 (t0 ) y 00 (t0 ) es el que mas se aproxima a en (t0 ).
As, puede definirse la curvatura de en t0 como k 00 (t0 )k, y mantenerse
su interpretacion como inversa del radio de circunferencia que mas se
aproxima a en (t0 ).
Figura 24
Consideremos a continuacion una superficie S incluida en R3 . Nuestro objetivo ahora sera definir su curvatura en un punto p S. Sea
vp Tp S un vector unitario y sea vp la geodesica en S con velocidad
1
248
Figura 25
Np
(vp (t0 )) =
kv00p (t0 )k
kv00p (t0 )k
si Ovp = p + rNp
si Ovp = p rNp .
249
250
Extrnseco
Extrnseco
Extrnseco
l
Intrnseco
Intrnseco
Intrnseco
Intrnseco
11.6.2.
C
omo la curvatura determina la m
etrica
Una vez estudiado el origen del tensor de curvatura, conviene entender como la curvatura determina la metrica. De nuevo, nos restringiremos a una variedad riemanniana (Q, g) aunque, esencialmente, lo que
sigue tambien valdra para una variedad semi-riemanniana arbitraria:
Resultado 1. La curvatura es una segunda derivada de la metrica. Sea p Q y consideremos coordenadas normales (q 1 , . . . , q n ) asociadas a expp : U0 Tp Q Up Q, siendo expp |U0 un difeomorfismo
y U0 un abierto estrellado,
gij (p) = ij
y kij (p) = 0,
i, j, k {1, . . . , n}.
(11.3)
251
252
11.6.3.
Ecuaci
on de Jacobi
(11.4)
tal que
(i) 0 = , y
(ii) s es una geodesica para cada s.
Para esa variacion se define el campo variacional asociado, o campo de
Jacobi, como el campo sobre
J(t) =
d
|s=0 s (t).
ds
253
D2 J
, J) = g(R(J, 0 ) 0 , J) = Ks (t )(g( 0 , 0 )g(J, J) g( 0 , J)2 ).
dt2
11.6.4.
Otras propiedades
2r L(Cr )
=
Ks (p ).
r3
3
(11.5)
254
A0 (r) A(r)
.
r2 A0 (r)
(11.6)
Grosso modo, a mayor curvatura menor longitud y area que las esperadas en Rn .
Las formulas (11.5) y (11.6) permiten conocer si el espacio esta curvado en un punto p a partir de mediciones infinitesimales de longitud
y area alrededor de p. As, los eventuales habitantes de un espacio
curvado podran percatarse de su curvatura a partir de mediciones de
longitudes y areas.
Captulo 12
Algunas notas sobre
Relatividad
En este captulo se describen muy brevemente los ambientes matematicos de la Relatividad Especial y General. Mostraremos como los diferentes objetos geometricos introducidos encajan en el marco de la Relatividad, resultando imprescindible toda la maquinaria matematica
estudiada para el caso de la Relatividad General. Sin mayores pretensiones, nuestro objetivo es doble: ayudar a conectar los diferentes
lenguajes fsico y matematico que aparecen en la literatura sobre Relatividad, y estimular la curiosidad e interes rigurosos por esta teora.
12.1.
Relatividad Especial
12.1.1.
Recordemos que todo espacio vectorial lorentziano (V, h, i) de dimension n + 1 es isometrico al espacio de Lorentz-Minkowski Ln+1 ,
que se define como Rn+1 dotado con la metrica usual lorentziana
(, +, . . . , +). Denotaremos por (t = x0 , x1 , . . . , xn ) a las coordenadas
usuales de Ln+1 , por lo que en ellas se tiene:
00 = 1,
ij = ij ,
255
i, j {1, . . . , n}.
256
El caso de mayor
p interes fsico es, por supuesto, n = 3. De ahora
en adelante a |hv, vi| lo denotaremos por kvk, aunque no verifica,
obviamente, las propiedades de una norma. Diremos que un vector
v V es:
hv, vi < 0
temporal
hv, vi = 0, v 6= 0
luminoso
si
hv, vi 0, v 6= 0
causal
espacial
hv, vi > 0 o v = 0.
No es difcil comprobar (observese la Figura 26 para L3 ) que los
vectores causales de (V, h, i) junto con el vector v = 0 forman dos
conos. Si elegimos uno de estos conos C y lo llamamos cono futuro,
diremos que el espacio vectorial lorentziano esta orientado temporalmente, y al otro cono C se le llama cono pasado. En Ln+1 elegimos
como cono futuro al superior, esto es, C = {a = (a0 , . . . , an ) Ln+1 :
ha, ai 0, a0 0}.
Figura 26
Fijada una variedad lorentziana (Q, g), a una eleccion continua
de un cono para cada Tp Q (isometrico a Ln+1 , aunque no de modo
257
(12.1)
donde ij = (vi , vj ) y
A = M (f, B) = (f (v0 ), f (v1 ), . . . , f (vn )),
donde cada f (vi ) se escribe por columnas y B = (v0 , . . . , vn ) es cualquier base ortonormal de Ln+1 .
Conviene se
nalar que, en general, las transformaciones de Lorentz
no conservan la eleccion hecha para los conos temporales, esto es, tal
vez f (C ) = C . A una transformacion de Lorentz que s respete los
conos temporales, esto es, tal que f (C ) = C (y, por tanto, f (C ) =
C ) se le llama ortocrona. Si, ademas, det f > 0 entonces se dice que
es propia.
Claramente, el conjunto de las transformaciones de Lorentz junto
con la operacion de composicion tiene una estructura de grupo. El
estudio de las isometras vectoriales de un espacio vectorial lorentziano
(V, h, i) de dimension n+1 equivale al estudio de las transformaciones
de Lorentz de Ln+1 .
12.1.2.
El grupo de Lorentz
El estudio de las transformaciones de Lorentz equivale al de las matrices que verifican (12.1). As llamamos grupo de Lorentz de dimension
n + 1 a:
O1 (n + 1) = {A Gl(n + 1, R) : At (ij )A = (ij )}.
Retomando la subseccion anterior, es inmediato ahora comprobar que
una transformacion de Lorentz f con matriz en una base ortonormal
258
(a00 )2
n
X
(a0i )2 ,
i=1
cosh senh
O1 (2) =
: R, , {1, 1} . (12.2)
senh cosh
Ejercicio. Demuestrese (12.2).
Observese que si = = 1 entonces las correspondientes transformaciones son ortocronas propias, esto es, pertenecientes a O1+ (2).
Adicionalmente, podemos usar la siguiente expresion para las matrices
en O1+ (2):
cosh senh
senh cosh
= cosh
1
tagh
tagh
1
O1+ (2)
1 v2
1 v
v 1
: v ] 1, 1[ .
(12.3)
Con mas generalidad, no es difcil demostrar que si f es una transformacion de Lorentz de (V, h, i) y es un subespacio invariante por
f (esto es, f () ) entonces el subespacio ortogonal a (es decir,
= {v V : hv, wi = 0, w }) tambien lo es (f ( ) ). Ello
permite dar la siguiente definicion:
259
Definici
on 12.1.1 Sea f una isometra de un espacio vectorial lorentziano (V, h, i) de dimension n + 1. Diremos que f es una transformacion de Lorentz pura o boost (resp. isometra espacial pura) si f
admite un subespacio invariante por f que verifica: tiene dimension
2 (resp. dimension n), la metrica restricci
on g | es lorentziana (resp.
eucldea) y la restricci
on de la isometra al subespacio ortogonal f |
es la identidad.
En dimension 4 se puede demostrar que para toda transformacion de
Lorentz propia ortocrona f existe un boost f1 y una isometra espacial pura f2 tales que
f = f1 f2 .
Ademas, al ser f2 esencialmente una isometra vectorial (y que conserva
la orientacion) en un espacio vectorial de dimension 3, f2 restringido
a alguna recta R es la identidad, por lo que f2 puede considerarse
como una rotaci
on pura en el plano P ortogonal a R. Esto es,
f se puede escribir como composicion de un boost y una rotacion
aunque el plano espacial P en el que transcurre la rotacion no es
necesariamente ortogonal al plano temporal en el que transcurre el
boost. As, muchas de las propiedades mas caractersticas de las
transformaciones de Lorentz se pueden estudiar en dimension 2.
12.1.3.
Reflexionemos en primer lugar sobre por que el plano fsico admite como modelo matematico al plano eucldeo R2 (R2 , dx21 + dx22 ).
Esencialmente, esto significa:
(a) El plano fsico P admite una estructura de variedad riemanniana
(o de espacio afn eucldeo) de dimension 2 que es isometrica
a R2 .
(b) Existe una manera fsica de construir una tal isometra I : P
R2 . A la postre, digamos: se puede fijar un origen, unos ejes
ortogonales y unidades en el plano fsico y proyectar cada
punto sobre los ejes coordenados, obteniendo as el elemento deseado de R2 .
260
Es de se
nalar que esta isometra no es u
nica. Sin embargo, si fijamos
una entonces podemos trabajar indistintamente con P o R2 . Ademas,
cuando se tienen dos de tales isometras I, I 0 : P R2 existe una
isometra R de R2 tal que I 0 = R I; esto es, todo el estudio se acaba
reduciendo al de R2 .
En Relatividad Especial se postula que el conjunto de todos los
eventos (o sucesos aqu-ahora) del espaciotiempo admite como modelo fsico al espacio de Minkowski L4 con su orientacion temporal
futura. La necesidad de este postulado se puede comprobar a posteriori, ya que permite modelar la constancia de la velocidad de la luz.
Como en el caso del plano fsico tal postulado significa:
(a) El espaciotiempo como conjunto de sucesos admite una estructura de variedad lorentziana (Q, g) (o de espacio afn lorentziano)
de dimension 4 y orientada temporalmente que es isometrica a L4
(mediante una isometra que respeta los conos futuros, es decir,
una isometra ortocrona).
(b) Existe una manera fsica de construir esa isometra.
Sin embargo, (b) resulta ahora menos intuitivo y precisa de discusiones
fsicas. Resumiendo, se admite que dicha isometra se construye usando
la existencia de observadores inerciales en el espaciotiempo (Q, g). Cada uno de estos observadores describe una geodesica (recta afn) r(t)
tal que r0 (t) pertenece al cono futuro y g(r0 (t), r0 (t)) = 1. En cada
instante t0 el observador percibe como espacio en reposo el hiperplano
afn (t0 ) que es ortogonal a r(t) en r(t0 ). Este hiperplano podra considerarse entonces como una variedad riemanniana (o un espacio afn
eucldeo) isometrica a R3 (Figura 27).
Si nos restringimos a una dimension espacial, una vez que el observador fija la isometra dicho observador se ve a s mismo como
una recta con vector director e0 = (1, 0) de L2 , siendo su espacio
en reposo una recta de vector director e1 = (0, 1). Otro observador
sera visto por el primero como otra recta de vector director temporal
e00 C , y tendra como espacio en reposo una recta distinta con vector
director e01 que sera ortogonal a e00 . La matriz de cambio de base entre
(e0 , e1 ) y (e00 , e01 ) pertenecera a O1 (2).
261
Figura 27
12.1.4.
En la aceptacion historica de Ln+1 , n = 3, como modelo del espaciotiempo en Relatividad Especial, el problema de la velocidad de la luz,
que comentaremos brevemente, represento un papel central. Por simplicidad puede suponerse n = 1, aunque los desarrollos matematicos
que siguen pueden extenderse para un n arbitrario.
En contra de la intuicion newtoniana clasica, tanto argumentos teoricos
como evidencias experimentales sugeran postular que la velocidad de
la luz es finita y la misma para todos los observadores (inerciales). Los
argumentos teoricos se basaban en los siguientes tres hechos:
(1) las ecuaciones de Maxwell proporcionan la velocidad de la luz
-o de cualquier onda electromagnetica- con respecto a su medio de
propagaci
on (no respecto a la fuente que la origina),
(2) la luz se propaga en el vaco y
(3) el vaco parece ser el mismo para todos los observadores inerciales.
As, la velocidad de la luz respecto al vaco predicha por las ecuaciones
262
12.1.5.
263
Admitiendo L4 como modelo del espaciotiempo, debemos ser consistentes con el. Ello provoca algunas consecuencias que inicialmente
pueden resultar sorprendentes. Historicamente, la mas conocida de ellas es la identidad entre masa (en reposo) y energa, a traves de la
famosa ecuacion de Einstein E = mc2 . Podemos intuir la necesidad de
una relacion de este tipo porque para una partcula en movimiento, el
momento p~ = (px , py , pz ) y la energa E medidos por un observador
inercial no pueden tener un significado intrnseco (no se transforman
separadamente como las coordenadas de ning
un tensor sobre L4 ). Resulta as natural postular que no son mas que componentes de un
vector (E, p~). El escalar h(E, p~), (E, p~)i precisa entonces de alguna interpretacion fsica, y diversos analogos con la energa cinetica clasica
hacen natural postular h(E, p~), (E, p~)i = m2 ( m2 c4 ), siendo m la
masa que medira un observador para el que la partcula estuviera en
reposo. Describimos brevemente a continuacion otras consecuencias,
estas puramente geometricas.
n del tiempo. Supongamos que los observadores e00 y e0
Dilatacio
asignan coordenadas (T 0 , 0) y (T, X), respectivamente, al evento P ,
con T 0 > 0 (Figura 28).
Entonces, aplicando la metrica al vector OP obtenemos (OP , OP ) =
(T 0 )2 para el observador e00 . Para el observador e0 se tiene, en cambio,
(OP , OP ) = T 2 + X 2 . Igualando ambas expresiones se tiene:
T 2 = (T 0 )2 + X 2
y, por tanto, T > T 0 . Mas a
un, dividiendo en ambos miembros por T 2
se tiene
0 2
T
1=
+ v2,
T
siendo v la velocidad relativa del observador e00 respecto del observador
e0 . En consecuencia,
1
T =
T 0.
1 v2
Desigualdad triangular. Consideremos un triangulo lorentziano
OP Q en L4 (Figura 29). Se verifica el siguiente teorema: si OP , OQ
264
Figura 28
y P Q son temporales y apuntan al futuro entonces
kOQk kOP k + kP Qk,
(12.4)
(OP , OP ) = (L0 )2 .
265
Figura 29
Como P 0 = (T, L) en las coordenadas del observador e0 , se tiene
0
0
(OP , OP ) = T 2 + L2 . En consecuencia,
L0 = T 2 + L2
y, por tanto, L02 < L2 . Mas a
un, tengase en cuenta que e00 es ortogonal a e01 , por lo que las coordenadas de e00 determinadas por e0 son
proporcionales a (L, T ). La velocidad de e00 medida por e0 es entonces
v = T /L. As, de la expresion anterior para L0 se tiene:
L0 = 1 v 2 L.
12.2.
Relatividad General
12.2.1.
El modelo matem
atico
En Relatividad General, esto es, el modelo obtenido cuando se incorporan los efectos de la gravedad a la Relatividad Especial, se postula
que el espaciotiempo fsico (o una regi
on macrosc
opicamente grande
de el) admite una estructura de variedad de Lorentz conexa temporalmente orientada de dimension 4.
Esto se corresponde con el paso (a) de la Subseccion 12.1.3, con la
importante diferencia de que ahora no esta prefijado de antemano el
modelo matematico de variedad a la que es isometrico el espaciotiempo. Por eso, el paso (b) de esa subseccion debe llevarse a cabo desentra
nando a la vez a que variedad lorentziana temporalmente orientable
concreta es isometrico el espaciotiempo.
266
Figura 30
Para esto no existen reglas fijas, pero s se aceptan algunas prescripciones: (i) Cada observador se modela como una curva temporal
(unitaria) dirigida hacia el futuro; si el observador esta en cada libre
entonces describe una geodesica (el vector velocidad de la geodesica es
temporal, unitario y apunta en la direccion del cono futuro en cada
punto). (ii) Si (t) es un observador, en cada instante t0 podemos considerar el hiperplano ortogonal a 0 (t0 ) en T(t0 ) Q ( sera el espacio en reposo infinitesimal de 0 (t0 )) , y la hipersuperficie exp(t0 ) ()
constituye el espacio en reposo del observador en t0 (al menos para
distancias suficientemente peque
nas). (iii) Las partculas aceleradas
vienen representadas por curvas temporales que apuntan al futuro (su
normalizacion, en lugar de unitaria, se suele escoger igual a la masa
en reposo en cada instante). (iv) Los rayos de luz se describen como geodesicas luminosas que apuntan tambien al futuro (la luz no
esta acelerada1 ).
Es de se
nalar que el tensor de curvatura desempe
na ahora un papel
crucial, puesto que determina como se comportan las geodesicas. Como
veremos mas adelante (Subseccion 12.2.4), este tensor vendra determinado por la materia y la energa.
1
Sin embargo, no existe una interpretacion fsica clara para las geodesicas espaciales.
12.2.2.
267
Causalidad
pasado causal (p q)
si existe una curva diferenciable a trozos,
268
Figura 31
Para un espaciotiempo se suele admitir que se verifican diferentes
condiciones de causalidad. De todas, la mas basica y menos restrictiva
es la condici
on de cronologa, esto es, que no existan curvas temporales
cerradas (a traves de las cuales un observador podra viajar a su propio
pasado).
Por u
ltimo, se
nalemos la siguiente cuestion tecnica. Sea > 0 una
funcion diferenciable sobre Q. A la metrica de Lorentz g 0 = g se le
llama metrica conforme a g mediante . Claramente, dos metricas conformes presentan los mismos vectores luminosos y, por tanto, la misma
causalidad (la causalidad es un invariante conforme). Ademas, si dos
metricas lorentzianas g, g 0 tienen iguales vectores luminosos (y, por
tanto, igual causalidad) entonces un bonito razonamiento algebraico
muestra que son conformes (vease, por ejemplo, [BEE, Theorem 2.3];
el resultado es valido en cualquier dimension n, con la salvedad para
n = 2 de que el factor puede ser tambien siempre negativo). Esto
269
Figura 32
sugiere definir clases conformes de metricas mediante la relacion de
equivalencia: g g 0 si y solo si existe > 0 tal que g 0 = g. La estructura conforme de un espaciotiempo equivale a la causal (conjunto
de los conos luminosos futuros en cada punto), y existen m
ultiples propiedades fsicas y geometricas (trayectorias de rayos luminosos, tensor
de Weyl, etc.) que dependen solo de ella.
12.2.3.
En el casop
lorentziano, la longitud de una curva : [a, b] Q se deRb
fine como a |g( 0 (t), 0 (t))|dt. Aunque ahora no existe una distancia
asociada como en el caso riemanniano (Seccion ??), se puede definir un
concepto con ciertas analogas para curvas causales dirigidas al futuro.
En primer lugar, observese que no podemos usar como distancia entre
dos puntos relacionados causalmente p, q , p q el nfimo de las longitudes de las curvas causales que los conectan, puesto que este siempre
sera cero (bastara con coger curvas que fuesen luminosas en casi todo
270
12.2.4.
Ecuaci
on de Einstein
Como ya sabemos, cada espaciotiempo viene modelado por una variedad de Lorentz orientada temporalmente de dimension 4. As, una
vez fijada la variedad de Lorentz es posible establecer la causalidad,
la velocidad de las partculas, las trayectorias de los rayos de luz, etc.
Basta con que y caigan en un mismo entorno normal, as, en L
necesaria la restriccion de que sea proximo.
2
n+1
no es
271
Figura 33
Ahora bien, que es lo que determina la metrica g que modela al espaciotiempo (y su estructura topologica y diferenciable)? Parece fsicamente razonable que sea la energa, considerada en sentido amplio, es
decir, abarcando el momento, la masa, etc. La ecuacion de Einstein
relaciona conceptos geometricos asociados a g, como el tensor de Ricci y la curvatura escalar, con conceptos fsicos como la energa y el
momento.
La energa del espaciotiempo fsico permite construir un campo
de tensores T de tipo (2, 0) y simetrico, que llamaremos tensor impulso -energa, atendiendo a lo siguiente: para cada base ortonormal
(e0 , e1 , e2 , e3 ) en Tp Q el termino T (e0 , e0 ) medira la densidad de energa
en ese punto para cualquier observador con velocidad e0 en p; el termino T (e0 , ei ) medira la densidad de momento lineal en la direccion ei ,
y T (ei , ej ) la densidad de presion en la direccion ej sobre la superficie
la matriz 4 4:
en e
0 ortogonal a ei . Se tiene as
T (e0 , e0 ) T (e0 , ei )
T (e0 , ej ) T (ei , ej )
donde T (ei , ej ), i, j {1, 2, 3} es una matriz 3 3. En principio, este
tensor, que se construye a partir de la distribucion de energa del espaciotiempo, debiera determinar su geometra. La igualdad esperada
272
(12.5)
(12.6)
273
(12.8)
12.2.5.
Modelos cosmol
ogicos de Robertson-Walker
Sea (QC , gC ) la variedad riemanniana modelo de curvatura constante C y dimension 3, esto es, un plano (C = 0), esfera (C > 0) o
espacio hiperbolico (C < 0), Subseccion 11.6.2.
Sea I R un intervalo real y f : I R una funcion diferenciable
positiva. Se define el espaciotiempo de Robertson-Walker asociado como
la variedad producto I QC dotada de la metrica
g = dt2 + f 2 (t)gC ,
donde t (funcion tiempo universal) es la proyeccion de I QC sobre I.
Usando la identificacion natural T(t0 ,x0 ) (I QC ) Tt0 I Tx0 QC ,
cada vector v T(t0 ,x0 ) (I QC ) puede escribirse como v = (vt0 , vx0 )
con vt0 Tt0 I y vx0 Tx0 QC . Se tiene as:
g(v, w) = vt0 wt0 + f 2 (t0 )gC (vx0 , wx0 ).
274
(12.9)
(12.10)
275
Figura 34
Posibilidades para f (> 0) si f 00 0 y f no es constante.
Si f 0 (t0 ) > 0 para alg
un t0 I, necesariamente el extremo inicial a
debe ser finito.
12.2.6.
Espaciotiempo de Schwarzschild
276
El espaciotiempo de Schwarzschild modela el campo gravitatorio generado fuera de una estrella con simetra esferica que no rota. Concretamente, se trata de la variedad Q = R]2m, [S 2 dotada de la
metrica7
2m
1
2
2
2
2
2
g = 1
dt2 +
2m dr + r (d + sen d ).
r
1 r
La constante m > 0 admite la interpretacion de masa de la estrella.
En r = 2m (radio de Schwarzschild) la metrica es singular. Sin
embargo, no se trata de una singularidad fsica (sino de un horizonte
de sucesos). De hecho, si consideramos la region 0 < r < 2m dotada formalmente de la misma metrica, que vuelve a ser una variedad
de Lorentz (agujero negro de Schwarzschild), es posible pegar por
el borde esta con la region r > 2m de manera que desaparezca la
singularidad en r = 2m. De manera mas precisa, existe un espaciotiempo mayor (K, g) (espaciotiempo de Kruskal) tal que dos abiertos
suyos K + , K son isometricos, respectivamente, a las regiones r > 2m
y 0 < r < 2m, estando K + y K separados por una hipersuperficie en
la que g esta bien definida.
Sin embargo, el agujero negro de Schwarzschild (y, por tanto, el
espaciotiempo de Kruskal) presenta una singularidad, que s es fsica
(en el sentido del principio de esta subseccion), en r = 0. El estudio de
la evolucion estelar muestra que, para estrellas con una masa superior a
cierta cantidad crtica, el espaciotiempo de Kruskal, incluido el agujero
negro de Schwarzschild, puede tomarse como un modelo apropiado de
su campo gravitatorio (vease, p. ej., [HE]).
Bibliografa
[AM] Abraham R., Marsden J.E., Foundations of Mechanics, (2a
Edic.) Advanced Book Program, Perseus Books, Cambridge, Massachusets, 1978.
[AMR] Abraham R., Marsden J.E., Ratiu T., Manifolds, tensors, analysis and applications, Addison-Wesley Pub. Co., 1983.
[Ar] Armstrong M.A., Topologa Basica, Reverte, Barcelona, 1987.
[Bu] Burke W.L., Applied Differential Geometry, Cambridge Univ.
Press, 1985.
[BEE] Beem J. K., Ehrlich P. E., Easley K. L., Global
Lorentzian Geometry, Monographs Textbooks Pure Appl. Math.
202 (Dekker Inc., New York, 1996).
[dC1] do Carmo M., Riemannian Geometry, Birkhauser Boston,
1992.
[dC2] do Carmo M., Geometra Diferencial de curvas y superficies,
Alianza Universidad Textos, 1994.
[CM] Curtis W.D., Miller F.R., Differential Manifolds and Theoretical Physics, Academic Press, 1985.
on al estudio de las
[GM] Gamboa J. M., Ruiz J. M., Introducci
Variedades Diferenciables, Sanz y Torres, Madrid, 1988.
[HE] Hawking S. W., Ellis G. F. R., The Large Scale Structure
of Space-time, (Cambridge: Cambridge University Press) 1973.
277
278
BIBLIOGRAFIA