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 376 (Topologías +-invariantes sobre Z)

Junio 5 de 2023 (Sesión 376) Topologías +-invariantes sobre Z Un espacio (X,τ) es homogéneo si,  para cualesquiera x,y ∈ X,  existe un homeomorfismo h : X → X tal que h(x) = y. Todo grupo topológico es un espacio homogéneo, pero existen espacios homogéneos que no admiten una estructura de grupo topológico, por ejemplo, el cubo de Hilbert.  Una versión más débil de los grupos topológicos son los espacios con topologías invariantes. Sea (X,τ) un espacio topológico y ∗ una operación de grupo sobre X, entonces τ es una topología ∗-invariante si g∗U ∈ τ, para cualesquiera g ∈ X y U ∈ τ.  Probaremos que si (X,τ) es numerable, sus elementos se pueden separar por abiertos-cerrados disyuntos y es homogéneo, entonces existe una topología +-invariante ρ sobre Z tal que (X,τ) ≈ (Z,ρ). Esto probaría que τ es invariante para alguna operación de grupo ∗ sobre X.  Por último, para X = Sω, el espacio de Arhangel’ski ̆ı-Franklin, mostraremos la topología ρ sobre Z para la que Sω ...

Sesión 375 (La topología compacta abierta en los grupos de homeomorfismos)

  Mayo 29 de 2023 (Sesión 375) La topología compacta abierta en los grupos de homeomorfismos Un grupo topoló gico es un grupo dotado de una topología de tal manera que las operaciones del grupo, multiplicación e inversión, son continuas. Sea H(X) el grupo de autohomeomorfismos de X. Sobre este grupo podemos definir la topología compacta abierta la cual es definida como sigue. Para A,B ⊆ X , establecemos  ⟨A;B⟩={f ∈H(X)|f(A)⊆B}.  La topología compacta abierta es la topología generada por la subbase  S={⟨K;V⟩|K⊆X es compacto y V ⊆X es abierto}.  En 1942, Richard F. Arens demostró que si X es un espacio compacto de Hausdorff entonces H(X) es grupo topológico con la topología compacta abierta. Además es un resultado conocido que la topología uniforme coincide con la topología compacta abierta cuando X es métrico compacto.  En esta charla daremos una demostración alternativa de que H(X) es un grupo topológico con la topología uniforme cuando X es métrico compact...

Sesión 374 (Algunas propiedades de los espacios lp)

Mayo 15 de 2023 (Sesión 374) Algunas propiedades de los espacios lp En esta charla se analizaran algunas propiedades de los espacios de sucesiones p sumables lp, donde 1 ≤ p < ∞. Entre las propiedades que analizaremos de estos espacios está la refle- xividad,separabilidad, complementabilidad entre otras. También se estudiarán los espacios de sucesiones acotadas l∞ y el espacio de las sucesiones que convergen a cero c0. Los espacios de Banach anteriormente mencionados han sido ampliamente estudiados en diferentes ramas de la Matemática.  Expositor: Sergio Andrés Pérez León.

Sesión 373 (Sombreado en Sistemas Dinámicos Discretos)

Mayo 8 de 2023 (Sesión 373) Sombreado en Sistemas Dinámicos Discretos. Un sistema dinámico es un par $(X,f)$ donde $X$ es un espacio métrico y $f$ una función continua de $X$ en $X$. La órbita de un elemento $z\in X$, que denotaremos por $\mathcal{O}_f(z)$, surge del proceso iterativo de tomar primero a $z$ luego aplicarle $f$ a $z$, después aplicarle $f$ a $f(z)$ y así sucesivamente; es decir $\mathcal{O}_f(z)=(z, f(z), f(f(z)), \ldots).$ Podemos decir que el objetivo de un sistema dinámico es entender o describir, de alguna manera, el comportamiento de todas las órbitas del sistema.  De particular relevancia en el estudio de un sistema dinámico es la noción de sombreado que definiremos a continuación. Dado un $\delta>0$, una $\delta$-pseudo-órbita es una sucesión de puntos $(x_1,x_2, \ldots)$ tal que la distancia entre $f(x_i)$ y $x_{i+1}$ es menor que $\delta$ para cada $i\in\mathbb{N}$. Se dice que una $\delta-$pseudo-órbita está $\varepsilon$-sombreada, si existe una órbita...

Sesión 372 (Espacios de sucesiones l-convergentes)

Abril 24 de 2023 (Sesión 372) Espacios de sucesiones l-convergentes. Continuaremos presentando propiedades del espacio de Banach de sucesiones l-convergentes.  Expositor: Michael Rincón.

Sesión 371 (Agujeros, ideales y espacios de convergencia)

Abril 17 de 2023 (Sesión 371) Agujeros, ideales y espacios de convergencia​. Presentaremos el concepto de agujero (Gap en inglés) en el conjunto potencia de N. Este concepto lo estudió Hausdorff y es una generalización de las cortaduras de Dedekind. Veremos unos ejemplos de agujeros y su relación con los ideales de subconjuntos de N. Finalmente veremos cómo usar los agujeros para estudiar espacios de convergencia.  Expositor: Carlos Uzcátegui.

Sesión 370 (El hiperespacio de no estorbadores y la propiedad de Kelley)

Marzo 27 de 2023 (Sesión 370) El hiperespacio de no estorbadores y la propiedad de Kelley. Sean X un continuo y A y B cerrados no vacíos de X tales que A∩B=∅. Diremos que  A no estorba a B si κ_{X\A}(B) = 􏰀{L ∈ C(X) : B ∩ L \neq ∅ y L ⊆ X \ A} es denso en X. Sea NB(F1(X))={A∈2^X : A no estorba a {x} para cada x∈X\A}. NB(F1(X)) es llamado el hiperespacios de no estorbadores. En esta charla mostraremos que si X es hereditariamente descomponible con la propiedad de Kelley tal que NB(F1(X)) es un continuo, entonces X es una curva cerrada simple.  (Trabajo conjunto con Mayra Ferreira.)  Expositor: Javier Camargo.