##  [Homeomorphism](/homeomorphism-1) 

 Definition

A continuous bijection between two topological spaces whose inverse is also continuous; it establishes a topological equivalence that preserves open sets, continuity properties, and topological invariants.

 

 

 

 

 

 





## Principle

Principle

If there exists a bicontinuous bijection between spaces, they are equivalent as topological spaces: all properties invariant under continuous deformation (connectedness, compactness, genus) correspond under the mapping.

 

 

 

 

 





## Demonstration

Demonstration

The classic example is a continuous bijection with continuous inverse between a coffee mug (with one handle) and a torus: there is a deformation that preserves continuity and is invertible, so they are homeomorphic and share genus one.

 

 

 

 

## Misapplication

Misapplication

Assuming any continuous bijection is a homeomorphism without checking the inverse — for instance the identity map from R with the standard topology to R with the lower limit topology can be continuous one way but its inverse need not be continuous, so not a homeomorphism.

 

 

 

 

 





## Consequence

Consequence

When spaces are homeomorphic, topological invariants match and one can transport continuous maps, compactness arguments, and separation properties across the homeomorphism; intuitively they have the same 'shape'.

 

 

 

 

## Reversal

Reversal

A bijective continuous map whose inverse fails to be continuous shows the absence of topological equivalence even though the map is one-to-one and onto; such maps do not preserve open-set structure in both directions.

 

 

 

 

 





## Boundary

Boundary

Homeomorphism is confined to the topological category: it ignores additional structure such as differentiability or metric measurements. Two homeomorphic manifolds need not be diffeomorphic, and metric properties may differ.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Homeomorphism sits between coarser equivalences (continuous surjection with homotopy equivalence) and finer ones (diffeomorphism, isometry); tension arises when deciding whether shape up to continuous deformation or finer geometric structure is the relevant equivalence.

 

 

 

 

 





## Synthesis

Synthesis

A homeomorphism is a bicontinuous bijection that identifies two topological spaces as the same for purposes of topology by preserving openness, continuity, and topological invariants.