Sie sind auf Seite 1von 41

Topologa II

Enrique Ramrez Losada


Universidad de Guanajuato
Enero Junio 2012
Eugenio Daniel Flores Alatorre

Temario
Axiomas de separacin
o Lema de Urysolin
o Teorema de Tietze
Grupo fundamental
o Homotopa de funciones
o Definicin
o Propiedades
o


Parntesis algebrico
o Grupos libres
o Generadores y relaciones
o Presentaciones de grupos
o Movidas de Tietze
Teorema de Seifor-Van Kampen
o Aplicaciones
teoras de espacios cubrientes
o Definicin de espacio cubriente
o Levantamiento de trayectorias y homotopas
o Cubrientes regulares
o Existencia de cubierta universal
Bibliografa
Hatcher: Algebraic Topology (Chap. 1)
www.math.cornell.edu/~Hatcher
Crowell, Fox: Introduction to knot theory (Chaps 1, 2, 3)
QA612.2 C76
Gray B. Homotopy theory, an introduction (Teorema S-VK)
QA612.7 67
Kosniowsky: A first course in algebraic topology
QA612 K68
Massey: Algebraic Topology, an introduction
QA612 M37
Munkres: Topology; Elements of algebraic topology

Axiomas de separacin
Definicin:



Sea espacio topolgico. Decimos que es

ssi cualesquiera dos puntos

,
existe un abierto de tal que y o y .
Definicin:



Sea espacio topolgico. Decimos que es

ssi dados

existen abiertos
de tales que

y .
Observacin:


Contraejemplo: con . Entonces es

pero no es

.
Proposicin: es

ssi todo conjunto finito de puntos de es cerrado.


Esto es equivalente a pedir que los conjuntos de la forma con punto, son cerrados.
Definicin:

o Hausdorff

Sea espacio topolgico. Decimos que es

ssi para cualesquiera dos puntos

existen abiertos ajenos tales que y .


Contraejemplo: tal que y sea la topologa cofinita. Entonces es

pero no es

.
Ejemplo:
Sea y . Probaremos
que es base de una topologa.
1) Para todo existe tal que .
Sea .
2) Sean

. P.D. existe

tal que

.
Sean

. Veamos que


pues

ya que ambos son contables y

es un abierto en .
es base.
Sea la topologa generada por . Observacin: es ms fina que la topologa estndar en .
Como con la topologa estndar es

y es ms fina, entonces con es tambin

.
Definicin: Regular

Sea es espacio topolgico. Decimos que es regular ssi dados y cerrado en , tales que
, existen abiertos ajenos con y .
Contraejemplo: es

pero no es regular.
Observemos que es cerrado en . Sea y sean abiertos de tales que
y V. Como y es abierto, existe un conjunto

tal que

, pero

donde

es un abierto de con la topologa estndar. Por ser

un abierto de ,
existe tal que

.
Sea

tal que

, cerrado. Como

son abiertos de en la topologa


estndar, entonces

es un abierto en esa topologa y

.De aqu, existe un


intervalo tal que

, no numerable. Entonces


Como

. Por lo tanto, no es regular.


Definicin: Completamente regular
Sea un espacio topolgico. Decimos que es completamente regular ssi dados y
cerrado en con , existe una funcin continua , , tal que y

Observacin: Si es completamente regular, entonces es regular.
Definicin: Normal

Sea un espacio topolgico. Decimos que es normal ssi dados

cerrados ajenos en ,
existen abiertos tales que

.
Definicin:


Sea un espacio topolgico. Decimos que es

ssi es regular y


Contraejemplo: Espacio topolgico que s es regular pero no es

.
Sea conjunto y la topologa indiscreta. Si tiene al menos un punto, no es

pero s es
regular y completamente regular (por vacuidad).
Algunos textos definen

como regular y

. Quisiramos mostrar la equivalencia. Como

, es fcil ver que

. Vamos a mostrar que

y as, como

, acabamos.
Proposicin:


Sean tales que . P.D.: existen abiertos ajenos tales que y . Como
es

, sin prdida de generalidad, existe un abierto

tal que

. Veamos que

es cerrado y que

. Como es regular, existen abiertos ajenos tales que


y

, pero

y . Por lo tanto es

.
Definicin: Tychonoff
Sea espacio topolgico. Decimos que es Tychonoff ssi es completamente regular y

.
Definicin:


Sea espacio topolgico. Decimos que es

ssi es normal y

.
Observacin: Si es Tychonoff, entonces es

.
Lema de Urysohn
Decir que un espacio es normal resulta ser una suposicin muy fuerte. En particular, los espacios
normales admiten muchas funciones continuas:
Teorema (Lema de Urysohn): Si son conjuntos cerrados disjuntos de un espacio normal ,
entonces existe una funcin continua tal que para todo , y para todo
,
Este lema tiene muchsimas grandes aplicaciones:
a) Teorema de metrizacon de Urysohn. Si es un espacio normal con una base contable (i.
e. segundo-contable), entonces podemos usar la abundancia de funciones continuas de
en para asignarle coordenadas a los puntos de para obtener un encaje de en

. De aqu, podemos ver que cada segundo-contable espacio normal es un espacio


mtrico.
b) Teorema de extensin de Tietze. Sea un subconjunto de un espacio y
una funcin continua. Si es normal y cerrado en , entonces podemos encontrar una
funcin de tal que

, es decir, es una extensin de en .


c) Encaje de variedades en

. Un espacio es una -variedad topolgica si para cada


punto , existe una vecindad abierta

tal que

es homeomorfo a una -bola


abierta.
Desarrollando una herramienta llamada particiones de unidad, obtenemos el siguiente
teorema: Toda -variedad compacta es homeomorfa a un subespacio de algn

.
Demostracin: De alguna manera, tenemos que asociar un nmero a cada punto . Ms
an, nuestra funcin tiene que ser continua (de otro modo la prueba sera trivial y el teorema no
tendra contenido significante), mapear el conjunto en el 0 y el conjunto en el 1. Todo lo que
sabemos de es nuestra hiptesis de que es normal. Vamos a definir una gran coleccin de
abiertos en ; entonces decidiremos para cada , qu debera ser a partir de los
conjuntos de la coleccin a los cuales pertenece o no.
Sea el conjunto de los racionales dinmicos en , es decir

.
Construiremos la secuencia de abiertos

, con ndices .
Primero, sea

. Puesto que es normal, existen vecindades abiertas y disjuntas y


. Notemos que la existencia de disjunta de nos dice que

, es decir,


Sea

esta vecindad . Entonces, para todos los subconjuntos subsecuentes

que
definiremos, tendremos

; y para todo ,

.
El conjunto cerrado

est contenido en el conjunto abierto . Dado que es normal, existe


un abierto (que llamaremos

) tal que


Continuamos de manera inductiva: interpolamos

entre

y

; interpolamos

entre


y ; luego definimos



, etctera.
Obtenemos una secuencia de abiertos

tales que
(1) Para cada ,

.
(2)

y para cada ,

.
(3) Para cada con , tenemos que


Ahora, definimos como


para cada
La funcin est bien definida pues todo punto pertenece a algn conjunto

, al menos a

. Por la condicin (1), . Por la condicin (2), . (Observacin, no estamos


implicando que es 0 nicamente en o que es 1 nicamente en . En general, el conjunto 0 y
el conjunto 1 sern mucho ms grandes que slo o .) Falta mostrar que es continua.
Primero, establecemos dos lemas:
(a) Si , entonces


(b) Si , entonces


Para cada , sea

. Entonces Los nmeros y los


conjuntos

estn ordenados de la misma manera. As, si y

, entonces .
El nfimo puede ser el menor de los elementos de o puede ser un punto lmite menor
que no est s mismo en .
Prueba de (a): Si , debe haber algn hueco entre y ; en particular, existe algn
tal que

. Pero

, y entonces

.
Prueba de (b): Si , entonces existe

tal que

, en cuyo caso
, as que


Ahora podemos mostrar que es continua. Necesitamos mostrar que la pre-imagen de todo sub
bsico o es abierto en . Supongamos primero que Elegimos algn
con Afirmamos que el conjunto abierto

es una vecindad de que es


mapeada por en . Primero, por (a), , as que es una vecindad de . Si
es cualquier punto de , entonces ; de otro modo, , si , entonces, por
(b),

.
El argumento es mucho ms simple para

Supongamos que y elegimos tal


que . Por (b),

Afirmamos que la vecindad

es mapeada por en
Supongamos que es cualquier punto de

Entonces , as que
Hemos probado que es normal si y slo si para cualesquiera dos cerrados disjuntos existe
una funcin continua tal que

.
Corolario: Si es

, entonces es Tychonoff.
Demostracin: es

si y slo si es Normal y

. Recordemos que en


Observacin: Podemos sustituir por cualquier intervalo cerrado.

Sea . Como la composicin de funciones es continua, es
continua.
Tenemos una cadena de implicaciones:


Observacin: No todos los autores manejan estos mismos axiomas de separacin para las
clasificaciones dadas. Por ejemplo, Steen y Seebach en Counterexamples in Topology trabajan
segn los siguientes axiomas de separacin:

: Si , entonces existe un abierto tales que ya sea y o bien y


.

: Si , entonces existen abiertos

de respectivamente tales que

: Si , entonces existen abiertos disjuntos

de respectivamente.

: Si es cerrado en y un punto, entonces existen abiertos disjuntos

de
respectivamente.

: Si son cerrados disjuntos en , entonces existen abiertos disjuntos

de
respectivamente.

: Si son conjuntos separados en , entonces existen abiertos disjuntos

de
respectivamente.
Adems, considera las siguientes definiciones:
Regular: Si y slo si es

.
Normal: Si y slo si es

.
Las definiciones de estos autores no coinciden con las que seguiremos durante el curso. Veamos,
por ejemplo, que bajo esta definicin, los conceptos de Regular y

estn intercambiados, lo
mismo que Normal y

. Sin embargo, bajo estas definiciones, se tienen las siguientes


implicaciones:
Normal Regular


que coincide con nuestra cadena. Adems, esta prctica tabla de contenciones e implicaciones:

y la siguiente tabla que se extiende para incluir las definiciones que hacen falta y muchas otras
que no estamos considerando en el curso:

Teorema de extensin de Tietze
Sea un espacio topolgico normal y un subespacio cerrado de . Entonces, para toda funcin
continua , existe una funcin continua tal que

.
Demostracin: Dividimos el intervalo en los siguientes sub intervalos.

Sean


Entonces

son cerrados en , pero como es cerrado en , entonces

son cerrados en
y

Entonces existe una funcin continua

para toda
Calculemos

:
i) Si

pues y

.
ii) Si

pues y


iii) Si

, entonces

pues es la mxima diferencia.


Por lo tanto

.
Ahora, definimos



Sean


Entonces

cerrados en (primero en ) y

. Entonces existe


continua tal que


Entonces


de donde


Consideramos ahora



Y sean

.
De manera anloga a las anteriores, como

son cerrados en y

, existe

continua, tal que


Entonces


Si continuamos inductivamente, tenemos una funcin continua


tal que


para toda . Sea


Por demostrar:


es continua
Primero, veamos que

, de donde


que converge, entonces

converge. Adems,


por lo que .
Como


para toda , entonces si ,

. As que

.
Por ltimo,


as que, para toda ,


converge uniformemente. Recordando que la convergencia uniforme de funciones continuas es
continua, concluimos que es continua.
Homotopas de funciones
Definicin: Sean espacios topolgicos y funciones continuas. Decimos que es
homotpica a si y slo si existe una funcin continua con , tal que
y .

A la funcin se le llama homotopa entre y .
Ejemplo 1: Sean

y tal que y tal que . Definimos


tal que y .
Ejemplo2: Sea un subconjunto convexo de

y sean definida como

y
definida como . Definimos tal que

Definicin: Sea espacio topolgico. Decimos que es contrctil (contrable) si y slo si la funcin
identidad en es homotpica a la funcin constante .
Notacin: Si es homotpica a , escribimos
Proposicin: La relacin es de equivalencia.
1)
2)
3) .
Demostracin:
1) Supongamos . Sea tal que
2) Supongamos que , con continuas. Existe una funcin continua
tal que y . Sea definida como
es continua pues lo es y y
Entonces es una homotopa entre y .
3) Suponemos y . P. D. . Las funciones son continuas. Existe
continua, tal que y y existe continua,
tal que y .
Sea definida como



Entonces y .
Concluimos que .
Proposicin: Sean espacios topolgicos y

funciones continuas y


funciones continuas. Si

, entonces

.
Demostracin: Probaremos que

y luego que

, lo cual nos da la
conclusin por transitividad.
P. D.

; como

, existen continua tal que

. Sea definido como

y funciona.

P. D.

. Definimos

como

es continua pues
las funciones coordenadas son continuas. Sea

, tambin es continua pues es la


composicin de funciones continuas. Adems,

como queramos.

Definicin: Sean espacios topolgicos. Decimos que es del mismo tipo de homotopa que
(es homotpicamente equivalente a ) si y slo si existen funciones continuas y
tales que

.
Si e son homeomorfos, entonces son del mismo tipo de homotopa.
Observacin: el regreso es falso. Un ejemplo es que

tiene el mismo tipo de homotopa que un


punto. En general, los convexos son homotpicamente equivalentes a un punto.
Proposicin: Sea espacio topolgico. es contrctil si y slo si tiene el mismo tipo de
homotopa que un punto.
Demostracin:
Supongamos contrctil, es decir

con tal que

para todo
.
P.D. Existen

continuas tales que

.
Hacemos la inclusin de

en , i. e.,

Luego,

donde


por definicin y ,

para todo , y como


concluimos que


Supongamos que es homotpicamente equivalente a un punto.
P.D. es contrctil.
Sea

y sean

. Por hiptesis,

pero

para todo
. Entonces es funcin constante en

.
Retractos
Definicin: Sea espacio topolgico y . Decimos que es retracto de (o que se retrae a
) si y slo si existe una funcin continua tal que

, donde es la
inclusin; o bien, si

.
A se le llama retraccin.
Definicin: Sea espacio topolgico y . Decimos que es un retracto por deformacin de
si y slo si es retracto de y

. Es decir, existe una homotopa entre y

,
tal que y

.
Ejemplo: Sea

y sea

.
Sea

la inclusin y definimos

como y

. Por lo
tanto,

es retracto de .
Sea la funcin , continua. Veamos que

y tambin

y, por ltimo,


Definicin: Sea espacio topolgico y . Decimos que es retracto por deformacin fuerte
de si y slo si es retracto por deformacin y la homotopa entre y

es tal que
para todo .
Definicin: Sean espacios topolgicos y sean tales que

donde .
Decimos que es homotpicamente equivalente a relativa al subconjunto si y slo si existe
una homotopa tal que y
para todo .
Si es homotpicamente equivalente a relativo a , escribimos

Nota: es una relacin de equivalencia.
Trayectorias
Definicin: Sea un espacio topolgico y sean

. Decimos que es una


trayectoria si y slo si es continua y

.
Si , decimos que es un lazo.
Definicin: Producto de trayectorias.

Sean espacios topolgicos y sean trayectorias tales que

donde

. Definimos el producto de como





Definicin: Sea espacio topolgico y trayectorias tales que

. Decimos que es equivalente a si y slo si es homotpicamente


equivalente a relativo a .
Es decir, si y slo si existe una homotopa tal que y
adems



Si equivalente a escribimos

Proposicin: Sea espacio topolgico y

trayectorias tales que



Supongamos que

y que

. Entonces,

Demostracin: Sea tal que

y adems,

, es decir, es la homotopa entre y . Adicionalmente, sea tal que


y adems

, es decir, es la homotopa
entre y .

Definimos como


por el lema del pegado, es continua.
Veamos que se cumple:


que es lo que queramos demostrar.
Recordemos rpidamente el Lema del Pegado:
Lema (del pegado): Sea un espacio topolgico tal que

donde

son subespacios
cerrados. Si para algn espacio y para cada existe una funcin continua

tal
que

, entonces existe una nica funcin continua con


para todo .
Observacin: Si trayectoria tal que

con

,definimos los
neutros multiplicativos de como:

tal que

tal que


que cumplen que


Definicin: Sea una trayectoria tal que

. Definimos


como


Inversos

Calculamos la ecuacin de la recta:


Definimos la transformacin




y entonces


y sabemos que es continua por el lema del pegado.




y hacemos el diagrama para el otro inverso

Notacin: En ocasiones escribiremos

.
Proposicin: Sean trayectorias tales que


donde

. Entonces

Demostracin: Queremos demostrar que existe una homotopa tal que
.

Definimos



y, por ltimo,


sabemos que es continua por el lema del pegado. Adems


por lo tanto, el producto es asociativo.
Definicin: Sea una trayectoria. Decimos que es un lazo si y slo si . Si
, decimos que es un lazo basado en .
Notacin: Sea un espacio topolgico y . El conjunto de clases de equivalencia de lazos
lo denotamos por


Proposicin: Sea espaciotopolgico y . Definimos el producto de dos clases de lazos
basados en , , como
Entonces, el conjunto

es un grupo con esta operacin.


Demostracin:
0) El producto est bien definido (demostrado por la proposicin anterior).
1)

es cerrado con esta operacin.


2) El producto es asociativo (demostrado por la proposicin anterior).
3) Existe un neutro multiplicativo


4) Sea

, entonces existe

definido como


habiendo definido







de nuevo, sabemos que es continua por el lema del pegado, y tambin


siempre que ; adems


Definicin: Al grupo

lo llamamos grupo fundamental de basado en , o primer grupo


de homotopa basado en .
Proposicin: Sea espacio topolgico y

. Si existe una trayectoria tal que


, es decir, que une a

con

, entonces

es isomorfo a

.
Demostracin: Consideremos

definida como

.

1) Para demostrar que est bien definida, queremos ver que si

, entonces

, es decir,

. Como el producto est bien definido, la funcin tambin.


2) Queremos mostrar que

. Veamos que:


3) Queremos mostrar que es un isomorfismo. Sea


Claramente


Corolario: Si es arcoconexo, entonces

es isomorfo a

para cualesquiera dos


puntos . En este caso, escribimos

.
Notacin: Sea continua, tal que

donde

. En este caso,
denotaremos la funcin como


Proposicin: Sea

. Definimos


entonces

es homomorfismo.

Demostracin: 1) Veamos primero que est bien definida. Sea . Queremos mostrar que

, es decir .

Como , existe tal que

. Sea
definida como , que es una homotopa entre y .
2)



de donde

Observacin: Si

funciones continuas, entonces


Veamos que


Sea

la identidad. Entonces

.
Parntesis: Puntores

Si entonces , y

.
Cierra parntesis
Teorema: Sea

homeomorfismo. Entonces


es un isomorfismo.
Demostracin: Sea

la inversa de . Como

, entonces


y de aqu se concluye que

es sobreyectiva.
Anlogamente, con la otra composicin, se concluye que

es inyectiva.
Proposicin: Sean

funciones continuas. Si es
homotpica a , entonces existe una trayectoria que une a

con

tal que


DIBUJO
DIAGRAMA
Demostracin: Existe tal que y continua. Sea la
funcin

.
DIBUJO
Queremos demostrar que

.
Recordemos que

y, equivalentemente,
. O bien, .
Sea

que une

con . Sea

. Si es , entonces

es

.
DIBUJO
Definimos la trayectoria

y veamos que


Sea la funcin


Por lo anterior, es una homotopa entre y .
Observacin: Si la homotopa entre y es relativa a

, entonces

.
Teorema: Sea la equivalencia homotpica y

. Entonces


es isomorfismo.
Demostracin: Como es la equivalencia homotpica, entonces existe tal que

. Sea


Adems


como

es isomorfismo, entonces

es inyectiva.
Luego, como

es isomorfismo y

, entonces

es inyectiva tambin.
Como

son ambas inyectivas y

es un isomorfismo, entonces

es sobreyectiva. Por
lo tanto,

es isomorfismo.
Corolario: Si es contrctil, entonces

es trivial.
Demostracin: Como es contrctil, entonces es del mismo tipo de homotopa que

. Adems, como

. Como

es trivial, entonces

es
trivial.
Definicin: Se dice que un espacio es simplemente conexo si y slo si es arco-conexo y


es trivial.
Ejemplo:

.

Ejemplo:

es conexo.
Proposicin: es simplemente conexo si y slo si para cualesquiera dos puntos de exista una
nica clase de homotopa de trayectorias que las une.
Demostracin: Supongamos que es simplemente conexo. Sean y sean
trayectorias tales que y . Entonces,

es un lazo basado
en y

es trivial porque es simplemente conexo, entonces



Veamos que


de donde
Ahora, supongamos que para cualesquiera dos puntos de existe una nica clase de homotopa
de trayectorias que las une. Entonces, es arcoconexo por hiptesis. Sea un lazo basado
en . como existe una nica clase de homotopa de trayectorias basada en , luego

, de
aqu

es trivial.
Ahora vamos rumbo a probar que

para lo cual necesitamos conocer lo bsico de


espacios cubrientes.
Espacios cubrientes
Definicin: Sea espacio topolgico y , y sea funcin continua. Decimos que una
vecindad de

en est parejamente cubierta (bien cubierta) por si y slo si


tal que

es homeomorfismo.

Definicin: Sea una funcin continua y sobre. Decimos que es una funcin cubriente y
que es un espacio cubriente si y slo si todo punto tiene una vecindad parejamente
cubierta por .
Ejemplo: Si homeo, entonces es funcin cubriente.
Ejemplo: Sea espacio topolgico y un espacio discreto (con la topologa discreta). Entonces
es funcin cubriente.
Ejemplo: Sea

la funcin .

Ejemplo: Sea

la funcin .

Definicin: Sean funcin (continua) y funcin (continua). Decimos que

es un levantamiento de si y slo si



Proposicin: Sea

una funcin cubriente y una trayectoria en tal que


( continua). Entonces, existe un nico levantamiento

de tal que



Proposicin: Sea

funcin cubriente y

funcin continua.
Supongamos que es conexo. Si existe una funcin continua

tal que


entonces

es nica.
Demostracin: Supongamos

continua y

. Definimos los conjuntos





Observemos que pues


Queremos mostrar que ambos conjuntos son abiertos. Como , tendra que pasar que
pues es conexo.

1) Demostremos que es abierto. Sea

P.D.: existe una vecindad de

contenida en
. Sea

un abierto parejamente cubierto por .


Sea

el elemento de

que contiene a

. Entonces

es una
vecindad de

y est contenido en , pues

es homeomorfismo.

2) Demostrar que es abierto. Sea

. Sea

el elemento de

que contiene a

para donde

. Entonces

es
una vecindad de

contenido en



Lema (Nmero de Lebesgue): Sea un espacio mtrico y sea un cubrimiento abierto de .
Si es secuencialmente compacto (toda sucesin de elementos de tiene una subsucesin
convergente en ), luego existe tal que para todo , est contenida en algn
.
Demostracin: Procedemos por contradiccin. Supongamos que es un espacio secuencialmente
compacto y para cada existe

tal que

para todo . Como es


secuencialmente compacto, existe una subsucesin de

, que denotaremos

, que converge en
. Sea dicho lmite, luego, tendremos que existe y tales que . Por loa
convergencia de

a , tendremos que existe tal que

, lo que es
una contradiccin, pues esto implicara que existe tal que


Proposicin: Sea

una funcin cubriente y sea una trayectoria tal que


. Entonces, existe un nico levantamiento

de tal que

.
Demostracin:
Definimos

. Sea

una subdivisin de tal que

donde

es una vecindad bien cubierta por .


Supongamos que existe

con

continua. Queremos definir


. Sabemos que

pertenece a una vecindad

que est bien cubera por . Sabemos que

pertenece a una vecindad

que est bien cubierta por . Sea

la vecindad de

tal que

es homeomorfismo de

en

.

Definimos

como

Veamos que

es continua
por el lema del pegado.
Continuamos inductivamente hasta que tenemos definida

en . Para esto, usamos el hecho


de que es compacto usando el teorema de Heine-Borel- y tambin es compacto.
Levantamiento de homotopas

Proposicin: Sea

una funcin cubriente y sea una funcin continua de


en con

. Entonces existe un nico levantamiento

de tal que


Si es una homotopa entre trayectorias , entonces

es una homotopa entre los


levantamientos



Demostracin: Sea

. Por la proposicin anterior,

la podemos extender a los


conjuntos . Sean

una
subdivisin de de forma tal que

estn contenidos en una vecindad


bien cubierta por .
Para facilitar la notacin, definimos

. Sean

. Supongamos que

est definida en los siguientes conjuntos:


para

para


Sea .
Queremos definir

en

. Como

est definida en , entonces

es conexo y
est contenido en alguna vecindad

donde

es una vecindad
que contiene a

y est bien cubierta por .


Como

es homeomorfismo, entonces existe


. Definimos

para
toda

es continua en

por el lema del pegado.


Continuamos la construccin hasta que la hayamos definido en todo
Proposicin:

donde


Demostracin: Sea



Sea

definida como
Sea

la siguiente funcin:


donde

es un levantamiento de tal que


Por demostrar:
1) est bien definida.
2) es sobreyectiva
3) es inyectiva
4) es morfismo
1) Sea

. Queremos demostrar que


Existe una funcin continua

tal que


por definicin de homotopa relativa. Sea

el levantamiento de tal que


Entonces el levantamiento de

y el levantamiento de

son homotpicos.

y como es conexo, entonces

Anlogamente,
. De aqu,




Por lo tanto,


2) Sea . Queremos mostrar que existe

, donde es un lazo

y tal
que
Sea

tal que


Sea

. Se puede ver que

. Entonces


3) Supongamos que . Queremos demostrar entonces que .
Entonces,

, donde

levantamientos en de respectivamente. Por la


proposicin anterior,

, es decir, existe tal que

y
Sea

la funcin . Es continua, pues ambas son continuas. Adems,




y, por lo tanto,
4) Por demostrar:
Observacin:
Sea definida como


donde

son levantamientos de respectivamente y


Afirmamos que es el levantamiento en de . Veamos que


De aqu, . Y as

Proposicin:

no es retracto de


Demostracin: Supongamos que s, para proceder por contradiccin. Es decir, existe una
retraccin de

en

tal que es continua y


entonces


pero

que implica que que es una contradiccin.


Teorema (Punto fijo de Brouwer): Sea

funcin continua. Entonces existe

tal
que
Demostracin: Supongamos que no existe tal , es decir, para toda

.
Sea

, donde

Entonces

. Observemos que
es continua.

Entonces es una retraccin de

en

, que es imposible.
Proposicin:


Demostracin: Sea



1) Queremos demostrar que est bien definida. Supongamos que . Por demostrar,

Como son homotpicas, existe tal que y
Sea

. Sabemos que es continua pues es composicin de


continuas en cada una de sus entradas. Podemos ver que:



Entonces

.
2) Queremos demostrar que es sobre. Sea


Sea . Entonces


continua en el producto. Por lo tanto


3) Queremos demostrar que es inyectiva. Supongamos que . Por demostrar:
.
Eso quiere decir que


pues


Sea

la homotopa entre

relativa al
Sea

. Esto es una homotopa entre y relativa al


4) Queremos demostrar que
Veamos que, por un lado,


Y, por el otro lado,



Corolario:

donde


Usando el teorema anterior,


Y en general,


Teorema: Sea donde abiertos en y y arco-conexo.
Si son simplemente conexos, entonces

es trivial.
Demostracin: arco-conexo pues y arco-conexos. Sea

y sea un
lazo basado en


Como continua,

abiertos de . Sean

la familia de las componentes


arco-conexas de

Son abiertos pues es localmente arco-conexo. Entonces

es una cubierta abierta de y por lo tanto es compacto, as que podemos tomar el


nmero de Lebesgue.

Tomemos una subdivisin

de forma tal que

est contenido
ya sea en o en
Sin prdida de generalidad, podemos considerar


Como la interseccin es arco-conexa, consideremos trayectorias


tales que

.
Sea

la funcin


Definimos

. Entonces


pues cada una es igual a

.
Corolario:

es simplemente conexo
Demostracin: Consideremos los conjuntos


Aplicando el resultado anterior, obtenemos la conclusin.
Aplicacin: Sea

. Entonces podemos calcular

para


Si , es trivial. Si , es igual a
Esto implica que

no son homeomorfas para (Tampoco y

.)

Das könnte Ihnen auch gefallen