1 Definition and basic concept

A homeomorphism is a map between two topological spaces that preserves their topological structure. It provides a precise way to say that two spaces are the same for the purposes of topology, even if they are drawn or realized differently. The key idea is that a homeomorphism can deform one space into another without cutting, pasting, or creating singular breaks.

1.1 Topological spaces

A topological space is a set equipped with a collection of subsets called open sets. These open sets encode the notion of continuity, neighborhoods, and local proximity. Homeomorphisms are defined only between topological spaces, because their meaning depends on the open-set structure rather than on distances or coordinates.

1.2 Continuous functions

A function between topological spaces is continuous when the preimage of every open set is open. This definition generalizes the familiar idea of continuity from calculus and analysis. For a homeomorphism, continuity is required in both directions, so the map and its inverse must each respect the topology.

1.3 Bijectivity

A homeomorphism must be bijective, meaning it pairs each point of one space with exactly one point of the other. Injectivity prevents distinct points from being merged, while surjectivity ensures that every point in the target is reached. Together, these conditions make it possible for the correspondence to be perfectly reversible.

1.4 Continuous inverse

The inverse function of a homeomorphism must also be continuous. This requirement is what distinguishes homeomorphisms from simpler bijective continuous maps. Without continuity of the inverse, the correspondence may distort the topology in a way that cannot be undone smoothly.

1.5 Topological equivalence

Two spaces related by a homeomorphism are called homeomorphic or topologically equivalent. From the viewpoint of topology, they have the same essential form. Although they may differ in appearance, size, or geometric realization, they share the same open-set structure and the same topological properties.

2 Examples and non-examples

Homeomorphisms are often understood best through examples. Some spaces that look different are homeomorphic, while other maps that seem reasonable fail because they lose reversibility or continuity. These contrasts help clarify what topological sameness does and does not mean.

2.1 Simple examples

2.1.1 Interval and open interval

The open interval and the entire real line are homeomorphic. A classical example is the map sending a real number to a point in an interval using a formula such as a tangent or arctangent transformation. This shows that a bounded-looking set can be topologically equivalent to an unbounded one.

2.1.2 Circle and polygonal curves

A circle and any simple closed polygonal curve are homeomorphic. Both are one-dimensional closed loops without self-intersection. The corners of a polygon do not affect its topological type, since a homeomorphism can bend the curve continuously into a smooth circle.

2.2 Non-examples

2.2.1 Maps that are continuous but not bijective

A continuous map from a space to itself may collapse large regions to a point or fold the space onto a smaller image. Such maps are not homeomorphisms because they fail to be one-to-one or onto. Continuity alone is not enough to preserve topological equivalence.

2.2.2 Bijective maps without continuous inverses

A bijection may still fail to be a homeomorphism if its inverse is not continuous. In that case, the map matches points one-to-one, but the topology is distorted in a way that breaks the open-set structure. This kind of example is common when a set carries different topologies or when the map behaves badly at a limit point.

2.3 Visual intuition

A homeomorphism is often described informally as a transformation by stretching and bending. The image is that of an elastic object that can be reshaped without tearing or gluing. This intuition is helpful, though the formal definition depends on continuity and inverse continuity rather than on physical deformation itself.

3 Properties preserved by homeomorphisms

Because homeomorphisms preserve the topology, they preserve many fundamental properties of spaces. These properties are called topological invariants, since they remain unchanged under topological equivalence. Such invariants are central to the classification of spaces.

3.1 Connectedness

Connectedness is preserved by homeomorphisms. If one space cannot be split into two disjoint nonempty open pieces, then neither can a homeomorphic space. As a result, a space with one connected piece cannot be homeomorphic to a space with several separated components.

3.2 Compactness

Compactness is also preserved. A space is compact if every open cover has a finite subcover. This property survives homeomorphic change because open covers correspond under a homeomorphism, so compactness remains intact in both spaces.

3.3 Hausdorffness

The Hausdorff property is invariant under homeomorphism. In a Hausdorff space, distinct points can be separated by disjoint neighborhoods. Since homeomorphisms preserve neighborhood structure, they carry Hausdorff spaces to Hausdorff spaces and non-Hausdorff spaces to non-Hausdorff spaces.

3.4 Separability

Separability is preserved as well. A separable space contains a countable dense subset. Under a homeomorphism, dense sets correspond to dense sets, so the existence of such a countable subset is maintained.

3.5 Local structure

Homeomorphisms preserve local topological behavior. This includes the arrangement of neighborhoods around points and the way a space looks near each location. Local features often provide important clues in deciding whether two spaces are homeomorphic.

3.5.1 Local neighborhoods

For each point, a homeomorphism sends small neighborhoods to small neighborhoods in a compatible way. This means that local openness, branching, and boundary behavior are preserved. A point with a neighborhood resembling a disk cannot map homeomorphically to a point whose neighborhoods resemble a line with a boundary.

3.5.2 Manifold dimension

If two manifolds are homeomorphic, they have the same dimension. Dimension is a topological invariant in this setting, so a one-dimensional space cannot be homeomorphic to a two-dimensional one. This fact is one reason homeomorphisms are so important in manifold theory.

4 Relation to other equivalence notions

Homeomorphism is one of several notions used to compare mathematical objects. Each equivalence relation captures a different level of sameness. Some are stricter than homeomorphism, while others are weaker.

4.1 Isomorphism in algebra

An isomorphism in algebra preserves operations such as addition or multiplication. It plays a role analogous to homeomorphism, but in an algebraic setting rather than a topological one. Both notions identify objects that are structurally identical in the relevant category.

4.2 Diffeomorphism

A diffeomorphism is a smoother version of a homeomorphism between differentiable manifolds. It must be continuously differentiable, with a continuously differentiable inverse. Every diffeomorphism is a homeomorphism, but not every homeomorphism is smooth enough to be one.

4.3 Homotopy equivalence

Homotopy equivalence is weaker than homeomorphism. It allows spaces to be continuously deformed into each other in a broader sense, without requiring a point-by-point reversible correspondence. Spaces can be homotopy equivalent even when they are not homeomorphic.

4.4 Isotopy and deformation

Isotopy concerns continuous deformation through a family of embeddings or homeomorphisms. It is a more refined notion than mere topological equivalence. Deformation language is often used to build intuition for how homeomorphisms relate spaces by gradual change.

5 Homeomorphism in topology

Homeomorphism is a central organizing idea in topology. It provides the equivalence relation under which spaces are studied up to topological structure rather than geometric presentation. Many problems in topology ask whether two spaces are homeomorphic or what invariants distinguish them.

5.1 Topological invariants

Topological invariants are properties preserved by homeomorphisms. Examples include connectedness, compactness, and fundamental separation properties. Such invariants allow mathematicians to prove that two spaces are not homeomorphic without constructing every possible map between them.

5.2 Classification of spaces

Classification up to homeomorphism is a major goal of topology. The idea is to sort spaces into types according to their topological structure. For simple families of spaces, this can lead to elegant classification results; for more complicated spaces, it becomes a difficult and highly developed subject.

5.3 Homeomorphic manifolds

In manifold theory, homeomorphic manifolds are those that share the same underlying topological form. They may differ in smooth structure, metric details, or geometric realization, yet remain equivalent as topological manifolds. This distinction is important in geometry and higher-dimensional topology.

5.4 Embeddings and quotients

Embeddings place one space inside another without collapsing its topology. Quotient constructions identify points according to an equivalence relation, often producing new spaces whose topology must be analyzed carefully. Homeomorphisms frequently arise when comparing a quotient space with a more familiar model.

6 Constructing homeomorphisms

Finding a homeomorphism often requires an explicit formula or a carefully designed argument. In many cases, the challenge is to show not only that a map is bijective, but also that it respects open sets in both directions. Different situations call for different construction methods.

6.1 Explicit formulas

Some homeomorphisms are given by direct formulas. These are especially common for intervals, circles, and Euclidean spaces. An explicit formula can make the correspondence easy to verify, provided the map and its inverse are both continuous.

6.2 Piecewise-defined maps

Piecewise-defined maps are useful when a space has several regions with different local descriptions. By defining the map separately on each region and checking compatibility on overlaps, one can build a global homeomorphism. Care is needed to ensure continuity at the boundaries between pieces.

6.3 Using inverse functions

When a map is already known to be continuous and bijective, one may study its inverse directly. If the inverse can be shown to be continuous, then the map is a homeomorphism. In many settings, compactness and Hausdorffness provide useful criteria for proving this.

6.4 Homeomorphisms from gluing arguments

Gluing arguments assemble local homeomorphisms into a global one. This approach is common when spaces are built from simpler parts, such as charts, cells, or identified edges. If the local pieces fit together consistently, they can define a homeomorphism of the entire space.

7 Applications

Homeomorphisms are widely used across topology and related fields. They help compare spaces, simplify complicated objects, and identify which features are essential. Their role is both theoretical and practical in geometric reasoning.

7.1 Basic topology

In basic topology, homeomorphisms provide the standard notion of equivalence. They are used to determine whether spaces such as intervals, circles, spheres, or surfaces belong to the same topological type. This makes them a foundational tool for studying continuous structures.

7.2 Geometry and manifold theory

In geometry and manifold theory, homeomorphisms separate topological questions from metric or smooth ones. They allow mathematicians to ask what remains true under deformation alone. This distinction is especially valuable when comparing geometric objects with different shapes but similar underlying spaces.

7.3 Dynamical systems

In dynamical systems, homeomorphisms can describe reversible evolution on a space. Iterating a homeomorphism produces a discrete-time dynamical process that preserves topological structure. Such maps are important in studying qualitative behavior rather than exact numerical trajectories.

7.4 Mathematical visualization

Homeomorphisms support visualization by showing how one object can be transformed into another. This is useful in teaching and in geometric intuition, where spaces are often represented by flexible models. The idea of a continuous reshaping helps connect abstract topology with concrete pictures.

Several related terms are commonly used when discussing homeomorphisms. These expressions describe spaces, maps, or collections of maps that arise naturally in topology. Understanding the terminology helps distinguish between different levels of equivalence and symmetry.

8.1 Homeomorphic spaces

Homeomorphic spaces are spaces linked by a homeomorphism. They are considered topologically the same, even if their presentations differ. This term is often used when emphasizing the result of the equivalence rather than the map itself.

8.2 Self-homeomorphisms

A self-homeomorphism is a homeomorphism from a space to itself. Such maps represent symmetries of the space in a topological sense. They can include rotations, flips, and more complicated rearrangements, depending on the space.

8.3 Homeomorphism groups

The set of all self-homeomorphisms of a space forms a group under composition. This homeomorphism group captures the space’s topological symmetries. It is an important object in geometric topology and related areas.

8.4 Homeomorphic vs. homotopic

Homeomorphic and homotopic are related but different terms. Homeomorphic means topologically equivalent through a reversible continuous map, while homotopic refers to maps or spaces connected by a continuous deformation. Homotopy is generally weaker, so homotopic spaces need not be homeomorphic.