Does there exist another way of obtaining a topological space from a metric space equally deserving equally deserving of the term "canonical"?

Every metric space is associated with a topological space in a canonical way. According to this source, this amounts to a full functor from the category of metric spaces with continuous maps to the category of topological spaces with continuous maps.


Is it possible that there exists another way of obtaining a topological space from a metric space that is equally deserving of the label "canonical"? Perhaps something that no one has thought of yet? To say it in a different way, is there a sense in which the aforementioned functor is unique?


Obviously this is a soft question, as I have neglected to specify what it means for a map to be deserving of the term "canonical." For this reason, let me motivate the question a little.


At some point in an introductory work on analysis, the author will define the meaning of the expression "the topological space associated with (or induced by) a metric space." I'd like to know if this definition is in some sense "the unique correct definition," or whether it is only "one of many possible."






via Recent Questions - Mathematics - Stack Exchange http://math.stackexchange.com/questions/290507/does-there-exist-another-way-of-obtaining-a-topological-space-from-a-metric-spac

0 comments: