Quotient Metric Spaces
If M is a metric space with metric d, and ~ is an equivalence relation on M, then we can endow the quotient set M/~ with the following (pseudo)metric. Given two equivalence classes and, we define
where the infimum is taken over all finite sequences and with, . In general this will only define a pseudometric, i.e. does not necessarily imply that . However for nice equivalence relations (e.g., those given by gluing together polyhedra along faces), it is a metric. Moreover if M is a compact space, then the induced topology on M/~ is the quotient topology.
The quotient metric d is characterized by the following universal property. If is a metric map between metric spaces (that is, for all x, y) satisfying f(x)=f(y) whenever then the induced function, given by, is a metric map
A topological space is sequential if and only if it is a quotient of a metric space.
Read more about this topic: Metric Space
Famous quotes containing the word spaces:
“In any case, raw aggression is thought to be the peculiar province of men, as nurturing is the peculiar province of women.... The psychologist Erik Erikson discovered that, while little girls playing with blocks generally create pleasant interior spaces and attractive entrances, little boys are inclined to pile up the blocks as high as they can and then watch them fall down: “the contemplation of ruins,” Erikson observes, “is a masculine specialty.””
—Joyce Carol Oates (b. 1938)