Perfect set property

Perfect set property

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.

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.

References

* [http://www.reed.edu/~sollaa/samples/alexander.solla.thesis.pdf "The Borel Isomorphism Theorem"]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects …   Wikipedia

  • Descriptive set theory — In mathematical logic, descriptive set theory is the study of certain classes of well behaved subsets of the real line and other Polish spaces. As well as being one of the primary areas of research in set theory, it has applications to other… …   Wikipedia

  • Perfect Dark Zero — North American box art Developer(s) Rare Publisher(s) …   Wikipedia

  • Property — • The person who enjoys the full right to dispose of it insofar as is not forbidden by law Catholic Encyclopedia. Kevin Knight. 2006. Property     Property      …   Catholic encyclopedia

  • List of set theory topics — Logic portal Set theory portal …   Wikipedia

  • Analytic set — This article is about analytic sets as defined in descriptive set theory. There is another notion in the context of analytic varieties. In descriptive set theory, a subset of a Polish space X is an analytic set if it is a continuous image of a… …   Wikipedia

  • Perfect space — In mathematics, in the field of topology, perfect spaces are spaces that have no isolated points. In such spaces, every point can be approximated arbitrarily well by other points given any point and any topological neighborhood of the point,… …   Wikipedia

  • Perfect forward secrecy — In an authenticated key agreement protocol that uses public key cryptography, perfect forward secrecy (or PFS) is the property that ensures that a session key derived from a set of long term public and private keys will not be compromised if one… …   Wikipedia

  • Set (mathematics) — This article gives an introduction to what mathematicians call intuitive or naive set theory; for a more detailed account see Naive set theory. For a rigorous modern axiomatic treatment of sets, see Set theory. The intersection of two sets is… …   Wikipedia

  • Cantor set — In mathematics, the Cantor set, introduced by German mathematician Georg Cantor in 1883 [Georg Cantor (1883) Über unendliche, lineare Punktmannigfaltigkeiten V [On infinite, linear point manifolds (sets)] , Mathematische Annalen , vol. 21, pages… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”