Polish Spaces
Descriptive set theory begins with the study of Polish spaces and their Borel sets.
A Polish space is a second countable topological space that is metrizable with a complete metric. Equivalently, it is a complete separable metric space whose metric has been "forgotten". Examples include the real line, the Baire space, the Cantor space, and the Hilbert cube .
Read more about this topic: Descriptive Set Theory
Famous quotes containing the words polish and/or spaces:
“You will have to polish up the stars
with Bab-o and find a new God
as the earth empties out
into the gnarled hands of the old redeemer.”
—Anne Sexton (1928–1974)
“Surely, we are provided with senses as well fitted to penetrate the spaces of the real, the substantial, the eternal, as these outward are to penetrate the material universe. Veias, Menu, Zoroaster, Socrates, Christ, Shakespeare, Swedenborg,—these are some of our astronomers.”
—Henry David Thoreau (1817–1862)