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 has always been my practice to cast a long paragraph in a single mould, to try it by my ear, to deposit it in my memory, but to suspend the action of the pen till I had given the last polish to my work.”
—Edward Gibbon (1737–1794)
“Every true man is a cause, a country, and an age; requires infinite spaces and numbers and time fully to accomplish his design;—and posterity seem to follow his steps as a train of clients.”
—Ralph Waldo Emerson (1803–1882)