Difference between revisions of "Homeomorphism"

Revision as of 00:28, 9 October 2015

Not to be confused with Homomorphism

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)\rightarrow(Y,d')$ such that:
  1. $f$ is bijective
  2. $f$ is continuous
  3. $f^{-1}$ is also a continuous map

Then $(X,d)$ and $(Y,d')$ are homeomorphic and we may write $(X,d)\cong(Y,d')$ or simply (as Mathematicians are lazy) $X\cong Y$ if the metrics are obvious

TODO: Find reference for use of $\cong$ notation

Topological Homeomorphism

A topological homeomorphism is bijective map between two topological spaces $$f:(X,\mathcal{J})\rightarrow(Y,\mathcal{K})$$ where:

1. $$f$$ is bijective
2. $$f$$ is continuous
3. $$f^{-1}$$ is 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]:

1. $f$ be continuous
2. $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.

Terminology and notation

If there exists a homeomorphism between two spaces, $X$ and $Y$ we say^[2]:

• $X$ and $Y$ are homeomorphic

The notations used (with most common first) are:

1. (Find ref for $\cong$)
2. $\approx$^[2] - NOTE: really rare, I've only ever seen this used to denote homeomorphism in this one book.

See also

• Composition of continuous maps is continuous
• Diffeomorphism

References

1. Jump up ↑ Functional Analysis - George Bachman Lawrence Narici
2. ↑ ^{Jump up to: 2.0 2.1 2.2} Fundamentals of Algebraic Topology, Steven H. Weintraub