Definition and Basic Properties of Homotopy

Introduction

Homotopy is a fundamental concept in topology that provides a way to compare continuous functions between spaces. It captures the idea of equivalence under continuous deformation, allowing mathematicians to classify spaces based on their "shape" up to homotopy equivalence. A homotopy between two continuous maps $ f, g: X \to Y $ is a continuous map $ H: X \times [0,1] \to Y $ such that $ H(x, 0) = f(x) $ and $ H(x, 1) = g(x) $. This notion extends to more complex structures, enabling the study of topological invariants and the classification of spaces. Homotopy theory is pivotal in understanding the relationships between different topological spaces, as it allows the identification of spaces that are "homotopically equivalent" despite differing in their geometric structure.

Definition and Basic Concepts

A homotopy between two continuous functions $ f, g: X \to Y $ is a continuous map $ H: X \times [0,1] \to Y $ satisfying the conditions above. Homotopy equivalence extends this idea by defining a pair of maps $ f: X \to Y $ and $ g: Y \to X $ such that there exists a homotopy $ H: X \times [0,1] \to Y $ with $ H(x, 0) = f(x) $, $ H(x, 1) = g(x) $, and similarly for $ g $ and $ f $. This equivalence relation is crucial in topology, as it allows spaces to be classified by their homotopy invariants rather than their explicit geometric forms.

Key properties of homotopy include its transitivity: if $ f \simeq f' $ and $ f' \simeq f'' $, then $ f \simeq f'' $. Homotopy is also compatible with function composition, meaning that if $ f \simeq f' $ and $ g \simeq g' $, then $ f \circ g \simeq f' \circ g' $. These properties ensure that homotopy forms an equivalence relation, making it a powerful tool for comparing spaces.

Homotopy Equivalence and Deformation Retraction

A homotopy equivalence is a pair of continuous maps $ f: X \to Y $ and $ g: Y \to X $ such that there exists a homotopy $ H: X \times [0,1] \to Y $ with $ H(x, 0) = f(x) $, $ H(x, 1) = g(x) $, and $ H(y, 0) = g(y) $, $ H(y, 1) = f(y) $. This equivalence relation is foundational in topology, as it allows spaces to be classified by their homotopy invariants. A deformation retraction is a specific type of homotopy equivalence where one space is continuously contracted to another, preserving its homotopy type.

For example, the sphere $ S^n $ is homotopy equivalent to its boundary $ S^{n-1} $, and the disk $ D^n $ is a deformation retract of $ S^n $. These relationships highlight the deep connections between topological structures, even when spaces differ in their geometric configurations. Homotopy equivalence is often used to simplify complex spaces, enabling the study of their topological properties through simpler, more manageable models.

Homotopy Classes and Invariance

The homotopy class of a map $ f: X \to Y $ is the equivalence class of maps under homotopy equivalence. This class is determined by the fundamental group of the domain space $ X $, as homotopy equivalence preserves homotopy invariants. For instance, two maps $ f, g: X \to Y $ are homotopic if and only if their induced homotopy classes are equal. This invariance under homotopy ensures that homotopy classes are well-defined and independent of the specific choice of maps.

Homotopy invariants, such as homotopy groups, are crucial in classifying spaces. The homotopy group $ \pi_n(Y) $ captures the structure of loops in $ Y $ up to homotopy, providing a way to distinguish spaces that are homotopy equivalent but not isomorphic. These invariants are essential in algebraic topology, as they allow the classification of spaces based on their topological properties.

Examples and Applications

Homotopy theory is applied in various fields, including differential topology, algebraic geometry, and computational topology. For example, the homotopy of a circle $ S^1 $ to a point is a classic example of homotopy equivalence, as the circle can be continuously shrunk to a point. Similarly, the homotopy of a sphere $ S^n $ to a point is a fundamental result in