Topología
Carlos Alfredo Norzagaray Márquez
July 2020
En este capítulo revisaremos los conceptos básicos necesarios para entender las variedades
diferenciables.
Al conjunto potencia de un conjunto X lo denotamos por P(X).
1. Topología
Sea X un conjunto (numerable o no numerable). Una topología T para X es una familia de
subconjuntos de X tales que cumplen los axiomas siguientes:
T
1. Si {Ai }i∈I ⊂ T , con I = {1, ..., n}, entonces i∈I Ai ∈ T . Es decir, la intersección finita de
elementos de T está en T .
S
2. Si {Ai }i∈I ⊂ T , donde I puede ser numerable o no, entonces i∈I Ai ∈ T . Es decir, la unión
arbitraria de elementos de T está en T .
3. X, ∅ ∈ T . El vacío y el conjunto total están en T .
A los elementos de T les llamamos abiertos o conjuntos abiertos. Es usual que también se les llame
vecindades abiertas, pero restringiremos el uso de este término para otras cosas. A un conjunto
dotado de una topología le llamamos espacio topológico y se denotan como el par (X, T ).
Ejemplos:
1. En Rn la topología es la conocida por las bolas abiertas es decir los conjuntosSde la forma
B (x) = {p ∈ Rn |d(p, x) < } (con la distancia usual), así la topología es TRn = x∈Rn B (x).
En efecto, la colección de estos conjuntos cumplen los axiomas de topología. A esta topología
se le llama topología usual.
2. A los conjuntos numerables se les puede definir una topología, llamada topología discreta,
que consiste en definir al conjunto potencia como la topología, es decir, todos los elementos
son abiertos de, incluyendo el total y el vacío. De esta manera los números naturales y los
enteros son espacios topológicos con esa topología.
3. La topología de un conjunto X dada por τX = {X, ∅} se conoce como topología indiscreta.
4. Los espacios métricos son espacios topológicos ya que la métrica induce una topología como
en Rn .
1
5. Considere a R con la siguiente topología. A ⊂ R es un abierto si R − A es finito. A esta
topología se le llama topología cofinita.
Se pueden definir otras topologías para espacios ya conocidos, como la línea de Sorgenfrey o la
línea dispersa o casos mucho más raros.
Recordemos que un espacio métrico es un conjunto X con una función d : X × X → R y
que satisfacen,para x, y, x ∈ X, 4 condiciones:
1. d(x, y) ≥ 0
2. d(x, x) = 0 y d(x, y) = 0 ⇒ x = y
3. d(x, y) = d(y, x) (Conmutatividad)
4. d(x, y) + d(y, z) ≥ d(x, z) (Desigualdad del triángulo)
Al par (X, d) se le llama espacio métrico y a la función d se le llama métrica o función [Link]
solamente no se cumple la segunda condición, (X, d) se dice que es pseudométrico.
Estos espacios son de suma importancia, pues nos permiten medir y, como veremos más adelante,
nos permitirán extender el análisis a espacios más abstractos.
Definición 1.1. Sea (X, T ) un espacio topológico y Y ⊂ X. La topología inducida en Y , TY ,
es la intersección de cada elemento de T con Y . Es decir TY = {U ∩ Y |U ∈ T }.
Definición 1.2. En un espacio topológico (X, TX ) decimos que E ⊂ X es cerrado si y sólo si
X − E es abierto, es decir, si el complemento de E es abierto.
Así, cada subconjunto de un espacio topológico hereda una topología, que es la definida ante-
riormente.
Ejemplo: Considere un intervalo cerrado [a, b] ⊂ R. Considere la topología usual en R, enton-
ces la topología inducida en [a, b] es la colección dada por todas las intersecciones de los abiertos
usuales (intervalos abiertos) con [a, b].
De Cálculo conocemos los conceptos de interior y frontera de un conjunto en espacios métricos.
Aquí definimos estos conceptos de forma más general.
S
Definición 1.3. Sea (X, T ) y A ⊂ X. Se define el interior de A como Å = {G ⊂ X|G ∈
T , G ⊂ A}. También se denota por Int(A).
T
Definición 1.4. Sea (X, T ) y B ⊂ X. La cerradura de B se define como B̄ = {H ⊂ X|B ⊂
H, H es cerrado}. También se puede denotar por ClX (B).
Definición 1.5. Sea (X, T ) y A ⊂ X. La frontera de A se define como ∂A = Ā\Å. También se
denota por F r(A).
2
Evidentemente la cerradura de un conjunto es cerrada y el interior es abierto.
Existen otras equivalencias sobre estas definiciones, las cuales se pueden consultar en cualquier
libro de topología general.
Nótese que las operaciones de cerradura, interior, frontera son respecto a la topología, porque es
la única que nos puede dar la caracterización de abierto y cerrado.
1.1. Bases
Ahora definimos el concepto de base de vecindades y base de una topología. Consideramos que
una vecindad de un punto x es un conjunto que contiene a x.
Definición 1.6. Sea (X, T ) y x ∈ X. Una base de vecindades de x, Bx , es una colección de
abiertos (elementos de T ) tales que para cada vecindad abierta U de x, existe una vecidad V ∈ Bx
tal que V ⊂ U .
Definición 1.7. Una base para la topología de (X, T ) es una subcolección de la topología tal que
la topología puede ser recuperada a partir de uniones
S de esta colección. En términos formales, una
base de T es una colección B ⊂ T tal que T = { B∈C B|C ⊂ B}.
Estas definiciones son importantes, ya que las volveremos a requerir en los axiomas de nume-
rabilidad. Además son útiles ya que a veces la topología puede ser complicada en general, pero
podemos expresar su base de manera más sencilla.
2. Homeomorfismos
En esta sección veremos qué son los homeomorfismos y qué funciones podemos definir con esto.
Más adelante veremos por qué son importantes en la Topología.
Definición 2.1 (Función continua). Sean (X, TX ) y (Y, TY ) espacios topológicos y sea f : (X, TX ) →
(Y, TY ). Entonces f es una función continua en x0 ∈ X si y sólo si para cada vecindad abierta
V de f (x0 ) en Y , existe una vecindad abierta U de x0 ∈ X tal que f (U ) ⊂ V . Decimos que f es
continua en X si y sólo si f es continua en cada punto x0 ∈ X.
Para acortar notación si decimos que X es un espacio topológico nos referimos a (X, TX ).
Teorema 2.1. Si X e Y son espacios topológicos y f : X → Y , entonces los siguientes enunciados
son equivalentes:
1. f es continua.
2. Para cada abierto H ⊂ Y , f −1 (H) es abierto en X.
3. Para cada cerrado K ⊂ Y , f −1 (K) es cerrado en X.
4. Para cada E ⊂ X, f (ClX E) ⊂ ClY f (E)
3
Teorema 2.2. Si X, Y, Z son espacios topológicos y f : X → Y y g : Y → Z son continuas,
entonces g ◦ f : X → Z es continua.
Definición 2.2. Sea f : X → Y y A ⊂ X. Usamos la notación f |A para denotar la restricción de
f en A definida como la función que va de A en Y y tal que f |A (a) = f (a), para toda a ∈ A.
Teorema 2.3. Sean X, Y espacios topológicos y A ⊂ X. Si f : X → Y es continua, entonces
(f |A) : A → Y es continua.
Definición 2.3 (Homeomorfismo). Sean X, Y espacios topológicos. Una función f : X → Y es
un homeomorfismo si y sólo si f es biyectiva, continua y f −1 es continua. En este caso decimos
que los espacios X y Y son homeomorfos y se denota por X ' Y . Si se cumple todo pero no es
suprayectiva, entonces f es un encaje de X en Y y decimos que X está encajado en Y mediante
f.
Teorema 2.4. El homeomorfismo es una relación de equivalencia.
Podemos ver que si dos espacios son homeomorfos, nos da igual topológicamente. Es decir, no
distinguimos entre ellos. Esto puede verse demasiado abstracto si pensamos en el ejemplo clásico
de la dona y la taza, porque se ven completamente diferentes, pero topológicamente son iguales y
posiblemente sería dificil diferenciar entre ellos si no los pudiéramos ver. Aunque hay muchas más
propiedades que podemos usar para determinar la equivalencia entre espacios topológicos. Pero si
podemos encontrar una función biyectiva y bicontinua (continua con inversa continua) entonces
podemos decir que son espacios homeomorfos (esto en general es muy complicado, sobretodo cuando
existe mucha más estructura).
Un ejemplo de función continua que es relevante es la siguiente.
Definición 2.4. Una función continua y suprayectiva r : X → A ⊂ X (A un subespacio de X)
es llamada retracción de X en A si r|A es la función identidad sobre A. Cuando tal retracción
existe, decimos que A es un retracto de X.
Podemos preguntarnos si un cascarón esférico es el retracto de una esfera sólida.
¿Todas las esferas son homeomorfas? ¿Serán todas las superficies cerradas (es decir, sin bordes,
como los cascarones) sin hoyos homeomorfas entre sí?
¿El círculo es el retracto de una banda de Mobius? ¿Lo es de un cilindro circular?
3. Espacios producto y cociente
Procedemos a definir productos de espacios topológicos y cocientes de espacios.
Definición 3.1. Sea Xα un conjunto para cada α ∈ A. El producto cartesiano de los conjuntos
Xα es el conjunto ( )
Y [
Xα = x : A → Xα |x(α) ∈ Xα , ∀α ∈ A
α∈A α∈A
. Entonces el producto es el conjunto de funciones definidas en el conjunto de índices. En la práctica
x(α) = xα y se refiere a la coordenada α de x.
4
Q
Definición [Link] función πβ : Xα → Xβ , definida como πβ (x) = xβ es llamada la función de
proyección de Xα en Xβ .
Necesitamos definir una topología para el producto de espacios topológicos.
Definición 3.3 (Topología Caja). Sea {(Xα , Tα )}α∈A una familia de espacios topológicos, donde
A puede ser un Qconjunto finito, infinito numerable o infinito no numerable. Definimos
Q una base
para el producto Xα tomando el producto de abiertos de cada factor, es decir, Uα , donde cada
Uα es un abierto de Xα , ∀α ∈ A. A la topología generada de esta manera se le llama topología
caja.
Esta es una topología válida, sin embargo no es usada comúnmente ya que si el producto es
no numerable, la cantidad posible de abiertos en inmensa. Ciertamente es válida en ese caso, pero
difícil de manejar. Por esto usamos usamos la topología producto o Tychonoff.
Q
Definición 3.4 (Tychonoff). La topología de Tychonoff o topologíaQproducto en Xα es
obtenida de tomar como base para la topología los conjuntos de la forma Uα , donde:
1. Uα es abierto en Xα , ∀α ∈ A.
2. Para todas, salvo una cantidad finita de coordenadas, Uα = X.
Ésta definición nos da otra topología válida, además de tener una cantidad de abiertos mucho
menor a la anterior definida. Note que las topologías caja y Tychonoff coinciden si el conjunto de
índices es finito.
Definición 3.5. La función proyección es continua.
Definición 3.6. Una función continua es abierta (cerrada) si manda abiertos (cerrados) en abier-
tos (cerrados).
Ahora definimos la topología cociente.
Definición 3.7. Si X es un espacio topológico, Y un conjunto y g : X → Y una función sobre,
entonces las colección τg de subconjuntos de Y definida por
τg = {G ⊂ Y |g −1 (G) ∈ TX }
es una topología en Y , llamada topología cociente inducida en Y por g. Cuando a Y se le dota
de tal topología, se le llama espacio cociente de X y a la función g función cociente.
Teorema 3.1. Sea Y con la topología cociente inducida por la función f : X → Y . Entonces una
función arbitraria h : Y → Z es continua si y sólo si h ◦ f : X → Z es continua.
Ejemplo:
Sea X = [0, 2π] con la topología usual y Y = {(x, y) ∈ R2 |x2 + y 2 = 1} con la topología usual
de R2 . Defina la función f : X → Y dada por f (x) = (cos(x), sin(x)). Entonces f es continua y
cerrada, por lo que el círculo con su topología usual es el cociente de [0, 2π].
Definición 3.8. Sea X un espacio topológico. Una descomposición D de X es una colección de
S X. Si a la descomposición D se le dota de una topología
subconjuntos disjuntos de X cuya unión es
en la cual F ⊂ D es abierto si y sólo si {F |F ∈ F} es abierto en X, entonces D se dice que es
el espacio de descomposición de X.
5
Definición 3.9. Si ∼ es una relación de equivalencia en un espacio topológico X, entonces el espa-
cio de identificación X/ ∼ está definido como el espacio de descomposición D cuyos elementos
son las clases de equivalencia de ∼.
Ejemplo:
Considere el cuadrado [0, 2π] × [0, 2π] ⊂ R2 . Si identificamos en punto (0, x) con el punto (2π, x),
el espacio de identificación resultante es homeomorfo al cilindro S1 × [0, 2π]. La función cociente
de [0, 2π] × [0, 2π] ⊂ R2 que da S1 × [0, 2π] como espacio cociente es f (x, y) = ((cos(x), sin(x)), y).
De manera análoga podemos identificar los bordes de del cilindro para formar el toro T 2 .
Nótese que se dijo homeomorfo, porque en realidad es un espacio abstracto, pero que se ve igual
(topológicamente) que el cilindro.
Otros ejemplos incluyen los espacios suspensión y cono. Sea X un espacio topológico e [0, 1] un
intervalo cerrado. El cono ΛX se obtiene de identificar los puntos de la forma (x, 1) en un solo
punto. La suspensión ΣX se obtiene de identificar los puntos (x, −1) en un solo punto y los puntos
(x, 1) en otro punto, del espacio X × [−1, 1].
4. Axiomas de separación
Existen al menos 4 axiomas de separación, sin embargo sólo necesitamos 3. De hecho, sólo sería
necesario mencionar 1, pero resulta útil conocer los primeros dos.
Axioma 4.1 (T0 ). (X, T ) es T0 o cumple el axioma 0 de separación si dados dos puntos distintos
x e y en X, existe un abierto que contiene a uno pero no al otro.
Axioma 4.2 (T1 ). (X, T ) es T1 o cumple el primer axioma de separación si dados dos puntos
distintos x e y en X, existe una vecindad de uno que no contiene al otro.
Por ejemplo, si X = {a, b} y la topología es τ = {X, ∅, {a}}, se cumple el axioma 0, pero no el
primero, pues b tiene una vecindad (X) que lo contiene y contiene a a.
Axioma 4.3 (T2 o Hausdorff). (X, T ) es T2 o Hausdorff si dados dos puntos distintos x e y en
X, existen abiertos disjuntos U y V en X tales que x ∈ U y y ∈ V .
Teorema 4.1. 1. Todo subespacio de un espacio T2 es T2 .
2. Un espacio producto no vacío es T2 si cada factor es T2 .
3. Los espacios cociente de espacios T2 no necesariamente son T2 .
Teorema 4.2. Los siguientes enunciados son equivalentes para un espacio topológico X:
1. X es Hausdorff.
2. Los límites en X son únicos.
3. El conjunto diagonal 4 = {(x, x)|x ∈ X} es cerrado en X × X.
6
5. Axiomas de numerabilidad
Axioma 5.1 (Primer axioma de numerabilidad). Un espacio topológico (X, T ) se dice que cumple
el primer axioma de numerabilidad (o 1-numerable) si cada punto tiene una base de vecindades
numerable.
Axioma 5.2 (Segundo axioma de numerabilidad). Un espacio topológico (X, T ) se dice que cumple
el segundo axioma de numerabilidad (o 2-numerable) si la topología tiene una base numerable.
Nótese que sólo se necesita encontrar una base numerable en cada caso para que se cumpla y
no se requiere unicidad.
Definición 5.1. Un espacio topológico (X, T ) es separable si tiene un subconjunto denso y nume-
rable. (Un conjunto D ⊂ X es denso en X si D̄ = X ó Cl(D) = X.)
Por ejemplo, el conjunto Q es denso, pues su cerradura es R y en general, Qn en Rn .
6. Compacidad y Paracompacidad
La siguiente definición la recordamos de Cálculo y Análisis.
Definición 6.1. Un espacio X es compacto si y sólo si cada cubierta abierta de X tiene una
subcubierta finita.
Recordemos que el hecho de ser subcubierta implica que el espacio sigue siendo cubierto.
Ahora enunciamos algunos teoremas importantes y relevantes en el estudio de las variedades dife-
renciables.
Teorema 6.1. 1. Todo subconjunto cerrado de un espacio compacto es compacto.
2. Un subconjunto compacto de un espacio Hausdorff es cerrado.
Teorema 6.2. La imagen continua de un espacio compacto es compacta.
Teorema 6.3 (Tychonoff). Un espacio producto no vacío es compacto si y sólo si cada factor es
compacto.
Este último teorema es tal vez uno de los más importantes que existen en la topología general,
pues no importa la cantidad de factores implicados en el producto, si cada uno es compacto, el
producto de ellos es compacto y viceversa. No importando la numerabilidad de éstos. Como un
ejemplo clásico tenemos el cubo de Hilbert, que es I ℵ0 , donde I es un intervalo cerrado.
Teorema 6.4. Un espacio X es localmente compacto si y sólo si cada punto en X tiene una
base de vecindaddes que consiste en conjuntos compactos.
Definición 6.2. Una compactación de un espacio X es un par ordenado (K, h) donde K es un
espacio compacto Hausdorff y h es un encaje de X como un subconjunto denso de K.
7
Existen dos tipos principales de compactaciones: la de Alexandroff y la de Stone-Cech. A la
compactación de Alexandroff también se le llama compactación por un punto y consiste en com-
pletar un espacio X con un punto, de manera que el espacio X ∪{p} es compacto. La compactación
de Stone-Cech es bastante más complicada y requeriría más espacio del que necesitamos en estos
preliminares.
Ahora procedemos a definir la paracompacidad.
Definición 6.3. Si U, V son cubiertas de X, decimos que U refina a V y escribimos U < V, si y
sólo si cada U ∈ U está contenida en algún V ∈ V. Entonces decimos que U es un refinamiento de
V.
Definición 6.4. Una colección U de subconjuntos de X es localmente finito si y sólo si cada
x ∈ X tiene una vecindad que intersecta a una cantidad finita de elementos U ∈ U.
Definición 6.5. Un espacio topológico Hausdorff X es paracompacto si y sólo si cada cubierta
abierta de X tiene un refinamiento abierto localmente finito.
7. Conexidad
Primero definamos qué significa ser no conexo.
Definición 7.1. Un espacio topológico X es disconexo si y sólo si existenconjuntos abiertos no
vacíos disjuntos H, K en X tales que X = H ∪ K. Entonces decimos que X está desconectado por
H y K.
Ejemplos:
1. Si consideramos R2 sin el eje x, tendríamos dos abiertos que serían los conjuntos A+ =
{(x, y) ∈ R2 |x ∈ R, y > 0} y A− = {(x, y) ∈ R2 |x ∈ R, y < 0}, los cuales son disjuntos y son
tales que R2 − X = A+ ∪ A− .
2. Considere R con una base de la topología que tenga conjuntos abiertos de la forma [a, b) junto
con los abiertos usuales (c, d) (pedimos que a<b y c<d). Resulta evidente que podemos tomar
dos abiertos, H = (−∞, a) y K = [a, ∞) cuya unión es R. Por lo tanto, la línea real con esta
topología es disconexa. A R dotada de esta topología se le conoce como línea de Sorgenfrey.
Teorema 7.1. La imagen continua de espacios conexos es conexa.
S T
Teorema 7.2. 1. Si X = Xα , donde cada Xα es conexo y Xα 6= ∅, entonces X es conexo.
2. Si cada par de puntos x, y ∈ X está en un subconjunto conexo Exy de X, entonces X es
conexo.
Teorema 7.3. Un espacio producto no vacío es conexo si y sólo si cada espacio factor es conexo.
Definición 7.2. Si x ∈ X, el subconjunto conexo Cx de X más grande que contiene a x se llama
componente de x.
Definición 7.3. Las componentes de X son conjuntos cerrados.
8
Definición 7.4. Una cadena simple que conecta dos puntos a, b ∈ X, es una sucesión U1 , ..., Un
de conjuntos abiertos de X tales que a ∈ U1 solamente, b ∈ Un solamente y Ui ∩ Uj 6= ∅ si y sólo
si |i − j| ≤ 1.
Definición 7.5 (Conexidad por trayectorias). Un espacio topológico X se dice que es conexo
por trayectorias si y sólo si para cualesquiera dos puntos x, y ∈ X , existe una función continua
f : I → X tal que f (0) = x, f (1) = y. Tal función f se llama trayectoria de x a y.
Definición 7.6 (Conexidad por arcos). Decimos que un espacio topológico X es arco-conexo
si y sólo si para cualesquiera dos puntos x, y ∈ X, existe un homeomorfismo f : I → X tal que
f (0) = x, f (1) = y. A la función f se le llama arco de x a y.
Teorema 7.4. Toso espacio conexo por trayectorias es conexo.
Definición 7.7. Un espacio X es localmente conexo por trayectorias si y sólo si cada punto
tiene una base de vecindades que consiste en conjuntos conexos por trayectorias.
Definición 7.8. Un espacio X es localmente conexo si y sólo si cada x ∈ X tiene una base de
vecindades abiertas conexas.
Ejemplos:
1. Rn es conexo, conexo por trayectorias y localmente conexo.
2. Los continuos son espacios compactos, conexos y Hausdorff. En ésta familia de espacios están
los dendroides y algunos otros espacios raros como el continuo de Knaster o el Pseudoarco.
Un abanico armónico es un ejemplo de continuo.
3. La carpeta de Sierpinski también es un espacio conexo.
¿Los fractales son conjuntos conexos?
8. Homotopía
Este tema es de suma importancia cuando queremos caracterizar superficies u otros espacios.
El tema forma parte de la topología algebraica y es extenso.
Definición 8.1. Sean f y g funciones continuas de X en Y . Decimos que f es homotópico a
g, f ' g, si y sólo si existe una función continua H : X × I → Y tal que H(x, 0) = f (x) y
H(x, 1) = g(x), para toda x ∈ X. La función H se llama homotopía entre f y g.
Teorema 8.1. La relación ' es una relación de equivalencia en el conjunto C(X, Y ) de todas las
funciones continuas de X en Y .
Definición 8.2. Las clases de equivalencia en C(X, Y ) bajo la relación de homotopía se llaman
clases de homotopía en C(X, Y ).
9
Teorema 8.2. Sean f1 , f2 : X → Y y g1 , g2 : Y → Z. Si f1 ' f2 y g1 ' g2 entonces se cumple que
g1 ◦ f1 ' g2 ◦ f2 .
Definición 8.3. Un espacio X es contraible si y sólo si la función identidad i : X → X es
homotópica a alguna función c(x) = x0 , de X en un punto x0 ∈ X.
Definición 8.4. Dos espacios X, Y son homotópicamente equivalentes si y sólo si existen
funciones continuas f : X → Y y g : Y → X tales que f ◦ g ' iY y g ◦ f ' iX .
Teorema 8.3. Un espacio X es contraible si y sólo si es homtópicamente equivalente a un punto.
Definición 8.5. Decimos que un conjunto A ⊂ X es un retracto por deformación de X si y sólo
si existe una retracción r : X → A que es homotópica a la función identidad en X. Si r ' iX
mediante una homotopía H, decimos que H es una retracción por deformación.
Definición 8.6. Un lazo en un espacio X en un puntox0 ∈ X es una trayectoria α : I → X tal
que α(0) = α(1) = x0 .
Estos lazos los podemos unir o concatenar para formas otro lazo.
Definición 8.7. El producto de dos lazos basados en x0 ∈ X se escribe como γ = α ∗ β y se define
como:
0 ≤ t ≤ 21
α(2t)
γ(t) =
β(2t − 1) 12 ≤ t ≤ 1
Definición 8.8. El lazo inverso α−1 basado en x0 ∈ X se define como α−1 (t) = α(t−1), 0 ≤ t ≤ 1.
Definición 8.9. Denotemos por π1 (X, x0 ) al conjunto de clases de homotopía de lazos basados en
x0 . Si [α], [β] ∈ π1 (X, x0 ), el producto [α] ◦ [β] se define como [α] ◦ [β] = [α ∗ β].
Ahora podemos ver que π1 (X, x0 ) es un grupo con las operaciones definidas y viendo que el
elemento identidad es la clase de homotopías del lazo constante en x0 ∈ X. Al grupo π1 (X, x0 ) se
le conoce como grupo fundamental del espacio topológico conexo por trayectorias X basado en
x0 .
Esta definición nos permite distinguir entre espacios topológicos. Y de hecho, nos permite dar una
razón para mostrar que R2 y R2 − {p} no son homeomorfos. Ahora podemos ver que si al plano
euclidiano le quitamos puntos se tienen distintas clases de homotopía, pues habrá lazos que no se
puedan contraer a un punto.
Por ejemplo, el grupo fundamental del círculo es isomorfo a los enteros, pues los lazos basados en
un punto son el mismo circulo. Es decir π1 (S 1 ) ' Z
Conociendo estas propiedas, podemos decir que el círculo no es un retracto del disco. (¿Por qué?)
Podríamos preguntarnos qué pasa con el producto de espacios y sus grupos fundamentales. En
particular el S 1 × S 1 tiene como grupo fundamental al grupo Z2 .
También existen otros grupos de homotopía, pero no los trataremos. Para ello, dejo bibliografía
que puede ser útil.
10
Referencias
[Git] Gitler, S, Aguilar M., Prieto C. (2002) Algebraic topology from the homotopical viewpoint.
EUA: Springer Universitext.
[Ma] Macías A., S. (1993). La estructura de los dendroides suaves. México: Sociedad Matematica
Mexicana (Aportaciones Matemática, Comunicaciones 10).
[Na] Nash C., Sen, S. (2011). Topology and Geometry for Physicists. EUA: Dover.
[Pr] Prieto, C. (2017). Topología Básica. México: Fondo de Cultura Económica. (Ediciones Cien-
tíficas Universitarias).
[Vi] Villegas, L. M., Sestier, A., Olivares, J. (2000). Lecturas Básicas en Topología General. México:
Sociedad Matemática Mexicana. (Aportaciones Matemáticas, Comunicaciones 28).
[Wi] Willard, S. (2004). General Topology. EUA: Dover.
11
