Professional Documents
Culture Documents
Director
Gabriel Ignacio Padilla Len, Ph.D.
Profesor Asociado Universidad Nacional de Colombia
Title in English
Introduction to Hilbert Manifolds
ndice general I
Introduccin II
1. Preliminares 1
1.1. Espacios de Hilbert, Propiedades Elementales. . . . . . . . . . . . . . . . . . . . . . 2
1.2. Familias y Bases Ortogonales. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Isomorfismos entre Espacios de Hilbert. . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4. Derivadas entre Espacios de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.5. Espacio Tangente y Fibrado Tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2. Variedades de Hilbert 11
2.1. Variedad Topolgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.2. Varidades Suaves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3. Funciones entre Variedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3. Fibrados 22
3.1. Fibrado Tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.2. Fibrados Vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Bibliografa 49
I
Introduccin
II
INTRODUCCIN III
captulo se estudian algunos casos particulares de las aplicaciones entre variedades en tr-
minos de su tangencial, stas nociones son las de inmersin, submersin y embebimientos.
A partir de stas se dar la definicin de una subvariedad as como algunos resultados y
ejemplos. En la parte final daremos una pequea introduccin a los campos vectoriales y
derivaciones sobre una variedad de Hilbert M.
CAPTULO 1
Preliminares
Los Espacios de Hilbert son una herramienta fundamental en muchas ramas de las
matemticas, y la geometra diferencial no es la excepcin.No slo es fundamental en la
geometra de dimensin finita, tambin es indispensable en la geometra de dimensin in-
finita. Las nociones de ortogonalidad, convergencia de sucesiones, coeficientes de Fourier,
ngulos entre vectores, familia ortonormal, base ortonormal y proyeccin ortogonal, son tan
slo algunas de las definiciones y conceptos que nacen de estos espacios tan particulares.
La primera parte de este captulo ser una breve introduccin de los espacios de Hilbert, se
darn algunas definiciones y algunos teoremas clsicos del anlisis funcional sobre nuestros
espacios en cuestin.
1
CAPTULO 1. PRELIMINARES 2
(u, u) 0,
Si (u, 0) = 0, entonces u = 0.
1
Teorema 1.1.4. Sea X con un producto semi-interno h , i y kvk = hv , vi 2 , entonces
Observacin 1.1.5. Sea w X tal que kwk > 0. Dado v X, entonces existe un nico
real tal que v w es ortogonal a w.
Suponiendo que v w es ortogonal a w tenemos que hv w, wi = 0, luego hv, wi
h w, wi = 0 y as hv, wi = h w, wi. Por lo tanto
hv,wi
= hw,wi .
v 1 v1 n vn
es ortogonal a v1 , v2 , . . . y vn .
Definicin 1.1.6. Un espacio de Hilbert real es un espacio vectorial real H junto con un
producto interno h , i tal que es un espacio vectorial normado completo con la norma kvk
= hv , vi inducida por el producto interno.
2. Sean v, w H entonces
2 2 2 2
kv + wk + kv wk = 2kvk + 2kwk
Definicin 1.2.1. Sea {vi }iI una familia de elementos de H tales que kvi k =
6 0 para todo
i. Para cada subfamilia finita {vi }k=1,...,n , podemos tomar el espacio generado por esta
k
CAPTULO 1. PRELIMINARES 4
1 vi + + n vin .
1
donde cada i es un nmero real. La unin de todos estos espacios es llamado el espacio
generado por la familia {vi }iI . Denotamos a este espacio como F . Decimos que esta fa-
milia {vi }iI es completa en H si F = H. Decimos que la familia {vi }iI es una familia
ortogonal si hvi , vj i = 0 cuando i 6= j y kvi k =
6 0 para todo i. Decimos que la familia es
ortonormal si es ortogonal y kvi k = 1 para todo i. Una familia ortonormal completa es
llamada una base de Hilbert o tambin una base ortonormal.
Teorema 1.2.4. Dado un espacio de Hilbert H entonces dos bases cualesquiera de H tienen
la misma cardinalidad.
Definicin 1.3.1. Sean H y K dos espacios de Hilbert, decimos que H y K son isomor-
fismos si existe una aplicacin lineal y sobreyectiva
: H K,
CAPTULO 1. PRELIMINARES 5
tal que
h(x), (y)i = hx, yi
para todo x y y en H.
Definicin 1.4.1. Una funcin de variable real a valor real, definida sobre sobre una
vecindad de 0 es llamada o(t) si
o(t)
lm = 0.
t0 t
Definicin 1.4.2. Dados dos espacios espacios vectoriales topolgicos E, F y una apli-
cacin de una vecindad de 0 E en F. Decimos que es tangente a 0 si, dada una
vecindad W de 0 F, existe una vecindad V de 0 E tal que
(tV ) o(t)W
para alguna funcin o(t). Si los espacios E, F son normados, entonces esto equivale a las
condiciones habituales
|(x)| 6 |x|(x)
con
lm (x) = 0.
|x|0
CAPTULO 1. PRELIMINARES 6
f : U F,
f : U L[E, F].
Sea : E F, una aplicacin lineal continua entre dos espacios de Banach, en-
tonces es diferenciable en todo E y para cada x E se tiene que (x) = .
( f ) (x) = f (x).
( f ) (x)v = (f (x)v)
.
CAPTULO 1. PRELIMINARES 7
(f ) (a) = f (a).
Definicin 1.4.8. Sean E, F dos espacios de Hilbert y U E abierto, decimos que una
aplicacin
f : U F,
p 1 p
es un difeomorfismo de clase C si f y f son de clase C . Adems decimos que f es
1
un difeomorfismo si f y f son de clase C (suaves).
Ahora veremos un teorema fundamental en el anlisis vectorial y que nos ser muy til
en el desarrollo de este trabajo. Este teorema es conocido como el teorema de la funcin
inversa.
f : U V,
p 1
es una aplicacin de clase C y adems es un homeomorfismo. Si f es un C -difeomorfismo,
p
entonces f es un C -difeomorfismo.
f h : U1 U2 U2 E2 F,
es la proyeccin 2 .
2 : Ta U E,
T f : T U T V,
dada por T f (a, v) = (f (a), f (a)(v)).
.
CAPTULO 2
Variedades de Hilbert
Las proposiciones matemticas, en cuanto tienen que ver con la realidad, no son ciertas; y en
cuanto que son ciertas, no tienen nada que ver con la realidad.
Albert Einstein.
En este captulo daremos la definicin de una variedad suave modelada sobre un espacio
de Hilbert separable real de dimensin infinita, teniendo en cuenta que la definicin sigue
siendo vlida en dimensin finita como se conoce en geometra diferencial clsica. Adems
los teoremas, proposiciones y otras definiciones dadas en este captulo son igualmente vl-
idas en dimensin finita. En principio para llegar nuestra definicin principal, se darn las
definiciones de espacio topolgico localmente Hilbert, variedad topolgica, cartas, atlas,
compatibilidad de cartas y de atlas y otras definiciones fundamentales. Se darn algunos
ejemplos sencillos pero que sern trabajados minuciosamente.
Definicin 2.1.1. Sea M un espacio topolgico. Decimos que M una localmente Hilbert,
si para cada punto p de M existe un abierto U en la topologa de M tal que p U y U es
homeomorfo a algn abierto de un espacio de Hilbert separable real H. Dado este abierto
U que contiene a p y el homeomorfismo entre U y un abierto de H decimos que la pareja
(U, ) es una carta de p en M de p.
11
CAPTULO 2. VARIEDADES DE HILBERT 12
Definicin 2.1.2. Sea M un espacio topolgico dos contable y Hausdorff, decimos que M
es una variedad topolgica si M es localmente Hilbert.
p
Definicin 2.1.3. Sea M un espacio topolgico dos contable y Hausdorff. Un C - atlas
sobre M con (p > 0), es una familia de parejas A = {(Ui , i )}iI , que satisface las siguientes
condiciones
p
Definicin 2.1.5. Dado A = {(Ui , i )}iI un C -atlas sobre M , decimos que cada pareja
(Ui , i ) es una carta del atlas A. Sea p M tal que p Ui , entonces decimos que (Ui , i )
es una carta para p del atlas A.
Definicin 2.1.6. Dados un atlas A sobre M y una carta (U, ) en M , decimos que (U, )
es compatible con el atlas A si (U, ) es compatible con cada carta del atlas A
p
Proposicin 2.1.7. Dados A = {(Ui , i )}iI un C -atlas sobre M y (W, ),(V, ) dos
cartas compatibles con A, entonces (U, ) y (V, ) son compatibles entre s.
1
DEMOSTRACIN: Sea a en V W , queremos ver que ( ) es un difeomor-
p p
fismo de clase C en (a). Ahora, como A es un C -atlas sobre M entonces existe I
tal que a U , por lo tanto a U V W .
1 1 1 p
As, ( ) = ( ) ( ) es de clase C sobre (U V W ), por lo tanto
1
sobre (a). Como a es cualquier punto en V W entonces hemos probado que ( ) es
p 1
de clase C en (V W ). De la misma manera podemos probar que ( ) es de clase
p
C en (V W ).
p
Proposicin 2.1.8. Sea A = {(Ui , i )}iI un C -atlas sobre M . Si p > 1 y si Ui y Uj
son tales que Ui Uj es no vaco, entonces Hi y Hj son linealmente isomorfos (como
espacios vectoriales).
CAPTULO 2. VARIEDADES DE HILBERT 13
(U V ):= W1 Hi := H1 y (U V ):= W2 Hj := H2 .
1 1
Veamos que T ( ) y T ( ) son aplicaciones inversas la una de la otra.
Esto es claro, pues por la proposicin 1.5.6 tenemos que
1 1 1 1
T ( ) T ( ) = T [( ) ( )]
y
1 1 1 1
T ( ) T ( ) = T [( ) ( )].
f : [0, 1] C,
tal que f (0) = x yf (1) = y, definamos as W := f [0, 1] y tomemos una familia {Ua }aW ,
CAPTULO 2. VARIEDADES DE HILBERT 14
donde cada Ua es una carta de a del atlas A, entonces esta familia es un cubrimiento abierto
de W , por la compacidad de W podemos reducir este cubrimiento a un cubrimiento finito,
supongamos que tal cubrimiento finito est dado por {Ui }1ik y sin prdida de generalidad
supongamos que x U1 y y Uk . Por la conexidad de W se tiene que Ui Ui+1 6= para
i = 1, ..., k 1, y por la proposicin 2.1.8 tenemos que H1 es linealmente isomorfo a H2 , H2
es linealmente isomorfo a H3 y as sucesivamente Hk1 es linealmente isomorfo a Hk , por
lo tanto H1 y Hk son linealmente isomorfos (como espacios vectoriales). Entonces podemos
tomar H = H1 y as encontramos el espacio de Hilbert deseado.
p
Proposicin 2.1.10. Sean A = {(Ui , i )}iI un C -atlas sobre M con p > 1 y H un
espacio de Hilbert separable. Definamos AH :={x M : existe una carta (U, ) de x con
(U ) H y H linealmente isomorfo a H}, entonces AH es abierto y cerrado en M .
DEMOSTRACIN:
Ahora veamos que AH es cerrado. Sea q AH , luego para todo abierto U en M que
contiene a q se tiene que U AH es no vaco, en particular si U = Ui , donde (Ui , i )
es una carta de q. Sea y en M tal que y Ui AH , luego existe (Uj , j ) carta de y
tal que Hj es linealmente isomorfo a H, pero tambin tenemos que Hj es linealmente
isomorfo a Hi , por lo tanto q est en AH entonces AH es cerrado.
Observacin 2.1.11. Como una consecuencia de la proposicin 2.1.10 tenemos que cada
componente conexa de M es abierta y cerrada en la topologa de M .
Sea un espacio de Hilbert separable H, tenemos que H con el atlas {(H, id)} es una
C -H variedad topolgica.
CAPTULO 2. VARIEDADES DE HILBERT 15
p p
Definicin 2.1.14. Dados A={(Ui , i )}iI y B={(Vj , j )}jJ dos C -atlas sobre una C -
H variedad topolgica M , decimos que son compatibles si y slo si la unin de A y B es
p
un C -atlas sobre M .
p p
Definicin 2.2.1. Definimos una C -H variedad o tambin variedad suave a una C -H
p
variedad topolgica M con un C -atlas maximal A.
p p
Teorema 2.2.3. Cada C -atlas A sobre una C -H variedad M est contenido en un nico
p
C -atlas maximal.
Observacin 2.2.4. Dado el teorema 2.2.3, podemos saber cuando un espacio topolgico
p p
M es una C -H variedad, y es cuando podemos encontrar un C -atlas sobre M .
dada por
v
+ [(x, v)] = ,
1x
y
H
: S \{p } H, (2.4)
dada por
v
[(x, v)] = .
1+x
H
En este caso, H es el subespacio {x = 0} de S de codimesin 1.
Ahora
2 2
2 kvk 1x 1+x
k+ [(x, v)]k = 2 = 2 = 6= 0,
(1 x) (1 x) 1x
y
2 2
2 kvk 1x 1x
k [(x, v)]k = 2 = 2 = 6= 0.
(1 + x) (1 + x) 1+x
As tenemos que
1 H
+ : H\{0} S \{p+ }, (2.5)
y
1 H
: H\{0} S \{p }, (2.6)
Ahora
1
( + ) : H\{0} H\{0}, (2.7)
est dada por
2
!
1 kvk 1 2v
( + )(v) = , .
kvk + 1 kvk2 + 1
2
Por lo tanto
2v 2v
1
2
kvk +1
2
kvk +1 v
( + )(v) = = = . (2.8)
kvk2 1 2kvk2 kvk2
1+
kvk2 +1 kvk2 +1
1 1
Entonces las aplicaciones (+ ) y ( + ) son de clase C .
H H
As tenemos que {(S \{p }, )} es un C -atlas sobre S . Entonces por el teorema
H
2.2.3 se tiene que S es una C -H variedad.
2. Dado un espacio de Hilbert separable H, entonces {(H, id)} es un C -atlas sobre H,
por lo tanto H es una C -H variedad.
p p
4. Sean M una C -H1 variedad y N una C -H2 variedad. Entonces M N es una
p p
C -H1 H2 variedad. En efecto, supongamos que A={(U , )}I es un C -atlas
p
de M y A={(V , )}J es un C -atlas de N . Entonces si definimos D= {(U
p
V , )}(,)IJ , tenemos que D es un C -atlas de M N . As por el teorema
2.2.3 tenemos lo deseado.
p
son de clase C para toda pareja (, ) I J.
Proposicin 2.3.3. Las definiciones anteriores son independientes de los atlas seleciona-
dos.
p
Adems si las aplicaciones continuas F : M N y G : N X son de clase C ,
p
entonces G F es una aplicacin de clase C .
DEMOSTRACIN:
p
es de clase C para cada pareja (, ) I J .
Para la demostracin de la composicin G F de F y G, es suficiente demostar que
es verdad para las representaciones locales, as la aplicacin
1 1 1
(X G F M ) = [X G N ] [N F M , ] (2.12)
p
es de clase C .
Proposicin 2.3.4. Sean M una H-variedad y F : M H una aplicacin suave (C ).
Si U es un abierto de M tal que la aplicacin
F |U : U F (U ),
2. (f )(p) = f (p),
3. (f g)(p) = f (p)g(p).
f, g FM , R.
definida como
F (f ) = f F. (2.14)
Es un morfismo de lgebras.
Proposicin 2.3.8. Sean M un H-variedad y (U, ) una carta tal que (U ) = V es una
vecindad de 0 H y R > 0 tal que BR (0) V . Si f : BR (0) R, es una funcin de clase
C y r, t son tales que 0 < r < t < R, entonces existe una funcin suave g : M R,
tal que
1
1. (g )(v) = f (v), para todo v Br (0),
DEMOSTRACIN: Sea : R [0, 1], una funcin suave que cumple lo siguiente
CAPTULO 2. VARIEDADES DE HILBERT 20
1. 1
(x+r)(x+t)
(x) = exp , si t < x < r ;
0 , en otro caso.
2. R x
(y)dy
(x) = Rt
r ;
t
(y)dy
3. (
(x) , si x > 0
(x) = .
(x) , si x 0
CAPTULO 2. VARIEDADES DE HILBERT 21
.
CAPTULO 3
Fibrados
Nuestras teoras sobre la naturaleza pueden parecer abstractas y temibles a quienes no las han
estudiado, pero no hay que olvidar que son otros locos quienes las han hecho.
Richard Feynman.
En las secciones precedentes hemos visto algunas propiedades geomtricas de las var-
iedades de Hilbert, as como la definicin de los espacios tangentes locales a travs del
operador diferencial dado por la derivada tipo Frchet inducida por la norma local. A
continuacin, en la primera seccin de este captulo, procederemos a construir el fibrado
tangente T M de una variedad de Hilbert M siguiendo el procedimiento clsico de Steenrod
[N.S99].
Se empezar por dar una construccin local de los vectores tangentes a M en p M , que
dan origen a Tp (M ) como veremos en nuestra primera definicin. Si M es una H-variedad
tendremos que Tp (M ) es un espacio vectorial isomorfo a H. Despues de ver la contruccin
del fibrado tangente asociado a M definiremos la aplicacin M de manera anloga a como
se defini en 1.5.3. En 3.1.4 probaremos T M tiene estructura de variedad de Hilbert y
que M es suave.
22
CAPTULO 3. FIBRADOS 23
Definido como:
1 1
T(p) ( )[((p), X(p) )] = ((p), D( )((p))[X(p) ]).
Decimos que ((p), X(p) ) y ((p), X(p) ) estn relacionados o representan el mismo
vector tangente a M en p, si se tiene lo siguiente
1
D( )((p))[X(p) ] = X(p) . (3.3)
Tenemos que
1 1 1
D( )((p))[X(p) ] = D[( ) ( )]((p))[X (p)], (3.6)
CAPTULO 3. FIBRADOS 24
Luego queda demostrado es que esta relacin entre vectores es una relacin de equiv-
alencia.
Entonces un vector tangente a M en p es definido por la familia de estos represen-
tantes, dados por las cartas de p.
Tp : Tp M T(p) V, (3.11)
definida por:
definimos la aplicacin
D(p) := 2 Tp , (3.13)
como la diferencial de en p.
CAPTULO 3. FIBRADOS 25
es un isomorfismo lineal.
Donde
1 1
Tp Tp = T(p) ( ),
y
1 1
T(p) ( )[((p), X(p) )] = ((p), D( )((p))[X(p) ]). (3.15)
M : T M M,
La aplicacin
T : T U T V = V H, (3.17)
definida como
DEMOSTRACIN:
. Lo primero que queremos ver es que cada T es una biyeccin y que las aplicaciones
1
(T T ) : T V T V T V T V , (3.18)
Tenemos que
1 1
se tienen porque (T T ) = T ( ) y por la suavidadd de las aplicacines
1
( ), para todo par (, ) I I
definida por
1
( (T ) )(( , X )) = ( )(X).
CAPTULO 3. FIBRADOS 27
F : M N, (3.23)
T F : T M T N, (3.24)
Tp F : Tp M TF (p) N ; (3.25)
T F-
TM TN
M N
? ?
M - N
F
F1 : M1 M2 , F2 : M2 M3 (3.28)
DEMOSTRACIN:
Para ver esto necesitamos encontrar un par de atlas de T M y T N , de tal manera que
se cumpla lo indicado en la definicin 2.3.1. Dado F es una aplicacin suave, existen
un par de atlas A={(U , )}I y B={(V , )}J de M y N respectivamente tales
que las aplicaciones
( F 1 ) : (U F1 (V )) (V ),
Ahora, por la proposicin 3.1.4 tenemos que los atlas A y B determinan un par
de atlas {(T U , T )}I y {(T V , T )}J sobre T M y T N respectivamente, para
demostrar lo que queremos, basta con ver que las aplicaciones
1
(T T F T )
son suaves para cada pareja (, ) I J, pero esto es cierto, pues tenemos la
CAPTULO 3. FIBRADOS 29
siguiente igual
1
(T T F T ) = T ( F 1 ).
1
donde est bien definida esta composicin, con ( F2 ) una representacin local
1
de F2 y ( F1 ) una representacin local de F1 . Adems por el proposicin
1.5.6 tenemos que
1 1 1
T ( F2 F1 ) = T ( F2 ) T ( F1 ). (3.33)
DF (p) : Tp M H , (3.34)
con la proyeccin
2 : {F (p)} H H . (3.36)
En otras palabras,
f, g FM , , R y p M
DEMOSTRACIN:
es suave.
Definamos h= f + g y as
Tp h : Tp M Th(p) , (3.39)
definida como:
1 1
T(p) (h )[(p), X(p) ] = [h(p), D(h )((p))(X(p) )].
CAPTULO 3. FIBRADOS 31
Ahora
1 1 1 1
D(h )((p)) = D((f +g) )((p)) = D(f +g )((p)), (3.40)
as
1 1 1
D(h )((p)) = (D(f ) + D(g ))((p)) (3.41)
1 1
= (D(f )((p))) + (D(g )((p))). (3.42)
Luego
1 1 1
D(h )((p))[X] = (D(f )((p))[X]) + (D(g )((p))[X]), (3.43)
por lo tanto
1 1 1
T(p) (h )[(p), X] = [h(p), (D(f )((p))[X]) + (D(g )((p))[X])].
Sabemos que
a) Dh(p)[X] = (2 Tp h)[X],
b) Df (p)[X] = (2 Tp f )[X],
c) Dg(p)[X] = (2 Tp g)[X].
Entonces
as tenemos que
f, g FM y , R
es suave.
Definamos h = f g y as tenemos que
Tp h : Tp M Th(p) , (3.47)
definida como
1 1
T(p) (h )[(p), X(p) ] = [h(p), D(h )((p))(X(p) )].
Ahora,
1 1 1 1
D(h )((p)) = D((f g) )((p)) = D((f )(g ))((p)). (3.49)
Sabemos que
1 1 1
D(h )((p)) = D(f )((p))g(p) + f (p)D(g )((p)). (3.50)
Por lo tanto
1 1 1
D(h )((p))[X] = D(f )((p))[X]g(p) + f (p)D(g )((p))[X]. (3.51)
Sabemos lo siguiente
a) Dh(p)[X] = (2 Tp h)[X],
b) Df (p)[X] = (2 Tp f )[X],
c) Dg(p)[X] = (2 Tp g)[X].
Entonces
as
D(f g)(p) = Df (p)g(p) + f (p)Dg(p). (3.53)
f, g FM .
CAPTULO 3. FIBRADOS 33
: P M, (3.54)
1
tal que para cada p M se tiene que ({p}) es un espacio de Banach isomorfo a
1
E. Denotamos a ({p}) como Ep y llamamos a Ep la fibra de sobre p.
Adicionalmente. Si A es un atlas sobre M tal que cada carta (U, ) de A define una
carta fibrada (P , U, ), que consiste del siguiente diagrama conmutativo.
P
P U (U )
1
- U E
|P U 1
? ?
U - (U )
F
Definido como
1
Para (U ), P () = ((p), ),
|P U () = p,
para p U , (p),
1 ((p), )=(p).
a) La aplicacin P es sobreyectiva y
1
es un difeomorfismo, denotado por P 1 P 2 .
2. Dados dos atlas fibrados {(P , U , )}I y {(P , V , )}J de (P, , M, E),
asociados a dos atlas equivalentes A={(U , )}I y B={(V , )}J sobre M
respectivamente, son equivalentes si la unin de ellos es una atlas fibrado sobre
(P, , M, E) asociado a las unin de A y B.
Una clase de equivalencia de vectores fibrados sobre M es llamado un fibrado vec-
torial sobre M con fibra sobre E.
P (p) = (2 Pp ) : Ep E, (3.57)
donde
Pp : Ep {(p)} E, (3.58)
es un isomorfismo lineal.
1
donde la aplicacin (P P ) se puede escribir de la siguiente manera
1 1 1
(P P )((q, )) = (( )(q), P ( )(q)[ ]). (3.60)
CAPTULO 3. FIBRADOS 35
1
Dado que la aplicacin de transicin (P P ) es suave, tenemos que la aplicacin
: (U V ) GL(E), (3.61)
definida como:
1
(a) = P ( )(a),
Tambin es suave.
En efecto:
X Tp M, M (X) = p. (3.62)
1
Entonces para cada p M tenemos M ({p}) = Tp M y sabemos que Tp M es isomorfo
a H para todo p en M .
M 1
? ?
U - (U )
Tp : Tp M {(p)} H, (3.64)
CAPTULO 3. FIBRADOS 36
Teorema 3.2.4. Sean M una H-variedad y (P, , M, E) un vector fibrado sobre M . En-
tonces el atlas fibrado {(P , U , )}I asociado al atlas {(U , )}I de M determina
un atlas {(P U , P )}I sobre P , haciendo de P una H E-variedad.
1
1. Definimos P U = (U ). Sabemos que la aplicacin es sobreyectiva, entonces
1 1
[ [ 1 [
P = (M ) = ( U ) = (U ) = P U .
I I I
Luego {P U }I es un cubrimiento de P .
P : P U (U ) E, (3.67)
Pp : Ep { (p)} E, (3.68)
es suave.
Esto se tiene por la definicin 3.2.1(b).
.
CAPTULO 4
El universo es una esfera infinita cuyo centro est en todas partes, y la circunferencia en ninguna.
Blaise Pascal.
En la pimera parte de este captulo hablaremos de dos definiciones en la geometra y
son las nociones de inmersin y submersin, definiciones que vienen dadas a partir de apli-
cacines entre variedades de Hilbert. Las inmersiones se caracterizan por la inyectividad
tangencial local en un punto; las submersiones, respectivamente, por la sobreyectividad.
Un caso particular de inmersiones son los embebimientos, que proporcionan una idea in-
tuitiva de la nocin de subvariedades, cuya caracterizacin mostraremos en 4.1.7 y 4.1.13.
En la segunda parte del captulo hablaremos de campos vectoriales, que se pueden ver
como secciones de fibrados. Un ejemplo de campos vectoriales ser 4.2.5, que trataremos
en detalle, pues lo utilizaremos en el ejemplo 4.2.7. Se dar la definicin de derivaciones
sobre una variedad de Hilbert M y las conexiones que existen entre ellas y los campos
vectoriales sobre M , y justamente esas relaciones sern vistas en 4.2.8.
Tp F : Tp (M ) TF (p) (N ), (4.1)
39
CAPTULO 4. INMERSIONES, SUBMERSIONES Y CAMPOS VECTORIALES. 40
que es una biyeccin local, donde (U, ) y (V, ) son cartas de p y F (p) respectivamente,
y est definida como
1 1
T(p) ( F )[((p), X(p) )] = ((F (p)), D( F )((p))[X(p) ]). (4.3)
1
Entonces D(F )((p)) es un isomorfismo lineal, luego por el teorema 1.4.9 tenemos
1
que ( F ) es un difeomorfismo local en (p).
Admitimos los siguientes resultados como una consecuencia de los corolarios 1.4.11 y
1.4.12 respectivamente.
Definicin 4.1.6. Veamos las siguientes definiciones como casos particulares de inmer-
siones.
F : M F (M ), (4.8)
es un homeomorfismo. Donde F (M ) N tiene la topologa inducida por N .
i : N N, (4.9)
: U U1 U2 , (4.10)
DEMOSTRACIN:
1
es una inyeccin lineal y i (a) = (a, 0).
(=) Sea p N y supongamos que existe una carta (U, ) de p tal que
: U U1 U2 ,
CAPTULO 4. INMERSIONES, SUBMERSIONES Y CAMPOS VECTORIALES. 42
Tp F : Tp (M ) Tq (N ), (4.14)
es sobreyectiva para todo p M con F (p) = q, dado el caso decimos que q es un valor
regular de F .
: U U1 V2 , (4.18)
1 1
con (p) = (0, 0), y (U F (N ) = ( F )(V1 {0}) = U1 {0}. Donde (V, )
es una carta de q = F (p), con las cualidades dadas en el teorema anterior, aplicando el
teorema 4.1.7 tenemos que M es una subvariedad de M .
Ahora, por el teorema anterior tenemos que E1 F2 es una divisin de H1 y F1 F2 es
una divisin de H2 , entonces codim(M ) = codim(N ).
F : M R, (4.19)
definida como
Entonces F es suave y adems F (x)(y) = 2hx, yi, por lo tanto tenemos la aplicacin
3. Sea M una variedad de Hilbert. Sabemos que T M tambin es una variedad de Hilbert
1
y la aplicacin M : T M M es suave. Dado cualquier p M se tiene que M (p)
= Tp M y adems p es un valor regular de M , por lo tanto para cada p M tenemos
que Tp M es una subvariedad de T M .
Definicin 4.2.1.
Y : M T M, (4.21)
CAPTULO 4. INMERSIONES, SUBMERSIONES Y CAMPOS VECTORIALES. 45
M
Y @ id
@R
@
TM - M
M
1
Es decir, para cada p en M se tiene que Y (p) M ({p}) = Tp (M ).
Y, X CM , f CM , , R y p M
YV : V H, (4.22)
dado por
YV ((p)) = D(p)(Y (p)) = (2 Tp )(Y (p)),
para p U y (U ) = V .
CAPTULO 4. INMERSIONES, SUBMERSIONES Y CAMPOS VECTORIALES. 46
YU : U T U, (4.23)
dado por
1
YU (p) = D [YV ((p))].
DEMOSTRACIN:
YU : U H, (4.26)
1
dada por (T YU )((p)) = [(p), YV ((p))].
Ejemplo 4.2.5. Sean M una H-variedad, (U, ) una carta en M y {ei } una base ortonor-
mal para H. Para cada i, definimos la aplicacin
ei : V T V = V H, (4.28)
dada por
ei (v) = (v, ei ),
CAPTULO 4. INMERSIONES, SUBMERSIONES Y CAMPOS VECTORIALES. 47
Tp : Tp (M ) T(p) (V ), (4.29)
1
es un isomorfismo. Tomando T p , tenemos que para cada i podemos definir el siguiente
campo vectorial sobre U
ei : U T U, (4.30)
dado por
1
ei (p) = (T p ei )(p).
Que denotaremos simplemente como ei (p) para p U y ser llamado el i-simo campo
vectorial bsico.
Dado p en U , tenemos que {ei (p)} es una base de Tp (U )
= Tp (M ).
Definicin 4.2.6. Dada M una variedad de Hilbert, una aplicacin
: FM FM, (4.31)
es llamada una derivacin sobre M , si cumple las siguientes condiciones
1. (f + g) = (f ) + (g),
2. (f g) = (f )g + f (g).
f, g FM y , R.
Ejemplo 4.2.7. Sean M una H-variedad, p M y (U, ) una carta de p. Entonces para
cada campo vectorial bsico ei (p) podemos definir una derivacin sobre FU dada de la
siguiente manera
1
f
e f (p) = Df (p)[ei (p)] = [(p)], (4.32)
i i
i
con definida como en 2.2.2.
Claramente e (f + g) = e f + e g.
i i i
Adems tenemos
e (f g) = (e f )g + f (e g).
i i i
1 1
D(f g )((p))(ei (p)) = 2 ((p), D(f g )((p))[ei ]), (4.33)
CAPTULO 4. INMERSIONES, SUBMERSIONES Y CAMPOS VECTORIALES. 48
as
1 1 1
D(f g )((p))(ei (p)) = D((f ) (g ))((p))[ei ] (4.34)
1 1
= D(f )((p))[ei ] g(p) + f (p) D(g )((p))[ei ],
1 1
= D(f )((p))(ei (p)) g(p) + f (p) D(g )(ei (p)).
Entonces
e (f g) = (e f )g + f (e g).
i i i
j
En particular tenemos que e ( ) = ij .
i
Y : FM FM, (4.35)
definida como
Y f (p) = Df (Y (p)). (4.36)
DEMOSTRACIN:
1. Supongamos que X = Y y definamos Z = X Y , entonces existe un punto p en
p
M tal que Z(p) 6= 0 , donde 0 es el vector nulo de T (M ). Sea (U, ) una carta
de p tal que (p) = 0 H, entonces la parte principal de Z(p) es no nula y la
denotaremos por X0 . Por teorema de Hanh-Banach existe f L[H, R] tal que X0 (f )
= D(f )(X0 ) 6= 0, por 2.3.8 existe g FM tal que g = f en una vecindad de p,
entonces Z (g)(p) 6= 0.
Bibliografa
[Lan93] S. Lang. Real and Functional Analysis. Springer- Verlag, New York-Heidelberg-
Berlin, 3rd edition, 1993.
49