Quotient topology
From Maths
Revision as of 14:51, 13 February 2015 by Alec (Talk | contribs) (Created page with "==Definition== If <math>(X,\mathcal{J})</math> is a topological space, <math>A</math> is a set, and <math>p:(X,\mathcal{J})\rightarrow A</math> is a Su...")
Definition
If [math](X,\mathcal{J})[/math] is a topological space, [math]A[/math] is a set, and [math]p:(X,\mathcal{J})\rightarrow A[/math] is a surjective map then there exists exactly one topology [math]\mathcal{J}_Q[/math] relative to which [math]p[/math] is a quotient map. This is the quotient topology induced by [math]p[/math]
TODO: Munkres page 138
