Eventual colorings of homeomorphisms (Q2375993)

Let \(f: X\to X\) be a fixed point free homeomorphism on a separable metric space \(X\). A subset \(C\subseteq X\) is called a color of \(f\) if \(f(C)\cap C=\emptyset\), and a cover \({\mathcal C}\) of \(X\) is a coloring of \(f\) if each \(C\in{\mathcal C}\) is a color of \(f\). The minimal cardinality of all closed covers is denoted by \(C(f)\) and called the coloring number of \(f\). Let \(p\in\mathbb{N}\) and \(C\subseteq X\). The phrase: ``\(C\) is eventually colored within \(p\)'' means that \(\bigcap^p_{i=0} f^{-i}(C)=\emptyset\). A closed cover of \(X\) whose members have this property is called an eventual coloring within \(p\), and the minimal cardinality of such covers is denoted by \(C(f,p)\). By analogy a number \(C^+(f,p)\) is defined by changing the condition \[ \bigcap^p_{i=0} f^{-i}(C)= \theta\quad\text{to}\quad \bigcap^p_{i=0} f^i(C)= \theta. \] It is proved that \(C(f,p)\leq C^+(f,p)\) and if \(X\) is compact, then \(C(f,p)= C^+(f,p)\). It is proved that if \(\dim(X)\leq n\) and the set of periodic points of \(f\) is either empty or zero-dimensional, then \(C(f,\varphi_n(k))\leq n+3-k\) for each \(k= 0,1,\dots, n+1\). Here \(\varphi_n(k)\) is a certain function, called index defined for \(n\in\mathbb{N}\) and \(k= 0,1,\dots, n+1\).