I am interested in a "dynamical" modification of the cardinals $\mathfrak r$ and $\mathfrak r\_\sigma$, well-known in the theory of cardinal characteristics of the continuum.


For a compact metrizable space $X$, let $\mathfrak r\_X$ be the smallest cardinality of a family $\mathcal R$ of infinite subsets of $\omega$ such that for every sequence $(x\_n)\_{n\in\omega}\in X^\omega$ there exists $R\in\mathcal R$ such that the subsequence $(x\_n)\_{n\in R}$ converges in $X$.


It is easy to see that $\mathfrak r\_2\le \mathfrak r\_X\le\mathfrak r\_{2^\omega}$ for every compact metric space $X$ containing more than one point. Moreover, it can be shown that
$$\mathfrak r\_X=\begin{cases}\mathfrak r\_2&\mbox{if $|X|\le\omega$};\\
\mathfrak r\_{2^\omega}&\mbox{if $|X|>\omega$}.
\end{cases}
$$
Here $2$ is the doubleton $\{0,1\}$, endowed with the discrete topology.


In the theory of cardinal characteristics of the continuum, the cardinals $\mathfrak r\_2$ and $\mathfrak r\_{2^\omega}$ are denoted by $\mathfrak r$ and $\mathfrak r\_\sigma$, respectively.
As written in [the survey of Blass](http://www.math.lsa.umich.edu/%7Eablass/hbk.pdf), it is not known whether $\mathfrak r=\mathfrak r\_\sigma$ in ZFC.


Now I introduce a dynamical modification of the cardinal $\mathfrak r\_X$.


Let us recall that a *dynamical system* is a pair $(X,f)$ consisting of a compact metric space $X$ and a continuous function $f:X\to X$. Define the iterations $f^n$ of $f$ by the recursive formula: $f^0$ is the identity map of $X$ and $f^{n+1}=f\circ f^n$ for $n\in\omega$.


**Definition.** For a dynamical system $(X,f)$, let $\mathfrak r\_{(X,f)}$ be the smallest cardinality of a family $\mathcal R$ of infinite subsets of $\omega$ such that for every $x\in X$ there exists $R\in\mathcal R$ such that the sequence $(f^n(x))\_{n\in R}$ coverges in $X$.


It is clear that $\mathfrak r\_{(X,f)}\le\mathfrak r\_X$. If $f$ is the identity map of $X$, then $\mathfrak r\_{(X,f)}=1$, so the inequality can be strict.



> 
> **Problem.** Is it consistent that $\mathfrak r\_{(2^\omega,f)}<\mathfrak r\_{2^\omega}$ for the shift map $f:2^\omega\to 2^\omega$, $f:(x\_n)\_{n\in\omega}\mapsto (x\_{n+1})\_{n\in\omega}$?
> 
> 
> 



The cardinal characteristic $\mathfrak r_{(X,f)}$ of a dynamical system
Unfortunately, $\mathfrak r\_{(2^\omega,f)}\ge\mathfrak r$. Indeed, let $\mathcal R$ be a family of infinite subsets of $\omega$ such that $|\mathcal R|=\mathfrak r\_{(2^\omega,f)}$ and for any $x=(x\_n)\_{n\in\omega}\in 2^\omega$ there exists $R\in\mathcal R$ such that the sequence $(f^n(x))\_{n\in R}$ converges in $2^\omega$. Then the sequence $(x\_n)\_{n\in R}$ of the first coordinates of the sequence $(f^n(x))\_{n\in R}$ stabilizes, so the family $\mathcal R$ witness that $\mathfrak r\le \mathfrak r\_{(2^\omega,f)}$.


