In mathematics, in the field of topology, a perfect set is a subset of a topological space that is closed and has no isolated points. Equivalently: the set is perfect if , where denotes the set of all limit points of , also known as the derived set of .
In a perfect set, every point can be approximated arbitrarily well by other points from the set: given any point of and any topological neighborhood of the point, there is another point of that lies within the neighborhood.
Note that the term perfect space is also used, incompatibly, to refer to other properties of a topological space, such as being a Gδ space.
Connection with other topological properties
Cantor proved that every closed subset of the real line can be uniquely written as the disjoint union of a perfect set and a countable set. This is also true more generally for all closed subsets of Polish spaces, in which case the theorem is known as the Cantor-Bendixson theorem.
- If X is a complete metric space with no isolated points, then the Cantor space 2ω can be continuously embedded into X. Thus X has cardinality at least . If X is a separable, complete metric space with no isolated points, the cardinality of X is exactly .
- If X is a locally compact Hausdorff space with no isolated points, there is an injective function (not necessarily continuous) from Cantor space to X, and so X has cardinality at least .
- Kechris, A. S. (1995), Classical Descriptive Set Theory, Berlin, New York: Springer-Verlag, ISBN 3540943749
- Levy, A. (1979), Basic Set Theory, Berlin, New York: Springer-Verlag
- edited by Elliott Pearl. (2007), Pearl, Elliott, ed., Open problems in topology. II, Elsevier, ISBN 978-0-444-52208-5, MR 2367385