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 449 (Representación de ideales analíticos)

Noviembre 10 de 2025 (Sesión 449)

Representación de ideales analíticos.

Un ideal I en N es una familia cerrada bajo uniones finitas y subconjuntos. En particular, son de interés aquellos ideales que pueden describirse a través de una submedida semicontinua inferiormente en representaciones como Fin(phi) o Exh(phi). En los años 90, Mazur y Solecki caracterizaron los ideales F_sigma y los P-ideales analíticos a través de este tipo de submedidas. Se presentarán las generalidades de estas representaciones y algunos ejemplos ilustrativos. En particular, para el ideal de densidad cero, Z, se mostrará la submedida phi para la cual Z=Exh(phi).

Expositor: Julián Neira
Universidad Industrial de Santander
Escuela de Matemáticas.

Comentarios

Entradas populares de este blog

Sesión 423 (Sobre suavidad)

Sesión 439 (Propiedad de Schur, secuencialidad débilmente completa y reflexividad)

Sesión 441 (Bicategorías de Tangles y la Cohomología de Khovanov)