Entradas

Mostrando entradas de agosto, 2022

Sesión 456 (Grupos Fundamentales y el Teorema de Seifert–van Kampen)

Abril 13 de 2026 (Sesión 456) Grupos Fundamentales y el Teorema de Seifert–van Kampen La Topología Algebraica es una rama de las matemáticas encargada de estudiar invariantes topológicos que no pueden ser detectados mediante la topología clásica. En esencia, esta disciplina busca abordar problemas en la categoría de espacios topológicos, Top, trasladándolos, a través de un funtor $F$, a otra categoría cuyos objetos poseen estructura algebraica, como grupos, anillos, módulos, espacios vectoriales, etc. Uno de los principales ejemplos de este enfoque es el grupo fundamental, el cual es un funtor que asigna a cada espacio topológico un grupo (no necesariamente abeliano) que constituye un invariante topológico, es decir, que se preserva bajo homeomorfismos. Este objeto es central en la teoría de homotopía, ya que permite detectar y clasificar ciertas formas de deformación continua en los espacios topológicos. Por su parte, el teorema de Seifert–van Kampen es una valiosa herramient...

Sesión 353 (El espacio de homeomorfismos parciales)

Agosto 22 de 2022 (Sesión 353) El espacio de homeomorfismos parciales Dado un conjunto X, se define I(X) el conjunto de biyecciones entre subconjuntos de X. Este se puede dotar de una topología la cual es compatible con las operaciones de composición e inversión. En el caso en el que X sea numerable se tiene que I(X) es polaco.  Si ahora tomamos a X como un espacio topológico podemos definir Γ(X) el espacio de homeomorfismos entre subconjuntos abiertos de X. Veremos que cuando X es localmente compacto Hausdorff, Γ(X) se puede dotar de una topología que respeta las operaciones y también nos plantearemos en qué condiciones este espacio resulta polaco.  Expositor: Jerson Pérez.  

Sesión 352 (Celdas en el hiperespacio C_n(X))

Agosto 8 de 2022 (Sesión 352) Celdas en el hiperespacio C_n(X) Dado un continuo X, C_n(X) denota la familia de los compactos no vacíos con a lo más n componentes. El conjunto C_n(X) es un continuo si lo dotamos de la métrica de Hausdorff. Una celda es un espacio homeomorfo al producto [0,1]^k, donde k es un entero positivo. En esta charla mostraremos como construir celdas en el espacio C_n(X). Además, mostraremos que un continuo X es hereditariamente indescomponible si, y solo si, C_n(X) no contiene una copia de la celda [0,1]^{n+1}. Este último resultado hace parte de un trabajo que realizamos junto con los profesores Daniel Herrera y Sergio Macías. Expositor: Javier Camargo.