Category:Homeomorphisms

This category contains results about Homeomorphisms.
Definitions specific to this category can be found in Definitions/Homeomorphisms.

Topological Spaces

Let $T_\alpha = \struct {S_\alpha, \tau_\alpha}$ and $T_\beta = \struct {S_\beta, \tau_\beta}$ be topological spaces.

Let $f: T_\alpha \to T_\beta$ be a bijection.

$f$ is a homeomorphism if and only if both $f$ and $f^{-1}$ are continuous.

Metric Spaces

The same definition applies to metric spaces:

Let $M_1 = \struct {A_1, d_1}$ and $M_2 = \struct {A_2, d_2}$ be metric spaces.

Let $f: A_1 \to A_2$ be a bijection such that:

$f$ is continuous from $M_1$ to $M_2$

$f^{-1}$ is continuous from $M_2$ to $M_1$.

Then:

$f$ is a homeomorphism

$M_1$ and $M_2$ are homeomorphic.

This page has been identified as a candidate for refactoring of basic complexity. In particular: Move contents mostly to Category:Homeomorphisms (Topological Spaces) Until this has been finished, please leave {{Refactor}} in the code. New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Refactor}} from the code.