Documente Academic
Documente Profesional
Documente Cultură
tulo 1
Ha es ve toriales
Deni
ion 1.1.1 Por un haz sobre X entenderemos una pareja (E; p) donde E es un
espa
io topologi
o llamado el espa
io total del haz y p : E ! X es una fun
ion
ontinua
y supraye
tiva llamada la proye
ion del haz (bajo estas
ondi
iones a X se le llama el
espa
io base del haz). De ser ne
esario enfatizar usaremos la nota
ion E y p para E
y p. La imagen inversa bajo p de un punto x 2 X se llamara la bra de sobre x y se
denotara por x. Un morsmo de ha
es sobre X , : ! , es una fun
ion
ontinua
: E ! E que es brada, es de
ir, que ha
e
onmutativo al siguiente diagrama (y
que, por tanto, manda bras en bras)
E B / E
BB |
BB ||
p BBB |||p
|~ |
X:
Diremos que es isomorsmo (global) de ha
es si existe un morsmo de ha
es : !
tal que ambos Æ y Æ
omponen la
orrespondiente identidad.
Ejemplos 1.1.2 Si = (E; p) es un haz sobre X , la restri
ion de p a
ada subespa
io
Y X determina un haz p : p 1 (Y ) ! Y sobre Y al
ual denotaremos por jY . Para
ada espa
io topologi
o F , la proye
ion en el primer fa
tor 1 : X F ! X determina
un haz sobre X al que se le llama el haz trivial
on bra F y se le denota simplemente
por X F .
1
2 CAPITULO 1. HACES VECTORIALES
p 1 (UO ) F p 1 (O U )
? ?
/
1
U Fn F / U F n;
donde, dada la linealidad en bras de , el morsmo horizontal inferior toma la forma
(u; x1; : : : ; xn ; x) ! (u; xx1; : : : ; xxn) y por tanto es
ontinuo. La
ontinuidad de m se
sigue enton
es del he
ho que, al variar U , los
onjuntos p 1 (U ) F determinan una
ubierta abierta de E F . Para la
ontinuidad de s pro
edemos de manera similar a
partir del diagrama
onmutativo
EO s / EO
EjU
?
E(O )lU
?
/
O
x
( 2)
U Fn Fn /U F n:
Aqui (x ) es el isomorsmo determinado por
omo la demostra
ion del Lema 1.1.7),
2
de modo que el morsmo horizontal inferior ahora esta dado por 1 s0, donde s0 :
F n F n ! F n es la suma usual (que es
ontinua). El argumento se
ompleta al observar,
por una parte, que al variar U , los
onjuntos E lU
ubren a E , y por la otra,
( )
que
ada
onjunto E lU es abierto en E ya que
omo subespa
ios de E E ,
( )
E lU = (p (U ) p (U )) \ E .
( )
1 1
1.2. SECCIONES DE HACES 5
1.2 Se
iones de ha
es
Deni
ion 1.2.1 Una se
ion (o se
ion global) de un haz sobre X es una fun
ion
ontinua s : X ! E tal que la
omposi
ion p Æ s es la fun
ion identidad en X . Si U es
un abierto de X , una se
ion lo
al (denida en U ) de es una se
ion (global) del haz
restringido jU . Al
onjunto de se
iones (globales) de lo denotaremos por S .
Ejemplo 1.2.2 El
onjunto de se
iones del haz trivial de dimension n sobre X se
identi
a de manera natural
on el
onjunto C (X; F n), es de
ir,
on el produ
to
arte-
siano iterado n ve
es de C (X; F )
onsigo mismo. Bajo esta identi
a
ion, denimos
ei 2 SX F n
omo la se
ion que tiene por j -esima
omponente a la fun
ion X ! F
on
valor
onstante 1 si j = i, 0 si j 6= i.
Es de observarse que siempre existe la se
ion
ero s que manda a
ada x 2 X
0
en el
ero del espa
io ve
torial x. La
ontinuidad de esta fun
ion se sigue al observar
que, si U y son
omo en la Deni
ion 1.1.3, la
omposi
ion de la restri
ion s jU
on
0
es la fun
ion
ontinua U ! U F n que manda x en (x; 0). De esta manera S
1
es no va
o. De he
ho, este
onjunto tiene estru
tura de C (X; F )-modulo (donde las
opera
iones de suma y produ
to en C (X; F ) son puntuales) de la siguiente forma: dado
un par de se
iones s ; s 2 S , la fun
ion (s ; s ) : X ! E E
on
omponentes s
1 2 1 2 1
y s tiene imagen en E y, si s es
omo en el Lema 1.1.8, enton
es la suma s + s
2 1 2
esta dada por la
omposi
ion s Æ (s ; s ); similarmente, dado un es
alar 2 C (X; F ),
1 2
s es la
omposi
ion m Æ (s ; ), donde m es
omo en el Lema 1.1.8 y (s ; ) : X !
1 1 1
1 tiene
omponentes s y . Se veri
a fa
ilmente que s + s ; s 2 S y que,
1 1 2 1
on estas opera
iones, S es efe
tivamente un C (X; F )-modulo
on elemento identi
o
aditivo s . Por otra parte, un morsmo : ! de ha
es ve
toriales indu
e por
0
omposi
ion un morsmo S : S ! S de C (X; F )-modulos. En parti
ular, al restringir
a una ve
indad U de X , vemos que manda se
iones lo
ales (denidas en U ) de
en
orrespondientes se
iones lo
ales de . En la Proposi
ion 1.2.4 siguiente vemos que
esta ultima
ondi
ion, junto
on la linealidad de ,
ara
terizan la
ontinuidad de .
Comparese
on la Proposi
ion 1.1.5.
Ejemplo 1.2.3 Las
onsidera
iones anteriores muestran que, en el Ejemplo 1.2.2, la
igualdad SX F n = C (X; F ) C (X; F ) es
ierta
omo C (X; F )-modulos, es de
ir,
las se
iones del haz ve
torial trivial de dimension n forman un C (X; F )-modulo libre
de rango n. De he
ho los elementos e ; e ; : : : ; en denidos en el Ejemplo 1.2.2 forman
1 2
una base de este modulo.
Proposi
ion 1.2.4 Sea : E ! E una fun
ion brada entre los espa
ios totales
de los ha
es ve
toriales y sobre X tal que, para
ada se
ion lo
al s D(x) de , la
omposi
ion Æ s es una
orrespondiente se
ion lo
al de . Si es lineal en bras,
enton
es determina un morsmo de ha
es ve
toriales : ! .
6 CAPITULO 1. HACES VECTORIALES
Demostra
ion. Solo hay que veri
ar la
ontinuidad D(x) de y, en vista de la nat-
uraleza de la hipotesis, podemos suponer que y son ambos triviales (de respe
ti-
vas dimensiones n y m) y que : X F n ! X F m preserva se
iones globales.
Denotado por fe ; : : : ; eng y fe0 ; : : : ; e0m g las bases del Ejemplo 1.2.3 para SxxF n y
1 1
Pm
SxxF m respe
tivamente, la hipotesis impli
a rela
iones Æ eI = ij e0j para es
alares
j =1
ij 2 C (X; F ) (1 i n). De esta manera, la linealidad brada de produ
e
(x; t1 ; : : : ; tn ) =
Xn t ( Æ e )(x)
i i
i=1
=
X X t ( e0 )(x)
n m
i ij j
i j=1 =1
X m Xn
= (x; 0; : : : ; 0; ti ij (x); 0; : : : ; 0) (en la j {esima posi
ion)
j =1 i =1
X
n Xn
= (x; t (x); : : : ; t (x)):
i ij I im
i=1 i=1
Con
luimos la se
ion
on el siguiente resultado que rela
iona las se
iones de una
suma de Whitney
on las se
iones de las sumandos.
Proposi
ion 1.2.9 Sean y ha
es ve
toriales sobre X . Enton
es s y s s son
C (X; F ){modulos naturamente isomorfos.
Sea = (E; p) un haz ve
torial sobre X y supongase que para
ada x 2 X se tiene
subespa
io Fx de x. Formese F = [x2X Fx, al
ual dotamos
on la topologa de sube-
spa
io, y tomese q la restri
ion de p a F . Similarmente en E
onsiderese la real
ion
de equivalen
ia denida en parejas (a; b) 2 E E por a b si y solo si existe x 2 X
tal que a; v 2 x y a b 2 Fx. Formamos enton
es al
orrespondiente espa
io topoogi
o
o
iente G y a la fun
ion (ne
esariamente
ontinua) r : G ! X indu
ida por p (notese
que los elementos de G son las distintas
lases de equivalen
ia en x modulo Fx para los
diversos x 2 X ).
Deni
ion 1.3.1 Diremos que (F; q ) es un subhaz ve
torial de si,
on la estru
tura
lineal de subespa
io Fx x y
on la topologa de subespa
io Ux2X Fx E , (F; q) es
por si mismo un haz ve
torial. Analogamente, diremos que (G; r) es un haz ve
torial
o
iente de si,
on la estru
tura lineal
o
iente de
ada x=Fx y la topologa
o
iente
de G = E= , (G; r) es por si mismo un haz ve
torial.
8 CAPITULO 1. HACES VECTORIALES
Demostra
ion. La primera arma
ion es
onse
uen
ia de la igualdad dimF x = dimF Kx +
dimF Ix valida para
ada x 2 X y del he
ho de que dimF x es lo
almente
onstante en x.
Supongamos la
onsttan
ia lo
al en x de dimF Kx y de dimF Ix y probemos la trivialidad
lo
al de I y de K en un punto dado x 2 X . 0
Eljanse ! ; : : : ; !r base de Ix0 y
ompletese a una base ! ; : : : ; !m de x0 . Eljanse
1 1
V ; : : : ; Vr 2 x0
on x0 (Vi ) = !i para i = 1; : : : ; r y
ompletese a una base V ; : : : ; Vn
1 1
de x0 de modo que Vr ; : : : ; Vn sea base de Kx0 . Como en la Nota 1.3.4, tomase una
+1
base lo
al (denida en alguna ve
indad V de x ) s ; : : : ; sn de tal que si(x ) = Vi
0 1 0
para i = 1; : : : ; n. Similarmente, tomando se
iones lo
ales tr ; : : : ; tm de tales que
+1
tj (x ) = !j para j = r +1; : : : ; m, y deniendo tj = Æ sj para j = 1; : : : ; r se tendra que
0
t ; : : : ; tm en base lo
al de
on tj (x ) = !j para j = 1; : : : ; m (
on estas
onsidera
iones
1 0
lo
ales podemos suponer sin perdida de generalidad que todas las se
iones si y ti estan
denidas en la misma ve
indad V de x ). Notese que de la
onstru
ion, del Lema 1.3.3
0
y de la
onstan
ia lo
al de dimF Ix se tiene que t (x); : : : ; tr (x) en base de Ix para
1
ada x 2 V . De a
uerdo al Lema 1.2.6, la base lo
al t ; : : : ; tm produ
e in isomorsmo
1
lo
al de ha
es ve
toriales T : V F m ! jV tal que T Æ ej = tj para j = 1; : : : ; m. Si
F r ,! F m denota la in
lusi on en las primeras r
oordenadas, se tendra que la
omposi
ion
V F ,! V F ! jV es morsmo de ha
es que es monomorsmo en bras y
on
r m T
imagen [
2V Ix. Se tiene enton
es una fun
ion p : V F r ! [x2V Ix
ontinua y brada que
es isomorsmo lineal en bras (
omo en la demostra
ion del Lemma 1.1.7, no podemos
apli
ar la Proposi
ion 1.1.5 para
on
luir que se isomorsmo de ha
es ve
toriales pues
aun no sabemos si [x2V Ix es haz ve
torial)
on inverda (
laramente
ontinua) dada por
la
omposi
ion.
[ I ,! T ! _ F m ! _ F r ;
1
x j_
x2_
donde F m ! F r es la proye
ion en las primeras r
oordenadas. As es un isomorsmo
de ha
es ve
toriales probando la triviliada lo
al de I . Notese que t ; : : : ; tr es base lo
al
1
(denida en _) es tal haz. Para probar la trivilidad lo
al de K ne
esitamos areglar
las se
iones lo
ales sr ; : : : ; sn. Para i = r + 1; : : : ; n, Æ si es se
ion lo
al de I
+1
y, porPel Corolario 1.2.7 existen es
alares lo
ales i ; : : : ; ir 2 C (_; F ) tales que Æ
1
si = rj ij tj . Dado que tj = Æ sj para j = 1; : : : ; n, vemos que las se
iones
lo
ales s0r ; : : : ; s0n de denidas por s0i = si Prj ij sj para i = r + 1; : : : n son
=1
+1 =1
tales que: a) s ; : : : ; sr ; sr ; : : : ; s0n siguen siendo base lo
al de y b) para
ada x 2 _,
1 +1
10 CAPITULO 1. HACES VECTORIALES
s0r+1 (x); : : : ; s0n(x) viven en y forman una base de Kx (re
uerdese que tal es el
aso para
x = x0 , pues s0j (x0 ) = sj (x0 ) para j = r +1; : : : ; n, y que dimF Kx es lo
almente
onstante
en x). El resto es similar al
aso de I : la base lo
al s1; : : : ; srj ; s0r+1; : : : ; s0n produ
e un
isomorsmo lo
al de ha
es ve
toriales s : _F n ! j_ y, si ahora F n r ,! F n y F n ! F n r
on respe
tivamente la in
lusion y proye
i on en las ultimas n r
oordenadas, enton
es
ls
omposi
ion _ F n r ,! _ F n !s jV es morsmo de ha
es ve
toriales que es
monomorsms en bras
on imagen [x2_Kx y que, por tanto, produ
e una fun
ion
: _F n r ! [x2_ Kx
ontinua y brada que es isomorsmo lineal
on bra y que tienen
por inversa a la
omposi
ion (
laramente
ontinua) [x2_ Kx ,! j_ s! _F n ! _F n r .
1