Category version of the Poincaré recurrence theorem

From MaRDI portal
Publication:2643070





Given a map \(f:X\to Y\) between topological spaces \(X\) and \(Y,f\) is said to be nearly feebly open if \(\text{Int}\,\overline{f(U)}\) is nonempty for any nonempty open set \(U\subset X\). If \(f:X\to X\) is a selfmap and \(A\subset X\) then \(\text{rec}(A)\) denotes the set \(\{x: x\in A\) and \(f^n(x)\in A\) for infinitely many \(n\in\mathbb{N}\}\). The author extends the Poincaré recurrence theorem to non-invertible maps, proving the following: Let \(X\) be a Baire space and \(f:X\to X\) a continuous nearly feebly open map. If \(f\) has no nonempty open wandering set, then (i) any wandering subset \(A\subset X\) with the property of Baire is of first category. (ii) For any \(A\subset X\) with the property of Baire the difference \(A\setminus\text{rec}(A)\) is of first category.











This page was built for publication: Category version of the Poincaré recurrence theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2643070)