Introducción

El presente trabajo se desarrolla en el área de la matemática denominada Dinámica topológica. En este artículo los sistemas dinámicos que estudiaremos son los sistemas dinámicos discretos. De manera abstracta, un sistema dinámico discreto será una pareja ($X$, $f$), donde $X$ es un espacio métrico compacto, conexo con más de un elemento y $f:X\to X$ es una función continua y suprayectiva. En la actualidad, se han desarrollado algunas publicaciones, por mencionar, vea por ejemplo [3, 4, 5, 15].

Hasta ahora, aún no hay una definición matemática que se acepte universalmente para el caos, sin embargo se sabe que dos de las nociones para entender un sistema caótico son la transitividad y la sensitividad [10]. Por tal motivo, a través del tiempo, han surgido nociones relacionadas con la transitividad y nociones relacionadas con la sensibilidad. En 1971, Ruelle introdujo la primera definición de sensitividad [16]. De forma intuitiva, un sistema dinámico es sensitivo si arbitrariamente cerca a cualquier punto de inicio existe al menos otro punto tal que alguna de sus iteraciones bajo la función se aleja de la iteración correspondiente del punto con el que se inició. Dada la importancia de los sistemas dinámicos sensitivos, empezaron a surgir otras nociones relacionadas con la sensitividad, como: sensitividad Li-Yorke [1], sensitividad thick sindética [13], sensitividad sindética [17], sensitividad cofinita [17] y multi-sensitividad [17]. Dada la relevancia y utilidad de los sistemas transitivos y sensitivos para tratar de entender el caos, se buscan nociones relacionadas con este tipo de sistemas. Recientemente, en 2016, W. Huang, D. Khilko, S. Kolyada y G. Zhang en [8], estudian un tipo de sistemas dinámicos transitivos, a saber, los sistemas dinámicos compacto transitivos; analizan la relación de estos nuevos sistemas con los sistemas del tipo transitivos y con los sistemas del tipo sensitivos.

En este trabajo nos enfocamos en analizar varios conceptos relacionados con la sensibilidad sobre un sistema dinámico discreto y a ver su relación entre estos conceptos, este trabajo está basado en [11]. Cabe mencionar que aunque los resultados expuestos en este escrito son conocidos este posee originalidad en cuanto a su escritura y presentación la cual se hace en forma detallada, con la finalidad dé lograr su accesibilidad a un mayor número de lectores qué se interesen en estos temas. Por este motivo, este trabajo está dividido en seis secciones. Después de la introducción, en la sección 2, exponemos algunos conceptos y notaciones que se utilizan durante el escrito. La sección 3 está dedicada al análisis de propiedades generales de los conjuntos cofinito, thick, sindético, etc. En la sección 4, se describen las relaciones entre los sistemas dinámicos que estamos estudiando. La sección 5 trata sobre los sistemas compacto transitivos. Finalmente, en la sección 6 se incluye la relación entre los sistemas compacto transitivos y sistemas de tipo sensitivos.

Preliminares

En esta sección presentamos los conceptos básicos que se utilizan durante el desarrollo de este trabajo. También introducimos la notación y terminología que usaremos frecuentemente. Como es usual, denotaremos por $\mathbb{N}$, $ℝ$, $\mathbb{Z}$, ${\mathbb{Z}}_{+}$, al conjunto de los números naturales, los números reales, los números enteros y los números enteros no negativos, respectivamente. Ahora, si $X$ es un espacio métrico y $f:X\to X$ es una función, establecemos la siguiente notación:$f^0$ denotará la función identidad sobre $X$,${id}_X$, para cada $n\in \mathbb{N}$, $f^n$ es $f$ compuesta con $f^{n-1}$, es decir:

$f^n=f\circ f^{n-1}$,

Además, dados $n\in \mathbb{N}$ y $A\subseteq X$, la preimagen de $A$ bajo $f^n$ se indica por $f^{-n}\left(A\right)$ y si $x\in X$, la preimagen de {$x$} bajo $f$ la representamos por$f^{-1}\left(x\right)$. Si $A\subseteq X$ no vacío y acotado, se define el diámetro de $A$, denotado por diám($A$), como:

diám($A$) = sup{$d(x,y):x$, $y\in A$}.

A continuación presentamos uno de los conceptos importantes en este trabajo.

Definición 1

Un sistema dinámico discreto es una pareja $(X,f)$, donde $X$ es un espacio métrico compacto, conexo, con más de un elemento y $f:X\to X$ una función continua y suprayectiva.

En este trabajo para referirnos a un sistema dinámico discreto diremos solamente sistema dinámico. Se sabe que el objeto principal de estudio de los sistemas dinámicos discretos son las órbitas de los puntos. En seguida presentamos dicho concepto.

Definición 2

Sean $(X,f)$ un sistema dinámico y $x\in X$. Se define la órbita de $x$ bajo $f$, denotada por $O(x,f)$, como el conjunto:

$O(x,f)=\left\{f^n\right(x):n\in {\mathbb{Z}}_{+}\}=\{x,f(x),f^2(x),f^3(x),...\}$

La interpretación que se le da a el conjunto $O(x,f)$) es la siguiente: En el tiempo $n=0$ un objeto se encuentra en la posición $x$; en el tiempo $n=1$ el objeto ahora a cambiado de posición y se encuentra en la posición $f\left(x\right)$; en el tiempo $n=2$, el objeto nuevamente a cambiado de posición y ahora se encuentra en $f^2\left(x\right)$, etc.

En seguida presentamos algunos tipos de puntos asociados con $f$.

Definición 3

Sean $(X,f)$ un sistema dinámico y $x\in X$. Decimos que $x$ es un:

1. 1. Punto fijo si $f\left(x\right)=x$.
2. 2. Punto periódico si existe $n\in \mathbb{N}$ tal que $f^n\left(x\right)=x$, al $min\{n∊\mathbb{\text{ℕ}}:f^n(x)=x\}$ se le llama periodo de $x$.
3. 3. Punto transitivo si $O(x,f)$ es un conjunto denso en $X$.
4. 4. Punto casi-periódico si para cada vecindad $U_x$ de $x$, existe $k\in \mathbb{N}$ tal que

   $\left\{f^l\right(x),f^{l+1}(x),...,f^{l+k}(x\left)\right\}\cap U_x\ne \varnothing$,

   para todo$l\in \mathbb{N}$.

5. 5. Punto pre-periódico si existen $n,k\in \mathbb{N}$, tales que $f^k\left(f^n\right(x\left)\right)=f^n\left(x\right)$.

Denotamos como Per($f$), Fix($f$) y Tran($X$, $f$), al conjunto de los puntos periódicos de$f$, al conjunto de puntos fijos de $f$ y al conjunto de los puntos transitivos de $f$, respectivamente.

En la Figura 1 se muestra geométricamente el comportamiento de un punto fijo, un punto periódico y un punto pre-periódico.

Observación 1

Sean$A\subseteq ℝ$y $f:A\to A$ una función continua. Para obtener geométricamente los puntos fijos de $f$ se grafica la función $f$ y la función identidad en $\textcolor{red}{}A$. Los puntos de intersección de ambas gráficas son los puntos fijos de$f$.

En la dinámica topológica, existen funciones que determinan sistemas dinámicos muy interesantes y que ayudan a entender de alguna manera el comportamiento que se puede generar, además tales funciones son útiles para comprender la dinámica de otras funciones más complicadas. Uno de los ejemplos clásicos de sistemas dinámicos discretos es la función tienda.

Ejemplo 1

La función tienda,$T:[0,1]\to [0,1]$, está definida como:

$T(x)=\{\begin{array}{cc}2x,\mathrm{si}& x∊[0,\frac{1}{2}];\\ 2-2x,\mathrm{si}& x∊[\frac{1}{2},1],\end{array}.$

para cada $x\in [0,1]$. En la Figura 2 se muestra geométricamente la gráfica de dicha función.

Obtengamos los puntos fijos de la función $T$, es decir, los puntos $x\in [0,1]$ tales que $T\left(x\right)=x$. Para eso consideremos los siguientes casos:

Caso 1.$x∊\left[0,\frac{1}{2}\right]$. En este caso, $T(x)=2x$. Luego, $2x=x$ esto implica que $x=0$.

Caso 2. $x∊\left[\frac{1}{2},1\right]$. En este caso$T(x)=2-2x$. Luego,$2-2x=x$, esto implica que $2=3x$, de donde $x=\frac{2}{3}$.

Por lo tanto, los puntos fijos de la función $T$, son $x=0$ y $x=\frac{2}{3}$. En la Figura 3 presentamos geométricamente los puntos fijos de la función.

A continuación definimos algunos sistemas dinámicos conocidos en esta área de la matemática y de nuestro interés.

Definición 4

Sea $(X,f)$ un sistema dinámico discreto. Se dice que $(X,f)$ es:

1. 1. Exacto si para cada subconjunto abierto no vacío $U$ de $X$, existe $k∊\mathbb{N}$ tal que $f^k(U)=X$.
2. 2. Mezclante si para cualesquiera dos subconjuntos abiertos, no vacíos $U$, $V$ de $X$, existe $N\in \mathbb{N}$ tal que $f^k(U)\cap V\ne \varnothing$, para todo $k\ge N$.
3. 3. Débilmente mezclante si para cualesquiera $U_1,U_2,V_1$ y $V_2$ subconjuntos abiertos no vacíos de $X$, existe $n\in \mathbb{N}$ tal que $U_1\cap f^{-n}(V_1)\ne \varnothing$ y $U_2\cap f^{-n}(V_2)\ne \varnothing$.
4. 4. Transitivo si para cualesquiera dos subconjuntos $U$, $V$ abiertos no vacíos de $X$ existe $n\in \mathbb{N}$ tal que $U\cap f^{-n}(V)\ne \varnothing$.
5. 5. M-sistema si el sistema es transitivo y el conjunto de los puntos casi-periódicos es denso en $X$.
6. 6. Caótico si $(X,f)$ es transitivo y $Per\left(f\right)$ es denso en $X$.

En seguida mostramos algunas propiedades de la función tienda, las cuales están planteadas en [14, pág. 39].

Ejemplo 2

Consideremos el sistema dinámico $\left[\right(0,1),T]$ donde $T$ se definió en el Ejemplo 1. Se cumple que:

1. 1. ($[0,1],T$) es exacto;
2. 2. ($[0,1],T$) es mezclante y
3. 3. ($[0,1],T$) es caótico.

Para poder definir más tipos de sistemas dinámicos discretos introducimos los siguientes conjuntos.

Definición 5

Sean $(X,f)$ un sistema dinámico, $x\in X$, $U$ y $V$ subconjuntos abiertos no vacíos de $X$ y $\delta >0$. Se definen los siguientes conjuntos:

1. 1. $N_f(x,V)=\{n∊{\mathbb{\text{ℤ}}}_{+}:f^n(x)∊V\}$
2. 2. $N_f(U,V)=\{n∊{\mathbb{\text{ℤ}}}_{+}:f^n(U)\cap V\ne \varnothing \}$
3. 3. $N_f(U,\delta )=\{n∊{\mathbb{\text{ℤ}}}_{+}:$ $x,y∊U$tales que $d(f^n(x),f^n(y))>\delta \}$

A continuación enunciamos algunas observaciones que se obtienen inmediatamente de la Definición 5.

Observación 2

Sean $(X,f)$ un sistema dinámico, $U,U_1,V$ y $V_1$, subconjuntos abiertos no vacíos de $\textcolor{red}{}X$ y $\delta >0$.

1. 1. Si $U\subseteq V$ , entonces $N_f(U,\delta )\subseteq N_f(V,\delta )$.
2. 2. Si $U\subseteq U_1$ y $V\subseteq V_1$, entonces $N_f(U,V)\subseteq N_f(U_1,V_1)$.

En seguida, se muestra un ejemplo de los conjuntos dados en la Definición 5.

Ejemplo 3

Sean $(X,f)$ un sistema dinámico discreto, $x\in X$, $U$ y $V$ subconjuntos abiertos no vacíos de $\textcolor{red}{}X$ y $\delta >0$. Suponiendo que la órbita de $x$ tiene un comportamiento como el que se muestra en la Figura 4, se obtiene que $\{3,4,6\}\subseteq N_f(x,V)$. Por otro lado, de la Figura 5 se visualiza el conjunto $N_f(U,V)$. Supongamos que las iteraciones de $U$ se comportan como en la Figura 5. Por lo tanto, podemos concluir que al menos $\{2,3\}\subseteq N_f(U,V)$. Finalmente, de la Figura 6 se observa que $2∊N_f(U,\delta )$, pues existen $x$ y $y$ en el conjunto $U$ tales que $d(f^2(x),f^2(y))>\delta$.

El siguiente resultado, Proposición 1, nos será útil para mostrar otro ejemplo del comportamiento de los conjuntos presentados en la Definición 5.

Proposición 1

Sean $(X,f)$ un sistema dinámico, $U$ y $V$ subconjuntos no vacíos de $X$ y $n\in \mathbb{N}$. Se cumple que $U\cap f^{-n}(V)\ne \varnothing$ si y solo si $f^n(U)\cap V\ne \varnothing$.

Demostración. Supongamos que $U\cap f^{-n}(V)\ne \varnothing$. Luego, existe $x\in X$ tal que $x\in U$ y $x∊f^{-n}(V)$. Así, $f^n(x)∊f^n(U)$. Esto implica que $f^n(x)∊V.$ Por lo tanto, $f^n(U)\cap V\ne \varnothing$ Ahora, supongamos que $f^n(U)\cap V\ne \varnothing$. Luego, existe $y\in X$ tal que $y∊f^n(U)$ y $y\in V$. Es decir, existe $x\in U$ tal que $f^n(x)=y$.Luego, $f^n(x)∊V$ . Así, $x∊f^{-n}(V)$. Por lo tanto, $U\cap f^{-n}(V)\ne \varnothing$.

En el Ejemplo 4, con la ayuda de la Proposición 1, calculamos los conjuntos dados en la Definición 5 para un sistema dinámico en particular.

Ejemplo 4

Consideremos el intervalo cerrado$[0,1]$ con la métrica del subespacio de la recta real y el sistema dinámico $\left(\right[-1,1],f)$, donde $f$ está definida por $f\left(x\right)=x^3$, para cada $x\in [-1,1]$.

Sean $x_0=\frac{1}{2}$y $W=\left(\frac{1}{3},\frac{4}{5}\right)$. Determinemos $N_f(x_0,W)$. Notemos que:

$f^0\left(\frac{1}{2}\right)=\frac{1}{2},f^1\left(\frac{1}{2}\right)={\left(\frac{1}{2}\right)}^3=\frac{1}{8},f^2\left(\frac{1}{2}\right)=f\left(f\left(\frac{1}{2}\right)\right)=f\left(\frac{1}{8}\right)={\left(\frac{1}{8}\right)}^3=\frac{1}{8^3},\dots$

Así $\frac{1}{8},\frac{1}{8^3}\notin W$. Luego, $1,2\notin N_f(x_0,W)$. De esta manera se puede notar que $\mathbb{\text{ℕ}}⊈N_f(x_0,W)$. Porlo tanto, $N_f(x_0,W)=\left\{0\right\}$. Ahora, consideremos los subconjuntos $U=\left(\frac{1}{4},\frac{1}{2}\right)$y $V=\left(-\frac{1}{2},\frac{1}{2}\right)$ de$[-1,1]$. Determinemos $N_f(U,V)$. Observemos que:

$f^0(U)=\left(\frac{1}{4},\frac{1}{2}\right)$

$f^1(U)=U^3=\left(\frac{1}{4^3},\frac{1}{2^3}\right)$

$f^2(U)=f(f(U))=f\left(U^3\right)=(U^3{)}^3=\left(\frac{1}{4^9},\frac{1}{2^9}\right)$

$f^3(U)=f(f^2(U))=f\left(U^9\right)=(U^9{)}^3=\left(\frac{1}{4^{27}},\frac{1}{2^{27}}\right)$

Luego, $f^0(U)\cap V\ne \varnothing ,f^1(U)\cap V\ne \varnothing ,f^2(U)\cap V\ne \varnothing \$y\$f^3(U)\cap V\ne \varnothing$. En consecuencia $N_f(U,V)=\{0,1,2,3,\dots \}$.

Proposición 2

Sean $(X,f)$ un sistema dinámico, $\textcolor{red}{}U$ subconjunto abierto no vacío en $X$, $n,m\in {\mathbb{Z}}_{+}$ y $\delta >0$. Si $m+n∊N_f(f^{-n}(U),\delta )$, entonces $m∊N_f(U,\delta )$.

Demostración. Supongamos que $n+m∊N_f(f^{-n}(U),\delta )$. Esto implica que existen $x,y∊f^{-n}(U)$ tales que:

$d(f^{m+n}(x),f^{m+n}(y))>\delta$

equivalentemente,

Por otro lado, como $x,y∊f^{-n}(U)$ se tiene que $f^n(x),f^n(y)∊U$. Por lo tanto, de (1), se concluye que $m∊N_f(U,\delta )$.

Propiedades en general

En esta sección presentaremos algunas relaciones que se tienen entre los conjuntos thick, cofinito, sindético y thickly sindético, conceptos necesarios para definir más clases de sistemas dinámicos.

Definición 6

Sea $A\subseteq {\mathbb{\text{ℤ}}}_{+}$. Se dice que el conjunto $A$ es:

1. 1. Cofinito si existe $k\in \mathbb{N}$ tal que $\{k,k+1,k+2\dots \}\subseteq A$.
2. 2. Thick si para cada $p\in \mathbb{N}$, existe $n\in \mathbb{N}$ tal que $\{n,n+1,\dots ,n+p\}\subseteq A$.
3. 3. Sindético si existe $m\in \mathbb{N}$ tal que para todo $l\in \mathbb{N}$ se cumple que $\{l,l+1,\dots ,l+m\}\cap A\ne \varnothing$.
4. 4. Thickly sindético si para cada $n∊\mathbb{\text{ℕ}}$, $\{i∊\mathbb{\text{ℕ}}:\{i,i+1,\dots ,i+n\}\subseteq A\}$ es sindético.

En el Ejemplo 5 se muestran algunos ejemplos de los conjuntos dados en la Definición 6.

Ejemplo 5

Sean $m∊{\mathbb{\text{ℤ}}}_{+}$ y $B\subseteq {\mathbb{\text{ℤ}}}_{+}$. Se cumple que el conjunto:

1. 1. $A=\{n∊\mathbb{\text{ℕ}}:n\ge m\}$ es cofinito.
2. 2. $A=\{n∊\mathbb{\text{ℕ}}:n$ no es divisor de $m\}$} es cofinito.
3. 3. Si $B$ es finito, entonces el conjunto $A=\mathbb{\text{ℕ}}\backslash B$ es cofinito.
4. 4. $A=\{n∊\mathbb{\text{ℕ}}:n$ es un número par$\}$ es sindético.
5. 5. $A=\{n∊\mathbb{\text{ℕ}}:n$ es un número impar$\}$ es sindético.
6. 6. $A=\{n∊\mathbb{\text{ℕ}}:n$ es un múltiplo de $m\}$ es sindético.

Los conjuntos dados en la Definición 6 poseen propiedades interesantes. Una prueba de los siguientes resultados, Proposición 3 y Proposición 4, puede encontrarla en [12].

Proposición 3

Sean $A$ y $B$ subconjuntos de ${\mathbb{Z}}_{+}$ tales que $A\subseteq B$. Si $A$ es thick, entonces $B$ es thick.

Proposición 4

Sea $A\subseteq {\mathbb{\text{ℤ}}}_{+}$. Si A es cofinito, entonces $A$ es thick.

Proposición 5

Sea $A\subseteq {\mathbb{\text{ℤ}}}_{+}$. Si A es cofinito, entonces $A$ es thickly sindético.

Demostración. Supongamos que $A$ es cofinito. Demostremos que $A$ es thickly sindético. Sea $n\in \mathbb{N}$. Veamos que el conjunto $\{i∊\mathbb{\text{ℕ}}:\{i,i+1,\dots ,i+n\}\subseteq A\}$ es sindético. Por hipótesis, existe $k\in \mathbb{N}$ tal que

Sea $l\in \mathbb{N}$. Veamos que:

$\{l,l+1,\dots ,l+k\}\cap \{i∊\mathbb{\text{ℕ}}:\{i,i+1,\dots ,i+n\}\subseteq A\}\ne \varnothing$

De (2), se tiene que:

Además,

$l+k∊\{l,l+1,\dots ,l+k\}$ y $l+k∊\{k,k+1,\dots \}$

Así,$\{l,l+1,\dots ,l+k\}\cap \{k,k+1,\dots \}\ne \varnothing$ Luego, por (3), se obtiene que: $\{l,l+1,\dots ,l+k\}\cap \{i∊\mathbb{\text{ℕ}}:\{i,i+1,\dots ,i+n\}\subseteq A\}\ne \varnothing$

Por lo tanto, $A$ es thickly sindético.

Proposición 6

Sean $A$ y $B$ subconjuntos de ${\mathbb{Z}}_{+}$. Si $A$ es sindético y $B$ es thick, entonces $A\cap B\ne \varnothing$.

Demostración. Supongamos que A es sindético y B es thick. Como A es sindético, existe $l_0\in \mathbb{N}$ tal que, para todo $m\in \mathbb{N}$,

Por otro lado, como B es thick y l0 ∈ N, existe $m_0\in \mathbb{N}$ tal que:

De (4), aplicado a m₀ se cumple que:

Así, de (5), se obtiene que:

$\{m_0,m_0+1,\dots ,m_0+l_0\}\cap A\subseteq B\cap A$

Por lo tanto, de (6) se concluye que $B\cap A\ne \varnothing$.

Ejemplo 6

Por la Proposición 4 se obtiene que 1, 2 y 3 del Ejemplo 5, son conjuntos thick y conjuntos thickly sindético.

Una propiedad que cumplen los conjuntos que son thickly sindéticos es la siguiente.

Proposición 7

Sean A y B subconjuntos de ${\mathbb{Z}}_{+}$. Si A y B son thickly sindéticos, entonces $A\cap B$ es thickly sindético.

Demostración. Supongamos que A y B son thickly sindéticos. Probemos que $A\cap B$ es thickly sindético. Sea $n\in \mathbb{N}$. Veamos que el conjunto

$\{i∊\mathbb{\text{ℕ}}:\{i,i+1,\dots ,i+n\}\subseteq A\cap B\}$

es sindético. Como A es thickly sindético, se tiene que el conjunto $\{i∊\mathbb{\text{ℕ}}:\{i,i+1,\dots ,i+n\}\subseteq A\}$ es sindético. Luego, existe $m_1\in \mathbb{N}$, tal que para todo $l\in \mathbb{N}$, se satisface que:

De manera similar, como B es thickly sindético, para $n+m_1$ se tiene que el conjunto $\{i∊\mathbb{\text{ℕ}}:\{i,i+1,\dots ,i+n+m_1\}\subseteq B\}$ es sindético. Por lo tanto, existe $m_2\in \mathbb{N}$, tal que para todo $l\text{'}\in \mathbb{N}$, se tiene que:

Definamos $m=m_1+m_2$. Sea $k\in \mathbb{N}$. Veamos que:

$\{k,k+1,\dots ,k+m\}\cap \{i∊\mathbb{\text{ℕ}}:\{i,i+1,\dots ,i+n\}\subseteq A\cap B\}\ne \varnothing$

De (8) aplicado a k, se obtiene que:

$\{k,k+1,\dots ,k+m_2\}\cap \{i∊\mathbb{\text{ℕ}}:\{i,i+1,\dots ,i+n+m_1\}\subseteq B\}\ne \varnothing$

Es decir, existe $k+j$ con $j∊\{0,1,\dots ,m_2\}$ tal que k$k+j∊\{i∊\mathbb{\text{ℕ}}:\{i,i+1,\dots ,i+n+m_1\}\subseteq B\}$. Luego,

Por otro lado, de (7) aplicado a $k+j$, se obtiene que

$\{k+j,k+j+1,\dots ,k+j+m_1\}\cap \{i∊\mathbb{\text{ℕ}}:\{i,i+1,\dots ,i+n\}\subseteq A\}\ne \varnothing$

Es decir, existe $k+j+s$, con $s∊\{0,1,\dots ,m_1\}$ tal que $k+j+s∊\{i∊\mathbb{\text{ℕ}}:\{i,i+1,\dots ,i+n\}\subseteq A\}$. Luego,

Ahora, como $s∊\{0,1,\dots ,m_1\}$, obtenemos que:

$\{k+j+s,k+j+s+1,\dots ,k+j+s+n\}\subseteq \{k+j,k+j+1,\dots ,k+j+n+m_1\}$

De donde, por (9), se tiene que:

$\{k+j+s,k+j+s+1,\dots ,k+j+s+n\}\subseteq B$

Así, de (10), se sigue que, $\{k+j+s,k+j+s+1,\dots ,k+j+s+n\}\subseteq A\cap B$. Esto implica que $k+j+s∊\{i∊\mathbb{\text{ℕ}}:\{i,i+1,\dots ,i+n\}\subseteq A\cap B\}$. Además, $k+j+s∊\{k,k+1,\dots ,k+m\}$. Luego,

$\{k,k+1,\dots ,k+m\}\cap \{i∊\mathbb{\text{ℕ}}:\{i,i+1,\dots ,i+n+m_1\}\subseteq A\cap B\}\ne \varnothing$

Por lo tanto, A ∩ B es thickly sindético.

Como consecuencia de la Proposición 7, se obtiene el Corolario 1.

Corolario 1

Si para cada $i∊\{1,2,\dots ,k\}$, $A_i\subseteq {\mathbb{\text{ℤ}}}_{+}$ es thickly sindético, entonces${\bigcap }_{i=1}^k{A}_i$ es thickly sindético.

A continuación presentamos más clases de sistemas dinámicos discretos.

Definición 7

Sea (X, f) un sistema dinámico discreto. Se dice que el sistema dinámico discreto (X, f) es:

1. 1. Sensitivo o sensible a las condiciones iniciales si existe δ > 0 tal que para todo x ∈ X y para todo abierto U en X con x ∈ U, existen y ∈ U y $k\in \mathbb{N}$ tales que $d(f^k(x),f^k(y))>\delta$. A la constante δ se le llama constante de sensibilidad de f.
2. 2. Li-Yorke sensitivo si existe δ > 0 tal que para todo x ∈ X y para todo abierto U en X con x ∈ U, existe y ∈ U tal que:

   ${\underset{n\to \mathrm{\infty }}{\lim }}_{}d(f^n(x),f^n(y))=0$ y

3. 3. Multi-sensitivo si existe δ > 0 tal que para cualesquiera abiertos U₁, U₂, . . . , U_k no vacíos en X se tiene que $\bigcap _{i=1}^k{N}_f(U_i,\delta )\ne \varnothing$.
4. 4. Cofinitamente sensitivo si existe δ > 0 tal que para cada abierto no vacío U en X, se tiene que N_f (U, δ) es cofinito.
5. 5. Thick sensitivo si existe δ > 0 tal que para cada abierto no vacío U en X, se tiene que N_f (U, δ) es thick.
6. 6. Sindéticamente sensitivo si existe δ > 0 tal que para cada abierto no vacío U en X, se tiene que N_f (U, δ) es sindético.
7. 7. Thickly sindéticamente sensitivo (TSS) si existe δ > 0 tal que para cada abierto no vacío U en X, se tiene que N_f (U, δ) es thickly sindético.

Observación 3

Con respecto a la definición 1, dada en la definición 7 se tiene que en términos prácticos, que f sea una función sensitiva implica que si se usan sus iteraciones para modelar el comportamiento a largo plazo, entonces cualquier variación de las condiciones iniciales puede dar lugar a grandes diferencias entre el comportamiento previsto. La sensibilidad de una función, es un ingrediente clave del caos para sistemas dinámicos (vea [6]).

A continuación presentaremos un ejemplo de un sistema dinámico sensible. Posteriormente, daremos un ejemplo de los demás tipos de sistemas.

Ejemplo 7

Consideremos el sistema dinámico (X, f), donde X = [0, 1] es el intervalo cerrado considerado con la métrica del subespacio de la recta real y la función f : X → X dada por $f\left(x\right)=2x$, para cada x ∈ X. Se tiene que el sistema (X, f) es sensitivo. En efecto, sean $\epsilon >0$, x, y ∈ [0, 1] tal que $|x-y|=\epsilon$. Dado que la sucesión ${\left\{2^n\right\}}_{n\in \mathbb{N}}$ no es convergente (vea [2, pág. 431]) existe $N_{\epsilon }\in \mathbb{N}$ tal que, para cada $n\ge N_{\epsilon }$ se sigue que

Sea $n_0\ge N_{ϵ}$. Así, por definición de la función se obtiene que

En consecuencia, por (11) se sigue que

Finalmente, de (13) tenemos que $|f^{n_0}(x)-f^{n_0}(y)|>N_{ϵ}$. Así, considerando $\delta =N_{ϵ}$ se obtiene lo deseado.

Ejemplo 8

Sea X un espacio métrico, compacto y conexo. Consideremos $i{d}_X:X\to X$ la función identidad. Se tiene que $(X,i{d}_X)$ no es sensitivo.

La Proposición 8, muestra una equivalencia de sistema dinámico sensitivo, la cual nos será útil en la prueba de la Proposición 10.

Proposición 8

Sea (X, f) un sistema dinámico discreto. Las condiciones siguientes son equivalentes:

1. 1. (X, f) es sensitivo.
2. 2. Existe δ > 0, tal que para todo subconjunto abierto no vacío U de X, el conjunto N_f (U, δ) ̸= ∅.

Demostración. Veamos que (1) implica (2). Supongamos que (X, f) es sensitivo, con constante de sensitividad δ₁. Sea δ = δ₁. Veamos que para todo subconjunto abierto no vacío U de X, el conjunto $N_f(U,\delta )\ne \varnothing$. Para esto, sea U un subconjunto abierto no vacío de X. Como U es no vacío, existe x ∈ X tal que x ∈ U. Por hipótesis, existen y ∈ U y $n\in \mathbb{N}$ tales que$d(f^n(x),f^n(y))>\delta$. Así, n ∈ Nf (U, δ). Por lo tanto, $N_f(U,\delta )\ne \varnothing$. La prueba de (2) implica (1), la haremos por contrarecíproco. Es decir, supongamos que no se cumple (1) y probaremos que no se cumple (2). Para esto, sean (1’) y (2’) como sigue:

(1’). Para todo δ > 0, existen x ∈ X y un subconjunto abierto no vacío U de X con x ∈ U, tales que para todo y ∈ U y para todo $n\in \mathbb{N}$, se cumple que $d(f^n(x),f^n(y))\le \delta$.

Para todo δ > 0, existe un subconjunto abierto no vacío U de X tal que el conjunto $N_f(U,\delta )=\varnothing$, es decir, para todo x, y ∈ U y para todo $n\in \mathbb{N}$, se tiene que $d(f^n(x),f^n(y))\le \delta$.

Así, sólo basta verificar que (1’) implica (2’). Supongamos que se cumple (1’) y veamos que se cumple (2’). Para eso, sea δ > 0. Por hipótesis, para $\frac{\delta }{2}$ , existen x ∈ X y un subconjunto abierto no vacío U de X con x ∈ U, tal que para todo y ∈ U y para todo $n\in \mathbb{N}$ se cumple que:

Sean z, w ∈ U y $k\in \mathbb{N}$. Aplicando (14), a los puntos z, w resulta que:

Luego,

$d(f^k(z),f^k(w))\le d(f^k(z),f^k(x))+d(f^k(x),f^k(w))$

Así, por (15), se satisface que:

$d(f^k(z),f^k(w))\le \frac{\delta }{2}+\frac{\delta }{2}=\delta$

Con todo, se cumple (2’). Por lo tanto, (2) implica (1).

Relaciones entre los tipos de sensibilidad

En esta sección mostramos las relaciones que se tienen entre los sistemas dinámicos de tipo sensitivo. Así como también se dan condiciones para que algunos de estos tipos de sistemas sean equivalentes. Lo cual nos ayuda a verificar las relaciones entre estos y los sistemas de tipo compacto transitivo.

Proposición 9

Sea (X, f) un sistema dinámico discreto. Si (X, f) es cofinitamente sensitivo, entonces (X, f) es thickly sindéticamente sensitivo.

Demostración. Supongamos que (X, f) es cofinitamente sensitivo. Veamos que (X, f) es thickly sindéticamente sensitivo. Para esto, sea U un subconjunto abierto no vacío en X. Por hipótesis, existe δ > 0 tal que N_f (U, δ) es cofinito. Luego, por la Proposición 5, se tiene que N_f (U, δ) es thickly sindético. Por lo tanto, (X, f) es thickly sindéticamente sensitivo.

Proposición 10

Sea (X, f) un sistema dinámico discreto. Si (X, f) es thick sensitivo, entonces (X, f) es sensitivo.

Demostración. Supongamos que (X, f) es thick sensitivo con constante de sensitividad δ > 0. Sea U un subconjunto abierto no vacío en X. Por hipótesis $N_f(U,\delta )$ es thick. Luego, $N_f(U,\delta )\ne \varnothing$. Finalmente, por la Proposición 8, se concluye que (X, f) es sensitivo.

Para probar el Teorema 2 antes mencionaremos el siguiente Teorema 1 el cual fue tomado de [7] y adaptado para nuestros fines.

Teorema 1

Sea (X, f) un sistema dinámico discreto. Las condiciones siguientes son equivalentes:

1. 1. (X, f) es débilmente mezclante
2. 2. Para cada U₁, U₂, V₁ y V₂ abiertos no vacíos en X, existen subconjuntos abiertos no vacíos U y V , en X tales que:

   $N_f(U,V)\subseteq N_f(U_1,V_1)\cap N_f(U_2,V_2)y{N}_f(U,V)\ne \varnothing$

3. 3. Para cada $k∊\mathbb{\text{ℕ}}$ y para cualesquiera abiertos no vacíos U₁, . . . , U_k y V₁, . . . , V_k de X, existe $n∊{\mathbb{\text{ℤ}}}_{+}$ tal que $n∊\bigcap _{i=1}^k{N}_f(U_i,V_i)$.
4. 4. Para cada par de subconjuntos abiertos no vacíos U y V de X, se cumple que el conjunto N_f (U, V ) es thick.
5. 5. Para cada par de subconjuntos abiertos no vacíos U y V de X, existe $n\in \mathbb{N}$ tal que:

   $U\cap f^{-n}(U)\ne \varnothing yU\cap f^{-n}(V)\ne \varnothing$

Teorema 2

Sea (X, f) un sistema dinámico discreto. Si (X, f) es débilmente mezclante, entonces (X, f) es thick sensitivo.

Demostración. Supongamos que (X, f) es débilmente mezclante. Probemos que (X, f) es thick sensitivo. Sean δ ∈ (0, diám(X)/4) y W un abierto en X. Veamos que N_f (W, δ) es thick. Como δ > 0, existen x₀, y₀ ∈ X tales que:

$\mathrm{diám}(X)-\delta <d(x_0,y_0)$

Dado que $\delta <\frac{\mathrm{diám}(X)}{4}$ , se tiene que $4\delta -\delta <\mathrm{diám}(X)-\delta <d(x_0,y_0)$. Luego,

Sean $U=B(x_0,\delta )$ y $V=B(y_0,\delta )$. Sean x ∈ U y y ∈ V . Por la desigualdad del triángulo se tiene que:

$d(x_0,y_0)\le d(x_0,x)+d(x,y)+d(y,y_0)$

Así, por (16), resulta que:

$3\delta <d(x_0,y_0)\le \delta +d(x,y)+\delta$

Esto implica que δ < d(x, y). Dado que x y y son puntos arbitrarios de U y V , respectivamente, se concluye que para todo x ∈ U y para todo y ∈ V ,

Ahora, puesto que (X, f) es débilmente mezclante por el inciso (2) del Teorema 1, para los conjuntos abiertos U, V y W, existen abiertos U ′ y V ′ no vacíos en X tales que:

Probemos ahora que $N_f(W,U)\cap N_f(W,V)\subseteq N_f(W,\delta )$. Para esto sea $n∊N_f(W,U)\cap N_f(W,V)$. Demostraremos que

Es decir, veamos que:

$n∊{\mathbb{\text{ℤ}}}_{+}$ y existen x, y ∈ U tales que $d(f^n(x),f^n(y))>\delta$.

Como $n∊N_f(W,U)\cap N_f(W,V)$ se tiene que $W\cap f^{-n}(U)\ne \varnothing$ y $W\cap f^{-n}(V)\ne \varnothing$. Luego, de la Proposición 1, obtenemos que:

$f^n(W)\cap U\ne \varnothing$ y $f^n(W)\cap V\ne \varnothing$

Por lo tanto, existen x, y ∈ W tales que:

$f^n(x)∊Uy{f}^n(y)∊V$

De (17), obtenemos que $d(f^n(x),f^n(y))>\delta$. En consecuencia (19) queda probado. Por lo tanto

Finalmente, por (18) y (20) se satisface que:

$N_f(U\text{'},V\text{'})\subseteq N_f(W,\delta )$

Como (X, f) es débilmente mezclante aplicando nuevamente el inciso (4) del Teorema 1, a los conjuntos abiertos U ′ y V ′ resulta que N_f (U ′ , V ′ ) es thick. Luego, por la Proposición 3, se concluye que N_f (W, δ) es thick.

De la Proposición 10 y del Teorema 2, se obtiene el siguiente resultado.

Corolario 2

Sea (X, f) un sistema dinámico discreto. Si (X, f) es débilmente mezclante, entonces (X, f) es sensitivo.

El Teorema 3 nos muestra la relación que existe entre la clase de los sistemas thickly sindéticamente sensitivo y los multi-sentitivos.

Teorema 3

Sea (X, f) un sistema dinámico discreto. Si (X, f) es thickly sindéticamente sensitivo, entonces (X, f) es multi-sensitivo.

Demostración. Supongamos que (X, f) es thickly sindéticamente sensitivo con constante de sensitividad δ > 0. Veamos que (X, f) es multi-sensitivo. Sea $k\in \mathbb{N}$. Para $i∊\{1,2\dots ,k\}$, sea $U_i$ un subconjunto abierto no vacío en X. Veamos que ${\bigcap _{i=1}^k}_{\textcolor{red}{}}^{\textcolor{red}{}}{N}_f(U_i,\delta )\ne \varnothing$. Por hipótesis, para cada i ∈ {1, . . . , k}, se tiene que N_f (Ui , δ) es thickly sindético. En consecuencia, por el Corolario 1, se deduce que ${\bigcap _{i=1}^k}_{\textcolor{red}{}}^{\textcolor{red}{}}{N}_f(U_i,\delta )$ es thickly sindético. Así, se concluye que:

${\bigcap _{i=1}^k}_{\textcolor{red}{}}^{\textcolor{red}{}}{N}_f(U_i,\delta )\ne \varnothing$

Por lo tanto, (X, f) es multi-sensitivo.

Teorema 4

Sea (X, f) un sistema dinámico discreto. Si (X, f) es multi-sensitivo, entonces (X, f) es thick sensitivo.

Demostración. Supongamos que (X, f) es multi-sensitivo con constante de sensitividad δ. Verifiquemos que (X, f) es thick sensitivo. Sea U un subconjunto abierto y no vacío en X. Veamos que N_f (U, δ) es thick. Sea $k\in \mathbb{N}$. Veamos que existe $n\in \mathbb{N}$ tal que $\{n,n+1,\dots ,n+k\}\subseteq N_f(U,\delta )$. Para cada i ∈ {0, 1, . . . , k} sea

Como (X, f) es multi-sensitivo, se tiene que ${\bigcap _{i=0}^k}_{\textcolor{red}{}}^{\textcolor{red}{}}{N}_f(U_i,\delta )\ne \varnothing$. Luego, existe $l\in \mathbb{N}$ tal que .

Así,

$l∊N_f(U_i,\delta )$, para todo i ∈ {0, 1, . . . , k}.

Luego, para cada i ∈ {0, 1, . . . , k}, existen x_i , y_i ∈ U_i tales que $d(f^l(x_i),f^l(y_i))>\delta$. Por el inciso (3) de la Observación 2 y de (21), se obtiene que:

Nuevamente de (21), se deduce que l > k. Luego, $l-i+i∊N_f(f^{-i}(U),\delta )$. Por la Proposición 2 y(22), resulta que $l-i∊N_f(U_i,\delta )$, para todo $i∊\{0,1,\dots ,k\}$. Luego,

$\{l,l-1,\dots ,l-k\}\subseteq N_f(U,\delta )$

Así, haciendo n = l − k > 0, se concluye que$\{n,n+1,\dots ,n+k\}\subseteq N_f(U,\delta )$. Por lo tanto, N_f (U, δ) es thick.

Del la Proposición 10 y del Teorema 4, se obtiene el siguiente resultado.

Corolario 3 Sea (X, f) un sistema dinámico discreto. Si (X, f) es multi-sensitivo, entonces (X, f) es sensitivo.

Una prueba alternativa del Corolario 3, que puede servir al lector, es la siguiente.

Teorema 5

Sea (X, f) un sistema dinámico discreto. Si(X, f) es multi-sensitivo, entonces (X, f) es sensitivo.

Demostración. Supongamos que (X, f) es multi-sensitivo, con constante de sensitividad δ > 0. Demostremos que (X, f) es sensitivo aplicando la Proposición 8. Sea U un subconjunto abierto y no vacío en X. Sean $k\in \mathbb{N}$ y U_i = U, para todo i ∈ {1, 2, . . . , k}. Por hipótesis

${\bigcap _{i=1}^k}_{\textcolor{red}{}}^{\textcolor{red}{}}{N}_f(U_i,\delta )\ne \varnothing$

Esto implica que, $N_f(U,\delta )\ne \varnothing$. Así, se tiene que (X, f) es sensitivo.

El Teorema 6 nos indica que si el espacio X coincide con el intervalo [0, 1], entonces el sistema dinámico sensitivo es cofinitamente sensitivo. Una prueba de dicho resultado la puede consultar en [17,Teorema 2].

Teorema 6

Sea ([0, 1], f) un sistema dinámico discreto. Si ([0, 1], f) es sensitivo, entonces ([0, 1], f) es cofinitamente sensitivo.

Como consecuencia del Teorema 6 y de la Figura 7, se obtiene el corolario siguiente.

Corolario 4 Sea ([0, 1], f) un sistema dinámico discreto. Los enunciados siguientes son equiva-lentes:

1. 1. ([0, 1], f) es cofinitamente sensitivo.
2. 2. ([0, 1], f) es thickly sindéticamente sensitivo.
3. 3. ([0, 1], f) es multi-sensitivo.
4. 4. ([0, 1], f) es thick sensitivo.
5. 5. ([0, 1], f) es sensitivo.

En la Figura 7 se muestran relaciones que se cumplen entre los sistemas dinámicos de tipo sensitivo. La flecha significa que la clase de funciones precedente implica la siguiente.

El Teorema 7 nos dice cuándo algunas de las relaciones de la Figura 7 resultan ser equivalentes. Antes recordemos que X es un M-sistema si el sistema es transitivo y el conjunto de los puntos casi periódicos es denso en X.

Teorema 7

Sea (X, f) un sistema dinámico. Si (X, f) es un M-sistema, entonces los enunciados siguientes son equivalentes:

1. 1. (X, f) es multi-sensitivo.
2. 2. (X, f) es thickly sindéticamente sensitivo.
3. 3. (X, f) es thick sensitivo.

Del Ejemplo 8 se sabe que el sistema dinámico (X, id_X) no es sensitivo. En consecuencia de la Figura 7, se obtiene el siguiente ejemplo.

Ejemplo 9

Consideremos el sistema dinámico (X, id_X), donde id_X : X → X es la función identidad. Por la Figura 7, se tiene que:

1. 1. (X, id_X) no es cofinitamente sensitivo.
2. 2. (X, id_X) no es thickly sindéticamente sensitivo.
3. 3. (X, id_X) no es multi-sensitivo.
4. 4. (X, id_X) no es thick sensitivo

A continuación, mencionamos un resultado que nos permite relacionar los sistemas dinámicos mezclantes con los sistemas de tipo sensitivo. Este resultado lo puede verificar en [17, Proposición 2].

Proposición 11

Sea (X, f) un sistema dinámico. Si(X, f) es mezclante, entonces para cualquier δ ∈ (0, diám(X)) se cumple que (X, f) es cofinitamente sensitivo, con constante de sensitividad δ.

De la Figura 7 y de la Proposición 11, se obtiene la Figura 8. La flecha significa que la clase de funciones precedente implica la siguiente.

La prueba de la Proposición 12 la puede consultar en [1, Proposición 2.1]. Dicho resultado nos ayuda a verificar otras relaciones entre estos tipos de sistemas. Antes de plantear este resultado, recordemos que el símbolo O(x, f) denota la órbita del punto x bajo la función f (vea Definición 2).

Proposición 12

Sea (X, f) un sistema dinámico. Las condiciones siguientes son equivalentes:

1. 1. (X, f) es transitivo.
2. 2. Existe x ∈ X tal que O(x, f) es densa en X.

Finalizamos esta sección, con el Teorema 8, el cual establece que todo sistema dinámico thick sensitivo y transitivo es multi-sensitivo.

Teorema 8

Sea (X, f) un sistema dinámico. Si(X, f) es thick sensitivo y transitivo, entonces (X, f) es multisensitivo

Demostración. Supongamos que (X, f) es transitivo y thick sensitivo con constante de sensitividad δ > 0. Probemos que (X, f) es multi-sensitivo. Sean U₁, U₂, . . . , U_k subconjuntos abiertos no vacíos de X. Veamos que ${\bigcap _{i=1}^k}_{\textcolor{red}{}}^{\textcolor{red}{}}{N}_f(U_i,\delta )\ne \varnothing$. Como (X, f) es transitivo, por la Proposición 12, existe x ∈ X, tal que O(x, f) es densa en X. Luego,

$O(x,f)\cap U_i\ne \varnothing$ ,para todo $i\in \{1,2,...,k\}$

Así, para cada i ∈ {1, 2, . . . , k}, existe $n_i\in \mathbb{N}$ tal que:

Definamos $U={\bigcap }_{i=1}^k{f}^{-n_i}(U_i)$. Notemos que de (23), se deduce que $x∊f^{-n_i}(U_i)$, para cada i ∈ {1, 2, . . . , k}. Luego,$x∊{\bigcap }_{i=1}^k{f}^{-n_i}(U_i)=U$ Así, U es no vacío. Además, por la continuidad de f, resulta que$f^{-n_i}$ es continua, para todo i ∈ {1, 2, . . . , k}. Así, $f^{-n_i}(U_i)$, para cada {i ∈ {1, 2, . . . , k}, es un conjunto abierto en X. Luego, ${\bigcap }_{i=1}^k{f}^{-n_i}(U_i)=U$ es un subconjunto abierto en X.

Por otro lado, notemos que para todo i ∈ {1, 2, . . . , k},

$f^{n_i}(U)=f^{n_i}\left({\bigcap }_{j=1}^k{f}^{-n_j}(U_j)\right)\subset f^{n_i}(f^{-n_i}(U_i))\subset U_i$

En consecuencia, $f^{n_i}(U)\subset U_i$ , para todo i ∈ {1, 2, . . . , k}. Esto implica que $U\subset f^{-n_i}(U_i)$. Luego, por el inciso (1) de la Observación 2, obtenemos que para todo i ∈ {1, 2, . . . , k}

Por otro lado, como (X, f) es thick sensitivo, se satisface que N_f (U, δ) es thick. Luego, para $n_1+\dots +n_k∊\mathbb{\text{ℕ}},existes∊\mathbb{\text{ℕ}}$ tal que:

$\{s,s+1,\dots ,s+n_1+\dots +n_k\}\subset N_f(U,\delta )$

Así, de (24), se deduce que:

$\{s,s+1,\dots ,s+n_1+\dots +n_k\}\subset N_f(f^{-n_i}(U_i),\delta )$

De donde, $s+n_i∊N_f(f^{-n_i}(U_i),\delta )$, para todo i ∈ {1, 2, . . . , k}. Luego, por la Proposición 2, se concluye que $s∊N_f(U_i,\delta )$, para todo i ∈ {1, 2, . . . , k}. En consecuencia, $s∊{\bigcap }_{i=1}^k{N}_f(U_i,\delta )$. Por lo tanto, (X, f) es multi-sensitivo.

Compacto transitividad

En esta sección se introduce la noción del conjunto omega-límite de un punto con respecto a una familia de Furstenberg. Dicho conjunto nos ayudará a definir los sistemas dinámicos compacto transitivo. Antes de presentar estos conceptos damos algunos conceptos que nos ayudan a definir este tipo de sistemas. Acordemos que en este apartado denotaremos por $P\left({\mathbb{Z}}_{+}\right)$ a el conjunto de todos los subconjuntos de ${\mathbb{Z}}_{+}$.

Definición 8

Un subconjunto $F$ de $P\left({\mathbb{Z}}_{+}\right)$ es una familia de Furstenberg, si para cualesquiera $F_1,F_2∊P({\mathbb{\text{ℤ}}}_{+})$ tales que $F_1\subseteq F_{2}y{F}_1∊ℱ$ se cumple que $F_2\in ℱ$

Para ilustrar la Definición 8 veamos algunos ejemplos.

Ejemplo 10

Sea $A\in P\left({\mathbb{Z}}_{+}\right)$ tal que $A\ne \varnothing$. La familia

${ℱ}_A=\{F∊P({\mathbb{\text{ℤ}}}_{+}):A\subseteq F\}$

es una familia de Furstenberg. En efecto, sean $F_1,F_2∊P({\mathbb{\text{ℤ}}}_{+})$ de tal manera que $F_1\subset F_{2}y{F}_1∊{ℱ}_A$ Luego $A\subseteq F_1\subseteq F_2$. Así,$A\subseteq F_2$. Por lo tanto, $F_2∊{ℱ}_A$.

Definición 9

Sea (X, f) un sistema dinámico. Se define la familia ${\mathcal{N}}_f$ como sigue:

${\mathcal{N}}_f=\{A\subseteq {\mathbb{\text{ℤ}}}_{+}:existenU,V\subseteq Xabiertos\; no\; vacíos\; tales\; que{N}_f(U,V)\subseteq A\}$

Observación 4

Sea (X, f) un sistema dinámico. Para cualesquiera U y V subconjuntos abiertos no vacíos en X,se tiene que $N_f(U,V)∊{\mathcal{N}}_f$. De donde, ${\mathcal{N}}_f\ne \varnothing$.

Ejemplo 11

La familia ${\mathcal{N}}_f$ dada en la Definición 9, es de Furstenberg. En efecto, sean $F_1,F_2∊{\mathcal{N}}_f$ tales que $F_1\subseteq F_{2}y{F}_1∊{\mathcal{N}}_f$. Luego, existen U y V subconjuntos abiertos no vacíos en X tales que Nf (U, V ) ⊆ F1. Como F1 ⊆ F2, Nf (U, V ) ⊆ F2. Por lo tanto,F2 ∈ Nf .

Proposición 13

Sea $F∊P({\mathbb{\text{ℤ}}}_{+})$. Se cumple que $F\cap R\ne \varnothing$, para todo $R∊{\mathcal{N}}_f$ si y solo si$F\cap N_f(U,V)\ne \varnothing$, para todos U y V subconjuntos abiertos no vacíos en X.

Demostración. Supongamos que$F\cap F\text{'}\ne \varnothing$, para todo $F\text{'}∊{\mathcal{N}}_f$ . Sean U y V subconjuntos abiertos no vacío de X. Por la Observación 4, se tiene que $N_f(U,V)∊N_f$ . Así, por el supuesto, se tiene que $F\cap N_f(U,V)\ne \varnothing$. Recíprocamente, supongamos que $F\cap N_f(U,V)\ne \varnothing$, para todos U y V subconjuntos abiertos no vacíos de X. Sea $F\text{'}∊N_f$. Por la Definición 9, existen subconjuntos abiertos no vacíos U y V de X, tales que $N_f(U,V)\subseteq F\text{'}$. Luego$N_f(U,V)\cap F\subseteq F\text{'}\cap F$. Por hipótesis $N_f(U,V)\cap F\ne \varnothing$. Por lo tanto, $F\text{'}\cap F\ne \varnothing$.

Definición 10

Sea $ℱ$ una familia de Furstenberg. La familia dual de $ℱ$, denotada por $kℱ$, se define como:

$kℱ=\{F∊P({\mathbb{\text{ℤ}}}_{+}):F\cap R\ne \varnothing ,para\; cualquierR∊ℱ\}$

Ilustramos el concepto dado en la Definición 10 mediante los siguientes ejemplos, Ejemplo 12 y Ejemplo13.

Ejemplo 12

La familia dual de la familia ${ℱ}_A$ dada en el Ejemplo 10 es:

$k{ℱ}_A=\{F∊P({\mathbb{\text{ℤ}}}_{+}):F\cap R\ne \varnothing ,para\; todoR∊{ℱ}_A\}$

$=\{F∊P({\mathbb{\text{ℤ}}}_{+}):F\cap A\ne \varnothing \}$

$=\{F\subseteq {\mathbb{\text{ℤ}}}_{+}:existea∊Fya∊A\}$

Ejemplo 13

La familia dual de la familia ${\mathcal{N}}_f$ dada en la Definición 9, es:

$k{\mathcal{N}}_f=\{F∊P({\mathbb{\text{ℤ}}}_{+}):F\cap R\ne \varnothing ,para\; cualquierR∊{\mathcal{N}}_f\}$

Por la Proposición 13, se tiene que:

$k{\mathcal{N}}_f=\{F∊P({\mathbb{\text{ℤ}}}_{+}):F\cap N_f(U,V)\ne \varnothing ,para\; todosU,V\subseteq X,abiertos\; no\; vacíos\}$

Definición 11

Sean (X, f) un sistema dinámico, $ℱ\subseteq P({\mathbb{\text{ℤ}}}_{+})$ una familia de Furstenberg y x ∈ X. El conjunto ω-límite de x con respecto a la familia $ℱ$, denotado por ω$ℱ$(x), se define como:

${\omega }_{ℱ}(x)=\{z∊X:N_f(x,G)∊kℱ,para\; cada\; vecindadGdez\}$

Ejemplo 14

Sean (X, f) un sistema dinámico y x ∈ X. Por la Definición 11 y la Definición 9, se tiene que:

${\omega }_{{\mathcal{N}}_f}=\{z∊X:N_f(x,G)∊k{\mathcal{N}}_f,para\; cada\; vecindadGdez\}$

Ocupando (25) del Ejemplo 13 y el Ejemplo 14, se obtiene la siguiente observación.

Observación 5

El conjunto ω-límite de x, respecto a la familia ${\mathcal{N}}_f$ se puede escribir de la siguiente forma:

${\omega }_{{\mathcal{N}}_f}=\{z∊X:N_f(x,G)\cap N_f(U,V)\ne \varnothing ,para\; cada\; vecindadGdezy\; para\; cualesquieraU,V\subseteq Xabiertos\; no\; vacíos\}$

En [11, Lema 3.3.11] encontrará una prueba detallada del Lema 1.

Lema 1 Sean (X, f) un sistema dinámico débilmente mezclante, W un subconjunto cerrado y no vacío en X y x ∈ X. Si N_f (x,W) es sindético, entonces ${\omega }_{{\mathcal{N}}_f}\cap W\ne \varnothing$.

Terminamos esta sección dando el concepto de sistema dinámico compacto transitivo y mostrando una equivalencia del mismo.

Definición 12

Sea (X, f) un sistema dinámico. Se dice que (X, f) es compacto transitivo si para cada x ∈ X, existe z ∈ X tal que $N_f(x,G)\cap N_f(U,V)\ne \varnothing$, para cada vecindad G de z y para cualesquiera abiertos no vacíos U y V de X.

En la Figura 9, se muestra de manera geométrica el concepto de compacto transitividad (Definición12). Básicamente el concepto nos dice que, dado un punto x ∈ X, existe un punto z ∈ X, tal que para cualquier vecindad de z, digamos G como se muestra en la Figura 9, y cualesquiera dos subconjuntos abiertos no vacíos en X, digamos U y V , existe un momento en el cual, al mismo tiempo que fⁿ(U) intersecta al conjunto V , se cumple que fⁿ(x) ∈ G.

De la Observación 5 y la Definición 12, se tiene el siguiente resultado.

Proposición 14

Sea (X, f) un sistema dinámico. Se cumple que (X, f) es compacto transitivo si y solo si ${\omega }_{{\mathcal{N}}_f}\left(x\right)\ne \varnothing$, para cada x ∈ X.

Demostración. Supongamos que (X, f) es compacto transitivo. Sea x ∈ X. Luego, existe z ∈ X tal que $N_f(x,G)\cap N_f(U,V)\ne \varnothing$, para cada vecindad G de z y para cualesquiera subconjuntos abiertos no vacíos U y V de X. Así, por la Observación 5, se tiene que $z\in {\omega }_{{\mathcal{N}}_f}$). Por lo tanto, ${\omega }_{{\mathcal{N}}_f}\left(x\right)\ne \varnothing$. Recíprocamente, supongamos que ${\omega }_{{\mathcal{N}}_f}\left(x\right)\ne \varnothing$. Por la Observación 5, existe z ∈ X, tal que $N_f(x,G)\cap N_f(U,V)\ne \varnothing$, para cada vecindad G de z y para cualesquiera subconjuntos abiertos no vacíos U y V de X. Por Definición 12, se concluye que (X, f) es compacto transitivo.

Teorema 9

Sea (X, f) un sistema dinámico. Si (X, f) es débilmente mezclante, entonces (X, f) es compacto transitivo.

Demostración. Supongamos que (X, f) es débilmente mezclante. Para verificar que (X, f) es compacto transitivo, por la Proposición 14, basta verificar que ${\omega }_{{\mathcal{N}}_f}\left(x\right)\ne \varnothing$, para cada x ∈ X. Para esto, sea x ∈ X. Notemos que X ⊆ X y es cerrado en sí mismo, además N_f (x, X) es sindético. Por el Lema 1, se obtiene que ${\omega }_{{\mathcal{N}}_f}\left(x\right)\cap X\ne \varnothing$. Dado que ${\omega }_{{\mathcal{N}}_f}\left(x\right)\cap X={\omega }_{{\mathcal{N}}_f}\left(x\right)$ tenemos que ${\omega }_{{\mathcal{N}}_f}\left(x\right)\ne \varnothing$. Por lo tanto, (X, f) es compacto transitivo.

El Ejemplo 15 fue probado en [14, Proposición 1.6.5, pág. 44].

Ejemplo 15

La función tienda es débilmente mezclante en el intervalo [0, 1].

Como consecuencia del Ejemplo 15 y del Teorema 9, se obtiene el siguiente resultado.

Ejemplo 16

La función tienda es compacto transitiva en el intervalo [0, 1].

El Ejemplo 15 fue probado en [14, Proposición 1.6.5, pág. 44].

Compacto transitividad y su relación con tipos de sensitividad

En esta sección estudiamos la relación entre los sistemas compacto transitivos con los sistemas del tipo sensitivo.

Teorema 10

Sea (X, f) un sistema dinámico. Si (X, f) es compacto transitivo, entonces (X, f) es sensitivo.

Demostración. Supongamos que (X, f) es compacto transitivo. Demostremos que (X, f) es sensitivo. Sea $0<\epsilon <\frac{\mathrm{diám}(X)}{4}$ . Esto implica que $0<4\epsilon <\mathrm{diám}(X)$. Luego, $0<2\epsilon <\frac{\mathrm{diám}(X)}{2}$ . En consecuencia, $\frac{\mathrm{diám}(X)}{2}-2\epsilon >0$. Sea $\delta =\frac{\mathrm{diám}(X)}{2}-2\epsilon$. Note que δ > 0. Mostremos que δ es una constante de sensitividad para (X, f). Sean x ∈ X y U₀ subconjunto abierto en X, tal que x ∈ U₀. Como (X, f) es compacto transitivo, existe y ∈ X tal que:

para cada vecindad G de y y para cualesquiera subconjuntos abiertos no vacíos U y V de X. Sean V₁ y V₂ subconjuntos abiertos en X y x₁ ∈ X, tales que:

Además,

Y

Por otro lado, de (26), aplicado a los conjuntos U₀, V₁ y V₂, se obtiene que:

$N_f(x,V_1)\cap N_f(U_0,V_2)\ne \varnothing$

Luego, existe $n∊{\mathbb{\text{ℤ}}}_{+}$ tal que $n∊N_f(x,V_1)$ y $n∊N_f(U_0,V_2)$. Esto implica que

Por la Proposición 1 y de (30) se deduce que f$f^n(U_0)\cap V_2\ne \varnothing$. Luego existe z ∈ U₀ tal que :

De la desigualdad del triángulo se satisface que:

Luego, de (27), (28) y (30), resulta que $d(y,f^n(x))<\epsilon$. Nuevamente, de (27), (28) y (31), se deduce que $d(f^n(z),x_1)<\epsilon$. En consecuencia, de (32), se cumple que

$d(y,x_1)<\epsilon +d(f^n(x),f^n(z))+\epsilon$

Luego,

$d(y,x_1)-2\epsilon <d(f^n(x),f^n(z))$

De donde, por (29), se concluye que:

$\delta =\frac{\mathrm{diám}(X)}{2}-2\epsilon \le d(x_1,y)-2\epsilon <d(f^n(x),f^n(z))$

Así,

$\delta <d(f^n(x),f^n(z))$

Por lo tanto, (X, f) es sensitivo.

Como consecuencia del Ejemplo 16 y el Teorema 10, se obtiene el ejemplo siguiente.

Ejemplo 17

El sistema dinámico ([0, 1], T) es sensitivo

Por el Ejemplo 17 y por el Corolario 4, se obtiene el ejemplo siguiente.

Ejemplo 18

Consideremos el sistema dinámico ([0, 1], T). Se cumple que:

1. 1. ([0, 1], T) es cofinitamente sensitivo
2. 2. ([0, 1], T) es thickly sindéticamente sensitivo.
3. 3. ([0, 1], T) es multi-sensitivo.
4. 4. ([0, 1], T) es thick sensitivo

En la Figura 10, en la cual se muestran algunas relaciones entre los sistemas dinámicos en la clase de los sistemas transitivos. La flecha significa que la clase de funciones precedente implica la siguiente.

De la Figura 10, se obtiene el siguiente Ejemplo 19.

Ejemplo 19

Consideremos el sistema dinámico (X, id_X), donde id_X : X → X es la función identidad. Se tiene que:

1. 1. (X, id_X) no es mezclante.
2. 2. (X, id_X) no es débilmente mezclante.
3. 3. (X, id_X) no es compacto transitivo.

Con respecto al recíproco de algunas relaciones indicadas en la Figura 10, se cumple el Teorema ₁₁, el cual puede encontrar en [8, Corolario 3.10].

Teorema 11

Sea (X, f) un sistema dinámico compacto transitivo. Si (X, f) es un M-sistema, entonces (X, f) es débilmente mezclante.

Finalmente, del Teorema 11 y de la Figura 10, se obtiene la Figura 11, que muestra las relaciones entre algunos tipos de sistemas dinámicos en la clase de M-sistemas. La flecha significa que la clase de funciones precedente implica la siguiente.