por Andrés Sambarino
Voy a parafrasear este artículo de wikipedia que me dejó como loco.
El asunto es poner una topología en un conjunto de 4 elementos, y ver que el grupo fundamental es La cosa es así: Considerás con la topología
Se puede construir fácil una función contínua sobreyectiva del círculo en como en el dibujo: Consideramos el círculo como vectores de norma 1 en y definimos
y
Para calcular el grupo fundamental, la idea es ver que el espacio es union de dos abiertos contractibles, y cuya intersección son dos conjuntos contractibles. Para ver que es contractible basta observar que es abierto y es cerrado y considerar el mapa dado por
para y para
En esta situación no se puede usar el teorema de van Kampen, porque la intersección de con no es conexa, pero parece que hay una generalizacion que permite usar van Kampen con varios puntos base.
Resulta ademas, que en este artículo, McCord prueba que cualquier CW complejo finito (finitas celulas) es debilmente homotopicamente equivalente (i.e. hay una función que es un isomorfismo en todos los gruos de homotopia) a una topología en un conjunto finito…