Topological Invariants — Mathematics Knowledge System

Overview

A topological invariant is any property or algebraic object attached to a topological space that is preserved by homeomorphism — that is, if X and Y are homeomorphic, they must have the same value of the invariant. Invariants are the primary tool for proving that two spaces are NOT homeomorphic: since a homeomorphism must preserve the invariant, spaces with different invariant values simply cannot be topologically the same, no matter how one tries to bend or stretch one into the other. Key examples include connectedness, compactness, the Euler characteristic, and the fundamental group; more refined invariants (homology and cohomology groups) extend this idea to distinguish spaces that cruder invariants cannot tell apart.

Intuition

Imagine you are handed two knotted loops of string and asked whether they are 'really the same knot' — i.e. whether one can be continuously deformed into the other without cutting. Directly trying every possible deformation is hopeless. Instead, topologists compute some numerical or algebraic quantity that is guaranteed to stay the same under any continuous deformation (a homeomorphism, or more generally a suitable equivalence): if the two objects have different values of this quantity, they cannot be equivalent, full stop. A circle and a line segment 'feel' different because removing one point disconnects the segment but not the circle — and 'number of pieces after removing a point' is itself already a crude but genuine topological invariant. More powerful invariants like the fundamental group or Euler characteristic pin down finer distinctions, such as why a sphere and a torus (donut surface) are not homeomorphic even though both are compact, connected, and boundaryless surfaces.

Formal Definition

Definition

A topological invariant is a function I defined on topological spaces (or an assignment to each space of some algebraic object, such as a group), such that:

X \cong Y \text{ (homeomorphic)} \implies I(X) = I(Y) \text{ (or } I(X) \cong I(Y) \text{ for algebraic invariants)}

The defining property: homeomorphic spaces must agree on every topological invariant

Invariance under homeomorphism

I(X) \neq I(Y) \implies X \not\cong Y

If two spaces differ in some invariant, they cannot be homeomorphic — this is how invariants are used in practice, to DISTINGUISH spaces

Contrapositive (the practical use)

\chi(X) = \sum_{i} (-1)^i \operatorname{rank}(H_i(X))

One of the most classical invariants; for a polyhedral surface, χ = V - E + F (vertices minus edges plus faces)

Euler characteristic (via homology)

\pi_1(X, x_0)

The group of homotopy classes of loops based at x₀; a homeomorphism X≅Y induces a group isomorphism π₁(X,x₀) ≅ π₁(Y, f(x₀))

Fundamental group

Notation

Notation	Meaning
$X \cong Y$	X and Y are homeomorphic — there exists a continuous bijection with continuous inverse between them
$\chi(X)$	The Euler characteristic of X
$\pi_1(X, x_0)$	The fundamental group of X based at x₀ — homotopy classes of loops at x₀ under concatenation
$H_n(X)$	The n-th homology group of X, a more refined invariant than π₁ that is also defined without a basepoint and is often easier to compute

Derivation

Deriving why the Euler characteristic distinguishes the sphere from the torus, using standard polyhedral (CW-complex) decompositions of each surface.

\text{Tetrahedron (a polyhedral sphere): } V=4,\ E=6,\ F=4

A convex polyhedron, topologically a sphere

\chi(S^2) = V - E + F = 4 - 6 + 4 = 2

Euler characteristic of the sphere, computed from any polyhedral decomposition — the value 2 is independent of which decomposition is used

\text{Standard torus grid: } V=1,\ E=2,\ F=1 \text{ (identifying opposite edges of a square)}

A minimal CW-structure on the torus from the usual square-with-identified-edges picture

\chi(T^2) = V - E + F = 1 - 2 + 1 = 0

Euler characteristic of the torus

\chi(S^2) = 2 \neq 0 = \chi(T^2) \implies S^2 \not\cong T^2

Since Euler characteristic is a topological invariant and the two surfaces have different values, they cannot be homeomorphic

Proofs

The circle S¹ is not homeomorphic to the closed disk D²

$\pi_1(S^1) \cong \mathbb{Z}$ (Standard computation: loops in the circle are classified by their winding number, an integer)
$\pi_1(D^2) \text{ is trivial (the group with one element)}$ (D² is convex, hence contractible, and the fundamental group of a contractible space is always trivial)
$\text{If } S^1 \cong D^2 \text{ via a homeomorphism } f, \text{ then } \pi_1(S^1) \cong \pi_1(D^2)$ (The fundamental group is a topological (indeed homotopy) invariant)
$\mathbb{Z} \not\cong \{e\} \text{ (the trivial group)}$ (ℤ is infinite while the trivial group has one element, so they are not isomorphic as groups)
$\therefore S^1 \not\cong D^2$ (Contradiction: the assumed homeomorphism would force isomorphic fundamental groups, which fails)

Properties

Connectedness is an invariant

X \cong Y \implies (X \text{ connected} \iff Y \text{ connected})

Condition: The continuous image of a connected space is connected, and a homeomorphism (being continuous both ways) preserves connectedness in both directions.

Compactness is an invariant

X \cong Y \implies (X \text{ compact} \iff Y \text{ compact})

Condition: Continuous images of compact spaces are compact; applying this to a homeomorphism and its inverse gives the equivalence.

Euler characteristic is a homeomorphism (in fact homotopy) invariant

X \cong Y \implies \chi(X) = \chi(Y)

Example: χ(sphere) = 2, χ(torus) = 0 — since these differ, the sphere and torus are not homeomorphic.

Fundamental group is a homeomorphism (in fact homotopy) invariant

X \cong Y \implies \pi_1(X,x_0) \cong \pi_1(Y, f(x_0))

Example: π₁(circle) ≅ ℤ, π₁(disk) is trivial — since these differ, the circle and the disk are not homeomorphic.

Dimension is an invariant

\mathbb{R}^m \cong \mathbb{R}^n \implies m = n

Condition: This is a deep theorem (invariance of domain, Brouwer 1912) — it is intuitively obvious but genuinely hard to prove that ℝ² is not homeomorphic to ℝ³.

Applications

Topological data analysis uses invariants like persistent homology (a refinement of the Betti numbers underlying the Euler characteristic) to quantify the 'shape' of high-dimensional data robustly against noise.

Worked Examples

[0,1] is connected (it is an interval in ℝ, and intervals are exactly the connected subsets of ℝ).
$[0,1] \text{ is connected}$
[0,1] ∪ [2,3] is disconnected — it splits via U=[0,1], V=[2,3] as a separation in the subspace topology.
$[0,1]\cup[2,3] \text{ is disconnected}$
Since connectedness is a topological invariant and the two spaces disagree on it, they cannot be homeomorphic.
$[0,1] \not\cong [0,1]\cup[2,3]$

Answer: They are not homeomorphic, since one is connected and the other is not.

Practice Problems

Difficulty 5/10

A topological invariant is a property or object attached to a space such that:

It changes under every continuous mapHomeomorphic spaces must agree on itIt only applies to compact spacesIt is always a single real number

Difficulty 6/10

Compute the Euler characteristic of a cube (as a polyhedron: V=8, E=12, F=6), and state what topological space (up to homeomorphism) it represents.

Difficulty 8/10

Prove that ℝ is not homeomorphic to ℝ² using a connectedness-based invariant argument (removing a point).

Quiz

If two spaces X and Y have different Euler characteristics, what can you conclude?

X and Y must be homeomorphicX and Y cannot be homeomorphicX must be compact and Y must notNothing — Euler characteristic is not an invariant

Why does π₁(S¹) ≅ ℤ while π₁(D²) is trivial show that S¹ and D² are not homeomorphic?

Because ℤ and the trivial group have different cardinalities of elements needed for a homeomorphism to exist directlyBecause the fundamental group is a topological invariant, so a homeomorphism would force an isomorphism π₁(S¹) ≅ π₁(D²), which fails since ℤ ≇ {e}Because S¹ is compact and D² is notBecause π₁ is not actually a topological invariant

Summary

A topological invariant is any property or algebraic object assigned to a space that is preserved by homeomorphism.
Invariants are used to DISTINGUISH spaces: if X and Y differ in some invariant, they cannot be homeomorphic.
Key invariants include connectedness, compactness, the Euler characteristic (χ = V-E+F for polyhedra), and the fundamental group π₁.
χ(sphere)=2 and χ(torus)=0 show these surfaces are not homeomorphic; π₁(circle)≅ℤ versus π₁(disk) trivial shows the circle and disk are not homeomorphic.
More refined invariants (homology, cohomology, persistent homology) extend this idea to distinguish spaces that cruder invariants cannot separate.

References

WebsiteWikipedia — Topological invariant
WebsiteWikipedia — Euler characteristic
WebsiteWikipedia — Homeomorphism
BookHatcher, A. Algebraic Topology. Cambridge University Press, 2002.