On the structure of perfect sets in various topologies associated with tree forcings (Q1939360)

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.