Category version of the Poincaré recurrence theorem (Q2643070): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q590993 |
||
Property / reviewed by | |||
Property / reviewed by: Ludvík Janoš / rank | |||
Revision as of 03:06, 20 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Category version of the Poincaré recurrence theorem |
scientific article |
Statements
Category version of the Poincaré recurrence theorem (English)
0 references
23 August 2007
0 references
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.
0 references
recurrence
0 references
first category
0 references
Baire space
0 references