Expansive homeomorphisms on non-Hausdorff spaces (Q284613)

The paper under review deals with the analysis of topological definitions of expansitivity, with examples on non-metrizable topologies, and with the extension of some known results of metric expansitivity to this (merely) topological frame. Given a topological space \((X,\mathcal{T})\) (no other property as \(X\) to be metric, compact, Hausdorff, \dots is needed) and a homeomorphism \(f:X\rightarrow X,\) the authors introduce the notions of \textit{orbit expansitivity} (\(f\) is orbit expansive if there is a finite open cover \(\mathcal{U}=\{U_1,\ldots,U_\ell\}\) of \(X\) such that if \(\{f^n(x),f^n(y)\}\subseteq U_{k_n}\) for all \(n\in\mathbb Z\) and some \(1\leq k_n\leq \ell,\) then \(x=y\)) and of \textit{refinement expansitivity} (there exists an open cover \(\mathcal{U}=\{U_1,\ldots,U_\ell\}\) of \(X\), called an \(r\)-expansive cover, such that for every open cover \(\mathcal{V}\) and sequences \((k_j)_{j\in\mathbb Z}\in \{1,\ldots,\ell\}^{\mathbb Z}\) there exists an \(N\in\mathbb N\) such that \(\bigcap_{|j|\leq N} f^j(U_{k_j})\subseteq V\) for some \(V\in\mathcal{V}\)). Then they study several and interesting facts about topological and dynamical properties related, amongst others, to separation axioms, metrizability, etc. Section 2 is devoted to the study of orbit expansivity and Section 3 deals with the notion of refinement expansivity. To mention some of them, let us rewrite: (i) Proposition 2.5. If \(X\) admits an orbit expansive homeomorphism then \(X\) is a \(T_1\)-space. (ii) Theorem 2.7. If a compact Hausdorff topological space admits an orbit expansive homeomorphism then it is metrizable. (iii) In Example 2.12 the authors give an example of an orbit expansive homeomorphism on a non-Hausdorff space. (iv) Corollary 3.10. If \(X\) admits a refinement expansive homeomorphism, then \(X\) is compact. (v) Theorem 3.13. If \(f\) is refinement expansive and \(X\) is a \(T_1\)-space, then \(f\) is orbit expansive. Moreover, \(X\) has a countable basis for its topology. (vi) In Example 3.14 they give a compact \(T_1\)-space admitting a refinement homeomorphism and, however, the space is not metrizable. Section 4 is about the relationship between the dynamics of refinement expansive homeomorphisms and the classical shift \(\sigma\) acting on sequences (of a certain alphabet) indexed in \(\mathbb Z\). The main result (Theorem 4.5) establishes that every refinement expansive homeomorphism on a \(T_1\) spaces is conjugate to a subshift of a possibly non-Hausdorff shift. It is worth mentioning that the construction is similar to that in [\textit{S. Baldwin}, Topology Appl. 154 , 2889--2938 (2007; Zbl 1130.54013)].