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 . homotopy Proof Let . Then and . Additionally, and . Hence is a homotopy of paths. tidy | en | sembr