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:
“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)
“through the spaces of the dark
Midnight shakes the memory
As a madman shakes a dead geranium.”
—T.S. (Thomas Stearns)