Difference between revisions of "Quotient topology"
m |
m |
||
| Line 2: | Line 2: | ||
| − | ==Definition== | + | ==Definition of Quotient topology== |
If <math>(X,\mathcal{J})</math> is a [[Topological space|topological space]], <math>A</math> is a set, and <math>p:(X,\mathcal{J})\rightarrow A</math> is a [[Surjection|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> | If <math>(X,\mathcal{J})</math> is a [[Topological space|topological space]], <math>A</math> is a set, and <math>p:(X,\mathcal{J})\rightarrow A</math> is a [[Surjection|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> | ||
| Line 17: | Line 17: | ||
{{M|p}} is a quotient map<ref>Topology - Second Edition - James R Munkres</ref> if we have <math>U\in\mathcal{K}\iff p^{-1}(U)\in\mathcal{J}</math> | {{M|p}} is a quotient map<ref>Topology - Second Edition - James R Munkres</ref> if we have <math>U\in\mathcal{K}\iff p^{-1}(U)\in\mathcal{J}</math> | ||
| + | |||
| + | |||
| + | Also known as: | ||
| + | * Identification map | ||
===Stronger than continuity=== | ===Stronger than continuity=== | ||
| Line 22: | Line 26: | ||
{{Todo|Now we can explore the characteristic property (with {{M|\text{Id}:\tfrac{X}{\sim}\rightarrow\tfrac{X}{\sim} }} ) for now}} | {{Todo|Now we can explore the characteristic property (with {{M|\text{Id}:\tfrac{X}{\sim}\rightarrow\tfrac{X}{\sim} }} ) for now}} | ||
| + | |||
| + | ==Quotient space== | ||
| + | Given a [[Topological space]] {{M|(X,\mathcal{J})}} and an [[Equivalence relation]] {{M|\sim}}, then the map: <math>q:(X,\mathcal{J})\rightarrow(\tfrac{X}{\sim},\mathcal{Q})</math> with <math>q:p\mapsto[p]</math> (which is a quotient map) is continuous (as above) | ||
| + | |||
| + | The topological space {{M|(\tfrac{X}{\sim},\mathcal{Q})}} is the ''quotient space''<ref>Introduction to topological manifolds - John M Lee - Second edition</ref> where {{M|\mathcal{Q} }} is the topology induced by the quotient | ||
| + | |||
| + | |||
| + | Also known as: | ||
| + | * Identification space | ||
==References== | ==References== | ||
Revision as of 12:29, 7 April 2015
Note: Motivation for quotient topology may be useful
Contents
[hide]Definition of Quotient topology
If (X,J)
The quotient topology is actually a topology
Quotient map
Let (X,J) and (Y,K) be topological spaces and let p:X→Y be a surjective map.
p is a quotient map[1] if we have U∈K⟺p−1(U)∈J
Also known as:
- Identification map
Stronger than continuity
If we had K={∅,Y} then p is automatically continuous (as it is surjective), the point is that K is the largest topology we can define on Y such that p is continuous
TODO: Now we can explore the characteristic property (with Id:X∼→X∼ ) for now
Quotient space
Given a Topological space (X,J) and an Equivalence relation ∼, then the map: q:(X,J)→(X∼,Q)
The topological space (X∼,Q) is the quotient space[2] where Q is the topology induced by the quotient
Also known as:
- Identification space
