On the structure of perfect sets in various topologies associated with tree forcings (Q1939360)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the structure of perfect sets in various topologies associated with tree forcings |
scientific article |
Statements
On the structure of perfect sets in various topologies associated with tree forcings (English)
0 references
4 March 2013
0 references
A bijection \(f:X\to Y\) is said to be a perfect isomorphism (and \(X\) is said to be perfect isomorphic to \(Y\)), if for any perfect sets \(P\subseteq X\) and \(Q\subseteq Y\), the image \(f[P]\) has a perfect subset in \(Y\) and the inverse image \(f^{-1}[Q]\) has a perfect subset in \(X\). The authors are interested in four topologies associated with tree forcings: the dominating, eventually different, Ellentuck, and dual Ellentuck topologies. They prove that the Ellentuck, Hechler and dual Ellentuck topologies are perfect isomorphic to one another. Therefore the structure of perfect sets in all these spaces is the same. On the other hand they prove that the space corresponding to the eventually different forcing does not contain a perfect subset homeomorphic to any of the other spaces.
0 references
Ellentuck topology
0 references
Hechler topology
0 references
eventually different topology
0 references
Sorgenfrey topology
0 references
perfect sets
0 references
perfect isomorphism
0 references