The following is a theorem in topology:
Let X be a topological space and ∼ an equivalence relation on X. Let π:X→X/∼ be the canonical projection. If g:X→Z is a continuous map such that a∼b implies g(a)=g(b) for all a and b in X, then there exists a unique continuous map f:X/∼→Z such that g=f∘π.
In Wikipedia, it is said that the quotient space X/∼ together with the quotient map π:X→X/∼ is characterized by the the theorem above, which is also called a universal property.
I know almost nothing about category theory. The Wikipedia article about universal property says that
- The concrete details of a given construction may be messy, but if the construction satisfies a universal property, one can forget all those details: all there is to know about the construct is already contained in the universal property. Proofs often become short and elegant if the universal property is used rather than the concrete details.
- Universal properties define objects uniquely up to a unique isomorphism. Therefore, one strategy to prove that two objects are isomorphic is to show that they satisfy the same universal property.
Here are my questions:
What does “X/∼ together with π is characterized by the
It seems to me that the “universal property” can be used to define something. Does this suggest that the theorem above can be used to define the quotient topology and the projection map?
Could anybody give me a simple example about how the theorem above can be used to make some proof shorter (and how complicated a
proof could be without using it)?
1) “Characterized by” means that it is a complete description. A topological space Y is homeomorphic to X/∼ if and only if it satisfies the universal property.
2) A universal property can be used to characterize something if it exists. So you can say that an object Y, if it exists, is defined by the following universal property… However, showing existence is a separate issue.
3) Here is a theorem whose proof is quick and clean once you have some categorical properties established. Note that the messy details are hidden in the first line of the proof. If you write out these details, the result is worse than the point-set proof.
Theorem: Let ∼ be an equivalence relation on X and let Y be a locally compact Hausdorff space. Then (X×Y)/∼≈(X/∼)×Y.
Proof: Since Y is locally compact Hausdorff, the functor −×Y admits a right adjoint, hence −×Y commutes with colimits. The universal property of X/∼ is a colimit construction.