Polish Metric Spaces
Although Polish spaces are metrizable, they are not in and of themselves metric spaces; each Polish space admits many complete metrics giving rise to the same topology, but no one of these is singled out or distinguished. A Polish space with a distinguished complete metric is called a Polish metric space. An alternative approach, equivalent to the one given here, is first to define "Polish metric space" to mean "complete separable metric space", and then to define a "Polish space" as the topological space obtained from a Polish metric space by forgetting the metric.
Read more about this topic: Polish Space
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)