Cap

tulo 1

Ha es ve toriales

En esta parte X denotara un espa io topologi o y F sera uno de los ampos R o C .

Si Y es otro espa io topologi o, on C (X; Y ) representaremos al onjunto de fun iones
ontinuas de X en Y , al que dotaremos, de ser ne esario, on la topologa ompa to-
abierta.

1.1 Propiedades elementales

Deni 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 morsmo 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 isomorsmo (global) de ha es si existe un morsmo 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

Deni ion 1.1.3 Un haz ve torial sobre X ( on oe ientes en F ) es un haz  sobre

X para el que ada bra x tiene estru tura de espa io ve torial sobre F y tal que para
ada x 2 X existe una ve indad abierta U de x, un entero n  0 y un isomorsmo de
ha es  : U  F n ! jU que es lineal en bras. Similarmente, un (iso)morsmo de ha es
ve toriales es un (iso)morsmo de ha es que es lineal en bras. Con  '  denotaremos
la existen ia de un isomorsmo de ha es ve toriales entre  y . A menos que se indique
lo ontrario, en adelante  = (E; p) denotara un haz ve torial sobre X .
Observese que, en la Deni ion 1.1.3, ada bra y (y 2 U ) es simultaneamente
isomorfa y homeomorfa a F n. En parti ular, la fun ion dim  : X ! Z, denida por
dim  (x) = dimF (x), es lo almente onstante (es de ir, ontinua) y, en parti ular, ons-
tante en omponentes onexas. Notese tambien que, on las estru turas algebrai a y
topologi a indu idas, ada restri ion jY es nuevamente un haz ve torial. Una onse-
uen ia inmediata de la deni ion es que la proye ion de un haz ve torial es una fun ion
lo almente abierta y, por tanto, una identi a ion, de modo que X se re upera omo un
o iente del espa io total.
Ejemplos 1.1.4 El haz trivial X  F n es un haz ve torial llamado el haz ve torial
trivial (sobre X ) de dimension n y que denotaremos por nX o, si no hay peligro de
onfusion, simplemente por n. La banda de Mobius M denida omo el o iente de
[ 1; 1℄  [ 1; 1℄ por la rela ion de equivalen ia que identi a ( 1; x) on (1; x) para
x 2 [ 1; 1℄, determina un haz ve torial sobre el r ulo [ 1; 1℄=( 1  1), on proye ion
denida en representantes por p(x; y) = x. El haz normal (sn) = f(x; y) 2 S n 
R n jy = x;  2 R g, on proye i
+1
on (x; y) ! x es una haz ve torial globalmente trivial
sobre S .n

Aunque un haz ve torial  es lo almente isomorfo a uno trivial, su espa io total

E puede tener algun tipo de torsion global, omo es el aso en el ultimo ejemplo. No
obstante, la topologa de E esta fuertemente determinada por la de X y por la trivialidad
lo al. Por ejemplo, la ontinuidad de la inversa de un isomorsmo de ha es ve toriales
es onse uen ia del resto de las propiedades de isomorsmo, omo vemos a ontinua ion.
Proposi ion 1.1.5 Sean  y  dos ha es ve toriales sobre X y sea  : E ! E una
fun ion ontinua y brada que es de he ho un isomorsmo lineal en bras. Enton es 
es isomorsmo de ha es ve toriales.
Demostra ion. Basta veri ar que  es un homeomorsmo lo al y, en vista de que los
ha es son lo almente triviales, podemos de he ho suponer que  y  son (globalmente)
triviales. Digamos  : X  F n ! X  F n on fun ion inversa  : X  F n ! X  F n. Note-
mos que la primera omponente tanto de  omo de  es la proye ion  : X  F n ! X ,
1
la ual es ontinua. Veremos que la ontinuidad de la segunda omponente de  es equiv-
alente a la ontinuidad de la orrespondiente omponente de  . La ompa idad lo al de
1.1. PROPIEDADES ELEMENTALES 3
Fn muestra que podemos equivalentemente onsiderar las respe tivas fun iones adjuntas
( Æ )0 : X ! C (F n; F n) y ( Æ  )0 : X ! C (F n; F n), donde en C (F n; F n) tomamos
2 2
la topologa ompa to-abierta. Dado que las imagenes de ( Æ )0 y de ( Æ  )0 aen
2 2
dentro del grupo GLn(F ) de automorsmos lineales de F n, la on lusion bus ada sera
onse uen ia de la ontinuidad de la fun ion  : GLn(F ) ! GLn(F ) que manda a ada
automorsmo en su inversa. Pero esta ultima fun ion es de he ho un homeomorsmo; en
efe to, 2 GLn(F ) oin ide on la eu lideana y, por otra parte, la inversa de una matriz
A 2 GLn (F ) se onstruye a base de opera iones aritmeti as que involu ran uni amente
las oordenadas de A (usando, por ejemplo, el determinante y la matriz adjunta lasi a
de A).
Deni ion 1.1.6 La suma de Whitney de dosSha es ve toriales  y  sobre X , denotada
por   , tiene por espa io total a la union x2X x  x ( omo subespa io topologi o
del produ to E  E ) y por proye ion a la fun ion denida por p(a; b) = x, para
(a; b) 2 x  x (en ada bra x  x estamos tomando la estru tura lineal de suma
dire ta).
Lema 1.1.7 La suma de Whitney de ha es ve toriales es nuevamente un haz ve torial.
Para ha es ve toriales  ,  0,  ,  0 y  se tienen las siguientes rela iones.
1. Si  '  0 y  '  0 , enton es    '  0   0 .
2.    '    .
3. (   )   '   (  ).
4.   0X ' .
Demostra ion. Los isomorsmos requeridos son los obvios una vez que mostremos que la
suma de Whitney es nuevamente una haz ve torial y, para esto, solo la trivialidad lo al no
es evidente. Para veri arla alrededor de un punto x 2 X tomamos una ve indad abierta
U de x junto on isomorsmos de ha es ve toriales  : U  F n ! jU y ' : U  F m ! jU .
Enton es la fun ion : U F n F m ! ( )jU denida por (u; x; y) = ((u; x); '(u; y))
es ontinua, brada e isomorsmo lineal en bras (no podemos apli ar la 1.1.5 para
on luir que sea isomorsmo de ha es pues aun no sabemos que (  )lu lo sea). La
ontinuidad de la inversa se sigue de la formula expl ita (a; b) = ( (a); z Æ ' (b)),
1 1 1

donde  : UxF n ! F m en la proye ion en la segunda oordenada. .

2

Para el siguiente resultado notamos que la fun ion q : E  F n ! X denida por

q (a; x) = p (x )(a) determina un haz ve torial   n = (E  F n ; q ) sobre X. De he ho, la
3
fun ion   n !   (X  F ) 


 (X  F ) (donde X  F apare e n ve es omo sumando)
denida por (a; x ; : : : ; xn) ! (a; (p (x )(a); x ); : : : ; (p (x )(a); xn)) es isomorsmo de
1 3 1 3
ha es ve toriales, en virtud de la Proposi ion 1.1.5. En parti ular, tomando  omo el
4 CAPITULO 1. HACES VECTORIALES

haz ve torial trivial de dimension ero se observa que la suma de Whitney de X  F

onsigo mismo n ve es oin ide on el haz trivial nX . Asi, el isomorsmo anterior toma
la forma   n '   nX .
Si Ln (F )  C (F n; F n) denota al onjunto de las transforma iones lineales de F n
es 2si mismo (de modo que GLn(F )  Ln (F )), enton es la topologa de subespa io en
F n ' Ln (F )  (F n ; F n ) oin ide en la eu lide ima.

Lema 1.1.8 Las fun iones de suma y multipli a ion es alar s :    !  y m :   1 !

 , denidas por s(a; b) = a + b y m(a; r) = ra, donde a; b 2 x y r 2 F , son (x2 )
ontinuas; s es de he ho morsmo de ha es ve toriales.

Demostra ion. La fun ion s es laramente brado y lineal en bras.

Para he ar la on-
tinuidad de m observamos que, para ada U omo en la Deni ion 1.1.3 ( on respe tivo
isomorsmo ), el siguiente diagrama es onmutativo
E O F m / EO

p 1 (UO )  F p 1 (O U )
? ?
/

1 

U  Fn  F / U  F n;

donde, dada la linealidad en bras de , el morsmo 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 isomorsmo determinado por  omo la demostra ion del Lema 1.1.7),
2

de modo que el morsmo 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

Deni 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 (denida 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, denimos
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 Deni 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 morsmo  :  !  de ha es ve toriales indu e por
0
omposi ion un morsmo 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 (denidas 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 denidos 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 morsmo 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

La ontinuidad de  resulta evidente de los extremos de esta adena de igualdades.

Deni ion 1.2.5 Las se iones s1 ; : : : ; sk 2 s se di en ser linealmente independientes
en X si para ada x 2 X los ve tores s1 (x); : : : ; sk (x) 2 x son linealmente independi-
entes. Si de he ho s1(x); : : : ; xk (x) forman una base de x para ada x 2 X , enton es las
se iones s1 ; : : : ; sn se llaman una base de  en X . Restringiendo  a ve indades abiertas
podemos extender los on eptos anteriores a se iones lo ales de  .
En vista del Ejemplo 1.2.3, el siguiente resultado rela iona el on epto de base en la
Deni ion 1.2.5 on el de base en el ontexto usual del C (X; F ){modulo s .
Lema 1.2.6 Cada onjunto de se iones s1 ; : : : ; sn 2 s determina un uni o morsmo
 : X  F n !  de ha er ve toriales tal que  Æ ei = si para i = 1; : : : ; n. En tales ondi-
iones s1 ; : : : ; sn son linealmente independientes en X si y solo si  es monomorsmo
en bras. Similarmente s1 ; : : : ; sn en base de  en X si y solo si  es isomorsmo en
bras. En parti ular, s1 ; : : : ; sn en base de  en X si y solo si  es isomorsmo de ha es
ve toriales.

Demostra ion. La formula (x; t1 ; : : : ; tn ) =

Pn ti
si(x) laramente determina la uni a
i =1
fun ion brada y lineal en bras que satisfa e la ondi ion deseada. La ontinuidad de
esta fun ion es onse uen ia del Lema 1.1.8. De las tres ultimas arma iones del lema,
las dos primeras son evidentes, mientras que la ultima se sigue del Lemma 1.1.5
1.3. SUBHACES Y HACES COCIENTES 7
Corolario 1.2.7 Las se iones s1 ; : : : ; sn 2 s son base de  en X si y solo si ada
se ion s 2 s se es ribe de una uni a forma omo s =
Pn isi para es alares i 2
i=1
C (X; F ).

Nota 1.2.8 La trivialidad lo al de un haz ve torial  sobre X arma que al rededor de

ada xÆ 2 X se puede denir una base lo al de  . En la siguiente se ion veremos que
la base se puede elegir para que tenga un valor predeterminado en x0 . Por el momento
observamos que la triviliadad lo al de  = (E; p) impli a que para ada a 2 E existe una
se ion lo al s (denida al rededor de p(a)) de  tal que s(p(a)) = a.

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.

Demostra ion. Las proye iones 1 :    !  y 2 :    !  son laramente morsmo

de ha es ve toriales y por tanto indu en morsmo s1 : s ! s y s2 : s ! s de
C (X; F ){modulos que a su vez son las omponentes de un morsmo s ! s  s de
C (X; F ){modulos. Por inspe ion dire ta se he a que este ultimo es de he ho biye tivo
y, por tanto, el C (X; F ){isomorsmo requerido.

1.3 Subha es y ha es o ientes

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 denida 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 ).
Deni 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

La parte rti a en la deni ion anterior en la trivialidad lo al de (F; q) o de (G; r)

uando se onsideran las estru turas topologi a y algebrai a indu idas. En vista de las
onsidera iones inmediatas a la Deni ion 1.1.3, una ondi ion ne esaria para esta triv-
iliadad lo al en la que la dimension de los sub onjuntos Fx sea lo almente onstante en
x. En el Teorema1.3.5 siguiente onsideraremos una situa ion de parti ular importan ia
en la que la onstan ia lo al de dimF Fx es tambien su iente para la triviliadad lo al
de (F; q) y (equivalentemente por el Corolario 1.3.7) de (G; r).
Ejemplo 1.3.2 En la situa ion previa a la De ion 1.3.1, si (F; q ) es subhaz ve torial
de  enton es la in lusion F ,! E determina un morsmo de ha es ve toriales que
es monomorsmo en bras. Similarmente uando (G; r) es haz ve torial o iente de 
la proye ion E ! G determina un morsmo de ha es ve toriales que es epimorsmo
en bras. Como onse uen ia del resultado prin ipal de esta se ion (Teorema 1.3.5)
veremos a la existen ia de morsmos omo los anteriores ara terizan, respe tivamente,
los on eptos de subhaz ve torial y de haz ve torial o iente (ver Nota 1.3.9).
Lema 1.3.3 Sean s1 ; : : : ; sn se iones lo ales (denidas en el sub onjunto abierto [ de
X ) de  . Si x0 2 [ es tal que s1 (x0 ); : : : ; sn (x0 ) 2 x0 son linealmente independientes,
enton es existe una ve indad abierta _ de 0 ontenido en [ tal que s1 ; : : : ; sn son lineal-
mente independientes en _. En parti ular, si s1 (x0 ); : : : ; sn (x0 ) en base de x0 , enton es
_ se puede elegir de modo que ademas s1 ; : : : ; sn sean base de  en _.
Demostra ion. La segunda parte del lema es onse uen ia de la primera y del he ho
de que dimF x es lo almente onstante en x. Nos on entraremos enton es en la on-
stru ion de la ve indad _ en la que s ; : : : ; sn sean linealmente independientes. En
1
vista de la naturaleza lo al de la on lusion podemos restringirnops a donde  sea triv-
ial, es de ir, podemos de he ho suponer  = X  F on las se iones s ; : : : ; sn denidas
1
en todo X (aun asi bus amos una ve indad ade uada de x 2 X ). Con la nota ion
0
del Ejemplo 1.2.3, digamos si = (i ; : : : ; im ), ij 2 C (X; F ). Enton es la fun ion
1
S : X ! Mnm (F ) denida por S (x) = [ij (x)℄ es ontinua y satisfa e que el rango
de s(x ) es n (notese que n  m). Podemos enton es elegir n olumnas de S (X )
0 0
de suerte que la matriz resultante sea invertible. Digamos que tales olumnas son las
numeroC ; : : : ; Cn on 1  C < C < : : : < Cn  m. Si M Mnm(F ) ! F es la
1 1 2
fun ion que a ada matriz A le aso ia su orrespondiente menor anterior, es de ir, el
determinante de la matriz por las olumnas numero C ; : : : ; Cn de A, enton es M es
1
laramente ontinua, asi que la omposi ion M Æ S n X ! F tambien lo es. Puesto que
esta ultima fun ion no se anula en x debera ser no nula en toda una ve indad _ de  .
0 0
Por onstru ion esto signi a que para  2 _, S (x) tiene rango maximo (es de ir n).
Nota 1.3.4 El resultado anterior ense~na omo onstruir bases lo ales de  on valores
predeterminados en un punto: omo se observa al nal de la Nota 1.2.8 basta tomar
se iones lo ales on el omportamiento deseado en un punto y el resto queda asegurado
por el Lemma 1.3.3
1.3. SUBHACES Y HACES COCIENTES 9
Teorema 1.3.5 Sea  :  !  un morsmo de ha es ve toriales sobre X . Para ada
x 2 X sean Xx y Kx la imagen y el nu leo respe tivamente de x {la transforma ion
lineal al restringir  a x . Enton es dimF Ix es lo almente onstante en x si y solo si
dimF Kx es lo almente onstante en x. En tal aso I = [x2X Ix y K = Ux2X Kx son los
espa ios totales de subha es ve toriales de  y  (a los que llamaremos respe tivamente
subhaz imagen y subhaz nu leo).

Demostra ion. La primera arma 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 (denida 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 deniendo 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
denidas 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 isomorsmo
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 morsmo de ha es que es monomorsmo 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 isomorsmo 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 isomorsmo 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 isomorsmo
de ha es ve toriales probando la triviliada lo al de I . Notese que t ; : : : ; tr es base lo al
1
(denida 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  denidas 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
isomorsmo 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 morsmo de ha es ve toriales que es
monomorsms 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 isomorsmo lineal on bra y que tienen
por inversa a la omposi ion ( laramente ontinua) [x2_ Kx ,! j_ s! _F n ! _F n r .
1

As is isomorsmo de ha es ve toriales probando la trivialidad lo al de K .

Ejemplo 1.3.6 La fun ion sn  R n+1 ! sn  R n+1 dada por (x; y ) ! (x; hx; y ix), donde
h; i es el produ tor intenso usual, satisfa e la primera on lusion del Teorema 1.3.5. El
haz imagen es pre isamente (sn) del Ejemplo 1.1.4, el haz mu ho nu leo se llama el
haz tangente de sn.
Corolario 1.3.7 En la situa ion previa de la Deni ion 1.3.1 la trivialidad lo al de
(f; q) es equivalente a la de (G; r).
Demostra ion. Supongase que (G; r) es haz ve torial o iente. Del Teorema 1.3.5, el
nu leo del morsmo anoni o de ha es ve toriales  ! G del Ejemplo 1.3.2 es subhaz
ve torial de  . Por supuesto, tal que subhaz es (F; q). Re pro amente, supongase
que (F; q) =  es subhaz ve torial de  y onsiderese el morsmo anoni o de ha es
ve toriales  !  del Ejemplo 1.3.2. Para ver la trivialidad lo al de (G; r) en un punto
x 2 _ observamos que en la demostra ion del Teorema 1.3.5 hemos ontruido una base
lo al (denida en alguna ve indad _ de x0 ) t1 ; : : : ; tm de  de forma que la primera r
se iona t1; : : : ; tr forman una base lo al de  (en parti ular tr+1 (x); : : : ; tm(x) indu e
una base del o iente x=x para ada x 2 _). Sea T : _  F m ! j_ el orrespondiente
isomorsmo de ha es ve toriales (Lema 1.2.6). Si F m r ,! F m es la in lusion en las
ultimas m r oordenadas y  : j_ ! [x2_x=x es la proye ion anoni a, enton es la
ompsi ion [  =
_  F m r ,! _  F m !T j_ x x
x2_
es ontinua y brada que indu e isomorsmos lineales en bras. Resta enton es probar
la ontinuidad de la inversa. Si  denota tal inversa enton es, por onstru ion, la
omposi ion j_ ! Ux2_x=x ! _  F m r enva la se ion lo al t en ei si i = r +
1
1; : : : ;1m, y en la se ion trivial si i = 1; : : : ; r. Este es el mismo efe to que la omposi ion
j_ T! _  F m ! 
_  F m r , donde  esta indu ida por la proye ion F m ! F m r en las
ultimas m r oordenadas. Por linealidad se tiene que de he ho  Æ  =  Æ T que 1

es enton es ontinua. En este punto, la ontinuidad de  se sigue al notar que  es una

identi a ion, la ual es ierto pues, por una parte,  es la restri ion de la identi a ion
global  = E ! G de la Deni ion 1.3.1 y, por la otra,  ((j_)) = j_.
1
1.3. SUBHACES Y HACES COCIENTES 11
Corolario 1.3.8 En la nota ion del Teorema 1.3.5 y suponiendo la onstan ia lo al de
dimF Ix se tiene que el haz o iente por el subhaz nu leo es isomorfo al subhaz imagen.
Demostra ion. Del Teorema 1.3.5 y del Corolario 1.3.7 sabemos la onstan ia lo al del
o iente. Ademas  determina una fun ion ontinua y fribrada que es isomorsmo
en bras de este o iente al subhaz imagen. La on lusion se sigue enton es de la
Proposi ion 1.1.5.
Nota 1.3.9 Si  !  y  !  son isomorsmos de ha es ve toriales tales que  es
monomorsmo en bras y  es epimorsmo en bras, enton es de la Proposi ion 1.1.5
 indu e un isomorsmo entre  y la imagen de , mientras que  indu e un isomorsmo
entre  y el o iente de  por el nu leo de  . Puesto de otra manera, la topologa de
E debe ser la de subespa io de E (via ), mientras que la topologa de E debe ser la
o iente de E (via  ).