Introduccion M etodo Hatcher Van Kampen

Grupo Fundamental de la n-esfera

Jose Alcocer Daniel Cervantes

May 20, 2013

2 Pruebas Triviales

Alcocer-Cervantes

Grupo Fundamental de la n-esfera

Introduccion M etodo Hatcher Van Kampen

Objetivo

Probar la Siguiente Proposici on

Proposici on

El grupo Fundamental de S n para n 2 es Trivial

Existen varios caminos de llegar a esto, Lo probaremos de 2 maneras diferentes M etodo Hatcher Van-Kampen

Alcocer-Cervantes

Grupo Fundamental de la n-esfera

Introduccion M etodo Hatcher Van Kampen

M etodo Hatcher

Tomenos un punto x0 en S n y un lazo f : [0, 1] S n con base en x0 . Queremos probar que la imagen de f es disjunta a un punto x S n tal que x = x0 . Con esto, f es homot opicamente trivial, ya que S n {x } es homeomorfo a Rn qe es simplemente conexo. Sera suciente probar que f no es sobre.

Alcocer-Cervantes

Grupo Fundamental de la n-esfera

Introduccion M etodo Hatcher Van Kampen

M etodo Hatcher

Tomamos una Bola abierta B S n al rededor del punto x . Notemos que, el numero de veces que f entra a B , pasa por x y sale de B es nito. Adem as podemos deformar el lazo f del tal forma que ya no pase por x. Al hacer esto no modicamos el resto de f .

Alcocer-Cervantes

Grupo Fundamental de la n-esfera

Introduccion M etodo Hatcher Van Kampen

El conjunto f 1 (B ) es abierto en (0,1), por lo tanto es la uni on abiertos disjuntos (ai , bi ). El compacto f 1 (x ) esta contenido en la union de todos, por lo tanto esta contenido en la union nita de algunos de ellos. Elijamos uno de ellos enlazado con f 1 (x ), el camino obtenido al restringir f al intervalo [ai , bi ] cae en la cerradura de B, y f(ai ) y f(bi ) en la frontera de B. Como n 2 podemos escoger un camino gi que vaya de f (ai ) a f (bi ) en la cerradura de B pero que sea disjunto de x . Notar que B es una n 1 esfera, mas aun es homeomorfo a un conjunto convexo en R n , y por lo tanto es simplemente conexo.

Alcocer-Cervantes

Grupo Fundamental de la n-esfera

Introduccion M etodo Hatcher Van Kampen

M etodo Hatcher

Proposici on
Un espacio X es simplemente conexo si tiene una unica clase de homotop as de caminos que conectan 2 puntos cualesquiera de X. El camino fi es homotopico a gi por la proposicion anterior. Asi que podemos hacer una homotopia deformando fi en gi . Repitiendo este proceso para cada intervalo (ai , bi ) enlazado con f 1 (x ), podemos obtener un lazo g homotopico a f, y con g (I ) disjunto de x. Con esto f no es sobre, por lo tanto S n tiene grupo fundamental trivial cuando n 2.

Alcocer-Cervantes

Grupo Fundamental de la n-esfera

Introduccion M etodo Hatcher Van Kampen

Van Kampen

Existen muchas variantes de este teorema. Nos basaremos en la siguiente variante:

Teorema Van Kampen

Si X = U V con U y V abiertos, simplemente conexos y U V arco-conexo. Entonces X es simplemente conexo. Utilizando este teorema solo tenemos que probar que S n para n 2 cumple las hipotesis del teorema.

Alcocer-Cervantes

Grupo Fundamental de la n-esfera

Introduccion M etodo Hatcher Van Kampen

Van Kampen

Sea X = S n , n 2. Consideremos U , V como los hemisferios de la n-esfera, ahora intersectemoslos en una n-1 esfera. Sabemos que un hemisferio de S n es homeomorfo a D n1 , que es convexo en Rn , y por lo tanto, simplemente conexo. Ademas, S n1 es arco-conexo cuando n 2. Teniendo esto, se cumplen las hipotesis del Teorema, entonces S n tiene grupo fundamental trivial cuando n 2.

Alcocer-Cervantes

Grupo Fundamental de la n-esfera