Homotopy of paths

Path traversal lemma

Let be a continuous path and be a continuous function with and . Then is a continuous path homotopic to . #m/thm/homotopy

Proof

Let . Then and . Additionally, and . Hence is a homotopy of paths.

#state/tidy | #lang/en | #SemBr