Sesión 440 (Sobre la complejidad de la relación de conjugación topológica en sistemas dinámicos)

Agosto 11 de 2025 (Sesión 440) Sobre la complejidad de la relación de conjugación topológica en sistemas dinámicos. Un sistema dinámico es un par $(X,f)$ donde $X$ (llamado espacio de fase) es un espacio métrico compacto y $f: X \to X$ continua. Decimos que dos sistemas dinámicos $(X,f)$ y $(X,g)$ son (topológicamente) conjugados, si existe un homeomorfismo $\varphi$, tal que $\varphi circ f = g \circ \varphi$. La conjugación topológica genera una relación de equivalencia sobre $C(X,X)$, el espacio de las funciones continuas de $X$ en si mismo. Preguntas naturales que surgen acerca de esta relación están: ¿Cuántas clases de equivalencia existen? ¿La relación de conjugación, vista como subconjunto de $C(X,X)^2$, es boreliana? La Teoría Descriptiva de Conjuntos proporciona herramientas para estudiar y clasificar relaciones de equivalencia definidas sobre espacios polacos (espacios completamente metrizable y segundo numerables). La noción central en esta clasificación es ...

Sesión 335 (Puntos no errantes y la función Ω_f)

Septiembre 13 de 2021 (SESIÓN 335)

Puntos no errantes y la función Ω_f

 

Sea (X,f) un sistema dinámico, donde X es un espacio métrico compacto. Un punto x en X es llamado punto no errante de f si para cada abierto U que contiene a x, exist un entero positivo n tal que fn(U) intersecta U. Por otra parte, definimos el conjunto Ω(x,f) = {∈ : existen sucesiones (xi⊆ y (ni)i⊆ con x→ fni(xi→ y}, el cual es un conjunto compacto de X. Se sabe que un punto ∈ es no errante si, y solo si, ∈ Ω(x, f ). Naturalmente podemos definir la función Ω_→ 2dada por Ω_f(x) = Ω(x,f) y preguntarnos cuándo esta función es continua. En esta presentación mostraremos ejemplos usando diferentes tipos de continuos y daremos algunas propiedades de esta función. 

 

Expositor: Johan Camilo Cancino.


Presentación en YouTube: https://youtu.be/cLfRHr66mwM

Comentarios

Entradas populares de este blog

Sesión 423 (Sobre suavidad)

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

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