---- > [!theorem] Theorem. ([[universal property of quotient topology]]) > Let $X,Y$ be [[topological space|topological spaces]] and $\pi:X \to Y$ a [[topological quotient map]]. Let $f:X \to Z$ be any [[continuous|topological map]] that is constant on fibers of $\pi$[^1]. Then $f$ factors uniquely through $Y$ via $\pi$: there exists a unique [[continuous|topological map]] $\tilde{f}$ making the diagram commute: > > ```tikz > \usepackage{tikz-cd} > \usepackage{amsmath} > \begin{document} > % https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAA0QBfU9TXfIRRkAjFVqMWbAJrdeIDNjwEiI8uPrNWiEAC1u4mFADm8IqABmAJwgBbJGRA4ISNSAZ0ARjAYAFfspCIFZYxgAWOCDUmlI6ADpxaFhyljb2iI7OSABM0ZLaIBYphWmu1FmIuRJabAkwAB5YcDhwAAQAhK0JeAywwBZcUe5ePv5Kgmwh4ZFcFFxAA > \begin{tikzcd} > X \arrow[d, "\pi"'] \arrow[r, "f"] & Z \\ > Y \arrow[ru, "\exists ! \tilde{f}"'] & > \end{tikzcd} > \end{document} > ``` > > [^1]: For example, if $\pi: X \to X/{\sim}$ is the projection corresponding to an [[equivalence relation]] on $X$, then this condition is stipulating that $f$ is constant on [[equivalence class|equivalence classes]]. > [!proof]- Proof. ([[universal property of quotient topology]]) > ~ ---- #### ----- #### References > [!backlink] > ```dataview > TABLE rows.file.link as "Further Reading" > FROM [[]] > FLATTEN file.tags as Tag > WHERE Tag = "#definition" OR Tag = "#theorem" OR Tag = "#MOC" OR Tag = "#proposition" OR Tag = "#axiom" > GROUP BY Tag > ``` > [!frontlink] > ```dataview > TABLE rows.file.link as "Further Reading" > FROM outgoing([[]]) > FLATTEN file.tags as Tag > WHERE Tag = "#definition" OR Tag = "#theorem" OR Tag = "#MOC" OR Tag = "#proposition" OR Tag = "#axiom" > GROUP BY Tag > ```