Definition:Homotopy/Null-Homotopic

Definition
Let $X$ and $Y$ be topological spaces. Let $f: X \to Y$ be a continuous mapping.

Then:
 * $f$ is null-homotopic


 * there exists a constant mapping $g: X \to Y$ such that $f$ and $g$ are homotopic.
 * there exists a constant mapping $g: X \to Y$ such that $f$ and $g$ are homotopic.

Also known as
Some texts spell this as nulhomotopic, or nullhomotopic.