9,7    定义 空间X和Y叫做具有同一个同伦型,或者同伦
 等价,记为X"Y, 如果存在映射,p X--tY和劝Y--tX, 使
               劝cpo; Ix,   cp·�'"'ly
 这时称,,,�'互为同伦逆, 也称,,(,p)为同伦等价(映射)
     显然, 空间之间的同伦等价'·c,,"是 一 个等价关系两个同胚
的空间必定有相同的同伦型但反过来却不 一 定对 例如,                    n维
 实心球E"和由 一 个点组成的空间(称为单点空间)P有同一同伦
 型, 但不同胚
                        图2.4
     同伦型相同的空间所