Entradas

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 419 (Compactos que son $\omega$-límite de un sistema dinámico discreto.)

Octubre 28 de 2024 (Sesión 419) Compactos que son $\omega$-límite de un sistema dinámico discreto. Sea $X$ un espacio métrico compacto y $f\colon X\to X$ una función continua. Un sistema dinámico discreto es el par $(X,f)$. Dado un punto $p$ en $X$, el omega conjunto límite se define por: $$\omega(p;f)=\{y\in X : existe \{n_k\}{k\in\mathbb N} tal que \lim{k\to\infty}f^{n_k}(p)=y\}.$$ Mostraremos algunas propiedades del omega conjunto límite y presentaremos algunos ejemplos de compactos que resultan ser omega conjuntos límite. Expositor: Jimmy Alexander Balaguera Flórez. Universidad Industrial de Santander. Escuela de Matemáticas.

Sesión 418 (Teorema de Mycielski y algo más)

Octubre 21 de 2024 (Sesión 418) Teorema de Mycielski y algo más. Un espacio Polaco $X$ es un espacio completamente metrizable y separable. Un subconjunto $A$ de $X$, tiene \textit{la propiedad del conjunto perfecto}, si existe $B \subseteq A$ perfecto (esto es, $B$ no tiene puntos aislados). En la primera parte de esta sesión, se presentarán algunos aspectos históricos de la estrategia de Cantor para demostrar \textit{la hipótesis del continuo}, usando conjuntos que poseen la propiedad del conjunto perfecto. En la segunda parte, se introducirán las relaciones de equivalencia sobre espacios Polacos y como clasificarlas. Además, discutiremos el Teorema de Mycielski, que proporciona condiciones suficientes para que $|X/E| = |\mathbb{R}|$, donde $E$ es una relación de equivalencia que cumple ciertas condiciones. Expositor: Jhon Freddy Pérez. Universidad Industrial de Santander. Escuela de Matemáticas.

Sesión 417 (Equivalencias entre Reflexividad y Secuencialidad débilmente completa en Espacios de Operadores.)

Octubre 7 de 2024 (Sesión 417) Equivalencias entre Reflexividad y Secuencialidad débilmente completa en Espacios de Operadores. En el año 1927 el matemático Austriaco Hans Hahn (1879-1934) introdujo el concepto de espacio normado reflexivo. Desde entonces importantes matemáticos como Billy James Pettis, Shizuo Kakutani, William Frederick Eberlein, Witold Lwowitsch Smulian y Robert C. James, entre otros, se vieron atraídos por sus propiedades. En esta charla hablaremos de algunos resultados fundamentales obtenidos por algunos de los matemáticos mencionados anteriormente, entre los cuales destacamos los siguientes: Teorema (Kakutani). Un espacio de Banach X es reflexivo, si y solo si cada sucesión acotada en X tiene una subsucesión débilmente convergente. Teorema (James, 1964)). Un espacio de Banach X es reflexivo, si y solo si cada funcional lineal acotado en X alcanza su máximo en un punto de la bola unitaria cerrada de X. Estudiaremos también el concepto de se...

Sesión 416 (Caos multivaluado finito)

Septiembre 30 de 2024 (Sesión 416) Caos multivaluado finito Dado un continuo $X$ y funciones continuas $f_1, \ldots, f_n \colon X \to X$, consideremos $F$ una función multivaluada $F \colon X \to 2^X$, donde $F(x) = \{f_1(x), \ldots, f_n(x)\}$. Definiremos algunos conceptos de dinámica: órbita densa, transitividad y sensibilidad. Además, mostraremos algunos ejemplos y presentaremos la definición de caos según Devaney. Expositor: Yineth Amorocho. Universidad Industrial de Santander. Escuela de Matemáticas.

Sesión 415 (Multiplicidad de soluciones a ecuaciones Paneitz-Branson)

Septiembre 23 de 2024 (Sesión 415) Multiplicidad de soluciones a ecuaciones Paneitz-Branson Un problema de interés en geometría Riemanniana consiste en comprender cómo se comportan los invariantes geométricos bajo transformaciones conformes de la métrica. Generalmente este tipo de problemas implica el estudio de una ecuación diferencial sobre una variedad. El caso modelo lo encontramos en la curvatura escalar, pues estudiar las deformaciones conformes de este invariante conduce a la ecuación de Yamabe. El análogo de orden superior corresponde a la Q-curvatura. En este caso la ecuación diferencial que gobierna los cambios conformes es la ecuación de Paneitz-Branson. En esta charla revisaremos la existencia de múltiples métricas conformes de Q-curvatura constante en producto de esferas. Expositor: Jurgen Julio. Universidad Industrial de Santander. Escuela de Matemáticas.

Sesión 413 (Dinámicas en funciones multivaluadas)

Septiembre 16 de 2024 (Sesión 414) Dinámicas en funciones multivaluadas Dados un espacio métrico compacto $X$ y una función semicontinua superiormente $F\colon X\to 2^X$, definimos la órbita de un punto $x\in X$ por $$\mathcal{O}_F(x)=\{(x_n)_n\in X^{\mathbb N} : x_{n+1}\in F(x_n)\text{ para cada }n\}.$$ Usando este concepto, definiremos algunas nociones dinámicas, mostraremos ejemplos y plantearemos preguntas. Expositor: Javier Camargo. Universidad Industrial de Santander. Escuela de Matemáticas.

Sesión 413 (Dinámica lineal e ideales)

Septiembre 9 de 2024 (Sesión 413) Dinámica lineal e ideales Discutiremos algunos conceptos y resultados de dinámica lineal. Expositor: Michael Alexander Rincón Villamizar. Universidad Industrial de Santander. Escuela de Matemáticas.