Analytically heavy spaces: analytic Cantor and analytic Baire theorems (Q624389): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 09:16, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Analytically heavy spaces: analytic Cantor and analytic Baire theorems |
scientific article |
Statements
Analytically heavy spaces: analytic Cantor and analytic Baire theorems (English)
0 references
9 February 2011
0 references
Motivated by some observations on the central role of analyticity in apparently unconnected areas of analysis, topology and mathematical logic, this work aims to prove some variants of the classical Baire theorem (which says that in a Polish space the intersection of countably many open dense sets is dense) in the context of analytic and \(\mathcal{K}\)-analytic sets. This supports the heuristic point of view that completeness assumptions can often be dropped and replaced with a suitable form of analyticity. In the paper under review, the author extends a result of van Mill and obtains a generalization of a theorem due to Oxtoby. This immediately allows to prove a \(\mathcal{K}\)-analytic version of the Baire theorem (Theorem 5) in which Polish spaces are replaced with regular Hausdorff spaces and the role of open dense sets is played by dense \(\mathcal{K}\)-analytic and ``heavy'' (i.e.\ everywhere large in the sense of some \(\sigma\)-ideal) sets. Then various related separation theorems are derived, together with a fine-topology version of the Baire theorem (Theorem 6) which gives a unified approach embracing classical as well as ``generalized'' Gandy-Harrington topologies (including e.g. the Ellentuck topology). The arguments involved mainly rely on the notion of localization (with respect to some \(\sigma\)-ideal) and on some restatements of the Cantor Theorem in \(\mathcal{K}\)-analytic form, which allow to show the weak \(\alpha\)-favourability (with respect to a multiple-target form of the Choquet Banach-Mazur game) of dense \(\mathcal{K}\)-analytic heavy subsets of a regular space.
0 references
analytic
0 references
\(\mathcal{K}\)-analytic
0 references
analytically heavy
0 references
weakly \(\alpha\)-favourable
0 references
heavy sets
0 references
irreducible submap
0 references
Cantor theorem
0 references
Baire space
0 references
Banach-Mazur games
0 references
Choquet games
0 references
Luzin separation
0 references
fine topology
0 references
density topology
0 references
Gandy-Harrington topology
0 references
Ellentuck topology
0 references
O'Malley topologies
0 references
Effros theorem
0 references