Definition:Homotopy
in the process of being refactored, or:
has been identified as a candidate for refactoring.
Until this has been finished, please leave {{refactor}} in the code.
Definition
Let $X$ and $Y$ be topological spaces and $f:X\to Y$, $g:X\to Y$ be continuous maps.
The two maps are said to be homotopic if there exists a continuous function $H: X \times [0,1] \to Y$ such that $H(x,0)=f(x)$ and $H(x,1)=g(x)$.
$H$ is called a homotopy between $f$ and $g$.
A smooth homotopy is defined as above, with the word continuous replaced with smooth.
Homotopy Class
Homotopy is an Equivalence Relation. The equivalence class of a function under homotopy is called its homotopy class.
Please fix formatting and $\LaTeX$ errors and inconsistencies.
It may also need to be brought up to our standard house style.
If you have done this or know it has been done, please remove {{Tidy}} from the code.
You can help ProofWiki by adding these links.
To discuss this in more detail, feel free to use the talk page.
Once you have done so, you can remove this instance of {{MissingLinks}} from the code.
