In descriptive set theory, a subset of a Polish space has the perfect set property if it is either countable or has a nonempty perfect subset (Kechris 1995, p. 150). Note that having the perfect set property is not the same as being a perfect set.
As nonempty perfect sets in a Polish space always have the cardinality of the continuum, a set with the perfect set property cannot be a counterexample to the continuum hypothesis, stated in the form that every uncountable set of reals has the cardinality of the continuum.
The Cantor–Bendixson theorem states that closed sets of a Polish space X have the perfect set property in a particularly strong form; any closed set C may be written uniquely as the disjoint union of a perfect set P and a countable set S. Thus it follows that every closed subset of a Polish space has the perfect set property. In particular, every uncountable Polish space has the perfect set property, and can be written as the disjoint union of a perfect set and a countable open set.
It follows from the axiom of choice that there are sets of reals that do not have the perfect set property. Every analytic set has the perfect set property. It follows from sufficient large cardinals that every projective set has the perfect set property.
Famous quotes containing the words perfect, set and/or property:
“Sinclair Lewis is the perfect example of the false sense of time of the newspaper world.... [ellipsis in source] He was always dominated by an artificial time when he wrote Main Street.... He did not create actual human beings at any time. That is what makes it newspaper. Sinclair Lewis is the typical newspaperman and everything he says is newspaper. The difference between a thinker and a newspaperman is that a thinker enters right into things, a newspaperman is superficial.”
—Gertrude Stein (1874–1946)
“Mothers are not the nameless, faceless stereotypes who appear once a year on a greeting card with their virtues set to prose, but women who have been dealt a hand for life and play each card one at a time the best way they know how. No mother is all good or all bad, all laughing or all serious, all loving or all angry. Ambivalence rushes through their veins.”
—Erma Bombeck (20th century)
“The charming landscape which I saw this morning is indubitably made up of some twenty or thirty farms. Miller owns this field, Locke that, and Manning the woodland beyond. But none of them owns the landscape. There is property in the horizon which no man has but he whose eye can integrate all parts, that is, the poet. This is the best part of these men’s farms, yet to this their warranty-deeds give no title.”
—Ralph Waldo Emerson (1803–1882)