The topological structure of function space of transitive maps (Q1985639)

A topological dynamical system is a pair \((X,f)\) where \(X\) is a compact metric space and \(f:X\to X\) is a map. The function space \(C(X)\) of such maps is endowed with the topology of uniform convergence. The composition of \(f\) with itself \(n\) times is denoted \(f^n\). According to the authors' definition, \(f\) is transitive if for every pair \(U\), \(V\) of nonempty open subsets of \(X\), there exists a positive integer \(n\) such that \(U\cap f^{-n}(V)\neq\emptyset\) where $f^{-n}(V)$ is as usual the inverse image of $V$ under $f^n$. This is equivalent to the usual definition involving the condition $f^n(U)\cap V \neq \emptyset$ for some~$n$. By \(\mathbf{I}\), the authors mean the closed unit interval. Their main result is as follows. Main Theorem. Both subspaces \(T(\mathbf{I})\) and \(\overline{T(\mathbf{I})}\) of \(C(\mathbf{I})\) are homeomorphic to the separable Hilbert space \(\ell_2\). Here, \(T(\mathbf{I})\) is the subspace of \(C(\mathbf{I})\) consisting of the transitive maps, and \(\overline{T(\mathbf{I})}\) is its closure in \(C(\mathbf{I})\).