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:
“No one can doubt, that the convention for the distinction of property, and for the stability of possession, is of all circumstances the most necessary to the establishment of human society, and that after the agreement for the fixing and observing of this rule, there remains little or nothing to be done towards settling a perfect harmony and concord.”
—David Hume (1711–1776)
“The monotonous dead clog me up and there is only
black done in black that oozes from the strongbox.
I must disembowel it and then set the heart, the legs,
of two who were one upon a large woodpile
and ignite, as I was once ignited, and let it whirl
into flame....”
—Anne Sexton (1928–1974)
“I would gladly chastise those who represent things as different from what they are. Those who steal property or make counterfeit money are punished, and those ought to be still more severely dealt with who steal away or falsify the good name of a prince.”
—Elizabeth I (1533–1603)