Math 2.0

Algebraic topology Definition

Null-homotopic map

Builds on Homotopic maps

Definition

Let XX and YY be topological spaces. A continuous map f ⁣:X→Yf \colon X \to Y is null-homotopic if it is homotopic to a constant map X→YX \to Y.

Remarks

Example: every continuous map f ⁣:X→ℝnf \colon X \to \R^n is null-homotopic, via H(x,t)=(1−t)f(x)H(x, t) = (1 - t) f(x). Non-example: the identity of the circle S1S^1 is not null-homotopic, since a constant map induces the trivial map on the fundamental group while the identity induces the identity of ℤ\Z. A map f ⁣:Sn→Yf \colon S^n \to Y is null-homotopic if and only if it extends to a continuous map on the closed ball Dn+1D^{n+1}. A space XX is contractible if and only if it is nonempty and id⁡X\id_X is null-homotopic.

Reading path

To understand this page from the ground up, read these 2 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Homotopic maps concept
  2. Null-homotopic map definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Homotopy
About this page
TagWQWEY93BKB
URIm2://WQWEY93BKB
Kinddefinition
WritingW0 stub
MSC55Q05, 55P10
DefinesNull-homotopic map
UsesHomotopic maps
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.