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:
“Take a commonplace, clean it and polish it, light it so that it produces the same effect of youth and freshness and originality and spontaneity as it did originally, and you have done a poet’s job. The rest is literature.”
—Jean Cocteau (1889–1963)
“Though there were numerous vessels at this great distance in the horizon on every side, yet the vast spaces between them, like the spaces between the stars,—far as they were distant from us, so were they from one another,—nay, some were twice as far from each other as from us,—impressed us with a sense of the immensity of the ocean, the “unfruitful ocean,” as it has been called, and we could see what proportion man and his works bear to the globe.”
—Henry David Thoreau (1817–1862)