Beruflich Dokumente
Kultur Dokumente
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
,
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
o Hausdorff
Sea espacio topolgico. Decimos que 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
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
.
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
un abierto de ,
existe tal que
.
Sea
tal que
, cerrado. Como
, no numerable. Entonces
Como
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
y as, como
, acabamos.
Proposicin:
Sean tales que . P.D.: existen abiertos ajenos tales que y . Como
es
tal que
. Veamos que
es cerrado y que
, 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
tal que
.
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
, es decir,
Sea
que
definiremos, tendremos
; y para todo ,
.
El conjunto cerrado
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
(b) Si , entonces
Para cada , sea
, 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
.
El argumento es mucho ms simple para
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:
de respectivamente.
de
respectivamente.
de
respectivamente.
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
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
y
para toda
Calculemos
:
i) Si
pues y
.
ii) Si
pues y
iii) Si
, entonces
.
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
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
tal que y .
Ejemplo2: Sea un subconjunto convexo de
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
y funciona.
P. D.
. Definimos
como
es continua pues
las funciones coordenadas son continuas. Sea
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
para todo
.
P.D. Existen
.
Hacemos la inclusin de
en , i. e.,
Luego,
donde
por definicin y ,
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
,
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
.
Si , decimos que es un lazo.
Definicin: Producto de trayectorias.
Sean espacios topolgicos y sean trayectorias tales que
donde
Definicin: Sea espacio topolgico y trayectorias tales que
Si equivalente a escribimos
Proposicin: Sea espacio topolgico y
Supongamos que
y que
. Entonces,
Demostracin: Sea tal que
y adems,
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
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
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
con
, entonces
es isomorfo a
.
Demostracin: Consideremos
definida como
.
1) Para demostrar que est bien definida, queremos ver que si
, entonces
, es decir,
. Veamos que:
3) Queremos mostrar que es un isomorfismo. Sea
Claramente
Corolario: Si es arcoconexo, entonces
es isomorfo a
.
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
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
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
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
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
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
Observemos que pues
Queremos mostrar que ambos conjuntos son abiertos. Como , tendra que pasar que
pues es conexo.
1) Demostremos que es abierto. Sea
contenida en
. Sea
Sea
el elemento de
que contiene a
. Entonces
es una
vecindad de
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
, que denotaremos
, que converge en
. Sea dicho lmite, luego, tendremos que existe y tales que . Por loa
convergencia de
, lo que es
una contradiccin, pues esto implicara que existe tal que
Proposicin: Sea
de tal que
.
Demostracin:
Definimos
. Sea
donde
con
. Sabemos que
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
de tal que
Si es una homotopa entre trayectorias , entonces
Demostracin: Sea
una
subdivisin de de forma tal que
. Sean
. Supongamos que
para
para
Sea .
Queremos definir
en
. Como
es conexo y
est contenido en alguna vecindad
donde
es una vecindad
que contiene a
. Definimos
para
toda
es continua en
donde
Demostracin: Sea
Sea
definida como
Sea
la siguiente funcin:
donde
Por demostrar:
1) est bien definida.
2) es sobreyectiva
3) es inyectiva
4) es morfismo
1) Sea
Existe una funcin continua
tal que
por definicin de homotopa relativa. Sea
Entonces el levantamiento de
y el levantamiento de
son homotpicos.
Anlogamente,
. De aqu,
Por lo tanto,
2) Sea . Queremos mostrar que existe
, donde es un lazo
y tal
que
Sea
tal que
Sea
. Entonces
3) Supongamos que . Queremos demostrar entonces que .
Entonces,
, donde
y
Sea
y, por lo tanto,
4) Por demostrar:
Observacin:
Sea definida como
donde
De aqu, . Y as
Proposicin:
no es retracto de
Demostracin: Supongamos que s, para proceder por contradiccin. Es decir, existe una
retraccin de
en
entonces
pero
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
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
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
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
para
Si , es trivial. Si , es igual a
Esto implica que
.)