Significant Continuous Functions

Why This Matters

In algebraic topology, continuous functions are the primary tools you use to probe the structure of topological spaces. You're not just being tested on definitions—exams will ask you to recognize when two spaces are essentially the same, how subspaces relate to their parent spaces, and what it means for functions to be deformable into one another. These functions form the backbone of every major theorem you'll encounter, from classification results to the fundamental group.

The key insight is that topology cares about properties preserved under continuous deformation. Each function type in this guide captures a different way spaces can relate: some preserve everything (homeomorphisms), some collapse structure (retractions, quotient maps), and some reveal hidden symmetry (covering maps). Don't just memorize the notation—know what each function does to a space and what topological property it tests or preserves.

---

Structure-Preserving Maps

These functions maintain or reveal the essential topological structure of spaces. They're your go-to examples when proving two spaces share the same properties.

Identity Function

• Maps every point to itself—the "do nothing" function that serves as the baseline for all other continuous maps
• Notation: $id_X: X \to X$ where $id_X(x) = x$ for all $x \in X$
• Role in proofs: appears in composition identities and as the reference point for defining retractions and homotopy equivalences

Homeomorphism

• Bijective continuous function with continuous inverse—the gold standard for "topologically identical" spaces
• Notation: $f: X \to Y$ is a homeomorphism if $f$ and $f^{-1}$ are both continuous
• Classification power: if $X \cong Y$, every topological invariant (compactness, connectedness, fundamental group) agrees

Inclusion Map

• Embeds a subspace into its parent space—formally $i: A \hookrightarrow X$ where $i(a) = a$
• Preserves subspace topology: the open sets in $A$ are precisely intersections of open sets in $X$ with $A$
• Pairs with retractions: if $r \circ i = id_A$, then $A$ is a retract of $X$

---

Collapsing and Simplifying Maps

These functions reduce complexity by ignoring certain distinctions—either by projecting away dimensions or by gluing points together.

Projection Map

• Extracts one factor from a product space—$\pi_1: X \times Y \to X$ sends $(x, y) \mapsto x$
• Always continuous in the product topology (this is essentially why we define the product topology as we do)
• Universal property: characterizes product spaces—any map into $X \times Y$ factors through projections

Constant Function

• Sends every point to a single fixed point—$f: X \to Y$ with $f(x) = y_0$ for all $x \in X$
• Always continuous regardless of the topologies on $X$ and $Y$
• Homotopy baseline: a space is contractible if its identity map is homotopic to a constant map

Quotient Map

• Identifies points via an equivalence relation—$q: X \to X/{\sim}$ is surjective with the quotient topology
• Characterizing property: $U \subseteq X/{\sim}$ is open if and only if $q^{-1}(U)$ is open in $X$
• Construction tool: builds tori, projective spaces, and Klein bottles by gluing edges of simpler spaces

---

Deformation and Equivalence

These functions capture when spaces or maps are "the same up to continuous wiggling"—the heart of algebraic topology's flexible perspective.

Homotopy

• Continuous deformation between two maps—$H: X \times [0,1] \to Y$ with $H(x,0) = f(x)$ and $H(x,1) = g(x)$
• Notation: we write $f \simeq g$ when $f$ and $g$ are homotopic
• Invariance principle: homotopic maps induce identical homomorphisms on fundamental groups and homology

Retraction

• Projects a space onto a subspace—$r: X \to A$ where $A \subseteq X$ and $r \circ i = id_A$
• Restriction condition: $r(a) = a$ for all $a \in A$ (the subspace stays fixed)
• Obstruction results: if $A$ is a retract of $X$, then $\pi_1(A)$ injects into $\pi_1(X)$

Deformation Retraction

• Retraction plus a homotopy—$H: X \times [0,1] \to X$ with $H_0 = id_X$, $H_1 = r$, and $H_t|_A = id_A$
• Implies homotopy equivalence: $X \simeq A$ when $A$ is a deformation retract of $X$
• Classic example: $\mathbb{R}^n \setminus \{0\}$ deformation retracts onto $S^{n-1}$

---

Covering and Lifting

Covering maps reveal the local-to-global structure of spaces and are essential for computing fundamental groups.

Covering Map

• Locally trivial surjection—$p: E \to B$ where each $b \in B$ has a neighborhood $U$ with $p^{-1}(U) \cong U \times F$ (discrete fiber)
• Path lifting property: paths and homotopies in $B$ lift uniquely to $E$ once you fix a starting point
• Fundamental group connection: for the universal cover, $\pi_1(B) \cong \text{Deck}(E/B)$, the group of deck transformations

---

Quick Reference Table

---

Self-Check Questions

1. Which two functions both "fix" a subspace $A$ pointwise, and what additional property distinguishes a deformation retraction from an ordinary retraction?

2. A space $X$ is contractible if what relationship exists between its identity function and a constant function? What does this imply about $\pi_1(X)$?

3. Compare and contrast quotient maps and covering maps: both are surjective, but how do they differ in what they reveal or conceal about the domain space?

4. If you're asked to show two spaces have isomorphic fundamental groups, which function type gives the strongest result—and why might you prefer a deformation retraction over a general homotopy equivalence?

5. The projection $\pi_1: X \times Y \to X$ is always continuous. What property of the product topology guarantees this, and how would you verify it using the definition of continuity?