Topological equivalence
When do two spaces have the same topology, even if their points are named, drawn, or measured differently?
Which changes preserve the whole open-set structure?
Open sets gave topology its local language. A topological space is a set together with a chosen pattern of open regions. Continuous maps preserve that pattern in one direction: every open region in the target pulls back to an open region in the source.
That is enough to describe allowable transformations. It is not enough though, to say when two spaces are the same as topological spaces. A continuous map may collapse information. A constant map from a line to a point is continuous, but it forgets almost everything about the line. A projection from a plane to a line is continuous, but it throws away one direction. An inclusion of an interval into the real line is continuous, but it does not describe the whole target.
many points ----continuous----> one point
structure is respected
information is lost
Continuity alone is one-sided. It says that target observations can be translated back into source observations. It does not say that every source distinction is visible in the target, nor that the target can be recovered.
Topological equivalence asks for a reversible preservation of open-set structure.
A homeomorphism from X to Y is a bijection f: X -> Y such that f is continuous and its inverse f^-1: Y -> X is continuous.
X ----f----> Y
| |
| open | open
| structure | structure
v v
Y --f^-1--> X
The bijection says that the points match one-for-one. Continuity of f says that open structure in Y is visible from X. Continuity of f^-1 says that open structure in X is visible from Y. Together, the two conditions say that the two spaces carry the same topology under a relabeling of points.
This is the topological version of sameness. It is stricter than having a continuous map between spaces and more flexible than literal equality. The spaces may have different point names, different drawings, different coordinates, and different metric measurements. If there is a homeomorphism between them, topology treats them as the same kind of space.
same topology:
open sets in X <----correspond----> open sets in Y
This mirrors earlier structural moves. In linear algebra, two vector spaces of the same finite dimension are structurally equivalent even when their elements are represented differently. In geometry, rigidly moved figures are equivalent because distance and angle are preserved. In topology, spaces are equivalent when their open-set organization is preserved in both directions. The allowed transformations decide the equivalence.
linear algebra: preserve addition and scaling
rigid geometry: preserve distance and angle
topology: preserve open-set structure
A line segment and a curved arc are homeomorphic. One can be bent into the other without cutting, gluing, or tearing. Their exact shape changes, but their open neighborhoods correspond. Points near each other along the segment remain locally organized like points near each other along the arc.
An open interval and the whole real line are also homeomorphic. The real line looks unbounded and the interval looks bounded, but boundedness here comes from a chosen metric, not from the topology alone. A continuous stretching can send the interval out across the whole line, and a continuous inverse can compress the line back into the interval.
(0, 1) <----homeomorphic----> R
metric size changes
open-set structure remains
This example separates topology from measurement. Topology cannot see finite length as a preserved fact. It can see local order, continuity, separation, and other properties expressible through open sets.
The requirement that the inverse be continuous is essential. A bijective continuous function can still fail to be a topological equivalence. It may match points one-for-one while distorting the open-set structure in a way that cannot be continuously undone. Think of wrapping a half-open interval around a circle:
[0, 1) ----wrap----> circle
The endpoints that should meet on the circle are separated in the half-open interval. The forward map can be continuous and bijective, but the inverse has a break at the join. Moving around the circle through the join forces a jump back from points near 1 to 0 in the interval. The point matching succeeds. The topology does not.
That failure explains why homeomorphism is not merely "continuous and one-to-one and onto." The inverse must also preserve continuity. Both spaces must be able to read each other's open regions.
continuous bijection:
points correspond
homeomorphism:
points correspond
open neighborhoods correspond
Homeomorphism turns topological properties into invariants. A property is topological when it is preserved by every homeomorphism. It depends on the open-set structure rather than on coordinates, lengths, angles, or a particular drawing.
For example, the number of separate pieces is topological. If a space is split into two disconnected parts, no homeomorphism can turn it into a single connected interval. The existence of a boundary point may be topological in a given class of spaces. The presence of a hole can be topological, though measuring and classifying holes requires later tools.
Some familiar-looking properties are not topological. Being straight is not topological. Having length 1 is not topological. Sitting at a particular coordinate is not topological. Being drawn as a circle rather than a square is not topological when both are simple closed curves.
not topological:
length, angle, straightness, coordinate position
topological candidates:
connectedness, compactness, boundary behavior, holes
Topology must prove which properties are genuinely preserved by homeomorphism. The homeomorphism gives the standard of sameness; invariants are the features that survive that standard. This makes equivalence more useful than equality. Equality asks whether two descriptions are literally the same. Homeomorphism asks whether the descriptions carry the same topological information.
literal equality:
same presentation
topological equivalence:
same structure under a reversible continuous translation
The same pattern appears throughout mathematics. We rarely care only about exact presentation. We care about the structure that remains stable under the transformations allowed by the subject.
In topology, the relevant transformations are homeomorphisms. A homeomorphism transports open sets in both directions. If U is open in Y, then f^-1(U) is open in X. If V is open in X, then (f^-1)^-1(V), which is f(V), is open in Y. So a homeomorphism not only pulls open sets back to open sets; it also sends open sets forward to open sets.
open in X --f--> open in Y
open in Y --f^-1--> open in X
This two-way transport is why topological equivalence feels like relabeling rather than mere mapping. The open-set lattice of one space is carried to the open-set lattice of the other.
The composition of homeomorphisms is again a homeomorphism. If X is homeomorphic to Y, and Y is homeomorphic to Z, then X is homeomorphic to Z. The inverse of the composite is the composite of the inverses in reverse order, and continuity is preserved under composition.
X ----f----> Y ----g----> Z
g o f is again a homeomorphism
Identity maps are homeomorphisms, and every homeomorphism has a homeomorphic inverse. So homeomorphism behaves like a genuine equivalence relation: each space is equivalent to itself, equivalence is symmetric, and equivalence is transitive. That coherence is what lets topology classify spaces. Here, classification means identifying spaces up to homeomorphism and finding invariants strong enough to distinguish non-equivalent spaces.
spaces
|
| classify up to homeomorphism
v
topological types
The aim is to know which details were never topological in the first place.
The objects are topological spaces. The allowed equivalences are homeomorphisms: bijections whose forward and inverse maps are continuous. What composes are homeomorphisms, and composition remains coherent because continuous maps compose and inverse functions compose in reverse order. The invariants are properties expressible through open-set structure and preserved by homeomorphism. The defining relation is reversible continuity. Equality is replaced by structural equivalence: different presentations may describe the same topology. What remains outside the frame is the systematic study of which properties actually survive this equivalence.
A homeomorphism is a reversible change of description that preserves the local grammar of space.
Open sets gave topology its language. Homeomorphism gives topology its standard of sameness. The next task is to find properties that survive this standard.
Which topological properties can distinguish spaces that continuous stretching cannot identify?