Difference between revisions of "Homeomorphism"
From Maths
m |
m (→Topological Homeomorphism) |
||
| Line 12: | Line 12: | ||
==Topological Homeomorphism== | ==Topological Homeomorphism== | ||
A ''topological homeomorphism'' is [[Bijection|bijective]] map between two [[Topological space|topological spaces]] <math>f:(X,\mathcal{J})\rightarrow(Y,\mathcal{K})</math> where: | A ''topological homeomorphism'' is [[Bijection|bijective]] map between two [[Topological space|topological spaces]] <math>f:(X,\mathcal{J})\rightarrow(Y,\mathcal{K})</math> where: | ||
| − | |||
# <math>f</math> is [[Bijection|bijective]] | # <math>f</math> is [[Bijection|bijective]] | ||
# <math>f</math> is [[Continuous map|continuous]] | # <math>f</math> is [[Continuous map|continuous]] | ||
# <math>f^{-1}</math> is [[Continuous map|continuous]] | # <math>f^{-1}</math> is [[Continuous map|continuous]] | ||
| − | + | ===Technicalities=== | |
| − | {{ | + | {{Note|This section contains pedantry. The reader should be aware of it, but not concerned by not considering it}} |
| + | In order for {{M|f^{-1} }} to exist, {{M|f}} must be [[Bijection|bijective]]. So the definition need only require<ref name="FOAT">Fundamentals of Algebraic Topology, Steven H. Weintraub</ref>: | ||
| + | # {{M|f}} be continuous | ||
| + | # {{M|f^{-1} }} exists and is continuous. | ||
| + | ===Agreement with metric definition=== | ||
| + | Using [[Continuity definitions are equivalent]] it is easily seen that the metric space definition ''implies'' the topological definition. That is to say: | ||
| + | * If {{M|f}} is a (metric) homeomorphism then is is also a topological one (when the topologies considered are those [[Topology induced by a metric|those induced by the metric]]. | ||
==See also== | ==See also== | ||
Revision as of 00:22, 9 October 2015
Not to be confused with Homomorphism
Contents
[hide]Homeomorphism of metric spaces
Given two metric spaces (X,d) and (Y,d′) they are said to be homeomorphic[1] if:
- There exists a mapping f:(X,d)→(Y,d′) such that:
- f is bijective
- f is continuous
- f−1 is also a continuous map
Then (X,d) and (Y,d′) are homeomorphic and we may write (X,d)≅(Y,d′) or simply (as Mathematicians are lazy) X≅Y if the metrics are obvious
TODO: Find reference for use of ≅ notation
Topological Homeomorphism
A topological homeomorphism is bijective map between two topological spaces f:(X,J)→(Y,K) where:
- fis bijective
- fis continuous
- f−1is continuous
Technicalities
This section contains pedantry. The reader should be aware of it, but not concerned by not considering it In order for f−1 to exist, f must be bijective. So the definition need only require[2]:
- f be continuous
- f−1 exists and is continuous.
Agreement with metric definition
Using Continuity definitions are equivalent it is easily seen that the metric space definition implies the topological definition. That is to say:
- If f is a (metric) homeomorphism then is is also a topological one (when the topologies considered are those those induced by the metric.
