Definition:Homotopy Class
Jump to navigation
Jump to search
This page is about Homotopy Class in the context of Topology. For other uses, see Class.
Definition
Let $X$ and $Y$ be topological spaces.
Let $K \subseteq X$ be any subset.
Let $f : X \to Y$ be a continuous mapping.
The homotopy class or $K$-homotopy class of $f$ is the equivalence class of $f$ under the equivalence relation defined by homotopy relative to $K$.
Homotopy class of path
Let $T = \struct {S, \tau}$ be a topological space.
Let $f: \closedint 0 1 \to S$ be a path in $T$.
The homotopy class of the path $f$ is the homotopy class of $f$ relative to $\set {0, 1}$.
That is, the equivalence class of $f$ under the equivalence relation defined by path-homotopy.
Also see
Sources
There are no source works cited for this page. Source citations are highly desirable, and mandatory for all definition pages. Definition pages whose content is wholly or partly unsourced are in danger of having such content deleted. To discuss this page in more detail, feel free to use the talk page. |