Homotopy
A continuous deformation between two functions in topology.
Homotopy is a concept in topology that describes a continuous deformation between two continuous functions from one topological space to another. It is a fundamental tool in algebraic topology, used to define homotopy groups and cohomotopy groups, which are important invariants for classifying topological spaces.
- field
- Topology, Algebraic Topology
- known_for
- Definition of homotopy, homotopy groups, and cohomotopy groups
- related_concepts
- Continuous functions, topological spaces, CW complexes, spectra
Lore & Background
In topology, two continuous functions from one topological space to another are called homotopic if one can be continuously deformed into the other, a deformation called a homotopy. Formally, a homotopy between two continuous functions f and g from a topological space X to a topological space Y is defined as a continuous function H: X × [0,1] → Y such that H(x,0)=f(x) and H(x,1)=g(x) for all x in X. The second parameter of H can be thought of as time, describing a continuous deformation from f to g.
An alternative notation represents a homotopy as a family of continuous functions h_t: X → Y for t in [0,1] with h_0 = f and h_1 = g, where the map (x,t) ↦ h_t(x) is continuous from X × [0,1] to Y. Being homotopic is an equivalence relation on the set of all continuous functions from X to Y, and this relation is compatible with function composition.
Examples include a homotopy between functions f(x)=(x,x³) and g(x)=(x,eˣ) from ℝ to ℝ² given by H(x,t)=(x,(1-t)x³+teˣ). More generally, for convex subsets of Euclidean space, there is a linear homotopy between paths with the same endpoints. Algebraic topologists often work with compactly generated spaces, CW complexes, or spectra to avoid technical difficulties with certain spaces.
Reader's Guide
Homotopy is a central concept in algebraic topology, providing a way to classify continuous functions up to continuous deformation. Its significance lies in its use to define homotopy groups and cohomotopy groups, which are powerful invariants for distinguishing topological spaces. The formal definition uses a continuous function from the product of a space with the unit interval, allowing a smooth transition between two functions. The equivalence relation of being homotopic is compatible with function composition, making it a natural tool for studying topological properties. Practical applications often require working with compactly generated spaces, CW complexes, or spectra to avoid technical difficulties. The concept is illustrated by examples such as linear homotopies in convex sets and the famous deformation of a torus into a coffee mug shape. Homotopy remains a foundational idea in modern topology, enabling mathematicians to study shapes and spaces through continuous transformations.
Did You Know?
- The term 'homotopy' comes from Ancient Greek: ὁμός (homós) meaning 'same, similar' and τόπος (tópos) meaning 'place'.
- A homotopy is formally defined as a continuous function H: X × [0,1] → Y such that H(x,0)=f(x) and H(x,1)=g(x).
- Being homotopic is an equivalence relation on the set of all continuous functions from one topological space to another.
- Algebraic topologists often work with compactly generated spaces, CW complexes, or spectra to avoid technical difficulties with homotopies.
Frequently Asked Questions
What is Homotopy?
Homotopy is the notion of one continuous map being smoothly reshaped into another over a continuous interval of time, without ever tearing or jumping. It gives you a family of intermediate maps connecting two functions defined between topological spaces.
What role does Homotopy play in algebraic topology?
It is the foundational mechanism behind homotopy groups and cohomotopy groups, which serve as algebraic fingerprints for distinguishing topological spaces. Without this deformation idea, one of the field's most powerful classification tools simply would not exist.
How is Homotopy different from a homeomorphism?
A homeomorphism is a single invertible continuous map proving two spaces are structurally identical, whereas homotopy describes a process that deforms one map into another. Homotopy concerns the relationship between maps, not directly between the spaces themselves.
Why do topologists care so much about Homotopy?
Because it converts geometric questions about shapes into algebraic problems involving groups, turning otherwise intractable comparisons into computable ones. It underpins the study of CW complexes, spectra, and much of modern algebraic topology.
What other concepts does Homotopy connect to?
It sits at the intersection of continuous functions, topological spaces, CW complexes, and spectra. You will find it woven through nearly every major construction in algebraic topology.
More in Topology And Abstract Spaces 1-24
Spotted an error? Know more?
This is a living reference — every entry is fact-audited, and reader corrections feed straight into our audit queue. Suggest an edit · See this site's audit record