In the mathematical discipline of general topology, a Polish space is a separable completely metrizable topological space; that is, a space homeomorphic to a complete metric space that has a countable dense subset. Polish spaces are so named because they were first extensively studied by Polish topologists and logicians — Sierpiński, Kuratowski, Tarski and others. However, Polish spaces are primarily studied today because they are the primary setting for descriptive set theory, including the study of Borel equivalence relations.
Common examples of Polish spaces are the real line, any separable Banach space, the Cantor space, and Baire space. Additionally, some spaces that are not complete metric spaces in the usual metric may be Polish; e.g., the open interval (0, 1) is Polish.
Between any two uncountable Polish spaces, there is a Borel isomorphism; that is, a bijection that preserves the Borel structure. In particular, every uncountable Polish space has the cardinality of the continuum.
Lusin spaces, Suslin spaces, and Radon spaces are generalizations of Polish spaces.
Read more about Polish Space: Properties, Characterization, Polish Metric Spaces
Famous quotes containing the words polish and/or space:
“It is the art of mankind to polish the world, and every one who works is scrubbing in some part.”
—Henry David Thoreau (1817–1862)
“If we remembered everything, we should on most occasions be as ill off as if we remembered nothing. It would take us as long to recall a space of time as it took the original time to elapse, and we should never get ahead with our thinking. All recollected times undergo, accordingly, what M. Ribot calls foreshortening; and this foreshortening is due to the omission of an enormous number of facts which filled them.”
—William James (1842–1910)