1701043500
1701043501
H（x，t）＝eitπ·f（x）．
1701043502
1701043503
直观上看，ht（x）是把f（x）绕原点转tπ角．
1701043504
1701043505
命题4.1 同伦关系是C（X，Y）中的一种等价关系．
1701043506
1701043507
1701043508
证明 自反性 设f∈C（X，Y），令H（x，t）≡f（x），∀x∈X，t∈I．则（这样的同伦称为常同伦．）
1701043509
1701043510
1701043511
1701043512
1701043513
1701043514
对称性 设规定∀x∈X，t∈I．则（称为H的逆．）
1701043515
1701043516
1701043517
传递性 设规定H1与H2的乘积H1H2∶X×I→Y为（图4-4）
1701043518
1701043519
1701043520
1701043521
1701043522
1701043523
1701043524
1701043525
图4-4
1701043526
1701043527
1701043528
1701043529
1701043530
当时，H1（x，2t）＝H1（x，1）＝g（x）＝H2（x，2t－1），因此H1H2的定义合理．根据粘合引理，它是连续的．容易验证 ▎
1701043531
1701043532
把C（X，Y）在同伦关系下分成的等价类称为映射类．所有映射类的集合记作［X，Y］．
1701043533
1701043534
例1说明，当Y是En的凸集时，［X，Y］中只有一个映射类．
1701043535
1701043536
1701043537
例4 设X是单点空间｛x｝．则C（｛x｝，Y）与Y之间有一个自然的一一对应：f→f（x）．∀y∈Y，记fy为像点是y的映射．则fy1到fy2的一个同伦就是Y中从y1到y2的一条道路，y1和y2在Y的同一道路分支中．因此［｛x｝，Y］与Y的道路分支的集合有一个一一对应关系．特别当Y道路连通时，［｛x｝，Y］只有一个映射类．
1701043538
1701043539
1701043540
1701043541
1701043542
命题4.2 若则
1701043543
1701043544
1701043545
证明 设规定连续映射F：X×I→Y×I为
1701043546
1701043547
F（x，t）＝（F（x，t），t）
1701043548
1701043549
