You are on page 1of 57

Introduccin a las Varidades de Hilbert

Pablo Asdrbal Daz Seplveda


Matemtico

Universidad Nacional de Colombia


Facultad de Ciencias
Departamento de Matemticas
Bogot, D.C.
Junio de 2011
Introduccin a las Varidades de Hilbert

Pablo Asdrbal Daz Seplveda


Matemtico

Director
Gabriel Ignacio Padilla Len, Ph.D.
Profesor Asociado Universidad Nacional de Colombia

Universidad Nacional de Colombia


Facultad de Ciencias
Departamento de Matemticas
Bogot, D.C.
Junio de 2011
Ttulo en espaol
Introduccin a las Variedades de Hilbert

Title in English
Introduction to Hilbert Manifolds

Resumen: En este trabajo se realiza una introduccin a las variedades de Hilbert. Se


comienza con algunos preliminares relacionados con espacios de Hilbert, derivadas en es-
pacios de Banach y fibrados tangentes sobre espacios de Banach. En seguida se dan unas
breves nociones de variedad topolgica, cartas, atlas y algunos resultados que conducirn
a la definicin de una variedad de Hilbert, adems se realiza un estudio de las aplicaciones
entre variedades. A continuaci n se estudia el espacio tangente y fibrados vectoriales asoci-
ados a una variedad de Hilbert y la definicin de tangencial de una aplicacin entre este tipo
de variedades. Se presentan adems las nociones de inmsersin, submersin, embebimiento
y subvariedad, que son casos particulares de aplicaciones entre variedades asociadas a su
tangencial. Por ltimo se exponen las definiciones de campos vectoriales y derivaciones
sobre una variedad, y adems se exhibe una relacin entre ellas.

Abstract: In this work we make an introduction to Hilbert manifolds. We start giving a


brief review in Hilbert spaces, derivatives in Banach spaces and tangent bundles in Banach
spaces. Next, we give a summary on main results concerning topological manifolds, charts,
and atlas in order to give a definition of Hilbert manifold. Later we study the tangent space
and vector bundle associated with a Hilbert manifold, and also the definition of tangential
of an application between Hilbert manifolds. We present some notions o immersion, sub-
mersion, embedding and submanifold, which are particular cases of applications between
manifolds associated with their tangentials. Finally we expose the definitions of vector
fields and derivatives on a manifold, and also the relation between them.

Palabras clave: Variedad de Hilbert - Espacio Tangente - Fibrado Vectorial - Campo


Vectorial.

Keywords: Hilbert Manifold - Tangent Space - Vector Bundle - Vector Field.


Dedicado a

A la memoria de mi hermano Edwin


Agradecimientos

En primer lugar quiero agradecer a la Universidad Nacional de Colombia, sede Bogot,


en especial al Departamento de Matemticas, por darme la oportunidad de realizar mis es-
tudios de Maestra. Gracias por la ayuda econmica al darme la beca de Auxiliar Docente,
como estudiante de Maestra durante dos aos, fue de gran ayuda para poder seguir mis
estudios de postgrado.

Mis ms sinceros agradecimientos a los profesores Dr. Leonardo Rendn Arbelez


y Dr. Gabriel Padilla Len. Gracias a ellos mi espritu nunca decay y an en los
momentos ms complicados, siempre tuve una voz de nimo por parte de ellos. Al profesor
Dr. Leonardo Rendn Arbelez, le doy mil gracias por todos los conocimientos que
me aport, por las tantas preguntas contestadas de forma respetuosa y atenta, por el apoyo
para seguir mis estudios de Doctorado en Matemticas en el extranjero, mil y mil gracias.
Al profesor Dr. Gabriel Padilla Len, por aceptar ser mi Director de Tesis apesar de
tantas ocupaciones, por las tardes de estudio acompaadas de un buen caf, por el apoyo
para seguir mi Doctorado, por ser un amigo y un buen consejero.

Un especial agradecimiento a mi familia: Mi Madre Margarita Seplveda, mi Padre


Asdrbal Daz y mis hermanos Edwin Daz (Q.E.P.D) y Diego Fernando Daz, quienes
siempre han sido el ncleo de apoyo durante todos los aos de estudio de mi carrera en
Matemticas, desde pregrado hasta posgrado. A mis amigos: Alejandro Guarnizo, Wilmar
Gmez, Oswaldo Chaparro, quienes han sufrido a mi lado por lo momentos duros tanto
acadmicos como personales, gracias por su gran apoyo.

Se quedan muchas personas sin nombrar, personas fundamentales en mi carrera como


matemtico, en mi vida, personas que me ayudaron en ste largo proceso, a todas ellas mi
ms sincero agradecimiento.
ndice general

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

4. Inmersiones, Submersiones y Campos Vectoriales. 39


4.1. Inmersiones, Submersiones y Subvariedades . . . . . . . . . . . . . . . . . . . . . . . 39
4.2. Campos Vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44

Bibliografa 49

I
Introduccin

El trabajo INTRODUCCIN A LAS VARIEDADES DE HILBERT nace de una serie


de preguntas que se presentaron en los cursos de Geometra Diferencial y Variedades Difer-
enciables realizados durante mi maestra. El saber cunto podemos hacer sobre variedades
modeladas en espacios de dimensin infinita, preguntarnos si todas las definiciones y re-
sultados que se tienen en dimensin finita son vlidos en este tipo de variedades y de qu
manera podran interactuar el anlisis funcional y vectorial con la geometra diferencial, son
tan slo algunas de stas inquietudes. El objetivo principal de nuestro trabajo es proveer
los conocimientos bsicos de variedades modeladas sobre espacios de Hilbert separables de
dimensin infinita. Vale la pena resaltar que algunas definiciones y resultados aqu dados,
son una extensin de lo ya visto en modelos finitos, aunque debe decirse que las pruebas de
los resultados y las definiciones no estn ligadas a algn texto de geometra de variedades
finitas.
El trabajo realizado es una exposicin particular de la teora de variedades de Banach
de dimensin arbitraria, la cul es estudiada en textos como [4] y [6], con un lenguaje algo
categrico. La teora en variedades de Hilbert presenta unas caractersticas que no poseen
las de Banach por las particularidades que presentan los espacios de Hilbert separables.
A diferencia de los libros citados, desarrollaremos la teora de una forma ms geomtrica
y analtica, basados en conocimientos previos de geometra diferencial y anlisis. Para un
mejor entendimiento de la teora desarrollada en cada captulo es conveniente tener un
conocimiento previo de anlisis y geometra, el lenguaje utilizado es acorde a estas reas.
Los preliminares sern una breve introduccin a los espacios de Hilbert, derivadas entre
espacios de Banach de dimensin arbitraria y fibrados tangentes en espacios de Banach. Se
mostrarn algunos resultados que en su mayora sern un punto de apoyo para probar algu-
nas proposiciones de captulos posteriores. El captulo ser un resumen y no una exposicin
exhaustiva. En el captulo 2 daremos algunas definiciones preliminares para poder llegar
a la nocin de una variedad de Hilbert, hablaremos de algunas caractersticas y daremos
algunos ejemplos de estas vaierdades. En la segunda parte estudiaremos las aplicaciones
entre variedades de Hilbert, adems un caso especial que se presenta cuando la variedad de
llegada de una aplicacin es R. El captulo 3 ser una seccin dedicada a los fibrados sobre
una veriedad. Empezaremos por el espacio tangente a una variedad M y que denotaremos
por TM, cuya definicin se realizar bajo unas construcciones locales, adems la definicin
de TM dar paso a la nocin de la tangencial de una aplicacin entre variedades. Por l-
timo se har un estudio de los fibrados vectoriales asociados a una variedad, y un ejemplo
ser mostrar que TM es un caso particular de un fibrado vectorial sobre M. En el ltimo

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

La matemtica es la ciencia del orden y la medida, de bellas cadenas de razonamientos, todos


sencillos y fciles.
Ren Decartes.

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.

Por otra parte, la definicin de Derivada es fundamental en la geomtria diferencial,


sin importar la dimensin en que se est trabajando, daremos una definicin de la derivada
entre espacios de Banach de dimensin arbitraria, tambin hablaremos del espacio tan-
gente y del fibrado tangente asociados a un espacio de Banach. Daremos algunos teoremas
fundamentales para el desarrollo de este trabajo, como por ejemplo el teorema de la fun-
cin inversa 1.4.9, los corolarios 1.4.11 y 1.4.12, adems de otros teoremas del anlisis
vectorial y propiedades de la derivada entre espacios de Banach.

Hablar de isomorfismos entre espacios de Hilbert es realmente importante, pues no es


slo definir una aplicacin lineal entre estos espacios, es definir una aplicacin lineal que
conserve las estructuras, en espacios topolgicos tenemos el concepto de homeomorfismo
y en lgebra en concepto de isomorfismo que conservan las estruturas, de igual manera se
hace en los espacios de Hilbert con estos isomorfismos.

1
CAPTULO 1. PRELIMINARES 2

1.1. Espacios de Hilbert, Propiedades Elementales.

Definicin 1.1.1. Sea X un espacio vectorial sobre R, un producto semi-interno sobre


X es una funcin
: X X R,
que satisface las siguientes propiedades

(u + v, w) = (u, w) + (v, w),

(u, v + w) = (u, v) + (u, w),

(u, u) 0,

(u, v) = (u, v).

(u, 0) = (0, v) para todo u,v en X.

Un producto interno sobre X es un producto semi-interno que tambin satisface


lo sigueinte

Si (u, 0) = 0, entonces u = 0.

Observacin 1.1.2. Denotaremos un producto semi-interno como (u, v) = hu , vi.

Definicin 1.1.3. Dados un espacio vectorial real X con un producto semi-interno hv , wi


y v, w en X, decimos que v es ortogonal a w si hv, wi = 0. Sea S un subespacio de X,

definamos el conjunto S = {v X : hv, wi = 0, w S}, entonces S0 tambin es un
subespacio de X. Sea X0 = {v X : hv, wi = 0, w X}. Claramente X0 es un subespacio
de X y es llamado el espacio nulo de X.

1
Teorema 1.1.4. Sea X con un producto semi-interno h , i y kvk = hv , vi 2 , entonces

1. Dados v,w X, tenemos

|hv, wi| 6 kvkkwk,

2. Dado w X tal que hw, wi = 0, entonces w X0 ,

3. v X, kvk > 0, y kvk = 0 si y slo si v X0 ,

4. Para todo real y para todo v X se tiene que kvk = ||kvk,

5. Dados v, w X tenemos kv + wk kvk + kwk

DEMOSTRACIN: Ver [1] y [2] 


CAPTULO 1. PRELIMINARES 3

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 .

Recprocamente, si tomamos a de esta forma, tenemos que v w es ortogonal a w.


Llamaremos a el coeficiente de Fourier de v con respecto a w.
Sean v1 , v2 , . . . vn elementos de X que no estn en X0 y hvi , vj i = 0 si i 6= j, para
i, j = 1, 2, . . . , n. Sean v en X y i el coeficiente de Fourier v con respecto a cada vi .
Entonces

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.

Teorema 1.1.7. Sea H un espacio de Hilbert.

1. Si v, w H son ortogonales entonces


2 2 2
kv + wk = kvk + kwk

2. Sean v, w H entonces
2 2 2 2
kv + wk + kv wk = 2kvk + 2kwk

DEMOSTRACIN: ver [1].




1.2. Familias y Bases Ortogonales.

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

subfamilia, es decir, las combinaciones lineales

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.

Corolario 1.2.2. sea H un espacio de Hilbert.

1. Si H 6= 0 entonces existe una base ortogonal completa para H,



2. Sea F un subespacio cerrado de H entonces H = F + F .

DEMOSTRACIN: ver [1].




Definicin 1.2.3. Un espacio topolgico X es llamado separable si contiene un conjunto


denso y numerable.

Teorema 1.2.4. Dado un espacio de Hilbert H entonces dos bases cualesquiera de H tienen
la misma cardinalidad.

DEMOSTRACIN: ver [2].




Definicin 1.2.5. Dado un espacio de Hilbert H, definimos la dimensin de H como la


cardinalidad de una base de H y es notada como Dim(H).

Proposicin 1.2.6. Si H es un espacio de Hilbert de dimesin infinita, entonces H es


separable si y slo si Dim(H)=.

DEMOSTRACIN: ver [2].




1.3. Isomorfismos entre Espacios de Hilbert.

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.

Proposicin 1.3.2. Veamos unas propiedades importantes de los espacios de Hilbert.

1. Si : H K, es una aplicacin lineal entre espacios de Hilbert, entonces es una


isometra si y slo si h(x), (y)i = hx, yi para todo x, y en H.

2. Dos espacios de Hilbert son isomorfos si y slo si tienen la misma dimensin.

3. Cualquier par de espacios de Hilbert separables de dimesin infinita son isomorfos.

DEMOSTRACIN: ver [2] y [7].




1.4. Derivadas entre Espacios de Banach

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

Definicin 1.4.3. Dados E y F dos espacios de Banach y U un abierto de E, decimos que


una aplicacin continua

f : U F,

es diferenciable en a U si existen una apliacin lineal L[E, F] tal que, si

f (a + h) = f (a) + (h) + (h)

para h pequeo entonces es una aplicacin tangente a 0.


Notamos que es nica, es llamada la derivada de f en a y la denotamos por Df (a) o
f (a). Decimos que f es diferenciable en U si es diferenciable en cada punto de U y en este
caso f es una aplicacin

f : U L[E, F].

Definicin 1.4.4. Sean E y F dos espacios de Banach y U un abierto en E. Decimos que


1
una aplicacin diferenciable f : U F, es de clase C , si f es una aplicacin continua.
p p
Anlogamente definimos una aplicacin de clase C (p > 1). La p-sima derivada D f es
p1
definida como D(D f ) y es una aplicacin lineal de U sobre L(E, L(F, . . . , L(E, F))). f
p k
es llamada de clase C si D f existe y es continua para 1 6 k 6 p,

Proposicin 1.4.5. Sean U y V dos abiertos de dos espacios de Banach E y F respectiva-


p
mente. Si f : U V y g : V W son de clase C , donde W es un espacio de Banach,
p
entonces g f tambin es de clase C , para todo p > 1.

DEMOSTRACIN: ver [4].




Ejemplos 1.4.6. Veamos algunos ejemplos.

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) = .

Sean f : U F, una aplicacin diferenciable y : F W, una aplicacin lineal


continua. Entonces

( f ) (x) = f (x).

Y para cada v U tenemos

( f ) (x)v = (f (x)v)

.
CAPTULO 1. PRELIMINARES 7

Proposicin 1.4.7. Sean E y F dos espacios de Banach y U un abierto en E. Supong-


amos que las aplicaciones f, g : U F son diferenciables en a U , entonces f + g es
diferenciable en a y

(f + g) (a) = f (a) + g (a).

Adems si es un nmero real cualquiera entonces la aplicacin f es diferenciable en a


y

(f ) (a) = f (a).

DEMOSTRACIN: ver [4].




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.

Teorema 1.4.9. (Teorema de la Funcin Inversa.) Sean E, F espacios de Banach, U E


p
abierto y f : U F, una aplicacin de clase C con p > 1. Supongamos que exite a U
p
tal que f (a) : E F, es un isomorfismo lineal. Entonces f es un C -difeomorfismo local
en a.

DEMOSTRACIN: ver [3].




Proposicin 1.4.10. Sean E, F espacios de Banach, U E y V F abiertos. Supong-


amos que

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.

DEMOSTRACIN: ver [3].



CAPTULO 1. PRELIMINARES 8

Corolario 1.4.11. Sean E, F espacios de Banach, U E abierto y f : U F, una


aplicacin tal que f (0) = 0. Si f cumple que f (0) : E F, es un isomorfismo con un
subespacio cerrado F1 de F. Escribimos F = F1 F2 . Entonces existe un difeomorfismo
local
g : F : F1 F2 ; g(0) = 0
y una vecindad abierta U1 U de 0 E tal que

g (f |U ) : U1 U1 {0} E {0} F1 {0},


1

es la inyeccin lineal cannica.

DEMOSTRACIN: ver [3].




Corolario 1.4.12. Sean E, F espacios de Banach, U E abierto y f : U F una


aplicacin tal que f (0) = 0. Si f cumple que f (0) : E F, es sobreyectiva, escribimos
E = E1 E2 con f (0)|E : E2 F biyectiva, es decir, E2 F. Entonces existe un difeo-
2
morfismo local

h : (U1 U2 , 0) (E1 E2 , 0) (E, 0),

con Ui una vecindad abierta de 0 E1 tal que

f h : U1 U2 U2 E2 F,
es la proyeccin 2 .

DEMOSTRACIN: ver [3].




1.5. Espacio Tangente y Fibrado Tangente

Definicin 1.5.1. Sean E un espacio de Banach y U un abierto en E. Para cada a U ,


definimos el Espacio Tangente Ta U de U en a como el conjunto {(a, v) : v E}, que
tiene estructura de espacio vectorial dada por la aplicacin cannica

2 : Ta U E,

definida como 2 (a, v) = v. As, definimos a T U :=


S
aU
Ta U
CAPTULO 1. PRELIMINARES 9

Observacin 1.5.2. Dado el isomorfismo cannico T U U E, podemos ver a T U como


un abierto de E E.

Definicin 1.5.3. La proyeccin 1 : U E U, tambin puede ser notada como


U : T U U, dada por U (a, v) = a. Definimos (U , T U, U ) como el fibrado tan-
gente de U . T U es llamado el espacio total tangente de U y es llamada la proyeccin
del fibrado tangente.

Definicin 1.5.4. Dada una aplicacin diferenciable f : U E : V F, definimos la


tangencial de f como

T f : T U T V,
dada por T f (a, v) = (f (a), f (a)(v)).

Observacin 1.5.5. Dado a U , la restriccin Ta f = T f |Ta U , es una aplicacin lineal


determinada por f (a).

Proposicin 1.5.6. Sean F1 : U1 E1 U2 E2 y F2 : U2 E2 U3 E3 , dos


aplicaciones difereciables, entonces las aplicaciones T (F2 F1 ) : T U1 T U3 y T F2 T F1 :
T U1 T U3 son la misma aplicacin. Adems el tangencial de la aplicacin identidad
idU : U U, es la aplicacin identidad idT U : T U T U .

DEMOSTRACIN: Ver [3]. 


CAPTULO 1. PRELIMINARES 10

.
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.

En la segunda parte de este captulo hablaremos sobre aplicaciones continuas y aplica-


p
ciones de clase C entre variedades de Hilbert. Es fundamental hablar de estas apliaciones,
pues ellas dan origen a otras definiciones posteriores de gran importancia en nuestro traba-
jo. Para entender este tipo de aplicaciones, se har de ellas en trminos de su representacin
local dadas por la cartas sobre las variedades. Veremos algunos teoremas, y para sus prue-
bas sern fundamentales algunos teoremas nombrados en el captulo anterior.

2.1. Variedad Topolgica

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

1. Cada Ui es un subconjunto abierto de M y Ui = M .


S
iI

2. Cada i es un homeomorfismo de Ui en i (Ui ), donde i (Ui ) es un abierto


de algn espacio de Hilbert separable Hi y para cada pareja (i, j) I I
se tiene que i (Ui Uj ) es un abierto de Hi .
1
3. Cada aplicacin (i j ) : j (Ui Uj ) i (Ui Uj ), es difeomorfismo de
p
clase C .

Observacin 2.1.4. La tercera propiedad en la definicin anterior se conoce como com-


patibilidad entre (Uj , j ) y (Ui , i ).

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

DEMOSTRACIN: Para ver la demostracin de una forma ms clara, tomaremos


las siguientes definiciones

(Ui , i ):= (U, ) y (Uj , j ):= (V, ).

Dado a U V , definimos (a):= p y (a):= q.

(U V ):= W1 Hi := H1 y (U V ):= W2 Hj := H2 .

Por lo tanto tenemos que la aplicacin


1
( ) : W1 W2 , (2.1)

es una biyeccin y tambin las aplicaciones


1 1
T ( ) : T W1 T W2 , T ( ) : T W2 T W1 . (2.2)

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 [( ) ( )].

Entonces hemos mostrado que T W1 y T W2 son linealmente isomorfos y tambin Tp W1 y


Tq W2 lo son, por lo tanto H1 y H2 son linealmente isomorfos.

p
Proposicin 2.1.9. Sea A = {(Ui , i )}iI un C -atlas sobre M , con p > 1. Para cada
componente conexa C de M , existe un espacio de Hilbert H, tal que para cada carta (U, )
que est en C, si (U ) H y H es un espacio de Hilbert, entonces H y H son isomorfos
(como espacios vectoriales).

DEMOSTRACIN: Sea C una componente conexa de M , como M es localmente


arcoconexa entonces C es arcoconexa. Sean x un punto fijo en C y y cualquier punto en C.
Por la arcoconexidad de C sabemos que existe una funcin continua

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:

Veamos que AH es abierto. Supongamos que AH no es abierto, entonces existe p en


AH tal que p no es punto interior de AH , luego para todo abierto V que contiene a
p, existen puntos en V que no estn en AH , en particular si V = Ui , donde (Ui , i )
es una carta de p. Sea entonces x Ui tal que x no est AH , si (Uj , j ) es un carta
de x con j (Uj ) Hj , entonces Hi es linealmente isomorfo a Hj , por lo tanto Hj
es linealmente isomorfo a H, y as x est en AH , lo cual es una contradicin. Por lo
tanto AH es abierto.

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 .

Definicin 2.1.12. Dado un espacio topolgico M con la propiedad de ser Hausdorf


p p
y dos contable, decimos que M es una C -H variedad topolgica si existe un C -atlas
A = {(Ui , i )}iI sobre M , donde cada (U ) H y H es un espacio de Hilbert separable.

Ejemplos 2.1.13. Veamos algunos ejemplos de variedades topolgicas.

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

Dado un abierto U de un espacio de Hilbert separable H, entonces U con el atlas



{(U, id|U )} es una C -H variedad topolgica.


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 .

Observacin 2.1.15. La relacin de compatibilidad entre atlas es una relacin de equiv-


alencia.

2.2. Varidades Suaves

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.

Observacin 2.2.2. Sean (U, ) una carta en M y p U , entonces (p) est en (U ) H,


i
tomando una base ortogonal de Hilbert {ei } en H tenemos que , la proyeccin de
sobre la i-sima componente, es llamada i-sima funcin coordenada.

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.

DEMOSTRACIN: Tomemos todas las cartas compatibles con A, entonces ellas


son compatibles entre s, definamos M el atlas formado por la unin de A con todas
estas cartas, si tomamos todas las cartas compatibles con M entonces estas cartas son
compatibles con A y as ellas deben estar en M, por lo tanto M es maximal.
Veamos que es nico. Sea N otro atlas maximal que contiene a A, por lo tanto todas las
cartas de N son compatibles con A, entonces N M. Como N es maximal, entonces se
tiene que N=M. Con lo cual se prueba que M es nico.


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 .

Ejemplos 2.2.5. Veamos algunos ejemplos teniendo en cuenta el teorema 2.2.3 .

1. Sea H un espacio de Hilbert separable y definamos el conjunto


H 2 2
S := {(x, v) R H : x + kvk = 1}.
CAPTULO 2. VARIEDADES DE HILBERT 16
H
Sean p+ y p puntos en S con x = 1 y x = 1 respectivamente y definamos las
siguientes aplicaciones
H
+ : S \{p+ } H, (2.3)

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)

que est dada por


2
!
1 kvk 1 2v
+ (v) = , ,
kvk + 1 kvk2 + 1
2

y
1 H
: H\{0} S \{p }, (2.6)

que est dada por


2
!
1 1 kvk 2v
(v) = 2 , .
kvk + 1 kvk2 + 1

Por lo tanto las aplicaciones + y son difeomorfismos.


CAPTULO 2. VARIEDADES DE HILBERT 17

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

De igual manera obtenemos que


1 v
(+ )(v) = . (2.9)
kvk2

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.

3. Dado un abierto U de un espacio de Hilbert separable H, entonces {(U, id|U )} es



C -atlas sobre U , as U 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.

Observacin 2.2.6. De ahora en adelante hablaremos simplemente de una H-variedad o



variedad, haciendo referecia a una C -H variedad sobre cierto espacio de Hilbert separable
H. En caso contrario daremos la notacin correpondiente.
CAPTULO 2. VARIEDADES DE HILBERT 18

2.3. Funciones entre Variedades

Definicin 2.3.1. Dadas dos variedades M y N y una aplicacin continua F : M N ,


p
decimos que F es una aplicacin de clase C , si existen un par de atlas {(U , )}I de
M y {(V , )}J de N tales que las aplicaciones
1 1
F : (U F (V )) (V ), (2.10)

p
son de clase C para toda pareja (, ) I J.

Definicin 2.3.2. Si F : M N es un homeomorfismo entre variedades y tanto F como


1 p p
F son de clase C , entonces decimos que F es un difeomorfismo de clase C entre M
y N.

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:

Sean {(U , )} I y {(V , )} J otro par de atlas de M y N respectivamente.


Teniendo en cuenta los dominios de restriccin de la definicin, tenemos que la apli-
cacin
1 1 1 1 1
( F ) = [ ] [ F ] [ ] , (2.11)

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 ),

es un difeomorfismo, entonces (U, F |U ) es una carta del atlas maximal de M .


CAPTULO 2. VARIEDADES DE HILBERT 19

DEMOSTRACIN: Sea A = {(U , )}I el atlas maximal sobre M , para cada


1
I se tiene que las aplicaciones (F |U ) y ( F |U ) son suaves. Entonces (U, F |U )
es compatible con el atlas A, como A es maximal entonces F |U es una carta de A.


Definicin 2.3.5. Dada M una variedad de Hilbert, definimos



FM := {f : M R : f es suave (C )}

Proposicin 2.3.6. Dada M una variedad de Hilbert, tenemos que el conjunto FM es


una R-lgebra bajo la composiciones naturales.

1. (f + g)(p) = f (p) + g(p),

2. (f )(p) = f (p),

3. (f g)(p) = f (p)g(p).

f, g FM , R.

DEMOSTRACIN: Es claro por definicin. 

Proposicin 2.3.7. Sean M y N dos variedades de Hilbert y F : M N una aplicacin


suave, entonces la aplicacin

F : FM FN, (2.13)

definida como

F (f ) = f F. (2.14)

Es un morfismo de lgebras.

DEMOSTRACIN: Se tiene por definicin.




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),

2. g(q) = 0, para todo q


/ Bt (0).

DEMOSTRACIN: Sea : R [0, 1], una funcin suave que cumple lo siguiente
CAPTULO 2. VARIEDADES DE HILBERT 20

1. (x) = 1, para |x| r,

2. (x) = 1, para |x| t.


1 1
Definamos g por (|v|)f (v) y g(q) = 0 para q M , no en (Bt (0)).

Probemos la existencia de la funcin en los siguientes pasos

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

3.1. Fibrado Tangente

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.

Dada F : M N , entre variedades, daremos la definicin de la tangencial de F , la


cual est relacionada con las aplicaciones M y N , es decir (N F ) = (F M ) y lo pro-
baremos en 3.1.7.
1
Por ltimo hablaremos de un fibrado vectorial : P M sobre M con fibra ({p})
modelada sobre un espacio de Banach E. Se probar que (T M, M , M, H) es un fibrado
tangente sobre M son fibra modelada sobre H.

22
CAPTULO 3. FIBRADOS 23

Definicin 3.1.1. Sea M una H-variedad.

1. Dado p M , (U, ) una carta de p, y (U ) = V H. Definimos a T(p) V como


el representante del espacio tangente de M en p, dado por la carta (U, ).
Los elementos de T(p) V son denotados por ((p), X(p) ), donde X(p) est en H y es
llamado la parte principal del vector ((p), X(p) ).

2. Dadas dos cartas (U1 , ) y (U2 , ) de p M y tomando (U1 ) = V1 y (U2 ) = V2 ,


tenemos que la funcin de transicin
1
( ) : (U1 U2 ) (U1 U2 ) (3.1)

determina un isomorfismo lineal


1
T(p) ( ) : T(p) V1 T(p) V2 . (3.2)

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)

Esta relacin entre vectores es una relacin de equivalencia.

En efecto, dadas (U, ),(V, ) y (W, ) tres cartas de p, tales que


1
D( )((p))[X(p) ] = X(p) (3.4)
y
1
D( )((p))[X(p) ] = X(p) . (3.5)

Queremos ver que


1
D( )((p))[X(p) ] = X(p) .

Tenemos que

1 1 1
D( )((p))[X(p) ] = D[( ) ( )]((p))[X (p)], (3.6)
CAPTULO 3. FIBRADOS 24

por la proposicin 1.4.5 tenemos


1 1 1 1
D( )((p))[X(p) ] = D( )[( )((p))][D( )((p))[X(p) ]]
(3.7)
1 1
= D( )((p))[D( )((p))[X(p) ]]. (3.8)

Por la ecuacin 3.4 se tiene que


1 1
D( )((p))[X(p) ] = D( )((p))[X(p) ], (3.9)

y por la ecuacin 3.5 tenemos


1
D( )((p))[X(p) ] = X(p) . (3.10)

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.

3. Dado p M , definimos el espacio tangente Tp M como el conjunto de vectores


tangentes a M en p.
Cada carta (U, ) de p con (U ) = V , determina un isomorfismo entre Tp M y T(p) V
dada por la siguiente aplicacin representante:

Tp : Tp M T(p) V, (3.11)

definida por:

Tp ([(p), X(p) ]) = ((p), X(p) ).

Donde [(p), X(p) ] es la clase de equivalencia de la cul ((p), X (p)) es represen-


tante. Adems con esta aplicacin tenemos Tp M tiene estructura de espacio vectorial
isomorfo a H.

4. Usando la aplicacin (isomorfismo)

2 : T(p) V = {(p)} H H, (3.12)

definimos la aplicacin

D(p) := 2 Tp , (3.13)

como la diferencial de en p.
CAPTULO 3. FIBRADOS 25

Teorema 3.1.2. La estructura de espacio vectorial de Tp M es independiente de la apli-


cacin representante selecionada.

DEMOSTRACIN: Sean (U1 , ) y (U2 , ) dos cartas de p, con V1 = (U1 ) y


V2 = (U2 ). Entonces
1
Tp Tp : T(p) V1 T(p) V2 (3.14)

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)

Hay que notar que


1 1
D( )((p)) = D(p) (D(p)) . (3.16)

Definicin 3.1.3. Sea M una H-variedad. Definimos a


[
TM = Tp M,
pM

como el Espacio Tangente de M .


Tambin definimos la aplicacin

M : T M M,

que asocia a cada X Tp M el punto p M . La aplicacin M es llamada la proyeccin de


T M sobre M .

Proposicin 3.1.4. Sea M una H-variedad. Entonces T M es una H H-variedad y es


una aplicacin suave.
Ms precisamente, cada atlas {(U , )}I suave de M , define un atlas {(T U , T )}I
suave de T M , como sigue:

Definimos V := (U ), para todo I


S
Definimos T U := pU Tp M , para todo I y

CAPTULO 3. FIBRADOS 26

La aplicacin

T : T U T V = V H, (3.17)

definida como

T (X) := T [X] (X) = ( ( [X]), X ( [X]) ).

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)

son suaves para cada par (, )I I.

Tenemos que

T (X) = T [X] (X) = ( ( [X]), X ( [X]) ) (3.19)

y cada es una biyeccin, luego cada T es una biyeccin entre subconjuntos de


T M y abiertos de H H.

La suavidad de las aplicacines


1
(T T ) : T V T V T V T V ,

1 1
se tienen porque (T T ) = T ( ) y por la suavidadd de las aplicacines
1
( ), para todo par (, ) I I

Ahora veamos que la aplicacin


: T M M (3.20)
es suave.
Para demostrar esto, veamos que podemos encontrar un par de atlas para T M y M ,
que cumplan con la definicin 2.3.1.

Tomemos (T U , T ) una carta en T M y (U , ) la correspondiente carta en M .


Entonces para la aplicacin
1
( (T ) ) : T V (U ) = V , (3.21)

definida por
1
( (T ) )(( , X )) = ( )(X).
CAPTULO 3. FIBRADOS 27

Donde ( , X ) est en T V y X est en T U ,


se tiene que
1
( (T ) )(( , X )) = . (3.22)

Por lo tanto es suave.

Definicin 3.1.5. Dada una H-variedad M , definimos el fibrado tangente de M con


la tripleta (M , T M, M ). Donde M es definida como en la definicin 3.1.3, T M es una
H H-variedad y adems decimos que T M es el espacio tangente total de M .

Definicin 3.1.6. Dadas dos variedades M y N y una aplicacin suave

F : M N, (3.23)

definimos el tangencial de F como la aplicacin

T F : T M T N, (3.24)

dada como sigue.


Para cada p M , definimos

Tp F : Tp M TF (p) N ; (3.25)

como la tangencial de F en p, tomando la representacin local


1
T(p) ( F ) : T(p) W1 T(F (P )) W2 . (3.26)
Definida como
1 1
T(p) ( F )[((p), X(p) )] = ((F (p)), D( F )((p))[X(p) ]) (3.27)
1
Donde ( F ) es una representacin local de F , con (U, ) y (V, ) dos cartas de p
y F (p) respectivamente, adems considerando W1 =(U ) y W2 = (V ).

Proposicin 3.1.7. Veamos algunos resultados importantes.

1. La definicin anterior es independiente de la representacin local de F ,

2. T F es suave y el siguiente diagrama es conmutativo.


CAPTULO 3. FIBRADOS 28

T F-
TM TN

M N

? ?
M - N
F

3. Sean M1 , M2 y M3 variedades de Hilbert y

F1 : M1 M2 , F2 : M2 M3 (3.28)

dos aplicaciones suaves. Entonces tenemos que T F1 T F2 = T (F1 F2 ).

DEMOSTRACIN:

1. Veamos la independencia de la representacin de F para la definicin de Tp F .


Sean (U, ),(U , ) y (V, ) , (V, ) cartas de p y F (p) respectivamente, tales que
1 1
( F ) y ( F ) son representaciones locales de F .
Entonces tenemos que la igualdad
1 1 1 1 1
T ( F ) = T ( ) T ( F ) T ( ) , (3.29)

es vlida es una pequea vecindad de (p) en (U ). Por lo tanto se ha mostrado


la independencia de la representacin local de F para la definicin de T P .

2. Veamos la suavidad de la aplicacin T M .

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 ),

son suaves para cada pareja (, ) I J.

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 ).

Para cada pareja (, ) I J.


Luego queda demostrada la suavidad de la aplicacin T M .

3. Veamos que el diagrama conmuta.

Dado X en Tp M tenemos que

(F M )(X) = F (p) (3.30)


y

(N Tp F )(X) = N (XF (p) ) = F (p). (3.31)

Entonces tenemos que efectivamente el diagrama conmuta.

4. Veamos que T (F2 F1 ) = T F2 T F1

Tenemos la siguiente igualdad


1 1 1
( F2 F1 ) = ( F2 ) ( F1 ), (3.32)

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)

Luego tenemos la demostracin.

Definicin 3.1.8. Sean M una H-variedad, N un espacio de Hilbert H y F : M N ,


una aplicacin suave. Definimos la Diferencial de F en p, como la siguiente aplicacin
lineal

DF (p) : Tp M H , (3.34)

dada por la composicin de la aplicacin

Tp F : Tp M TF (p) H = {F (p)} H , (3.35)


CAPTULO 3. FIBRADOS 30

con la proyeccin

2 : {F (p)} H H . (3.36)

En otras palabras,

DF (p)(X) := (2 Tp F )(X). (3.37)

Proposicin 3.1.9. Sea M una variedad de Hilbert, entonces

1. D(f + g)(p) = Df (p) + Dg(p),

2. D(f g)(p) = Df (p)g(p) + f (p)Dg(p)

f, g FM , , R y p M

Observacin 3.1.10. Notaremos en ocasiones X y no X(p) para simplificar un poco la


escritura de la prueba.

DEMOSTRACIN:

1. Sean p M , (U, ) una carta de p, f y g FM y , R.


Tenemos que
1
(f + g) : (U ) R, (3.38)

es suave.
Definamos h= f + g y as

Tp h : Tp M Th(p) , (3.39)

y tiene la representacin local


1
T(p) (h ) : T(p) (U ) T(h(p)) R,

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

Dh(p)[X] = Df (p)[X] + Dg(p)[X], (3.44)

as tenemos que

D(f + g)(p) = Df (p) + Dg(p). (3.45)

f, g FM y , R

2. Sean p M , (U, ) una carta de p y f, g FM .


Tenemos que la aplicacin
1
(f g) : (U ) R, (3.46)
CAPTULO 3. FIBRADOS 32

es suave.
Definamos h = f g y as tenemos que

Tp h : Tp M Th(p) , (3.47)

y tiene la representacin local


1
T(p) (h ) : T(p) (U ) T(h(p)) R, (3.48)

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

Dh(p)[X] = Df (p)[X]g(p) + f (p)Dg(p)[X], (3.52)

as
D(f g)(p) = Df (p)g(p) + f (p)Dg(p). (3.53)
f, g FM .
CAPTULO 3. FIBRADOS 33

Por lo tanto hemos demostrado la proposicin. 

3.2. Fibrados Vectoriales

Definicin 3.2.1. Sea M una H-variedad.

1. Sean E un espacio de Banach, P un conjunto y una aplicacin sobreyectiva

: 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).

Con las siguientes propiedades

a) La aplicacin P es sobreyectiva y

Pp = P |Ep : Ep {(p)} E, (3.55)


CAPTULO 3. FIBRADOS 34

es un isomorfismo lineal. Donde la estructura de espacio de Banach so-


bre el producto {(p)} E, est definida por la identificacin cannica
2 : {(p)} E E.

b) Si (P 1 , U1 , 1 ) y (P 2 , U2 , 2 ) son dos cartas fibradas, entonces


1
P 1 (P 2 |P (U ) : 1 (U1 U2 ) E 2 (U1 U2 ) E, (3.56)
1 U2 )

1
es un difeomorfismo, denotado por P 1 P 2 .

Entonces el objeto as definido por el atlas A es llamado un fibrado vectorial


sobre M con atlas fibrado {(P , U, )}A .

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.

Observacin 3.2.2. Veamos un par de observaciones de la definicin anterior.

1. Ep es isomorfismo a E, pero no es un isomorfismo cannico. Para cada carta fibrada


(P , U, ) que cubre a Ep , tenemos el ismorfismo lineal

P (p) = (2 Pp ) : Ep E, (3.57)

donde

Pp : Ep {(p)} E, (3.58)

es un isomorfismo lineal.

2. Dadas dos cartas fibradas (P U, U, ) y (P V, V, ), entonces tenemos la aplicacin


1
de transicin (P P ), descrita en la definicin anterior. Definimos para cada
p U V el siguiente isomorfismo
1 1
P ( )((p)) = (P (p) P (p) ) : E E, (3.59)

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.

Ejemplo 3.2.3. Dada una H-variedad M , tenemos que (T U, M , M, H) es un fibrado vec-


torial sobre M . El atlas A = {(T U , U , )}I de T M derivado del atlas {(U , )}I
de M , es un atlas fibrado y lo denotaremos por {(T , U , )}I .

En efecto:

1. Sabemos que la aplicacin M est definida de la siguiente manera

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 .

2. Sean p M y (U, ) una carta de p en A, entonces tenemos el siguiente diagrama.


T
Tp M - (U ) H

M 1
? ?
U - (U )

Veamos que el diagrama conmuta.


Dado X in Tp M tenemos

M (X) = p y ( M )(X) = (p),


T (X) = ((p), X(p) ),
(1 T )(X) = (p). (3.63)

Luego el diagrama es conmutativo.


Tenemos que la aplicacin T es sobreyectiva y la aplicacin

Tp : Tp M {(p)} H, (3.64)
CAPTULO 3. FIBRADOS 36

es un isomorfismo lineal por definicin de Tp

3. Dada otra carta (V, ) de p en A, veamos que la aplicacin


1
(T T ) : (U V ) H (U V ) H. (3.65)
es suave.
Pero esto se tiene facilmente pues
1 1 1
(T T )[(a, X)] := ( (a), D( )(a)[X]). (3.66)

Luego queda probado nuestro ejemplo.




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.

Observacin 3.2.5. Si E no es un espacio de Hilbert, entonces hablamos de P como una


H E-variedad de Banach.

DEMOSTRACIN: Demostremos ahora el teorema.

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 .

2. Veamos que la aplicacin

P : P U (U ) E, (3.67)

dada por P () = ((p), ), es un homeomorfismo.


Sabemos que la aplicacin es una una biyeccin por definicin 3.2.1(a) y adems la
aplicacin

Pp : Ep { (p)} E, (3.68)

es un isomorfismo tambin por 3.2.1(a)


CAPTULO 3. FIBRADOS 37

3. Veamos que la aplicacin


1
(P P ) : P (P U P U ) E P (P U P U ) E, (3.69)

es suave.
Esto se tiene por la definicin 3.2.1(b).

Luego queda demostrado el teorema. 


CAPTULO 3. FIBRADOS 38

.
CAPTULO 4

Inmersiones, Submersiones y Campos Vectoriales.

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.

4.1. Inmersiones, Submersiones y Subvariedades

Teorema 4.1.1. Sean M y N dos variedades de Hilbert y F : M N , una aplicacin


suave. Si para p M tenemos que Tp F es una biyeccin lineal de Tp (M ) sobre TF (p) (N ),
entonces F es localmente un difeomorfismo.

DEMOSTRACIN: Como la aplicacin

Tp F : Tp (M ) TF (p) (N ), (4.1)

est representada localmente por


1
T(p) ( F ) : T(p) (U ) T(F (p)) (V ), (4.2)

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).


Definicin 4.1.2. Sean M y N dos variedades de Hilbert y F : M N una apliacin


suave.

1. Decimos que F es una inmersin en p M si tenemos que la aplicacin Tp F es


inyectiva y es cerrada. Decimos que F es una inmersin si tenemos que la aplicacin
Tp F es inyectiva para todo p M .

2. Decimos que F es una submersin en p M si tenemos que la aplicacin Tp F es


sobreyectiva. Decimos que F es una submersin si la aplicacin Tp F es sobreyectiva
para todo p M .

Admitimos los siguientes resultados como una consecuencia de los corolarios 1.4.11 y
1.4.12 respectivamente.

Teorema 4.1.3. Sean M y N dos variedades de Hilbert y F : M N , una aplicacin


suave. Sea p M tal que F es una inmersin en p, si denotamos a F (p) como q N ,
entonces existen un par de cartas (U, ) y (V, ) de p y q respectivamente de tal manera
que la aplicacin
1
( F ) : (U ) (V ) = (U ) V2 , (4.4)

est definida de la siguiente manera


1
F (a) = (a, 0). (4.5)

Teorema 4.1.4. Sean M y N dos variedades de Hilbert y F : M N , una aplicacin


suave. Sea p M tal que F es una submersin en p, si denotamos a F (p) como q N ,
entonces existen un par de cartas (U, ) y (V, ) de p y q respectivamente de tal manera
que la aplicacin
1
F : (U ) = U1 (V ) (V ), (4.6)

est definida de la siguiente manera


1
F [(u1 , b)] = b. (4.7)
CAPTULO 4. INMERSIONES, SUBMERSIONES Y CAMPOS VECTORIALES. 41

Definicin 4.1.5. Dados un espacio de Banach F y un subespacio F1 de F. Decimos que


F1 divide a F si existe un complemento cerrado F2 , de tal manera que F
= F1 F2 .

Definicin 4.1.6. Veamos las siguientes definiciones como casos particulares de inmer-
siones.

Dadas M y N dos variedades de Hilbert y F : M N una aplicacin suave. Deci-


mos que F es una embebimiento si F es una inmersin y adems la aplicacin

F : M F (M ), (4.8)
es un homeomorfismo. Donde F (M ) N tiene la topologa inducida por N .

Sean N una variedad de Hilbert y N un subconjunto de N . Si podemos dar una


estructura de variedad sobre N de tal manera que la aplicacin inclusin

i : N N, (4.9)

sea un embebimiento, entonces decimos que N es una subvariedad de N .

Teorema 4.1.7. Sean M una H-vaiedad y N M . N es una subvariedad de M si y slo


si se tiene lo siguiente.
Existe una divisin H = E1 E2 y para cada p N ; existe una carta (U, ) de p de tal
manera que

: U U1 U2 , (4.10)

con (p) = (0, 0), adems Ui Ei es abierto para i = 1, 2, 0 Ei y

|(U N ) : U N U1 {0}. (4.11)

DEMOSTRACIN:

(=) Supongamos que N es una subvariedad de M , entonces tenemos que la aplicacin


inclusin i : N M , es un embebimiento, por el teorema 4.1.3 existe una carta (U, )
de p N tal que (U ) = U1 U2 y adems
1
i ( |NU ) : U1 U1 {0}, (4.12)

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

con (p)=(0, 0), Uj Ej abierto para j = 1, 2 y (a, 0)=(a, 0).


Entonces tenemos que
1
i : U1 {0} U1 {0}, (4.13)
y asi tenemos que i es una inmersin.
Ahora veamos que podemos hacer que la aplicacin i sea un embebimiento. Tomamos sobre
N la topologa generada por los subcounjuntos abiertos de U N que son homeomorfos a
los subconjuntos abiertos U1 E1 por la aplicacin |(U N) .
Luego queda demostrado el teorema. 

Definicin 4.1.8. Sean M y N dos variedades de Hilbert, F : M N, una aplicacin


suave y N una subvariedad de N . Decimos que F es Transversal a N en p M y lo
denotamos F p N , si F (p)
/ N o TF (p) N es generado por TF (p) N y Tp F (Tp M ). Si F p N
para todo p M , entonces se dice que F es tranversal a N y lo denotamos como F N .

Ejemplo 4.1.9. Sean M y N dos variedades de Hilbert y F : M N , una aplicacin


1
suave. Si tomamos N ={q}, donde q N y F ({q}) es no vaco, entonces decir que F N
es equivalente a tener que la aplicacin

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 .

Teorema 4.1.10. Sean M una H1 -variedad y N una H2 -variedad, F : M N una


aplicacin suave y N una subvariedad de N . Sea p M y supongamos que F (p) = q, con
q N . Entonces F p N si y slo si existen cartas (U, ) y (V, ) de p y q respectivamente,
que cumplen lo siguiente

1. H1 se puede dividir en E1 F2 y (U ) = U1 V2 , con U1 y V2 abiertos de E1 y F2


respectivamente y (p)=(0, 0). La carta (V, ) est adaptada a las subvariedad N en
q, es decir, H2 se puede dividir en F1 F2 y (V )=V1 V2 , con V1 abierto de F1 ,
(q)=(0, 0) y adems (V N )=V1 {0}.

2. La aplicacin F |U tiene su imagen en V y se puede representar de la siguiente manera


1
F : U1 V2 V1 V2 , (4.15)
y est definida como
1
( F )(u1 , v2 ) = ((u1 , v2 ), v2 ),
donde (u1 , v2 )= 0 V1 .
CAPTULO 4. INMERSIONES, SUBMERSIONES Y CAMPOS VECTORIALES. 43

DEMOSTRACIN: Supongamos que F p N . Tomando (V, ) una carta de q adap-


tada a N y (U, ) una carta de p, tales que (p)=0, F (u) V y tomamos la aplicacin
1
(2 F ) : (U ) V2 . (4.16)
Donde
1
(F ) : (U ) V,
y
1
F : (U ) V1 V2 .
Como suponemos que F p N , entonces la diferencial en 0 (U ) de 4.16 es sobreyectiva,
luego F es una submersin en p, por el teorema 4.1.4 podemos escoger una carta (U, )
de tal manera que (U )= U1 V2 y la aplicacin
1
( F ) : U1 V2 (V ), (4.17)
1
que est dada por ( F )(u1 , v2 ) = v2 .
Luego se tiene 4.15.

Recprocamente, por la representacin local se tiene que F p N . 

Teorema 4.1.11. Sean M una H1 -variedad, N una H2 -variedad y F : M N una


1
aplicacin suave. Supongamos que N es una subvariedad de N y F N . Si F (N ) es no
1
vaco y as definimos el conjunto M = F (N ), entonces M es una subvariedad de M y
1 1
adems codim(M ) = codim(N ), Tp (M ) = Tp F (Tq (N )), para q N y p F (N ).

Observacin 4.1.12. La definicin de codim(M ) = codim(N ), significa que si H1 se


divide en E1 E2 y H2 se divide en F1 F2 , tales divisiones asociadas a las subvariedades
M M y N N respectivamente, como se describen en el teorema 4.1.7, entonces E2
es isomorfo a F2 .

DEMOSTRACIN: Sea p M , como F N , entonces F p N , por el teorema


4.1.10 existe una carta (U, ) de p, tal que

: 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 ). 

Ejemplos 4.1.13. Veamos algunos ejemplos de subvariedades.

1. Sean M y N dos variedades de Hilbert, F : M N , una aplicacin suave, q N


1 1
con F ({q}) no vaco y q valor regular de F . Si definimos al conjunto M = F ({q}),
CAPTULO 4. INMERSIONES, SUBMERSIONES Y CAMPOS VECTORIALES. 44

entonces por el teorema 4.1.11 tenemos que M es una subvariedad de M y cod(M )


= Dim(N ). Adems Tp (M ) = Ker(Tp F ) para cada p M .

2. Sea M = H un espacio de Hilbert separable y definamos la siguiente aplicacin.

F : M R, (4.19)
definida como

F (x) = hx, xi.

Entonces F es suave y adems F (x)(y) = 2hx, yi, por lo tanto tenemos la aplicacin

Tx F : Tx (M ) Thx,xi (R). (4.20)


Sea r R, con r > 0 y definamos el conjunto S(r)= {x M : F (x) = r}. Para
x S(r) tenemos que Tx F es sobreyectiva, luego por el ejemplo 4.1.9 tenemos que
r es un valor regular de F , entonces S(r) es una subvariedad de M .
Adems, dado x S tenemos que Tx (S(r)) = Ker(Tx F ), pero sabemos que Ker(Tx F )

= W , donde W es el complemento ortogonal del subespacio de M generado por
x.

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 .

4. Sean M una variedad de Hilbert y M = {(p, q) M M : p = q}. Sabemos que


M M es una variedad de Hilbert. Sea A = {(U , )}I un atlas de M , entonces
el atlas B dado por el producto de A con s mismo es una atlas sobre M M .
Sea {(U U , )}I una subfamilia del atlas B que cubre a M . Para
cada I tenemos que |(U U ) tiene como imagen es subespacio V =
M
{(v , v ) V V } de V V , donde (U ) = V . Entonces M es una subvar-
iedad de M M .

4.2. Campos Vectoriales

Definicin 4.2.1.

Sea M una variedad de Hilbert y T M el fibrado tangente de M . Una aplicacin suave

Y : M T M, (4.21)
CAPTULO 4. INMERSIONES, SUBMERSIONES Y CAMPOS VECTORIALES. 45

es llamada un campo vectorial sobre M , si cumple que M Y = idM . En otras palabras,


la aplicacin Y hace que el siguiente diagrama conmute.

M
Y @ id
@R
@
TM - M
M

1
Es decir, para cada p en M se tiene que Y (p) M ({p}) = Tp (M ).

Definicin 4.2.2. Sea M una variedad de Hilbert, definimos el conjunto CM como el


conjunto de todo los campos vectoriales sobre M .

Proposicin 4.2.3. Sea M una variedad de Hilbert, el conjunto CM es un espacio vecto-


rial real y un FM -mdulo bajo las composiciones naturales, en otras palabras,

1. (Y + X)(p) = Y (p) + X(p),

2. (f Y )(p) = f (p)Y (p).

Y, X CM , f CM , , R y p M

DEMOSTRACIN: Sea p M , sabemos que Tp (M ) tiene estructura de espacio


verctorial real, sean entonces X, Y CM luego X(p) Tp (M ) y Y (p) Tp (M ), por
lo tanto para todo , R se tiene que X(p) Tp (M ) y Y (p) Tp (M ), entonces
X(p) + Y (p) Tp (M ).


Proposicin 4.2.4. Sean M una H-variedad y Y : M T M , un campo vectorial sobre


M , entonces tenemos lo siguiente

1. Para cada carta (U, ) de M , Y define una aplicacin suave

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

2. Dada la aplicacin 4.22, tenemos un campo vectorial sobre U

YU : U T U, (4.23)
dado por
1
YU (p) = D [YV ((p))].

DEMOSTRACIN:

1. Dado que Y es un campo vectorial, entonces Y es una aplicacin suave. Sea p M ,


entonces si (U, ) es una carta de p, el campo vectorial Y est representado local-
mente por la aplicacin
1
T Y : V T V, (4.24)

que es suave, por lo tanto


1
2 T Y : V H, (4.25)

es suave, entonces se tiene YV es suave.

2. Supongamos que la aplicacin 4.22 es suave. Tenemos que la aplicacin

YU : U H, (4.26)

tiene la representacin local


1
T YU : V T V, (4.27)

1
dada por (T YU )((p)) = [(p), YV ((p))].

Luego YU es suave y adems se tiene que M YU = idM . Por lo tanto la aplicacin


YU es un campo vectorial sobre U .

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

donde V = (U ). Entonces tenemos que para cada i la aplicacin ei es un campo vectorial


sobre V .
Sabemos que para cada p U la aplicacin

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

En efecto, sabemos que

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


Proposicin 4.2.8. Sea M una variedad de Hilbert y Y un campo vectorial sobre M .


Entonces la aplicacin

Y : FM FM, (4.35)

definida como
Y f (p) = Df (Y (p)). (4.36)

Es una derivacin sobre M y es denotada como Y f .

DEMOSTRACIN: Por la proposicin 3.1.9 se tiene que


1. Y (f + g) = Y (f ) + Y (g);
f, g FM y , R.
2. D(f g)(p)(Y (p)) = Df (p)(Y (p))g(p) + f (p)Dg(p)(Y (p));
f, g FM y p M .

Por lo tanto se tiene que Y es una derivacin sobre M . 

Proposicin 4.2.9. Sea M una variedad de Hilbert entonces

1. Sean X y Y dos campos vectoriales sobre M tales que X = Y .

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

[Con90] J. Conway. A Course in Functional Analysis. Springer - Verlag, New York-


Heidelberg- Berlin, 2nd edition, 1990.

[Kli78] W. Klingenberg. A Course in Differential Geometry. Springer-Verlag, New York-


Heidelberg- Berlin, 1978.

[Lan72] S. Lang. Introduction to Differentiable Manifolds. Addison-Wesley, New York,


1972.

[Lan93] S. Lang. Real and Functional Analysis. Springer- Verlag, New York-Heidelberg-
Berlin, 3rd edition, 1993.

[Lan99] S. Lang. Foundamentals of Differential Geometry. Springer- Verlag, New York-


Heidelberg- Berlin, 1999.

[N.S99] N.Steenrod. The Topology of Fibre Bundles. Princeton Landmarks In Mathemat-


ics, Princeton New Jersey, 2nd edition, 1999.

49

You might also like