13.05.2013 Views

Ampliación de Topolog´ıa

Ampliación de Topolog´ıa

Ampliación de Topolog´ıa

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Ampliación</strong> <strong>de</strong> Topología<br />

Problemas. Curso 2003–04<br />

Homotopía <strong>de</strong> aplicaciones y tipos <strong>de</strong> homotopía<br />

1. Sea X un espacio, y sea f: S 1 → X una aplicación continua. Demostrar que f es homótopa a una<br />

aplicación constante si y sólo si existe una aplicación continua g <strong>de</strong>l disco E 2 en el espacio X que<br />

extien<strong>de</strong> a la aplicación f.<br />

2. Sean f, g dos aplicaciones continuas <strong>de</strong> un espacio X a un subespacio Y ⊆ R n tales que para todo<br />

x ∈ X el segmento que une f(x) con g(x) está contenido en Y . Demostrar que f es homótopa a g.<br />

3. Sea X un espacio cualquiera. Demostrar que toda aplicación continua f: X → S n que no sea homótopa<br />

a una aplicación constante es exhaustiva.<br />

4. Demostrar las afirmaciones siguientes:<br />

(a) Si f0 ≃ f1: X → Y , entonces para toda g: Y → Z se cumple g ◦ f0 ≃ g ◦ f1.<br />

(b) Si g0 ≃ g1: Y → Z, entonces para toda f: X → Y se cumple g0 ◦ f ≃ g1 ◦ f.<br />

(c) Si f0 ≃ f1: X → Y y g0 ≃ g1: Y → Z, entonces g0 ◦ f0 ≃ g1 ◦ f1.<br />

(d) Si f0 ≃ f1: X → Y y g0 ≃ g1: Z → T, entonces g0 × f0 ≃ g1 × f1.<br />

(e) Si f0 ≃ f1: X → Y y g0 ≃ g1: Z → T, entonces g0 ∨ f0 ≃ g1 ∨ f1.<br />

Formular las mismas afirmaciones para homotopías relativas a un subespacio dado y comprobar que<br />

siguen siendo válidas.<br />

5. Sea f: X → Y una equivalencia homotópica y sean g, h dos inversas homotópicas <strong>de</strong> f. Demostrar<br />

que g ≃ h.<br />

6. Demostrar que el cono C = {(x, y, z) ∈ R 3 | x 2 + y 2 = z 2 } es contráctil.<br />

7. Demostrar que un espacio X es contráctil si y sólo si la aplicación i<strong>de</strong>ntidad X → X es homótopa a<br />

una aplicación constante.<br />

8. Demostrar que si X1, X2, Y1, Y2 son espacios topológicos tales que X1 ≃ X2 y Y1 ≃ Y2, entonces se<br />

cumple X1 × Y1 ≃ X2 × Y2 y X1 ∨ Y1 ≃ X2 ∨ Y2.<br />

9. Demostrar que X × Y es contráctil si y sólo si X y Y son contráctiles.<br />

10. Demostrar que si X es conexo y es <strong>de</strong>l mismo tipo <strong>de</strong> homotopía que otro espacio Y , entonces Y<br />

también es conexo. Estudiar si el mismo enunciado es cierto cambiando “conexo” por “arco-conexo”<br />

o por “compacto”.<br />

1


11. Demostrar que el espacio que se obtiene i<strong>de</strong>ntificando n puntos diferentes <strong>de</strong> la esfera S 2 es homotópicamente<br />

equivalente a la unión puntual <strong>de</strong> S 2 y n − 1 copias <strong>de</strong> S 1 .<br />

12. Si en un toro colapsamos a un punto el subespacio formado por la unión <strong>de</strong> un meridiano y un paralelo,<br />

¿qué espacio resulta? ¿Y si colapsamos dos meridianos?<br />

13. Demostrar que S 1 es un retracto <strong>de</strong> <strong>de</strong>formación <strong>de</strong> la banda <strong>de</strong> Möbius y <strong>de</strong>l cilindro.<br />

14. Demostrar que si X es un espacio contráctil y x0 es un punto cualquiera <strong>de</strong> X, entonces el espacio<br />

{x0} × Y es un retracto <strong>de</strong> <strong>de</strong>formación <strong>de</strong> X × Y .<br />

15. Demostrar que si A es un retracto <strong>de</strong> <strong>de</strong>formación <strong>de</strong> X y B es un retracto <strong>de</strong> <strong>de</strong>formación <strong>de</strong> A,<br />

entonces B es un retracto <strong>de</strong> <strong>de</strong>formación <strong>de</strong> X.<br />

16. Encontrar un ejemplo <strong>de</strong> un espacio X y dos subespacios A, B homeomorfos, tales que A sea un<br />

retracto <strong>de</strong> <strong>de</strong>formación <strong>de</strong> X pero B no lo sea.<br />

17. Sea X el espacio que se obtiene i<strong>de</strong>ntificando las tres aristas <strong>de</strong> un triángulo equilátero siguiendo la<br />

palabra a a −1 a. Demostrar que X es contráctil.<br />

18. Demostrar que todos los espacios siguientes son homotópicamente equivalentes a uniones puntuales <strong>de</strong><br />

esferas. Determinar en cada caso el número <strong>de</strong> esferas y sus dimensiones.<br />

(a) R 2 − {(0, 0)}.<br />

(b) R 3 − {(x, y, z) | x = 0, y = 0}.<br />

(c) R n − R m con m ≤ n − 2.<br />

(d) Un toro menos un punto.<br />

(e) R 3 − {(x, y, z) | z = 0, |y| = 1}.<br />

(f) R 3 menos n rectas concurrentes.<br />

19. Sea X = R 2 y sea A la unión <strong>de</strong> tres rectas arbitrarias. Decir en cada caso si A es un retracto <strong>de</strong> X,<br />

<strong>de</strong>pendiendo <strong>de</strong> la posición relativa <strong>de</strong> las tres rectas. ¿En qué casos es A un retracto <strong>de</strong> <strong>de</strong>formación<br />

<strong>de</strong> X? Repetir el mismo ejercicio suponiendo que X es el plano menos un punto que no pertenece a A.<br />

2


Homotopía <strong>de</strong> caminos<br />

20. Demostrar que las dos afirmaciones siguientes son equivalentes para un espacio X dado:<br />

(a) Dos caminos cualesquiera que empiezan en un punt x0 y acaban en otro punt x1 son homótopos.<br />

(b) Todo camino que comienza y acaba en un mismo punto es homótopo al camino constante.<br />

21. Sea f: S 1 → S 1 la aplicación <strong>de</strong>finida per f(z) = z k , don<strong>de</strong> k es un entero. Demostrar que el morfismo<br />

inducido f∗: π(S 1 , 1) → π(S 1 , 1) es la multiplicación per k vía el isomorfismo π(S 1 , 1) ∼ = Z.<br />

22. Demostrar que el conjunto <strong>de</strong> puntos z ∈ E 2 para los cuales E 2 \ {z} es simplemente conexo es precisamente<br />

S 1 . Deducir <strong>de</strong> este hecho que si f: E 2 → E 2 es un homeomorfismo, entonces f(S 1 ) = S 1 .<br />

23. Calcular los grados <strong>de</strong> las aplicaciones siguientes S 1 → S 1 :<br />

(a) La aplicación antipodal.<br />

(b) Un giro <strong>de</strong> τ grados, don<strong>de</strong> 0 ≤ τ < 2π.<br />

(c) f(x, y) = (−x, y).<br />

(d) g(z) = z n , don<strong>de</strong> z ∈ S 1 ⊂ C.<br />

24. Sea f: S 1 → S 1 una aplicación continua y supongamos que existe un entero n > 1 tal que f(z) = f(z n )<br />

para todo z. Demostrar que f es homótopa a una aplicación constante.<br />

25. ¿Existe alguna retracción <strong>de</strong> la banda <strong>de</strong> Möbius sobre su bor<strong>de</strong>?<br />

26. Demostrar que no existe ninguna aplicación inyectiva y continua <strong>de</strong>l disco E 2 en un toro S 1 × S 1 que<br />

aplique el bor<strong>de</strong> <strong>de</strong>l disco sobre un meridiano <strong>de</strong>l toro.<br />

27. Demostrar que si f: S 1 → S 1 es una aplicación continua que satisface f(−z) = f(z) para todo z ∈ S 1<br />

y f(1) = 1, entonces el grado <strong>de</strong> f es un entero par.<br />

28. Sean A y B dos cerrados <strong>de</strong> S 2 y sea C ⊂ S 2 un subconjunto tal que S 2 = A ∪ B ∪ C. Demostrar que<br />

alguno <strong>de</strong> los tres conjuntos A, B, C contiene un par <strong>de</strong> puntos antipodales.<br />

29. Demostrar que toda aplicación continua e inyectiva S 2 → S 2 es un homeomorfismo.<br />

30. Sea X el subespacio <strong>de</strong> R 3 siguiente (una esfera S 2 con un disco añadido):<br />

X = {(x, y, z) | x 2 + y 2 + z 2 = 1} ∪ {(x, y, z) | x 2 + y 2 ≤ 1, z = 0}.<br />

Demostrar que, dada una aplicación continua f: X → R 2 tal que su restricción al ecuador {(x, y, z) |<br />

x 2 + y 2 = 1, z = 0} es inyectiva, existen al menos tres puntos diferentes p, q, r ∈ X tales que<br />

f(p) = f(q) = f(r).<br />

3


31. Demostrar que toda aplicación continua f: S 1 → S 1 <strong>de</strong> grado diferente <strong>de</strong> 1 tiene algún punto fijo.<br />

32. Demostrar que toda aplicación continua S 2 → S 2 no exhaustiva tiene algún punto fijo. Dar un ejemplo<br />

<strong>de</strong> una aplicación continua S 2 → S 2 que no tenga ningún punto fijo.<br />

33. Demostrar que, si n ≥ 2, entonces no existe ninguna aplicación continua f: S n → S 1 tal que f(x) =<br />

−f(−x).<br />

4


Algunos problemas <strong>de</strong> grupos<br />

1. Sea G = 〈x, y | y 10 = 1, xy = y 3 x〉. Encontrar el mínimo entero positivo n tal que x n conmuta con<br />

todos los elementos <strong>de</strong> G.<br />

2. Demostrar que el grupo G = 〈x, y | xyx −1 = y 2 , yxy −1 = x 2 〉 es el grupo trivial.<br />

3. Demostrar que Σ3 ∼ = 〈σ, τ | σ 2 = 1, τ 3 = 1, στ = τ 2 σ〉, don<strong>de</strong> Σ3 es el grupo <strong>de</strong> permutaciones <strong>de</strong> tres<br />

letras.<br />

4. Demostrar 〈a, b, c | a p = b q , a p = c 7 , b q = c 12 , c 21 = 1〉 ∼ = 〈x, y | x p = 1, y q = 1〉.<br />

5. Demostrar 〈x, y | xyx = yxy〉 ∼ = 〈a, b | a 2 = b 3 〉. (El primer grupo es el grupo <strong>de</strong> 3-trenzas, y el<br />

segundo el grupo <strong>de</strong>l nudo trébol, como ya veremos).<br />

6. Sea G = 〈x, y | xy = y −1 x, x 2 = 1〉. Demostrar que G es infinito pero en cambio su abelianizado es<br />

finito.<br />

7. Sea G = Z2 ∗ Z3. Demostrar las afirmaciones siguientes:<br />

(a) G contiene elementos <strong>de</strong> or<strong>de</strong>n infinito.<br />

(b) Los únicos elementos <strong>de</strong> or<strong>de</strong>n finito son aquellos <strong>de</strong> Z2, <strong>de</strong> Z3 y todos los conjugados <strong>de</strong> estos.<br />

(c) El centro <strong>de</strong> G es el grupo trivial.<br />

(d) El abelianizado <strong>de</strong> G es isomorfo a Z2 ⊕ Z3.<br />

8. Demostrar que Zm ∗ Zn ∼ = Zp ∗ Zq si y sólo si m = p y n = q o bien m = q y n = p.<br />

9. Calcular el abelianizado <strong>de</strong> los grupos seguientes:<br />

(a) Σ3.<br />

(b) 〈a, b | a 2 = b 3 〉.<br />

(c) 〈x, y, z | xyx = yxy, xzx = zxz〉.<br />

(d) A5, el grupo <strong>de</strong> permutaciones pares <strong>de</strong> 5 letras.<br />

10. Calcular todos los subgrupos (especificando cuáles son normales), el centro y el abelianizado <strong>de</strong> los<br />

grupos siguientes:<br />

(a) Z3 × Z2.<br />

(b) Σ3.<br />

(c) El grupo diédrico D4 = 〈a, b | a 2 = 1, b 4 = 1, aba = b −1 〉.<br />

(d) El grupo alternado A4.<br />

(e) El grupo diédrico D5 = 〈a, b | a 2 = 1, b 5 = 1, aba = b −1 〉.


Cálculo <strong>de</strong> grupos fundamentales<br />

1. Dar una condición necesaria y suficiente para que dos grafos conexos y finitos sean homotópicamente<br />

equivalentes.<br />

2. Determinar el grupo fundamental <strong>de</strong> la suma conexa <strong>de</strong> dos superficies compactas y conexas en términos<br />

<strong>de</strong> los grupos fundamentales <strong>de</strong> estas superficies.<br />

3. Sean RP 2 el plano proyectivo real, T 2 el toro y K la botella <strong>de</strong> Klein. Dar isomorfismos entre los<br />

grupos fundamentales <strong>de</strong> las superficies siguientes:<br />

S1 = RP 2 #RP 2 #RP 2 ; S2 = RP 2 #T 2 ; S3 = RP 2 #K.<br />

4. ¿Es posible adjuntar una celda <strong>de</strong> dimensión 3 a un toro S 1 × S 1 <strong>de</strong> manera que se obtenga un toro<br />

macizo S 1 × E 2 ?<br />

5. Calcular el grupo fundamental <strong>de</strong> los siguientes complejos celulares:<br />

a1<br />

b1<br />

b2<br />

a2<br />

a1<br />

a1<br />

b1<br />

b2<br />

a2<br />

a2<br />

a1<br />

a3<br />

b2 b3<br />

6. Calcular el grupo fundamental <strong>de</strong> los espacios cocientes <strong>de</strong> C ∗ = C − {0}:<br />

(a) C ∗ /G, don<strong>de</strong> G es el grupo <strong>de</strong> los homeomorfismos {ϕ n | n ∈ Z} con ϕ(z) = 2z.<br />

(b) C ∗ /N, don<strong>de</strong> N = {ψ n | n ∈ Z} con ψ(z) = 2¯z.<br />

(c) C ∗ /{e, a}, don<strong>de</strong> e es el homeomorfismo i<strong>de</strong>ntidad y a(z) = −¯z.<br />

b1<br />

a2<br />

a3<br />

a1 b2 b3<br />

7. Calcular el grupo fundamental <strong>de</strong>l espacio X que se obtiene i<strong>de</strong>ntificando las caras <strong>de</strong> un cubo I 3 <strong>de</strong><br />

la manera siguiente: cada cara se i<strong>de</strong>ntifica con su cara opuesta por proyección, <strong>de</strong>spués <strong>de</strong> girar π/2<br />

en el sentido <strong>de</strong> las agujas <strong>de</strong>l reloj. (Por ejemplo, la arista que va <strong>de</strong> (1,1,0) y (1,0,0) se i<strong>de</strong>ntifica<br />

con la arista que va <strong>de</strong> (0,0,0) a (0,0,1), y también con la arista que va <strong>de</strong> (0,1,1) a (1,1,1).) ¿Cuantos<br />

elementos tiene el abelianizado <strong>de</strong> este grupo?<br />

8. Calcular el grupo fundamental <strong>de</strong>l espacio que se obtiene cortando primero dos discos disjuntos <strong>de</strong> una<br />

esfera S 2 y volviéndolos a pegar don<strong>de</strong> estaban, pero con aplicaciones <strong>de</strong> grados 12 y 20 en los bor<strong>de</strong>s<br />

respectivos.<br />

a1<br />

b1<br />

a3<br />

a2<br />

a2


9. Calcular el grupo fundamental <strong>de</strong>l espacio obtenido al i<strong>de</strong>ntificar el ecuador <strong>de</strong> una esfera S 2 con un<br />

paralelo <strong>de</strong>l doble toro, tal como indica el dibujo.<br />

10. Calcular el grupo fundamental <strong>de</strong> la unión <strong>de</strong> tres toros T1, T2, T3 tal como se muestra en la figura.<br />

11. Calcular el grupo fundamental <strong>de</strong>l espacio obtenido al pegar dos toros T1 y T2 tal y como se indica en<br />

el dibujo (el paralelo <strong>de</strong> radio mínimo <strong>de</strong>l toro T1 se i<strong>de</strong>ntifica con un meridiano <strong>de</strong>l toro T2).<br />

12. Calcular el grupo fundamental <strong>de</strong>l espacio que se obtiene al pegar dos toros T1 y T2 tal y como indica<br />

el dibujo (el paralelo <strong>de</strong> radio mínimo <strong>de</strong> cada uno <strong>de</strong> los toros se i<strong>de</strong>ntifica con un meridiano <strong>de</strong>l otro<br />

toro).


13. Consi<strong>de</strong>remos el subespacio <strong>de</strong> R 2 siguiente:<br />

W = {(x, y) | x 2 + (y − 1) 2 = 1} ∪ {(x, y) | x 2 + (y + 1) 2 = 1},<br />

que es homeomorfo a S 1 ∨ S 1 . Calcular el grupo fundamental <strong>de</strong>l espacio Y = W × I / (x, y,0) ∼<br />

(−x, −y, 1).<br />

14. Calcular el grupo fundamental <strong>de</strong>l espacio que se obtiene al eliminar n puntos <strong>de</strong> una superficie<br />

compacta conexa orientable <strong>de</strong> género g. (Suponer g ≥ 1, n ≥ 1.)<br />

15. Calcular el grupo fundamental <strong>de</strong> R 3 − K, para cada uno <strong>de</strong> los subespacios K siguientes:<br />

(a) La unión <strong>de</strong> tres rectas (no necesariamente disjuntas).<br />

(b) La unión <strong>de</strong> una recta y una circunferencia.<br />

(c) La unión <strong>de</strong> dos circunferencias.<br />

16. Calcular el grupo fundamental <strong>de</strong>l exterior en R 3 <strong>de</strong>l nudo trébol.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!