A bijective continuous map between topological spaces that has a continuous inverse, establishing a topological equivalence between the spaces.

Principle

Topological equivalence: two spaces are considered the same up to continuous deformation (stretching, bending, but not tearing or gluing) when there is a homeomorphism between them.

Demonstration

The open interval (0,1) is homeomorphic to the real line R via a continuous bijection with continuous inverse (for example, x ↦ tan(pi(x-1/2))), showing they share topological properties like connectedness and countable basis behavior.

Misapplication

Calling two spaces homeomorphic based solely on shared invariants like having the same cardinality or Euler characteristic without producing a continuous bijection and inverse—these invariants are necessary but not sufficient.

Consequence

A homeomorphism preserves all topological properties: continuity, compactness, connectedness, local connectedness, separation axioms, and the existence of bases; proofs may transfer directly across homeomorphic spaces.

Reversal

The inverse map of a homeomorphism is itself a homeomorphism; reversing the direction simply swaps source and target while preserving the equivalence relation.

Boundary

Homeomorphism is a notion within topology; it excludes weaker relations (continuous surjections without continuous inverse) and stricter geometric/group-theoretic equivalences (isometry, diffeomorphism) that require metric or differentiable structure.

Semantic Tension

Homeomorphism vs diffeomorphism/isometry: homeomorphism cares only about continuity, so spaces can be homeomorphic yet not diffeomorphic or isometric when additional structure (smoothness, metric) is required.

Synthesis

A homeomorphism is the canonical notion of sameness in topology: a reversible continuous deformation providing a bijective correspondence that preserves purely topological features while ignoring metric or smooth refinements.