1701047894
1701047895
1701047896
1701047897
记并规定为
1701047898
1701047899
1701047900
H_（P，t）＝－H＋（－P，t），t∈I．
1701047901
1701047902
1701047903
1701047904
于是在和的交集Sn－1×I上，H－和H＋的限制都是H0，从而可粘接H＋和H－得到同伦H∶Sn×I→Sn，它是H0的扩张，并且H（P，0）＝f（P），∀P∈Sn．规定g为g（P）＝H（P，1），∀P∈Sn．不难验证g满足引理的要求． ▎
1701047905
1701047906
作Σn的n－1维闭链
1701047907
1701047908
1701047909
1701047910
1701047911
它在Σn－1中，是Zn－1（Σn－1）的生成元．规定Σn的n维链
1701047912
1701047913
1701047914
1701047915
1701047916
1701047917
1701047918
1701047919
1701047920
1701047921
1701047922
1701047923
则（zn的意义见命题8.2的证明），并且（φn是命题8.2中规定的单纯映射φ∶Σn→Σn导出的链同态）．
1701047924
1701047925
引理3 如果Σn的n维链cn的边缘∂ncn在Σn－1中，则存在整数k和l，使得
1701047926
1701047927
1701047928
1701047929
1701047930
1701047931
1701047932
证明 一般地（由Σn的构造可看出）存在Σn－1的n－1维链．cn－1和使得于是
1701047933
1701047934
1701047935
1701047936
1701047937
1701047938
1701047939
因为∂ncn在Σn－1中，所以即cn－1和都是Σn－1中的n－1维闭链，从而存在整数k和l，使得
1701047940
1701047941
1701047942
cn－1＝（－1）nkzn－1，
1701047943