Anales cientficos UNALM Vol 70 N 2, 2009 Recibido: 31/11/2006

ISSN 0255-0407 Aceptado: 22/01/2007

Fibrados vectoriales y el semigrupo V(X)

Ana Zela Apaza1

Resumen
Se presenta un estudio de una estructura que es la generalizacin del fibrado tangente denominada Fibrados
Vectoriales con sta estructura se formara el conjunto V(X) constituido por clases de isomorfismos de fibrados
vectoriales que al ser dotado con la Suma de Whitney se convierte en un semigrupo abeliano. Este semigrupo dara
origen a la K-teora topolgica.
Palabras clave:
Abstract
It is presented a study of a structure that is the generalization of the bundle tangent denominated Vector Bundles
with this structure will form the semigroup V(X) constituted by isomorphism classes of Vector Bundles that to the
being endowed with the Sum of Whitney, it becomes a commutative semigroup. This semigroup will give origin to
the topological K-theory.
Key words:

1. Introduccin 2. Para cada par de objetos X y Y se le asocia el

El objetivo del estudio de los fibrados vectoriales
sobre un espacio base X de Hausdorff y compacto; es
para formar el semigrupo abeliano V(X) de una
forma topolgica, tomando clases de fibrados
vectoriales isomorfos; la importancia de ste
semigrupo se v en el desarrollo de la teora de los K-
grupos bsicamente es la equivalencia que existe
entre la K-teora topolgica y la K- teora algebraica,
para sta equivalencia es impresindible el uso del
teorema de Swan (Ver Teorema 2) el cual
demostraremos en ste trabajo introduciendo para
ello el fibrado Universal sobre la variedad
Grassmaniana , dicho teorema afirma que la de
suma de dos fibrados vectoriales sobre un espacio
base X compacto es un fibrado trivial (Ver Ejemplo
4).
El trabajo est organizado como sigue: en la revisin
literaria tenemos dos secciones: en la primera se d
las definiciones y ejemplos bsicos de Categora y
Funtores puesto que al semigrupo V(X) lo podemos
ver de una manera funcional tomando V como un
funtor contravariante (Ver Definicin 2). En la
segunda seccin introducimos la nocin de fibrados
vectoriales.
En los materiales y mtodos tenemos 3 secciones: En
la primera construimos nuevos fibrados vectoriales
apartir de los ya conocidos; entre los ms importantes
est el fibrado vectorial Pullback que sera utilizado
para visualizar al semigrupo V(X) de una manera
funcional y el fibrado Universal que utilizaremos
para la demostracin del teorema de Swan. En la
segunda seccin se presenta la operacin Suma de
Whitney y en la tercera seccin veremos el estudio
del semigrupo abeliano V(X).
1.1. Categoras y factores
Definicin 1 (Categoras). Una categora est
formada por:
1. Una clase de objetos (conjuntos, espacios
topolgicos, grupos, etc).
1
Facultad de Ciencias, Universidad Nacional Agraria La Molina.
E-mail: azela@lamolina.edu.pe.
conjunto:
hom(X, Y) := {f:XY} donde f es un morfismos con
dominio X y rango Y .
3. Para cada terna de objetos X, Y y Z y los
morfismos f : X Y ; g : Y Z existe la
composicin de morfismos g o f : XZ que
satisface:
Asociativa: Si f : X Y , g : YZ y h: Z W
satisfacen h o (g o f) = (h o g) o f.
Linealidad: Para todo objeto Y existe un morfismo
tal que si f : X Y , entonces
y si h : Y Z entonces .
Nota.- Una categora se llama pequea si y slo si la
clase de objetos es un conjunto.
Ejemplo 1. Los espacios vectoriales V sobre
forman una categora cuyos morfismos son las
transformaciones lineales entre ellos.
Ejemplo 2. Las lgebras sobre forma una
categora donde los morfismos son los
homomorfismos de lgebras.
Ejemplo 3. Los grupos forma una categora con
morfismo, los homomorfismo de grupos.
Nuestro inters en las categoras es por la existencia
de aplicaciones entre categoras, esas aplicaciones las
cuales tienen la propiedad de preservar la identidad y
Composicin son llamados funtores.
Definicin 2 (Funtores). Sean C y D dos categoras.
Un funtor covariante ( funtor contravariante)
T:CD consiste de una funcin objeto la cual asigna
a cada objeto X C un objeto T(X) D y una
funcin morfismo la cual asigna a cada morfismo f :
X Y de C un morfismo:
T(f) : T(X) T(Y ) D (T(f) : T(Y ) T(X))
tal que
1.
2. T(gf) = T(g)T(f) (T(gf) = T(f)T(g)) (si f es
contravariante).
1.2. Fibrados Vectoriales
Informalmente un fibrado vectorial es una
construccin geomtrica donde a cada punto de un
espacio topolgico X unimos un espacio vectorial n-
dimensional de una manera compatible, dndole al

An cient. 70(2) 2009, pp. 91-98 99

 Fibrados vectoriales y el semigrupo V(X)

nuevo espacio as obtenido una estructura topolgica A los fibrados vectoriales triviales los denotaremos
y que se vea localmente como un producto cartesiano por donde n representa la dimensin del espacio
de cierto abierto U del espacio X por . vectorial V.
Definicin 3. Sea X un espacio topolgico llamado Ejemplo 5. (El Fibrado Tangente a la Esfera Unitaria
espacio Base. Un fibrado vectorial E sobre X es un .
espacio topolgico llamado espacio total junto con: Sea el fibrado
1. Una aplicacin continua y sobreyectiva vectorial sobre , siendo un vector del plano
p:EX tangente a en x, con la proyeccin p sobre el
denominada proyeccin tal que para todo los primer factor:
conjuntos llamados fibras tienen una
estructura de espacio vectorial de dimensin finita.
2. Una topologa sobre cada , la cual es compatible Con fibras
con la de E, es decir podemos inducir una topologa
sobre cada conociendo la topologa sobre E. espacios vectoriales, con las operaciones:
3. E satisface la condicin de trivialidad local. Esto ; donde .
significa que para cada existe una vecindad Adems E satisface la condicin de trivialidad local.
de x, donde es isomorfo al Para ello elegimos un punto y una vecindad
producto cartesiano , es decir, existen abierta conteniendo a z y acotado por el
homeomorfismos: hiperplano que pasa por el origen, que es ortogonal a
z.
es llamado trivializacin local del fibrado As definimos los homomorfismos:
vectorial E y al restringirnos a
es un isomorfismo de espacios vectoriales para cada
.
De acuerdo con la Definicin 3, los fibrados Donde es la proyeccin ortogonal sobre el plano
vectoriales son vistos como la unin de fibras tangente definido por:
para cada parametrizado por X y pegados
juntos por una topologa del espacio E. En general a ; de esto
un fibrado vectorial lo vemos como una terna (E,p,X) es una trivializacin local puesto que si
simplemente E si p y X son sobreentendidos. restringimos a sobre es un
Ejemplo 4. El fibrado vectorial sobre isomorfismo para cada .
el espacio topolgico X con la proyeccin p sobre el Ejemplo 6. (El Fibrado Normal de la Esfera Unitaria
primer factor, dado por: )
Sea

con fibras el espacio vectorial

E es llamado Fibrado Vectorial Trivial.
Al igual que el Ejemplo 5, la condicin de trivialidad
local est dado por son
obtenidos por la proyeccin ortogonal de las fibras
sobre para . sobre el mismo espacio topolgico X diremos que
Definicin 4. Sean (E, p,X) y (F, q, Y ) dos fibrados
vectoriales, un morfismo de fibrados vectoriales es un
par (, f) de aplicaciones continuas para las cuales se
cumple q o = f o p es equivalente decir que el
diagrama siguiente conmuta:
con proyeccin sobre el primer factor
X, esto convierte a en un isomorfismo. Veamos la
siguiente definicin.
Definicin 5. Sean E y F dos fibrados vectoriales
son isomorfos sobre X, si existe una aplicacin
continua
para la cual el diagrama conmuta

es decir q o = p y en cada fibra se tiene en un

y adems es una
transformacin lineal de espacios vectoriales.
El caso particular de morfismo es cuando la
aplicacin f es la identidad, as los fibrados
vectoriales estn definidos en el mismo espacio base
isomorfismo de espacios vectoriales.
En general no es fcil decir, si un fibrado vectorial es
trivial o n; los Ejemplos 5 y 6 nos muestran fibrados
vectoriales no triviales; existen aplicaciones
continuas denominadas secciones que nos ayudaran
ha reconocer si los fibrados vectoriales son triviales.

Anales cientficos UNALM Vol 70 N 2, 2009, pp. 99-104 100

 Ana Zela Apaza

Definicin 6. Una seccin de un fibrado vectorial E, por la definicin de es un homeomorfismo que si

es una funcin continua s : X E que satisface p o s restringimos a cada fibra es un isomorfismo de
= Id; dicho de otra manera , la fibra sobre espacios vectoriales.
x, para todo los . 2. Materiales y mtodos
Definicin 7. Una seccin local de un fibrado 2.1. Construccin de Fibrados Vectoriales
vectorial E, es una aplicacin continua s: U E tal En sta seccin, mostraremos cmo construir
que p o s(x) = x, para todo x U, es decir una fibrados vectoriales a partir de otros conocidos, entre
los principales es usando una aplicacin continua
eleccin continua de un vector en cualquier fibra.
Un subconjunto importante del espacio E es el f : X Y para transformar fibrados vectoriales
subespacio llamado el espacio nulo de E, que sobre Y en fibrados vectoriales sobre X.
consta de todos los elementos e E nulos en sus a) El Fibrado Restriccin.- Sea X es un espacio
respectivas fibras. toplogico, Y X subespacio de X y E un fibrado
A ste espacio se le puede identificar con el espacio vectorial sobre X con proyeccin p entonces E Y
base, porque son homeomorfos, as mismo podemos
definir secciones sobre dicho espacio. junto con la proyeccin p : p 1 (Y ) Y es un
Definicin 8. Una seccin se denomina nula si s es fibrado sobre Y, el cual llamaremos restriccin de E a
una aplicacin continua de E al espacio nulo , sto Y; las trivilizaciones se pueden elegir en forma
es, una seccin nula, es la unin de los vectores nulos natural como las aplicaciones rectriccin si el caso lo
en todas las fibras. amerita.
Proposicin 1. Toda seccin s de un fibrado vectorial b) El Fibrado Inducido Pullback.- Este fibrado
trivial n tiene la forma s( x) ( x, w( x)) donde
ser uno de los mas empleados en ste trabajo y a la
vez uno de los ms importantes. Para su construccin
w : X V n es una funcin nivocamente definida tomaremos un fibrado vectorial (E,p,X) y una
para s. aplicacin continua f : X Y los fibrados
Prueba.- Toda aplicacin s : X V tiene la
n
vectoriales sobre X son inducidos por fibrados
forma s( x) (s' ( x), w( x)) , donde s': X X y vectoriales sobre Y atravs de una construccin
Pullback. Definamos el fibrado vectorial Pullback
w : X V n son aplicaciones unicamente definidas Inducido como:
por s.
Desde que p o s(x) = x, s es una seccin si y
con proyeccin
solamente si s s( x) ( x, f ( x)) para cada x X. |
Al conjunto formado por todas las secciones de un
fibrado vectorial E, lo denoremos por (E).
con fibras:
Observacin.-
Un fibrado vectorial trivial "n tiene secciones no
nulas. Si:
s : X n
x ( x,0 ), 0 V 0 * 1
Siendo f ( p) ( x) e E un espacio vectorial y
son secciones constantes, adems p o *
s ( x) p( x,0 ) x. f ( E ) satisface la condicin de trivialidad local
Teorema 1. Un fibrado vectorial n-dimensional cuando E lo es. En efecto: Sea (U, h) un sistema de
coordenadas de E que satisface
p X es isomorfo a un fibrado vectorial trivial, si
y solo si, este tiene n secciones s1, s2 ,..., sn de si tomamos U1 = f1(U) obtenemos:
modo que s1 ( x), s2 ( x)...,son linealmente :
1
independientes en cada fibra p ( x) . es un homeomorfismo. Por lo tanto vemos que
Prueba.- Sea ( f * ( E ), f * ( p), X ) es un fibrado vectorial sobre X.
Un ejemplo trivial que podemos mencionar es el
un isomorfismo de fibrados, entonces consideremos siguiente. S f es la funcin inclusin de subespacios
las secciones si si ( x,i ) . Y X entonces f * ( E ) p 1 ( y) as la
restriccin sobre el subespacio es un caso particular
El caso contrario, sean secciones
de Pullback.
linealmente independiente y construyamos la
c) El Fibrado Vectorial Producto.- Sean
aplicacin:
( E1, p1, X1 ) y ( E2 , p2 , X 2 ) fibrados vectoriales; el
dada por

Anales cientficos UNALM Vol 70 N 2, 2009, pp. 99-104 101

 Fibrados vectoriales y el semigrupo V(X)

producto E1 x E2 es un fibrado vectorial, con inclusin induce una aplicacin

proyeccin as un conjunto es
abierto si y slo si es abierto en
p1 p2 : E1 E2 ! para todo k llamada topologa dbil; anlogo para
y fibras .
Lema 1. es un fibrado vectorial sobre
con proyeccin p(B, ) = B para cada k .
Prueba.- Ver [4][pgna 13])
Las construcciones de fibrados vectoriales en base a
los ya concidos, nos dan idea para definir operaciones
Analicemos la condicin de trivialidad local. Si
entre ellos, aqu slo desarrollaremos la Suma de
tomamos U U1xU 2 donde Whitney pero tambin existe el producto de dos
, obtenemos: fibrados vectoriales denominado producto tensorial.
2.2. La Suma de Whitney
d) El Fibrado Universal.- Para definir el fibrado Si vemos a los fibrados vectoriales como una
universal primero introduciremos la nocin del generalizacin de un espacio vectorial, esto es posible
Grassmaniano infinito que es la unin de las por la condicin de trivialidad local de los fibrados
variedades Grasmanianas formado por todos vectoriales; podemos extender las operaciones entre
los planos n dimensionales en que pasan por el espacios vectoriales a los fibrados vectoriales una de
origen. Comencemos definiendo el espacio vectorial: estas operaciones es la Suma de Whitney que es la
para un nmero generalizacin de la suma directa de dos espacios
finito de ndices} vectoriales.
La Suma de Whitney de dos fibrados vectoriales
donde el punto es visto
denotado por E F es un fibrado vectorial, un caso
como ( x1 , x2 ,...,0...) , as tenemos que particular de la restriccin del Fibrado Vectorial
. El Grassmaniano infinito se define Producto E F sobre la diagonal
como sigue:
Si E y F son fibrados vectoriales sobre el mismo
Existe otra manera de definir el Grassmaniano espacio base X, la Suma de Whitney es un fibrado
infinito utilizando una relacin de equivalencia que vectorial definido como:
identifica las n-tuplas de vectores linealmente
independientes de , para ello definamos el con proyeccin
espacio:

Sobre ste conjunto definamos una relacin de

equivalencia de la siguiente forma: la fibra de sobre , es el producto
(u1, u2 ,..., un ) ~ (1,2 ,...,n ) si y slo s existe suma directa de los espacios vectoriales
una matriz (aij ) nn no singular de modo que
(u1, u2 ,..., un ) (aij )nn (1,2 ,...,n ) ; notemos
que al ocurrir esto la n-tupla (u1 , u2 ,..., un ) es
combinacin lineal de los vectores (1 ,2 ,...,n )
es un fibrado vectorial con
generando as el mismo espacio vectorial; sto es los fibras que son la suma directa de espacios vectoriales
planos generados son los mismos. Si tomamos el de la suma de sus fibras.
cociente de ste espacio por esta relacin de Proposicin 2. Sean E y F fibrados vectoriales sobre
equivalencia podemos identificar un plano como una una aplicacin continua entonces
clase de equivalencia en el espacio cociente pudiendo
concluir: .
Prueba.- Definamos la aplicacin
Luego definamos los conjuntos:
notemos
que las inclusiones inducen
es una aplicacin continua y un isomorfismo en cada
las inclusiones y estas a fibra y por lo tanto un isomorfismo de fibrados
su vez inducen las inclusiones vectoriales. |
As podemos definir

que es el fibrado universal (Ver [4][pgna 13]).

Con la ayuda de estas inclusiones podemos definir
una topologa sobre tomando la aplicacin

Anales cientficos UNALM Vol 70 N 2, 2009, pp. 99-104 102

 Ana Zela Apaza

Proposicin 3. Sean E y F fibrados vectoriales sobre y la clase de los fibrados vectoriales triviales
el mismo espacio base X entonces n XxV n lo denotaremos por [ n ] donde n es la
. dimensin de V.
Prueba.- Si E y F son fibrados vectoriales entonces El conjunto de las clases de isomorfismos [E] de
existe el isomorfismo: fibrados vectoriales sobre el mismo espacio base X,
lo denotaremos por:
V (X) = [E] ;E fibrado vectorial sobre X}
Al dotar a V (X) de la suma de Whitney este conjunto
se convierte en un semigrupo conmutativo con
donde .
Observacin.- identidad la clase 0 dimensional [ 0 ].
Una de las consecuencias de la Suma de Whitney Teorema 3. V (X) junto con la operacin adicin
es: Si n y m son fibrados vectoriales triviales [E]+[F] = [E F] es un semigrupo.
Prueba.- La suma de dos clases de equivalencia est
entonces n m es un fibrado vectorial trivial bien definida: Puesto que si
puesto que existe el isomorfismo: entonces
adems V(X) es un semigrupo al verificar:
1. Asociativa: Sean E, F y G fibrados vectoriales
sobre el mismo espacio base X, satisafacen
. En efecto; existe el
donde w (1,2 ,...,n ) (w1, w2 ,..., wm (1,...,m )
isomorfismo:
k
V con k = n+m.
La suma de fibrados vectoriales no triviales puede
ser trivial, para ser ms exactos: Un fibrado vectorial
trivial podra muy bien resultar de la suma de dos
2. Si E es un fibrado vectorial con proyeccin
fibrados no triviales. Lo que establece precisamente
p:EX existe el fibrado vectorial donde
el teorema de Swan que todo fibrado vectorial con
espacio base compacto tiene un complemento para la el cual satisface .|
cual la suma es trivial. Otra forma de ver al semigrupo V (X) es como la
Teorema 2 (Swan). Sea (E, p,X) un fibrado vectorial imagen del un espacio topolgico compacto; es decir
localmente trivial sobre un espacio base compacto X V es un funtor contravariante (Ver Definicin 2)
entonces existe un fibrado vectorial localmente trivial entre las categoras de espacios compactos y
F sobre X tal que la suma es trivial. semigrupos abelianos (Ver Definicin 1). Aqu es
Prueba.- Probaremos para el fibrado vectorial donde veremos a V(X) de una manera funcional del
(Ver Lema 1) para este fibrado vectorial siguiente modo: Si f : Y X es una aplicacin
existe el fibrado vectorial continua induce un homomorfismo:
.
Si identificamos con esto es
*
posible tomando su complemento ortogonal; as el donde f ( E ) es el fibrado vectorial sobre Y
fibrado vectorial sobre con proyeccin: (Fibrado Pullback). Con esta identificacin V
preserva la identidad y la composicin de
isomorfismos. Si g : Y Z es otra aplicacin
continua entonces gof : X Z induce:
coincide con el fibrado sobre .
As la suma:
es isomorfo al fibrado trivial
bajo la aplicacin:

con esto demostramos que la suma de dos fibrados

vectoriales es trivial.
2.3. El Semigrupo V (X)
En la definicion 5, vimos la nocin de isomorfismo
entre fibrados vectoriales, al agrupar en una clase a adems los fibrados Pullback satisface:
todos aquellos fibrados vectoriales E que sean
isomorfos, nace la clase de los fibrados vectoriales as mismo preserva la identidad Id: X X.
isomorfos entre si, el cual denotaremos por:
[E] = {F fibrado vectorial; F E}

Anales cientficos UNALM Vol 70 N 2, 2009, pp. 99-104 103

 Fibrados vectoriales y el semigrupo V(X)
con estas aplicaciones se demuestra que V es un
funtor contravariante.
Ejemplo 7. Si X = {p} con p un punto tenemos que
el fibrado vectorial sobre X es trivial. V (X) .
3. Conclusiones
Podemos concluir que el semigrupo V (X) puede ser
formado topolgicamente en base a los fibrados
vectoriales como vimos en la seccin 3.3 de este
trabajo pero no es la nica forma pes el semigrupo
V (X) puede ser formado de una manera algebraica
como clases de anillos, algebras (Ver [2]) isomorfos
entre s, obviamente existe una teora que garantiza
este hecho.
Anales cientficos UNALM Vol 70 N 2, 2009, pp. 99-104
As mismo concluimos que V (X) abre las puertas a
la teora de los K-grupos topolgicos algebraicos
dependiendo de cuales son nuestras estructuras.
4. Referencias bibliogrficas
James Munkres, Topologa un Primer Curso, New
Jersey 1975.
Sze-Tsen Hu, Introduccin al lgebra Homolgica,
Ed. Vicens-Vives 1974.
Manfredo Do Carmo, Geometra Reimanniana, 1998.
Allen Hatcher, Vector Bundles and K- Teora, 1998.
Lang Serge, Complex Analysis, Addison -Wesley
Publishing Company in Andsterdan, 1977.
Atiyah, M. F., Topologia Universal, Topology 3,
Suppl. 1, 3-38, 1964.
104