22 0. Prequel M or lives in Int M, and exactly as in the initial case, either ht(Dt+1) ⊂ U1 or ht(Dt+1) ⊂ U2 in either event Jt is mapped by ht to a loop nullhomotopic in U0, implying the existence of the required map ht+1. As ∪k i=1 (Int Di) ⊃ h−1(A2), the final map hk : I2 → X has image in U1 = X A2, so it provides the desired path homotopy in U1 between α and the constant path.
Purchased from American Mathematical Society for the exclusive use of nofirst nolast (email unknown) Copyright 2009 American Mathematical Society. Duplication prohibited. Please report unauthorized use to cust-serv@ams.org. Thank You! Your purchase supports the AMS' mission, programs, and services for the mathematical community.