Existence and Uniqueness
Urysohn proved that an Urysohn universal space exists, and that any two Urysohn universal spaces are isometric. This can be seen as follows. Take, two Urysohn spaces. These are separable, so fix in the respective spaces countable dense subsets . These must be properly infinite, so by a back-and-forth argument, one can step-wise construct partial isometries whose domain (resp. range) contains (resp. ). The union of these maps defines a partial isometry whose domain resp. range are dense in the respective spaces. And such maps extend (uniquely) to isometries, since a Urysohn space is required to be complete.
Read more about this topic: Urysohn Universal Space
Famous quotes containing the words existence and/or uniqueness:
“The very existence of society depends on the fact that every member of it tacitly admits he is not the exclusive possessor of himself, and that he admits the claim of the polity of which he forms a part, to act, to some extent, as his master.”
—Thomas Henry Huxley (1825–95)
“Until now when we have started to talk about the uniqueness of America we have almost always ended by comparing ourselves to Europe. Toward her we have felt all the attraction and repulsions of Oedipus.”
—Daniel J. Boorstin (b. 1914)