Professional Documents
Culture Documents
At 12
At 12
zixabl` dibeleteh
wpla cec
zpwezn dxecdn
r"yz
i
.ef zxaeg ly dpey`xd `qxbd zclwd lr ux`eey hxaex 'xcl zecez
ii
mipipr okez
2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . dibeleteh 1
9 ditehenedd zxez I
9 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ditehened 2
16 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . :ziceqid dxeagd 3
24 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . zeixebhwd zxez 4
29 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . zeixebihwa zeipa 5
43 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . zeitehenedd dixebhwd 6
46 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ieqik iagxn 7
61 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ditehened zexeag 10
68 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . miaeiq 11
75 zil`iviltniq dibeleteh II
75 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . miil`iviltniq miqwltnew 12
80 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . il`iviltniq aexiw 13
86 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . zeila` zexeag 14
91 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . zil`iviltniq dibelened 15
96 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ze`xyxy iqwltnew 16
137 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . zextq 21
iii
:dncwd 0.1
cenill dxwira zpeekn dpi`e ,zixabl` dibeeteha oey`x qxewl ynyl dcrep ef zxaeg
dxabl`e dibeleteha miiqiqa miqxewl xarn mcwen rci lr zknzqn dpi`y zexnl) invr
.(zipxcen
wxt) zeixebihw zeipa lr jex`d wxtd j` ,ze`vezd ly ixebihw geqip lr ybc dt myed
miixebihwd mibyend xwir z` ekeza fkxl `l` ,`edy zenk cnlidl e` `xwidl crep `l (5
.lreta dpey`xl miriten md xy`ke m` dl` mibyen bivdl xzei irah ;jynda miritend
onf eze`ae ,zerbiin zewica zxaegd i`xewn jeqgl ecrepe ,miipkh md milibxzd axin
:`ean 0.2
,zexeag oebk - miixabl` minvr miibeleteh miagxnl dni`zn `id ,jk myl .miixabl`
dheyt zixabl` dl`yl zixewnd dirad z` mzervn`a mbxzl dqpne - dnecke ,mibeg
.xzei
orehd ,(L.E.J. Brouwer [1881-1967]) xe`xa ly zayd zecewp htyn `id jkl `nbec
icilwe`d agxna zeicicne zeneqg zeveaw n ozpiday orehd htyn `id ztqep `nbec
lr 19-d d`nd seqa dcqeeid f`n dl` oebk zeax zeglvd dlgp zixabl`d dibeletehd
ly zeax zepkd zeyxcp d`xpy itk mle`e , (Henri Poincaré [1854-1912]) dx`wp`et ici
1
dibeleteh 1
xtqn mi`xewl xikfp ,zizveawd dibeletehd lr zqqazn zixabl`d dibeletehdy oeeikn
:dxcbd 1.1
closed .( ) dxebq
:ze`nbec 1.2
.dgezt dveaw
:dxcbd 1.3
∪
. Int(A) := dgezt U ⊆A U `ed A ly (interior) miptd (`)
∩
. Cl(A) := dxebq F ⊇A F `ed A ly (closure) xebqd (a)
:dxcbd 1.4
T ′ ∋ f −1 (U )
. :miiwzn U ∋T ′
dgezt dveaw lkl m` (continuous)
cg-cg `id m` (homeomorphism) mfitxene`ined zi`xwp f :X→Y dtivx divwpet
X∼
.(=Y :oeniq) miitxene`ined Y -e X -y xn`p , f :X→Y mfitxene`ined miiw m`
. (map) dwzrd dzrn `xwiz miibeleteh miagxn oia dtivx divwpet :dnkqen
:dprh 1.5
2
:htyn 1.6
jk zetivx zeivwpet g : B → Y f : A → Y X
-e -e -a zexebq zeveaw B A
-e m`
:zxcbend f ∪g :A∪B →Y
, divwpetd f` , f |A∩B = g|A∩B -y
{
f (x) x∈A m`
, (f ∪ g)(x) :=
g(x) x∈B m`
.dtivx dpid
:dxcbd 1.7
B1 ∩ B2 ⊇ B3 ∋ x
. -y jk
∪
xear ,
α∈A Bα micegi`d lk sqe` `id B ici-lr zxvepd dibeletehd ,df dxwna (a)
. B ⊇ {Bα }α∈A
ly zeiwlg zeveaw ly S edylk sqe` `ed X lr dibeletehl (sub-basis)
∪ qiqa-zz (b)
.
S∈S S = X -y jk X
deedn Si ∈ S, n ∈ N
( ) B = S1 ∩ . . . ∩ Sn dxevdn B zeveawd sqe` ,df dxwna (c)
:dxcbd 1.8
′
. T := {U ∩ Y | U ∈ T }
:dxcbd 1.9
∏ ∪
. Xα := {f : A → Xα | ∀α ∈ A, f (α) ∈ Xα }
α∈A α∈A
∏
dltknd m` .
α∈A Xα ∋ [(xα )α∈A ] -a zifhxwd dltkna xai` onqp mizirl :oeniq
X1 × X2 × . . . × Xn ∋ (x1 , x2 , . . . , xn )
. libxk onqp ,ziteq
:dprh 1.10
A∋α
, lkl fα : Y → Xα (Xα , Tα )α∈A
zeivwpete -e (Y, T ) ∏ miibeleteh miagxn ozpida
3
:dxcbd 1.11
:dxcbd 1.12
dpnd ziibeleteh ,lr ziivwpet ρ:X→A -e ,dveaw A ,ibeleteh agxn (X, T ) m` (`)
dpn zwzrd zi`xwpq X -e , ly ( quotient space ) dpn agxn `xwp q(x) = [x]
.( quotient map )
:htyn 1.13
:dxcbd 1.14
X ∋ x, y, z . lkl
Bε (x0 ) := {x ∈ X | d(x, x0 ) < ε} dveaw `ed (X, d) ixhn agxna gezt xeck (a)
.( 0 < ε X ∋ x0
, )
:dprh 1.15
zi`xwpd ,dibeletehl qiqa deedn (X, d) ixhn agxna migeztd mixeckd sqe`
.zixhnd dibeletehd
:`nbec 1.16
∑
n
, d(⃗x, ⃗y ) := ( (xi − yi )2 )1/2
i=1
4
:dxcbd 1.17
S n := {⃗x | d(⃗x, ⃗0) = 1} agxn-zzd `id ( n-sphere ) zicnin- n -d dcigid zxitqd (`)
R3 ⊃ S 2 dxitqd
hxta . Dn := {⃗x ∈ Rn | d(⃗x, ⃗0) ≤ 1} `ed icnin n -d xebqd (dcigid) xeck (a)
n
.icilwe`d xyia dcigid rhw `ed I := [0, 1] xy`k , R
(c)
:dxcbd 1.18
,xnelk . 0 ̸= λ ∈ F ⃗x ∼ λ · ⃗y
m` wxe m` xy`k , F P n := (F n+1 \ {⃗0})/ ∼ dveawd `ed
F =R
, xear .SFn = {⃗x ∈ F n+1 : ∥⃗x∥ = 1} :xcbend Fn , -a dcigi zxitq `xwpd agxn
SHn ∼
. = S 4n+3 SCn ∼ = S 2n+1
-e eli`e ; Sn dlibxd dcigid zxitq heyt idef
:dprh 1.19
.S
1
F ∋λ xear ⃗x ∼ λ⃗x :zeliwyd qgi zgz
:ze`nbec 1.20
. RP ∼
1
=S 1
okle ,zeiahw zecewp ddfn (x, y) ∼ (−x, −y)
5
zecewp iedifn lawznd S2 lr zeliwy qgi aey ∼ xy`k S 2/ ∼ `ed RP 2 (a)
.zeiahw
:dxcbd 1.21
cegi`l X z` wxtl xyt` i` m` (connected) xiyw `xwp (X, T ) ibeleteh agxn (`)
:dprh 1.22
:dprh 1.23
lr `idy f : X → {0, 1} dtivx divwpet zniiw m` wxe m` xiyw epi` X ibeleteh agxn
:dprh 1.24
:dprh 1.25
.xiyw agxn
α∈A Xα f` , A∋α lkl ∅=
̸ Xα ∩ Xα0 -y
:dxcbd 1.26
dwzrd `id y dcewpl x dcewpn X -a (path) dliqn f` ibeleteh agxn (X, T ) m` (`)
γ(1) = y
. -e γ(0) = x -y jk γ : [0, 1] → X
. y -l x X
-n -a dliqn zniiw
`ed (X, T ) ibeleteh agxna x dcewp ly Px (path component) dliqnd aikxn (b)
lkl m` ( locally path connected ) zinewn zizliqn xiyw `xwp X ibeleteh agxn (c)
.zinewn dxiyw V U
-y jk -a zlkend x ly V daiaq yi x ly U daiaq lkle X∋x
6
:dprh 1.27
∩
,
α∈A Xα ̸= ∅ -e Y ibeleteh agxna zizliqn-zexiyw zeveaw-zz sqe` {X
∪ α }α∈A m`
.zizliqn xiyw
α∈A Xα f`
:dprh 1.28
:dxcbd 1.29
:dxcbd 1.30
′
xy`k) U = {Uα }α∈A′ ∪ iwlg sqe` X = α∈A Uα
. m` X lyopen cover
( )
X = α∈A′ Uα
. m` U (sub-cover)
ly ieqik-zz `xwp A ⊇ A′ (
miiw B∋β lkl m` U ieqikd ly (refinement) oecir `xwp V = {Vβ }β∈B ieqik
. Vβ ⊆ Uα A∋α
-y jk
X ly U gezt ieqik lkle ,sxecqe`d agxn `ed m` (compact) ihwtnew `xwp X (a)
:htyn 1.31
.ihwtnew
:dxcbd 1.33
:dxcbd 1.34
. Uα ⊇ B A∋α
-y jk
7
:bal ly ieqikd htyn 1.35
:htyn 1.36
. x∈ n=0 An dcigi
:dxcbd 1.37
8
I wlg
ditehenedd zxez
`idy ef dpigan ,dixhne`ibd ly xzei "dkx" `qxb `id zizveawd dibeletehd ,epi`xy itk
zexnl ,zibeleteh dfl df milewy xeyina mixenwd mirlevnd lk :zepga` zegt dyer
-pd ,llka miibeleteh miagxne ,miixhne`ib minvr l` dyinb xzei cer dyib xikp dzr
lka !dcewpl milewy ,cnin lka ,mixenwd mitebd lk ,dzpigan :ditehenedd zxez zi`xw
dibeleteha xikpy zexcbdd aex dyrnle ,zeliren zepga` zeyrl dgilvn `idy d`xp z`f
ditehened 2
byend z` swyiy ,miibeleteh miagxn oia zewzrd lr mi`zn zeliwy qgi xicbdl dvxp
:dxcbd 2.1
. H|X×{1} = g H|X×{0} = f
, -y jk
. H:f ∼g :oeniq
XX
X × {0} XXX f
XXX
XXX
Xz
H - Y
X × [0, 1]
:
X × {1} g
:`nbec 2.2
x lkl g(x) = (0, 0) zxcben g : [0, 1]2 → [0, 1]2 -e ,zedfd f : [0, 1]2 → [0, 1]2 idz
9
:dprh 2.3
:dgked
. H(x, 1 − t)
ici lr F ⋆G:f ∼h xicbp G:g∼h F :f ∼g
, -e ozpida ik ,iaihifpxh qgid ( iii
)
{
F (x, 2t) 0 ≤ t ≤ 1/2 m`
(F ⋆ G)(x, t) =
G(x, 2t − 1) 1/2 ≤ t ≤ 1 m`
X × {0}
XXX f
XX
XXX
PP XXX
PP F XXz
PP
PP
PP
PP
q
X × { 21 } - Y
g
X × [0, 1]
1
G
:
X × {1} h
:dxcbd 2.4
Y X
. -l -n zewzrd ly zeliwyd zewlgn zveaw z` [X, Y ] -a onqp . [f ] zpneqne ,( class
:dprh 2.5
. g 1 ◦ f1 ∼ g 2 ◦ f2
:dgked
10
g ◦ F : X × [0, 1] → Z f` ,dwzrd g:Y →Z -e ditehened F : f1 ∼ f2 : X → Y m` i
( )
. g ◦ F : g ◦ f1 ∼ g ◦ f2 ditehened `id
xicbp G : g1 ∼ g2 : Y → Z
, f :X →Y ditehenede , ii dwzrd ozpida ,dnec ote`a ( )
G ◦ f : X × [0, 1] → Z
I I
f (x, t) := (f (x), t)
f` . f : X × [0, 1] → Y × [0, 1]
I
:ici-lr
G ◦ f I : g1 ◦ f ∼ g2 ◦ f . ditehened `id
wiqdl ick (2.3 dprh) ditehenedd qgi ly zeiaihifpxha ynzyp ,illkd iii dxwna ( )
. g1 ◦ f1 ∼ g1 ◦ f2 ∼ g2 ◦ f2 -y
:dxcbd 2.6
. f ly ( homotopy inverse )
≃
. f :X≃Y e` , f : X −→ Y :oeniq
≃
f : X −→ Y zitehened
. X≃Y :oeniq
:dnl 2.7
:dgked
g ◦ f ∼ IdX -y xne` df i
( )2.3 dprh itl j` . f ◦ g = IdY -e g ◦ f = IdX ,xnelk -
:dprh 2.8
xexa .2.7 dnl itl iaiqwltx ≃ qgid okle ,mfitxene`ined `ed IdX : X → X :dgked
.ixhniq qgi edfy 2.6 dxcbdn
g◦k
, itehened ikted mr ,zitehened zeliwy `id h◦f :X ≃Z f` ,dn`zda h f , ly
ik
(g ◦ k) ◦ (h ◦ f ) = g ◦ (k ◦ h) ◦ f ∼ g ◦ IdY ◦f = g ◦ f ∼ IdX
(h ◦ f ) ◦ (g ◦ k) = h ◦ (f ◦ g) ◦ k ∼ h ◦ IdY ◦k = h ◦ k ∼ IdZ -e
11
df dxwna mb j` ;ynn dwlgn deedn miibeletehd miagxnd lk sqe`y al eniy :dxrd
.zeliwy qgi ly byenl zernyn yi
:dxcbd 2.9
:izcewp-cg agxnl zitehened lewy `ed m` (contractible) uieek `xwp X ibeleteh agxn
. X ≃ {x}
:dprh 2.10
.( R ∋ ⃗x
n
H(⃗x, 1) = IdRn (⃗x)
lkl
⃗
H(⃗x, 0) = 0 = f (⃗x)
eli`e -y
:dprh 2.11
.libxz :dgked
:dxcbd 2.12
X∋x
.( lkl cy (x) = y zxcbend) cy : X → Y dreaw
:dprh 2.13
.libxz :dgked
:dxcbd 2.14
zeliwyd qgi xy`k , CX := X × [0, 1] / ∼ dpnd agxn `ed X lr (cone) hexgd (`)
. X ∋ x, y (x, 1) ∼ (y, 1)
lkl -e (x, 0) ∼ (y, 0) :ici-lr xvep ∼ zeliwyd
12
zcwepne ziqgi ditehened
:dxcbd 2.15
agxn-zz mr cgi , X ibeleteh agxn `ed miibeleteh miagxn ly (X, A) (pair) bef (`)
X A . ly
. f (A) ⊆ B -y
Y \B X \A . -l oia mfi
:dxcbd 2.16
f0 , f1 : (X, A) → (Y, B) zewzrd izy oia (relative homotopy) ziqgi ditehened (a)
. H : f0 ∼ f1 (rel A) :oeniq
:cala x0 zg` dcewp likn A agxn-zzd eay df `ed bef ly ihxt dxwn
:dxcbd 2.17
qiqa zcewp zi`xwp x0 -e ,( pointed space ) cwepn agxn (X, {x0 }) befl mi`xew ep` (`)
∗
, :heyt oneqz `id ,itivtq my dl zzl mivex eppi` xy`k X . ly ( base point )
(pointed map)
, zcwepn dwzrd zi`xwp f : (X, x0 ) → (Y, y0 ) zebef ly dwzrd (a)
ditehened zi`xwp zecwepn zewzrd oia (zebef ly ditehened e`) ziqgi ditehenede
:dprh 2.18
.libxz :dgked
13
:dpwqn 2.19
cwepn agxnn zecwepnd zewzrdd zeveaw lr) zeliwy qgi `id zcwepnd ditehenedd
.(edpynl oezp
:oeniq 2.20
zewzrd ly ziqgid zitehenedd zeliwyd zewlgn zveaw z` [(X, A), (Y, B)] -a onqp
. (Y, y0 )
-l (X, x0 ) -n zecwepn zewzrd ly zcwepnd zitehenedd zeliwyd
:dprh 2.21
.libxz :dgked
:dpwqn 2.22
:dxcbd 2.23
:dprh 2.24
.micwepn miibeleteh miagxn oia zeliwy qgi `ed zcwepnd zitehenedd zeliwyd
.libxz :dgked
:dxcbd 2.25
:dxcbd 2.26
14
lkl xα ∼ xβ :ici-lr xvep ∼ zeliwyd
∨
qgi xy`k ,(1.11 'bd) mdly dltkn-ewd ly
'$
'$
q s0
&%
&%
S1 ∨ S1
:dxcbd 2.27
ipy mr X ibeleteh agxn `id (X, A1 , A0 ) miibeleteh miagxn ly ( triple ) dyly (`)
. A0 ⊆ A1 ⊆ X :miagxn-zz
B0 ⊇ f (A0 ) B1 ⊇ f (A1 )
. -e -y jk f :X→Y
B0 ⊇ Ht (A0 ) B1 ⊇ Ht (A1 )
-e -y jk f1 -l f0 H : X ×[0, 1] → Y
oia ditehened `id
. 0≤t≤1 lkl
:dxcbd 2.28
cwepn agxn `ed miibeleteh miagxn ly (X, A, x0 ) ( pointed pair ) cwepn bef (`)
'bd) ziqgi ditehened `id micwepn zebef ly zewzrd oia zcwepn ziqgi ditehened (a)
15
.2.11 dprh z` egiked (` 2.29.2
(n + 1)
- -d xebqd xeckl itxene`ined zicnin- n -d dxitqd lr CS n hexgdy e`xd (a
.zicnin- (n + 1) -d
≃
,A ∋α lkl zcwepn zitehened zeliwy fα : Xα −→ Xα′ m`y m`y e`xd 2.29.7
∨ ≃ ∨
.(2.26 'bd) f: α∈A Xα −→ α∈A Xα′ zitehened zeliwy dxyn `id f`
:ziceqid dxeagd 3
d`xpy jka ,zixabl`d dibeletehd ly zipexwrd dyibd z` mibcdl lkep df alya xak
dibeletehd lr miieqn rcin epl zzl zlbeqnd ,dxeag ibeleteh agxn lkl mi`zdl ozip cvik
.ziceqid dxeagd myl dzkf `id ,efk dn`zd ly dpey`xd `nbecd efy oeeikn .ely
:dxcbd 3.1
x
. loop
-a ( ) d`lel zi`xwp x-l x -n dliqn ;(1.26 'bd) γ(1) = y -e γ(0) = x -y
:dxrd 3.2
izy eay ,xebq rhw ly dpn agxnk (` 1.17 'bd) dcigid lbrn lr aeygl xyt`y oeeikn
dwzrdk x0 -a d`lel lr aeygl xyt` 1.13 htyn itl ,dcewpl zedefn dvwd zecewp
. γ : (S , s0 ) → (X, x0 )
1
zcwepn
16
:dxcbd 3.3
γ : ([0, 1], {0, 1}) → (X, {x, y}) bef ly dwzrdk y x γ -l -n dliqn lr aeygl xyt`
H(1, t) = y -e H(0, t) = x ,xnelk - dvwd zecewp lr dxcbdd itl zxney efk H :dxrd
zeeir"k H lr aeygl xyt` okl . y -l x -n dliqn dnvra `id Ht lk okle , 0≤t≤1 lkl
:dprh 3.4
qgi `ed zeliqn ly ditehenedd qgi ,(zepey `weec e`l) X ∋ x, y zecewp izy lkl
p
. ∼ zgz γ dliqn ly
.(?recn) R 2
`lnd xeyina ze`lelk oidlr miayeg m`
:dxcbd 3.5
{
γ(2s) 0 ≤ s ≤ 1/2 m`
. (γ ⋆ δ)(s) =
δ(2s − 1) 1/2 ≤ s ≤ 1 m`
ik , (iii) 2.3 dprh zgkeda xcbedy zeitehenedd xeyxy ly ihxt dxwn mvra edf :dxrd
xy`k) γ : fx ∼ fy :mipecigi ly zewzrd izy oia ditehened `id X -a y -l x
-n γ dliqn
0 7→ z
.( dwzrdd z` fz : {0} → X -a onqp X∋z lkl
17
:dxcbd 3.6
:dprh 3.7
p p
z y
, -l y x
-ne -l -n zeliqn ly zeitehened D : δ ∼ δ′ G : γ ∼ γ ′ -e -y gipp :dgked
p
G⋆D : [0, 1]×[0, 1] → xicbp ,ok`e . γ ⋆δ ∼ γ ′ ⋆δ ′ : [0, 1] → X -y ze`xdl epilr .dn`zda
{ :jk X
G(2s, t) 0 ≤ s ≤ 1/2 m`
. (G ⋆ D)(s, t) =
D(2s − 1, t) 1/2 ≤ s ≤ 1 m`
p
. G ⋆ D : γ ⋆ δ ∼ γ ′ ⋆ δ′ :-e ,1.6 htyn itl dtivx G⋆D f`
−1 −1
ditehened `id , G (s, t) = G(s, 1 − t) zxcbend , G : [0, 1] × [0, 1] ,dnec ote`a
p
G : γ −1 ∼ (γ ′ )−1
.
−1
zeliqn ly
:oeniq 3.8
:dprh 3.9
.(zxcben `id xy`k) ditehened ick cr ziveaiw zeliqnd xeyxy zlert (`)
p p
. γ ⋆ cy ∼ γ -e cx ⋆ γ ∼ γ f` , y -l x-n dliqn γ m` (a)
.ditehened ick cr ⋆
-l qgia γ ly iccv-ec ikted `ed γ −1 (b)
ze`xdl epilr , X -a w z γ
-l -n z y β y x α
-e , -l -n :dgked
, -l -n zeliqn ozpida (`
p
:jk H : [0, 1] × [0, 1] → X (α ⋆ β) ⋆ γ ∼ α ⋆ (β ⋆ γ)xicbp ok`e ; -y
( )
α s+1
4t
0 ≤ t ≤ s+1
4
m`
18
1 1
t=0
r α r 4 β t =r 2
t= γ t=1
r
s=0 A A
A A
A A
α -A β -A γ -
A A
x yA zA w
A A
A A
A A
s=1 r Ar Ar r
α 1 β 3
γ
t=0 t= 2
t= 4
t=1
p
. H : (α ⋆ β) ⋆ γ ∼ α ⋆ (β ⋆ γ) -e ,1.6 htyn itl dtivx H f`
{
x 0 ≤ t ≤ 2s m`
. F (t, s) := ( )
γ 2t−s
2−s
s
2
≤t≤1 m`
r t=0 γ t=1
r
s=0 Appp
pppppppA
pppp
pppp pppA
pppp
pppp pppp ppp
x pppp
pppp pppp ppppAppp x y
pppp
pppp pppp pppp ppppAppp γ -
pppp
pppp ppppcppppxpppp ppppAppp
pppp
pppp pp pp pp pp pp p
pppp pppp pppp pppp pppp ppppAp
pppp
pppp pppp pppp pppp pppp pppp pppp ppppAp
pppp
pppp pppp pppp pppp pppp pppp pppp pppp ppppAp
pppp
pppp pp pp pp pp pp pp pp pp pp p
s = 1 r pp pp pp pp pp pp pp pp ppA
pppp r r
t=0 cx t= 1
2
γ t=1
p p
< . γ ⋆ cy ∼ γ dnec ote`a F : cx ⋆ γ ∼ γ
. f`
p
zxcben G : [0, 1] × [0, 1] → X G : γ ⋆ γ −1 ∼ cx
xy`k y x , f` , -l -n dliqn γ m` (b
x ( 0 ≤ t ≤ 2s m`
γ t − s )
2
s
2
≤ t ≤ 12 m`
. G(t, s) :=
γ −1 (t + 2s ) = γ(1 − t − 2s ) 1
≤ t ≤ 1 − 2s
2
m`
x 1 − 2s ≤ t ≤ 1 m`
1 −1
r t=0 γ t =r 2 γ t=1
r
s = 0 Appp p pp
pppppppA p p p
pppp
pppp pppA γ̂ - γ̂ −1 -p pppppppp ppp ppp
pppp
pppp pppppp pppppAp x ppppppp
x pppp
pppp pp pp pp x p pppppppp ppp ppp ppp ppp ppp ppp x
pppp
pppp pppp pppp ppppAppp pp p p p p p p p p p
pppp
pppp ppppcppppxpppp ppppAppp ppppppppcpp pppxppp ppp ppp ppp ppp ppp ppp
ppppp
pppp
pppp pppp pppp pppp pppp pppp pppA pppppppppppp ppppppppp
pppp
pppp pppp pppp pppp pppp pppp pppp ppp ppppppppppppppppppppp ppp ppp ppp ppp ppp ppp ppp ppp
pppp
pppp A
pppp pppp pppp pppp pppp pppp pppp ppp pppppppppp p p p p p p p p p
pppp
pppp pppppppppppppppppppppppppp ppp ppp ppp ppp ppp ppp ppp ppp
pppp pppp pppp pppp pppp pppp pppp ppppAppp ppppppppppppp
s = 1 rpppp pp pp pp pp pp pp pp pp ppA p rpppppppppppppp p p p p p p p p p r
t=0 cx t= 1 cx t=1
2
19
p
. γ −1 ⋆ γ ∼ cy -y mb d`xn df , (γ −1 )−1 = γ -y oeeikn
:dpwqn 3.10
xai`de ⟨γ −1 ⟩
, `ed ⟨γ⟩ ly iktedd xy`k ,3.8 'bd ly ⋆ dlertd zgz dxeag deedn
:dxcbd 3.11
. π1 (X, x0 ) -a zpneqne
:dxrd 3.12
p
cx0 ⋆ γ ∼ γ
, ,lynl - zeliwy zewlgnl mixaery iptl dxeag dpi` efy al eniy (`)
. cx0 ⋆ γ ̸= γ j`
eppi` m` j` . [(S 1 , s0 ), (X, x0 )] mr π1 (X, x0 ) z` zedfl xyt` ,3.2 dxrda xen`k (a)
- zeliqn izy :llkae - ze`lel izy xagl jxc oi` ik ,dxeag ly dpan oi` ( X ly
(zexebq `weec e`l) zeliqnd lk ly zeliwyd zewlgn z` epgwl eli`y al eniy (b)
,zxcben dxeagd zelert xy`k ."xagl" ozip mixai` ipy lk `ly `l` ,dxeag enk `id
.[zecigi "daxd" oke ,xai` lkl cv lkn ikted miiwe ,ziveaiw `id
:dprh 3.13
. π1 (X, x0 ) ∼
= π1 (X, x1 ) f` , X ly dliqn aikxn eze`a zecewp izy x1 -e x0 m`
:dxcbd 3.14
π1 (X, x0 ) = -e ,zizliqn xiyw `ed m` ( simply connected ) xyw heyt `xwp X ibeleteh agxn
20
:dxcbd 3.15
:dprh 3.16
{
h(γ(2s)) 0 ≤ s ≤ 1/2 m`
, h ◦ (γ ⋆ δ) = (h ◦ γ) ⋆ (h ◦ δ) =
h(δ(2s − 1)) 1/2 ≤ s ≤ 1 m`
:dprh 3.17
h g
f` , (X, x0 ) → (Y, y0 ) → (Z, z0 ) ozpida ,xnelk - irah `ed dxyend mfitxenenedd
:dprh 3.18
:dpwqn 3.19
∼
=
f# : π1 (X, x0 ) → π1 (Y, y0 ) f` zcwepn zitehened zeliwy f : (X, x0 ) → (Y, y0 ) m`
.mfitxenefi`
:dxcbd 3.20
ef la` , (X, x0 ) cwepn agxn lkl π0 (X, x0 ) := [(S 0 , s0 ), (X, x0 )]∗ z` xicbdl mb xyt`
. [cx0 ] cegin xai` mr dveaw ,xnelk - ( pointed set ) zcwepn dveaw ef mvra
21
dnl 3.21
. X ly dliqnd iaikxn zveaw oial π0 (X, x0 ) ixai` oia zikxr-cg-cg dn`zd dpyi
.libxz :dgked
:dxcbd 3.22
µ:X ×X →X
(a, b) 7→ ab
ρ:X →X
a 7→ a−1
.zetivx zeivwpet od
:ze`nbec 3.23
ziaihc` dxeagk) zibeleteh dxeag `ed Fn ixehwe agxn lk ,xzei illk ote`a (a)
Cn ∼
. = R2n :miixhn miagxnky
.(zevixhn xeaig zgz) zibeleteh dxeag `id Mn (F) :raep zncewd `nbecdn (b)
dxeag `id GLn (F) oneqnd ,F dcy lrn n×n zekitdd zevixhnd lk sqe` (c)
xeaig zgz `l j`) Mn (F) ly ibeleteh agxn-zzk zevixhn ltk zgz zibeleteh
.(ltkd
mbe zexeag ly mfitxenefi` `id exp : ⟨R⟩+ → ⟨R+ ⟩× zikixrnd dwzrdd :dxrd
.mfitxene`ined
22
:dxcbd 3.24
:dprh 3.25
:dnl 3.26
(X, •, ρ• , e• ) -e (X, ◦, ρ◦ , e◦ ) :dxeag ly mipey mipan ipy yi X dveaw dze` lry gipp
ρ• ρ◦
.( -e miiktedd meiwa jxev oi` ,xnelk - ( monoid ) oecigi ly dpan witqn :mvra)
(1) ∀x, y, z, w ∈ X (x • y) ◦ (z • w) = (x ◦ z) • (y ◦ w)
.( X ∋ y, x lkl x◦y =x•y :xnelk) zecklzn zelertd izy f`
x • e◦ = (x ◦ e◦ ) • (e◦ ◦ e◦ )
(x • e◦ ) ◦ (e◦ • e◦ )
z` onql xyt`e , e• = e◦ :midcfn miyic`d mixai`d ipy xnelk ,e◦ • e◦ = e◦ okle
-y e`kn e . -a mdipy
x ◦ y = (x • e) ◦ (e • y)
= (x ◦ e) • (e ◦ y) = x • y ,
ote` eze`a .zedcfn •-e ◦ zelertd izy ,xnelk
x • y = (e ◦ x) • (y ◦ e)
= (e • y) ◦ (x • e) = y • x ,
.zitelig dlertd xnelk
23
3 wxtl milibxz 3.27
dwzrd zeidl y -l x-n X ibeleteh agxna (Moore path) xen ly dliqn xicbp 3.27.1
ynn ziveaiw didzy ote`a xen ly zeliqn lr xeyxy zlert xicbdl ozip cvik e`xd (`
oze` lawpy ote`a xen ly zeliqn ly dliqn-zeitehened xicbdl ozip cvik e`xd (a
zeixebhwd zxez 4
dwihnzna minegz dnk lr xacl epl zxyt`nd ,dty dxwira `id zeixebhwd zxez
zxaerd ,zixabl` dibeletehl dni`zn `id ef dpigan .ipyl cg`n xearl e` ,zipnf-ea
:dxcbd 4.1
ly xecq bef lkl xy`k Obj(C) , :zpneqnd ,minvr ly dwlgn `id C (category) dixebhw
.mdipa
f
X →Y libxk aezkpe , Range(f ) := Y -e Dom(f ) := X onqp HomC (X, Y ) ∋ f lkl
f :X→Y . e`
f g h
. f ◦ (g ◦ h) = (f ◦ g) ◦ h :miiwzn , X→Y →Z→W lkl ( I)
C(X, Y ) onql bedp mizirl . X ∈ Obj(C) mewna X ∈C aezkpe xvwp mizrl :dxrd
HomC (X, Y )
. mewna
24
:ze`nbec 4.2
. T op2 oneqz
. T op∗ oneqz
:dxcbd 4.3
Obj(C) ⊇ Obj(D)
, m` C dixebihw ly (sub-category) D
dixebihw-zz `id dixebihw
. D⊆C :oeniq
:ze`nbec 4.4
,mibegd ziixebihw ly dixebihw-zz `id dcigi mr mibegd ziixebihw ,z`f znerl ( iii )
j` ;dcigid lr xenyi mfitxenenedy miyxec ep` dcigi mr mibeg xear ik) d`ln dpi`y
- qt`d mfitxenened ,lynl - dcigi mr mibeg ipy oia mibeg ly minfitxenened mpyi
:dxcbd 4.5
25
:dxcbd 4.6
:dxrd 4.7
zewzrd" xicbp cvik :d`ad dl`yd ici lr zeixebihw zexcbda zlrezd z` mibcdl xyt`
,zeivwpet zeidl miaiig mpi` minfitxendy itky al eniy ?zeixebhwd zxez ly dtya "lr
f :X→ :zxkend dxcbda ynzydl lkep `l okle ,zeveaw zeidl mikixv mpi` minvrd jk
. ∀y ∈ Y ∃x ∈ X f (x) = y m` lr mfitxen Y
:dxcbd 4.8
:dxcbd 4.9
mixehwpt
dwihnzna cg` megzn xearl ick zeixebhwd zxeza ynzydl mivex ep` ,xen`k
:dxcbd 4.10
. Obj(D) ∋ F (X) mvr m`zen Obj(C) ∋ X mvr lkl ,xnelk :minvr zn`zd ( )i
F (f ) : mfitxen mi`zn C f :X→Y
-a mfitxen lkl ,xnelk :minfitxen zn`zd ii ( )
:dxcbd 4.11
"xehwpt" myd ,zxg` oiievn ok m` `l` . (covariant) ihp`ix`e-ew `xwp dfk xehwpt (`)
, F (f ◦ g) = F (g) ◦ F (f )
dpekn dfk xehwpt mizrl . (contravariant) ihp`ix`e-dxhpew `ed F -y xn`p
. (cofunctor) xehwpt-ew
26
:dprh 4.12
.ziveaiw
.ihp`ix`e
.zihp`ix`e-dxhpew
.libxz :dgked
:dxrd 4.13
-e ihp`ix`e-ew F : C → D
xehwpt m` ,leaxq repnl ick ode ,zeixehqid zeaiqn od
m` ; ϕ∗ : F (X) → F (Y ) F (ϕ)
-a heyt mfitxend z` onql bedp , C -a mfitxen ϕ:X→Y
ynzypy oaenkϕ∗ : F (Y ) → F (X)
. -a F (ϕ) z` mipnqn ,ihp`ix`e-dxhpew xehwptd
.oecpd xehwptd iabl zerhl milelr ep` ea dxwn lka F (ϕ) `lnd oeniqa
:ze`nbec 4.14
xvepd iytegd lecend z` dveaw lkl dni`znd , FR : Set → R Mod - xehwpt miiw (`
. φ∗ : G/[G, G] → H/[H, H]
φ((g, h)) = (φ(g), φ(h))
, :miiwzn (g, h) xehhenew lkl ,mfitxenened φ -y llbay al eniy
.mfitxenened `ede ,ahid xcben φ∗ -y o`kn . [H, H] jezl [G, G] z` wizrn φ okle
HA (f ) = Obj(C) ∋ X
-e lkl HA (X) := HomC (A, X) HA : C → Set ici-lr (ihp`ixe
∗
xy`k H (f ) = f : HomC (Y, A) → HomC (X, A)
A
, -e
A
H (X) := HomC (X, A) ici-lr
f ∗ (g) = g ◦ f .
,minfitxenl minfitxen mi`zdl mb jixv - minvrl minvr mi`zdl witqn `l :al eniy
ote`a dcy lrn ixehwe agxnl qiqa mi`zdl xyt` i` ,lynl .dakxdd xnyizy ote`ae
gipp elit`] .qiqa ixai` lr gxkda zxney dpi` zix`pil divnxetqpxh ik ,il`ixehwpt
27
:`nbec 4.15
ziceqid dxeagd `id π1 (X, x0 ) xy`k , π1 : T op∗ → Gp xehwpt yi ,3.17-e 3.16 zeprh itl
oi` ,mfitxenefi` ick cr ,qiqad zcewp zxigaa ielz epi` π1 (X, x0 ) zizliqn mixiyw
xehwpt oi` okle ,(?minfitxen aikxp ji`) "zexeag ly mfitxenefi` iqetih" ly dixebhw
. π1 : T op → Gp
i : A → X φ ◦ F (i) = F (f )
xy`k) -y jk φ : F (X) → F (Y ) mfitxen meiw `ed
.(dlkdd
:dxcbd 4.16
F (X) → F (Y )
.zikxr cg-cg `id ,
on`pd xehwptd . (concrete) zihxwpew zi`xwp Set -l on`p xehwpt dl yiy dixebihw
underlying functor
.( e` forgetful ) ipgky xehwpt `xwp U : C → Set
- zeveaw ly zeivwpet heyt eidi C ly minfitxend mby `id zihixwd dyixcd .(cere
:`nbec 4.17
mb xyt`e ,zeixebihw oia minfitxen ly ciwtz miwgyn mixehwptdy mi`ex ep` :dxrd
zeixebihw izy oia miixyt`d mixehwptd lk sqe` mle` .(4.12 dprh) mixehwpt aikxdl
,"zeixebihw ly dixebihw" lr xacl lkepy ick .dveaw `le ,ynn dwlgn llk-jxca `ed
:dxcbd 4.18
28
:`nbec 4.19
miiwe , D ixai` md minvrd day ,dphw dixebihw deedn ⟨D, ≼⟩ ziwlg dxecq dveaw lk
d≼d
. -l mi`zn Idd : d → d hxta . d≼e m` wxe m` ϕ:d→e cigi mfitxen
:dnl 4.20
.libxz :dgked
:dpwqn 4.21
.mdly geehd
mfitxenepen `ed φ:X→Y mfitxen ,4.2 'bec ly zeixebihwd lkay e`xd 4.22.2
zeixebihwa zeipa 5
-ibeleteh miagxn ,zexeag ,zeveaw - miihnznd minvrd lr aeygl milibx ep`y zexnl
ly zedfd mfitxen xy`k) cala minfitxend zxfra dze` gqpl ozip dyrnl .minfitxend
"minfitxen" mb yiy al miyp df xywda .(minvrl mb oitiwra qgiizdl epl xyt`n X mvr
:mixehwptd oia
29
:dxcbd 5.1
mfitxen lkly C ∋X
jk , mvr lkl D ηX : F (X) → G(X)
-a mfitxen `id F →G
. G(f ) ◦ ηX = ηY ◦ F (f ) :miiwzn C -a f :X→Y
:dxrd 5.2
G(f ) ◦ ηX = ηY ◦ F (f )
, znbeck ,dixebihwa minfitxen zeakxd ly oeieey bivdl bedp
F (f )
F (X) / F (Y )
ηX ηY
G(X) / G(Y )
G(f )
ipnid (mfitxen=) ugd z` miaikxn m` d`vez dze` milawny dyexit "zeitelig"d xy`k
yi xy`k cgeina ,d`ixwl dlw xzei daxd dn`xb`icd ,mewn xzei qtez dfy zexnl
:dxcbd 5.3
C∋X
. lkl mfitxenefi` `ed ηX
:`nbec 5.4
Ab(G) := G
dly divfila`d z` Ab : Gp → AbGp
dxeag lkl mi`zn xehwptd xen`k
Gp
, AbGp
ly (d`ln) dixebihw-zz `id dixebihwd mle` .zila` dxeag `idy , G/[G, G]
F := I ◦ Ab : Gp → Gp
, I : AbGp ,→ Gp
xehwpt lawp , -a dlkdd xehwpt z` onqp m`e
megza mb zeielz - lr ozeid ,lynl - odly zenieqn zepekz xy`k ,zeiynn zeivwpet
dpn mfitxenened epyi , G ly dpn zxeag `id dzxcbd mvrn G/[G, G] -y oeeikn
φ
G /H
qG qH
G/[G, G] / H/[H, H]
φ∗
30
.(a 4.14 'beca xen`d itl
;4.5 'bda minvr ipy oia epiyry enk zeixebihw izy oia mfitxenefi` xicbdl lkep :dxrd
:d`ad div`ix`ed `ed xzei iyeniy byeny xazqn j`
:dxcbd 5.5
:dxcbd 5.6
.ibeletehd xywda hxtae ,zeixebihwd zxeza ifkxn ciwtz miwgyn micenv mixehwpt
:ze`nbec 5.7
ly divwpetle) X ici-lr yxtpd R lrn ixehwed agxnd z` X dveaw lkl mi`znd VecR
ogkyd xehwptl l`nyn cenv ,(dni`znd zix`pild dwzrddd z` f :X→Y zeveaw
U : T op → Set
. ogkyd xehwptl oinin cenv (` 1.2 'bec - zihxwqicd dibeletehd mr
:dxcbd 5.8
−1 −1
`ly i`pza , X := {x | x ∈ X} X ∪ X −1 xy`k , jezn mixai` ly zeiteqd ze
ly ikted .dwixd dxcqd `ed yic`d xai`d .l"pk miiweg-`l mitvx zhnyd jk-xg`e
.x
−ε1
n . . . x−ε
1
1
dxcqd `ed ( ε1 , . . . , εn ∈ {−1, 1} x1 , . . . , xn ∈ X
, ) xε11 . . . xεnn xai`
31
F (X)
. :heyt e` FGp (X)
, -a X ici-lr zxvepd ziytegd dxeagd z` onqp ep` : oeniq
:dprh 5.9
xehwptl l`nyn cenvd , FGp : Set → Gp xehwpt dxicbn X 7→ FGp (X) dn`zdd
U : Gp → Set
. ogkyd
.libxz :dgked
zeltkn
zelerd zerteza szeyn ew `evnl dzlekia oenh zeixebihwd zxez ly zepexzid cg`
?dl` lkl szeynd dn .zexeag iabl ode ,miibeleteh miagxn iabl od ,zeveaw iabl
:dxcbd 5.10
fα : Z → X α minfitxen Obj(C) ∋ Z
ly sqe`e (universal property)
mvr lkl :d`ad
. A∋α pα ◦ g = fα
lkl g:Z→Y -y jk C cigi mfitxen miiw , -a
∼
=
∏
HomC (Z, Y ) −→ HomC (Z, Xα )
α∈A
:dnl 5.11
-ihwa {Xα }α∈A ly zeltkn izy ⟨Y ′ , {p′α : Y ′ → Xα }α∈A ⟩ -e ⟨Y, {pα : Y → Xα }α∈A ⟩
∼
pα ◦ h = p′α h : Y −→ Y ′
=
. A∋α lkl -y jk C -a cigi mfitxenefi` miiw f` C , dixeb
.libxz :dgked
:oeniq 5.12
∏
.
α∈A Xα :oneqz {Xα }α∈A ly dltkn lk
:ze`nbec 5.13
Set
. dixebihwa dltknd `id (` 1.9 'bd e`x) zeveaw ly zifhxwd dltknd (`
32
∏
,xnelk - "zehpicxe`ew itl" zexeag dpan mr ,
α∈A Gα zexeag ly zifhxw dltkn (b
htyn e`x - zixwn dpi` dltkn "dze`" yi dl`d mixwnd zyely lkay dcaerd :dxrd
.jynda 5.23
zeleab
oeirxd .leabd byen - zeixebihwd zxeza aeyg byen ly ihxt dxwn `ed dltknd byen
,cigi mvra mdpia minfitxene minvr ly mly sqe` silgdl ozip zeniieqn zepigany `ed
:dxcbd 5.14
. C I
zpneqn C -a zen`xb`ic- I -d lk ly
DX : I → C
, dpnqpy , X -a dreaw I
dn`xb`ic- Obj(C) ∋ X zniiw mvr lkl (a
(Df )i = f : Z → Y . zxcbend
. η = ϑ ◦ Df -y
ηi : Y → X(i)
, minfitxen ly sqe` heyt `id η zirahd divnxetqpxhdy al eniy
. Y leabd
:dprh 5.15
.libxz :dgked
leab" e` ( projective limit ) "iaihwiiext leab" mya leab `xwp xzei oyi gepina :dxrd
33
.( inverse limit ) "jetd
opeazp m` xzei aeh dze` oiadl lkep mle` ,oihelgl dnezq ile` zi`xp ef dxcbd :dxrd
:zeheyt ze`nbec xtqna
:ze`nbec 5.16
.
∼
limI X = i∈Obj(I) X(i) :dltknd
:dxcbd 5.17
ψn+1
. . . . Yn+1 −→ Yn . . . Y0 ly ( sequential limit ) izxcq leab `xwp Y :J →C ly leab
:dprh 5.18
∏
∞
. lim Yn = {(yi )∞
i=0 ∈ Yi | 1 ≤ n lkl ψn (yn ) = yn−1 }
n
i=0
.libxz :dgked
:dxcbd 5.19
34
:zitelig dn`xb`ic
Y HH
HH ϑ
HH i
= HH
H$
Y CC
= /Y X(i)
GG
CC GG
CC GGϑk
CC GG
C! GG X(φ)
ϑj #
X(j) / X(k)
X(ψ)
xzei ipekqg ote`a ϑ z` x`zl xyt` , ϑk = X(φ) ◦ ϑk = X(ψ) ◦ ϑi -y xne` dfy oeeikne
ϑi
(3) Y / X(i)
ϑj X(φ)
X(ψ)
X(j) / X(k)
:dprh 5.20
itelig reaix lkl m` wxe m` (2) ly xeg`l dkiynd `id (3) iteligd reaixak ⟨Y, ϑi , ϑj ⟩
ηi
Z / X(i)
ηj X(φ)
X(ψ)
X(j) / X(k)
(4) Z
ηj
∃!f
! ϑi
&
Y / X(i)
ηi
ϑj X(φ)
X(ψ)
X(j) / X(k)
:dprh 5.21
ϕ ψ
`id Gp e` , T op Set
, dixebihwa A −→ C ←− B ly xeg`l dkiynd
dpana Gp
-ly dxwnae ,dltknd jeza agxn-zzd ziibeleteha T op ly dxwna zciievn)
.libxz :dgked
35
ly d`lnd dixebihw-zza ,lynl .dn`xb`ic lkl zeleab miniiw dixebihw lka `l :dxrd
:dxcql leab oi` Gp -a zeiteqd zexeagd
qn+1 qn q2
. . . → Z/pn+1 −→ Z/pn −→ Z/pn−1 → . . . → Z/p2 −→ Z/p
:dxcbd 5.22
D F ◦X :I →D
. -a dn`xb`ic- I -d ly leab `ed F (Y ) :miiwzn Y leab el yiy
:htyn 5.23
.libxz :dgked
zixebihw zeil`ec
-lr ,un`n lk `ll ,zeycg zeprh gikedle ,miycg mibyen xicbdl zexyt`d :( duality
ly ixebihwd il`ecd `ed (4.9 'bd) mfitxenepend byen ,`nbecl ."mivigd lk jetid" ici
zegt `ed (5.10 'bd) dltknd byen ly ixebihwd il`ecd ,mixg` miax mixwna enk
:dxcbd 5.24
`id mdly (coproduct) dltkn-ew C , dixebihwa Obj(C) ⊃ {Xα }α∈A minvr ozpida
∼
=
∏
HomC (Y, Z) −→ HomC (Xα , Z)
α∈A
:dnl 5.25
.libxz :dgked
36
:oeniq 5.26
⨿
.
α∈A Xα :oneqz {Xα }α∈A ly dltkn-ew lk
:ze`nbec 5.27
. T op dixebihwa
∨
-ewd `ed micwepn miibeleteh miagxn ly (2.26 'bd)
α∈A (Xα , xα ) cwepnd mekqd (b
T op∗
. dixebihwa dltkn
:zxekfz 5.28
zeidl zxcben {Gα }α∈A zexeag ly edylk sqe` ly ( free product ) ziytegd dltknd
∪
, X := (Gα \ {eα })
α∈A
dpi` zxvepd dlind m`y `l`) xeyxy ici-lr zxcben G -a dxeagd zlert . 1≤i<n -l
:`nbec 5.29
zeleab-ew
:(5.14 'bd e`x) leabl il`ecd byend z` illk ote`a xicbdl ozip ote` eze`a
:dxcbd 5.30
. η = Df ◦ ϑ C f :Z→Y
-y jk -a cigi
.(c 5.14
37
:dprh 5.31
.libxz :dgked
"xyi leab" e` ( inductive limit ) "iaihwecpi` leab" `xwp leab-ew xzei oyi gepina :dxrd
.( direct limit )
:ze`nbec 5.32
⨿
colimI X ∼
. = i∈Obj(I) X(i) :dltkn-ewd `ed leab-ewd ,(` 5.16 'bec) zihxwqic I m` (`
(Xn )∞
n=0 dxcq heyt `id X:I→C dn`xb`ic f` ,libxd xcqd mr I := ⟨N, ≤⟩ m` (a
ϕn
. X0 → . . . Xn −→ Xn+1 → . . . ly ( sequential colimit ) izxcq leab-ew `xwp Y :I→C
:dprh 5.33
⨿∞
zeliwyd qgi xy`k , colimn Xn := i=0Xi / ∼ `ed X : I → Set ly izxcq leab-ew
. 0 ≤ n Xn ∋ x n
-e lkl xn ∼ ϕn (xn ) :ici lr xvep ∼
.libxz :dgked
:dxcbd 5.34
:"dpit"
X(ψ)
(5) X(i) / X(j)
X(φ)
X(k)
.( pushout ) miptl dtigc `xwp X ly leab-ewe
:dprh 5.35
reaix lkl m` wxe m` (5) ly miptl dtigc `id (6) dn`xb`ica oeilrd il`nyd reaixd
X(φ)
(6) X(i) / X(j)
X(ψ) ϑj
ϑk ηj
X(k) /Y
∃!f
ηk !
,Z
38
.libxz :dgked
:dprh 5.36
ϕ ψ
Y := A ⨿ B/ ∼
, `id T op Set -e dixebihwa C ←− A −→ B ly miptl dtigc (`
ϕ ψ
jezid mr dltknd `id C ←− A −→ B zexeag ly dn`xb`ic ly miptl dtigcd (a
. {ϕ(a) · ψ(a)−1 }a∈A ici-lr zxvepd (5.28 'bd) B∗C -a zil`nxepd dxeagd `id
.libxz :dgked
:dxcbd 5.37
ziyrp C op
-a HomC op (A, B) := HomC (B, A)
dakxdd xy`k Obj(C op ) := Obj(C)
, -e
C op
, -a fˆ : Ŷ → X̂ C f :X →Y z` mi`zp C -a -l m` ,xnelk : -a xy`n jetdd xcqa
d
Id X = IdX̂ f[◦ g = ĝ ◦ fˆ . -y oaenk . f`
:dnl 5.38
.libxz :dgked
:dxcbd 5.39
:d`ad dprha mkql xyt` (c-b 4.14 'bec) minfitxend zveaw ly zepekzd z`
:dprh 5.40
.libxz :dgked
:dxrd 5.41
ycgn eze` yxtp m`e , C op lr htyn hxta lawp ziixebihwd zxeza illk htyn lkl
mivgd lk ipeeik eay ,ixewnd htynd ly il`ec gqep eplaw heyty `vnp C lr htynk
39
.mibyen ly zexcbd iabl dnec ote`a .zeakxdd xcq iabl oke ,ektdzd
ly ixebi-hwd il`ecd `ed leab-ewd byen ik ,5.31 dprhl zil`ec 5.15 dprh lynl jk
:htyn 5.42
.libxz :dgked
:dxrd 5.43
zeixebihwa zeleab-ewe zeleab miniiw recn zexiaqn od j` ,o`k dl` zeprh gikep `l
minec - zeltknd oebk - owlg recne ,(Set -a zeipad ozpida) ,Gp -e T op oebk zexken
qt` invr
:dxcbd 5.44
miiw Obj(C) ∋ X mvr lkl m` ( initial object ) iligz mvr `xwp C dixebihwa J mvr (`
. ψX : J → X cigi mfitxen
Obj(C) ∋ X mvr lkl m` ( terminal object ) iteq mvr `xwp C dixebihwa T mvr (a
.iteq mbe iligz mb `ed m` ( null object ) qt` mvr `xwp C dixebihwa Z mvr (b
:ze`nbec 5.45
.iteq xai` oi`e ,iligz `ed 0 xai`d (4.19 'bd e`x) ⟨N, ≤⟩ zpeeknd dixebihwa (`
:dprh 5.46
ly leab-ewd `ed iligz mvre ,( I = ∅ ) dwixd dn`xb`icd ly leab `ed iteq mvr
.dwix dn`xb`ic
.libxz :dgked
40
:dpwqn 5.47
md m` ,ipep`w mfitxenefi` ick cr micigi C dixebihwa qt` mvre ,iteq mvr ,iligz mvr
.miniiw
:ze`nbec 5.48
`id {x} cg` xai` za dveaw lke ,iligz mvr `id dwixd dveawd Set dixebihwa (1
day ,( pointed sets ) zecwepn zeveaw ly Set∗ dixebihw xicbdl xyt` ,z`f znerl (2
minfitxende ∅ ̸= X
,( hxtae) X ∋ x0 oiievn xai` yi oday (X, x0 ) zeveaw md minvrd
.(zg` dcewp za dveaw lk) Z = ({x0 }, x0 ) `edy ,qt` mvr yi Set∗ dixebihwa
:dxrd 5.49
da yi ,ok lr xzi Obj(C) ∋ Y, X; lkl dwix dpi` HomC (X, Y ) -y xne` df hxta .(5.44
:dxcbd 5.50
φ
Ker(φ)
. oneqi `ed ;Z → Y ←− X ly xeg`l dkiyn `ed φ ly ( kernel ) oirxb (`
zikxr cg-cg `ide , i : Ker(φ) → X (d 5.14 'bd) dpan zwzrda ciievn `edy al eniy
.(mfitxenepen)
φ
oneqi `ed ;Z ←− X −→ Y ly miptl dtigc `ed φ ly ( cokernel ) oirxb-ew (a
:dprh 5.51
. G | φ(g) = 0} ,→ G
xy`k , H/ Im(φ) dpnd zxeag `ed mfitxenened ly oirxb-ewd AbGp dixebihwa (a
.libxz :dgked
41
ikxr-cg-cg `ed m` elit` - ϕ:G→H mfitxenened ly dpenzd Gp dixebihwa :dxrd
.dtiwz dpi` ef dxcbd Gp
-a okle , H -a zil`nxep dxeag-zz dgxkda dpi` -
zexeagl ,zexeagl mb siwz 5.18 dprha zeveaw ly izxcqd leabd ly xe`izdy e`xd (a
-xeagl ,zexeagl mb siwz 5.33 dprha zeveaw ly izxcqd leab-ewd ly xe`izdy e`xd (a
42
.5.36 dprh z` egiked 5.52.9
zeitehenedd dixebhwd 6
mibyend zxcbd jxevl zg` dixebihw cerl wwcfp ,4 wxta exkfedy zeixebihwl sqepa
:dxcbd 6.1
:dprh 6.2
ho T op
. -a mfitxenefi` [f ] m` wxe m` zitehened zeliwy `id f :X →Y dwzrd
wxe m` zcwepn zitehened zeliwy `id f : (X, x0 ) → (Y, y0 ) zcwepn dwzrd ,dneca
ho T op∗
. -a mfitxenefi` `ed [f ] m`
.2.22 dpwqne 2.5 dprh itl ,2.23-e ,2.6 ,4.5 zexcbdn raep df :dgked
zeprh ly dnly zkxrn gqpl zexyt`d `id zeixebihwd zxez ly zepexzid cg` :dxrd
,3.19 dpwqne 3.18 dprh hxtae ,3 wxta epgkedy dnnn daxd ,lynl .zrlewe dxvw dxeva
43
:dprh 6.3
: π1 = Π1 ◦ γ∗ -y jk Π1 : ho T op∗ → Gp
π1
T op∗ / Gp
v:
v
γ v
v
v Π1
ho T op∗
jko , π1 -a Π1 xehwptd z` mb onqp llk jxca mixzein mipeniqn rpnidl ick :dxrd
.zitehenedd dixebihwl micxeid mixg` mixehwpt mr mb dyrp
:ze`xdl
:dprh 6.4
∏
dltknd `id {Xα }α∈A miagxn ly edylk sqe` ly
α∈A Xα zifhxwd dltknd (`
. T op dixebihwa
[(xα )α∈A ] dcewpd mr , {(Xα , xα )}α∈A micwepn miagxn sqe` ly zifhxwd dltknd (a
T op∗
. dixebihwa dltknd `id ,qiqad zcewp xeza
⨿
T op
. dixebihwa dltkn-ewd `ed {Xα }α∈A ly
α∈A Xα xfd cegi`d (b
∨
dltkn-ewd `ed {(Xα , xα )}α∈A micwepn miagxn ly
α∈A (Xα , xα ) cwepnd mekqd (c
. T op∗ dixebihwa
.libxz :dgked
:dpwqn 6.5
∏ ∏
. π1 ( Xα , xα , [(xα )α∈A ]) ∼
= π1 (Xα , xα )
α∈A α∈A
.libxz :dgked
:d`ad dnikqa xe`izl zpzip zixabl`d dibeletehd ly zixwird dlertd jxc ,mvra
44
:dnl 6.6
oneqzy ,dixebihw mieedn ,(2.28 'bd) micwepn zebef ly zewzrd mr ,micwepnd zebefd
irah ote`a zitxenefi` (X, x0 ) cwepn agxn ly ziceqid dxeagd ok`y e`xd 6.7.1
. [(S 1 , s0 ), (X, x0 )] -l
:miibeleteh miagxn Y ′ -e ,Y ′
,X ,X eidi 6.7.2
≃ ≃
zeliwy zexyn g : Y −→ Y ′ -e f : X −→ X ′ zeitehened zeieliwy izy lky e`xd (`
′ ′
. X ×Y ≃X ×Y zitehened
. [Z, X × Y ] ∼
= [Z, X] × [Z, Y ] :irah mfitxenefi` yi Z agxn lkly e`xd (a
≃
,A ∋α lkl zcwepn zitehened zeliwy fα : (Xα , xα ) −→ (Xα′ , x′α ) m`y e`xd (` 6.7.7
∨ ≃ ∨
.(2.26 'bd) f: α∈A (Xα , xα ) −→ α∈A (Xα′ , x′α ) zitehened zeliwy dxyn `id f`
∨ ∏
.[ (Xα , xα ), (Z, z0 )]∗ ∼
= [(Xα , xα ), (Z, z0 )]∗
α∈A α∈A
π1 (X, x0 ) ∼
̸= {0}-y jk (X, x0 ) cwepn ibeleteh agxn edyfi` miiw m`y e`xd 6.7.8
.π1 (S 1 , s0 ) ∼
̸= {0} gxkda f` , (zil`ieeixh dpi` ely ziceqid dxeagd ,xnelk)
. π1 (S 1 , s0 ) ∼
=Z -y d`xp (7.12 htyn) jynda :dxrd
f` ,zila` dppi`y ziceqi dxeag mr cwepn agxn edyfi` epyi m`y e`xd 6.7.9
.zila` dppi` π1 (S 1 ∨ S 1 , s0 )
45
.(a 6.7.7 libxz e`x :fnx
.(8.7 'bec) π1 (S 1 ∨ S 1 , s0 ) ∼
=Z∗Z -y d`xp jynda :dxrd
ieqik iagxn 7
.ieqik agxn zxfra `id ziceqid dxeagd aeyigl zeiqiqad mikxcd zg`
:dxcbd 7.1
−1
itxene`ined ote`a wzren p (V ) ⨿
ly zexiyw aikxn lky jk B ⊇ V = Vb dgezt
−1
lr mfitxene`ined p|Uα : Uα → U -e p (V ) = α∈A Uα
, p ,xnelk - ici-lr V lr
divfil`ieeixh ieqik `xwp (ely ieqik-zz lk e`) dl` zeaiaq ly V := {Vb }b∈B sqe`d
−1
on xexa p xy`k . p (V ) ly zeqext Uα
ze`xwp zeveawde p
, trivializing cover
xear )
:ze`nbec 7.2
IdX : X → X zedfd (`
aygiz `l proj dfk dxwna ;xiyw didi ieqik zwzrda E agxndy miyxec mizirl
|A| > 1
. xear ieqik zwzrd
:dprh 7.3
46
r1
p pp
pp
R r0
p pp
pp
r −1
p pp
pp
exp
?
rs0
S1
:dprh 7.4
.libxz :dgked
:dprh 7.5
.ieqik
.libxz :dgked
:dpwqn 7.6
qexehd
47
:dxcbd 7.7
>E
}}
f˜
}
}} p
}} f
X /B
.
˜
f (0) = e0 f˜ : [0, 1] → E
-y jk -l dcigi dnxd yi
{f −1 (Uα )}α∈A f` ,(7.1 'bd) p xear B ly divfil`ieeixh ieqik {Uα }α∈A m` :dgked
zegeztd zeveawl qiqa mieedn migeztd mirhwdy oeeikn [0, 1]
; ly gezt ieqik `id
migezt mirhw ici lr ieqikl {f −1 (Uα )}α∈A z` ocrl xyt` ,(1.15 dprhe 1.7 'bd) xyia
-zz {(sβ , tβ )}β∈B -n `ivedl xyt` ,ihwtnew [0, 1] dcigid rhwy oeeikn . {(sβ , tβ )}β∈B
didz ezxev ,xzeia ipekqgd ote`a df z` dyrp m` .(1.30 'bd) iteq ieqik
jk [0, 1] 0 = x0 < x1 . . . xn = 1
ly dwelg lawp , xn := 1 x0 := 0 1≤i<n
, -e ,
1≤i : lr divwecpi`a
f˜i : [xi , xi+1 ] → E divwpetl f |[xi ,xi+1 ] z` mixdl xyt`y xexa ,(7.1 'bd) cig` ote`a
.yxcpk
F̃ (0, 0) = e0
. -y jk F̃ : I × I → E -l F z` mixdl ozip f`
ici lr deey ote`a zeqeknd zegezt zeveaw ici lr B ly ieqik {Uα }α∈A m` (a
-y jk Qi,j := [tj , tj+1 ] × [si , si+1 ] miphw mireaix ici lr I×I ly p ieqik `vnp ,
−1
z` xicbpe 0 ≤ j < n 0 ≤ i < m
, -e lkl A ∋ α(i, j) edyfi`l f (Uα( i,j) ) ⊇ Qi,j
.( j lr k"g` , i lr mcew) dletk divwecpi`a dnxdd
48
(0, 1) r q q q qr(1, 1) (0, 1) r r(1, 1)
sj+1 pp pp pp pp pp pp pp pp pp pp pp pp q
pp pp pp pp pp pp pp pp pp pp pp pp Q {0} × [0, 1] [0, 1] × [0, 1]
pp pp pp pp pp pp pp pp pp pp pp pp i,j
sj ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp r
pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp
pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp r
pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp
pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp
rp p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p r r r
(0, 0) tj tj+1 (1, 0) (0, 0) [0, 1] × {0} (1, 0)
Qi,j F |([0,1]×{0})∪({0}×[0,1])
:dpwqn 7.10
mr ,b1 -l b0 -n B δ γ
-a zeliqn izy , -e , p(e0 ) = b0 ,ieqik zwzrd p:E →B m`
p p
δ̃ -e γ̃ hxtae) γ ∼ δ ⇔ γ̃ ∼ δ̃ f` e0 . -a zeligznd dn`zda δ̃ γ̃ -e zenxd
:dgked
p
zeliqn ziitehened F := p ◦ F̂ i`ceea f` , E -a zeliqn ziitehened F̂ : γ̃ ∼ δ̃ m` (`
. δ = p ◦ δ̃ -l γ = p ◦ γ̃ oia B -a
p
-l dcigi dnxd dl yi 7.9 dprh itl , B -a zeliqn F : γ ∼ δ ly ditehened m` (a
−1
p ({b1 }) F̃ |
⨿ {1}×[0,1]
ihxwqicd agxnl itxene`ined `edy , aiqd jeza dlek zlken
htyn itl xiyw [0, 1] ik ,1.23 dprh itl ,dreaw F̃ |{1}×[0,1] α∈A {b1 } gxkday ixd -
{e0 } . F̃ |{0}×[0,1]
-a dlek zlken zpenz ote` eze`a .1.22
p
.yxcpk , F̃ : γ̃ ∼ δ̃ -y epi`xd jkae , F̃ |[0,1]×{1} = δ̃ gxkda 7.8
:dnl 7.11
p
dvwd zecewpl ziqgi) F :f ∼ g zeliqn ly ditehened zniiw f` f (1) = g(1) = x1
,
x0 , x1 .(
p p p p
. f ∼ f ⋆ (g −1 ⋆ g) ∼ (f ⋆ g −1 ) ⋆ g ∼ cx0 ⋆ g ∼ g .
49
:htyn 7.11.1
e0 ∈ p−1 (b0 )
. dnxd b0 := f (m0 )
xgape , M ∋ m0 onqp :dgked , qiqa zcewp xgap
′ ˜
M m m0
, -a -l -n zxg` dliqn γ γ m` ,ok`e : f zxigaa dielz dpi` divwpetdy d`xp
′
zeliqn ly ditehenedl G z` mixdl f ◦γ ozip f ◦γ ,7.9 dprh itl . -e oia ditehened
′
f˜ zetivx z` gikedl ozip .ahid
˜
e = f (m) := δ̃(1) = δ̃ (1)
zxcben G̃ : δ → δ ′ hxtae ,
:htyn 7.12
. π1 (S 1 , s0 ) ∼
=Z
dnxd dpyi γ : ([0, 1], {0, 1}) → (S 1 , ∗) (zcwepn) d`lel lkl ,7.8 dprh itl :dgked
gxkda ,Z = exp−1 (s0 ) p(γ̃(1)) = 0 -e , -y oeeik γ̃(0) = 0. -y jk γ̃ : [0, 1] → R dcigi
:lr divwpet ϕ (`
, (S 1 , s0 )
-a d`lel γ := exp ◦γ̂ f` . n -l 0 -n γ̂ : [0, 1] → R idylk dliqn migwel
:zikxr-cg-cg divwpet ϕ (a
p
.7.11 dnl itl γ̃ ∼ δ̃
:mfitxenened ϕ : π1 (S 1 , s0 ) → ⟨Z, +⟩ (b
:miiwzne γ⋆δ ly dnxd h okle , ⟨exp ◦h⟩ = ⟨γ ⋆ δ⟩ -y `vnp ,zixefgn exp -y oeeik
. ϕ(γ ⋆ δ) := h(1)) = n + m
:dxcbd 7.13
50
:dxcbd 7.14
:`nbec 7.15
:dprh 7.16
q:Z→ p:Y →X , -e ,(b 1.26 'bd) zinewn zizliqn-xiywe xiyw ibeleteh agxn X m`
:dxcbd 7.17
dcewp lkl m` ( locally semi-simply connected ) dvgnl zinewn xyw-heyt `xwp X agxn
:dprh 7.18
X̃ xeza gwipe , X ∋ x0 qiqa zcewp xgap ,l"pk X -l ieqikd agxn z` zepal ick
51
7 wxtl milibxz 7.19
ezxfra e`xde ,T
2
:= S 1 × S 1 qexehd ly ieqikd agxn ly yxetn xe`iz e`vn 7.19.3
d`xp dzr .lbrnd enk heyt agxnl elit` ,ziceqid dxeagd z` aygl dyw icy epi`x
zeiceqid zexeagd ozpida , X agxn ly ziceqid dxeagd z` x`zl zixabl` jxc yiy
(i1 )#
(7) π1 (U0 , x) / π1 (U1 , x)
(i2 )# (j1 )#
(j2 )#
π1 (U2 , x) / π1 (X, x)
.(zelkd j2 j1 i2 i1
, , , xy`k) miptl dtigcd `id
i1
(8) B0 / B1
i2 j1
j2 f1
B2 /C
∃!h
f2
+G
52
i i
,ipevig itelig reaix lkl m` B1 ←−
1
B0 −→
2
B2 xear zexeag ly miptl dtigcd `xwp
-xwpew miaeyig zeyrl epl xyt`n `ed ,htynd ly ihqilnxetd geqipd zexnl :dxrd
:lynl .miih
:dpwqn 8.4
.(5.28
.libxz :dgked
:`nbec 8.5
xear S n = D+
n
∪ D−
n
ik , π1 (S n , s0 ) ∼
2≤n -l = {0}
1 1
n
D+ := {(x1 , . . . , xn+1 ∈ S n | xn+1 > −ε} -e
n
D− := {(x1 , . . . , xn+1 ∈ S n | xn+1 < +ε}
2 2
n ∼ n−1
zitehened lewy D+ ∩D− = S
n
×(−ε, ε) jezigd xy`k 0<ε<1 ,( -l) xeck i`vg ipy
n
D+
R
@
Q
n n ∼ n−1
S n
D+ ∩ D− =S × (−ε, ε)
n
D−
53
:otnw o`e htyn 8.6
mixiyw micwepn miagxn ipy ly cwepn mekq `ed (X, x0 ) = (A, x0 ) ∨ (B, x0 ) m`
π1 (X, x0 ) ∼
. = π1 (A, x0 ) ∗ π1 (B, x0 ) f` , X -a x0 ly dvieek daiaq yie ,zizliqn
.libxz :dgked
:`nbec 8.7
. π1 (S 1 ∨ S 1 , s0 ) = π1 (S 1 , s0 ) ∗ π1 (S 1 , s0 ) = Z ∗ Z
:dxrd 8.8
elit` - zizliqn xiyw didi U0 := U1 ∩ U2 jezigdy miyxec `l m` oekp epi` 8.1 htyn
1
D+ f` ,
1
D− := {(x, y) ∈ S 1 | y < 1} -e
1
D+ := {(x, y) ∈ S 1 | y > −1} m` ,lynl
:lr ϕ (`
, γ −1 (U1 ) zegeztd zeveawd oian zg` lk , γ : ([0, 1], {0, 1}) → (X, x) d`lel ozpida
zeihwtnewne [0, 1]
, -a migezt mirhw ly cegi` `id [0, 1] , z` cgi zeqknd , γ −1 (U2 )
dwelg lawp okl .iteq ieqik-zz mdn `ivedl ozip [0, 1]
0 = u0 < u1 < . . . < uN −1 < uN = 1
{1, 2} ∋ ν(ℓ)
. Uν(ℓ) -l -a dlek zlkend dliqn `id γi := γ|[uℓ ,uℓ+1 ] 0 ≤ ℓ < N
, lkly jk
ibefℓ ν(ℓ) = 1
-l -y jk ,oibexiql U2 -e U1 -a od γℓ zeliqn-zzdy gipdl xyt` ,mvra
ℓ
.xn`p ,ibef-i`ν(ℓ) = 2 -l -e
αℓ := cx
.( z` zgwl xyt` ℓ=N ℓ=0 ,0≤ℓ≤N αℓ (1) = xℓ
e` m`) . lkl
−1
, Uν(ℓ) -a dlek zlkend x0 -a d`lel `id βℓ := αℓ ⋆ γℓ ⋆ αℓ+1 0≤ℓ≤N
, lkl okl
:`vnpe
p p −1
γ ∼ γ0 ⋆ · · · ⋆ γN −1 ∼ α0 ⋆ γ0 ⋆ (α1−1 ⋆ α1 ) ⋆ γ1 ⋆ · · · ⋆ (αN −1 ⋆ αN −1 ) ⋆ γN −1 ⋆ αN
p
∼ (α0 ⋆ γ0 ⋆ α1−1 ) ⋆ (α1 ⋆ γ1 ⋆ α2−1 ) ⋆ · · · ⋆ (αN −1 ⋆ γN −1 ⋆ αN ) = β0 ⋆ · · · ⋆ βN −1
xnelk ,3.9 dprh itl
∏
N −1
(9) . π1 (X, x) -a ⟨γ⟩ = (jν(ℓ) )# ⟨βℓ ⟩
ℓ=0
54
-nxepd dxeag-zzd `edy ze`xdle Ker(ϕ)
, z` aygl epleki ,htynd z` gikedl ick (a
miiwn ok` π1 (X, x) -y zexiyi ze`xdl gep xzei didi mle` ;(a 5.36 dprha zx`eznd zil
i = 1, 2 h ◦ (ji )# = fi
: -l -y jk h : π1 (X, x) → G cigi
(i1 )#
(10) π1 (U0 , x) / π1 (U1 , x)
(i2 )# (j1 )#
(j2 )# f1
π1 (U2 , x) / π1 (X, x)
∃!h
f2 $-
G
mfitxenenedd m`y i`ceea ,1≤ℓ≤N {1, 2} ∋ ν(ℓ) lkl xear π1 (Uν(ℓ) , x) ∋ ⟨βℓ ⟩ xy`k
∏
N −1
( ) ∏
N −1
(11) h⟨γ⟩ = h jν(ℓ) )# ⟨βℓ ⟩ = fν(ℓ) ⟨βℓ ⟩
ℓ=0 ℓ=0
xai`ly okzii hlgda ?(11) `gqepd ici lr ahid xcben h m`d :`id dl`yd
′ ′′
∏
N ∏
N
h⟨γ⟩ = fν ′ (ℓ) ⟨βℓ′ ⟩ = fν ′′ (ℓ) ⟨βℓ′′ ⟩
ℓ=0 ℓ=0
′ ′′
∏
N ∏
N
, (jν ′ (ℓ) )# ⟨βℓ′ ⟩ · ′′
(jν ′′ (N ′′ −ℓ) )# ⟨βN ′′ −ℓ ⟩
−1
= 0
ℓ=0 ℓ=0
∏
N −1
(13) , π1 (X, x) ∋ 0 = ⟨γ⟩ = (jν(ℓ) )# ⟨βℓ ⟩
ℓ=0
55
f`
∏
N −1
(14) . fν(ℓ) ⟨βℓ ⟩ = 0
ℓ=0
p
xne` df . γ ly zcwepn ditehenedlep H : γ ∼ cx xy`k ,(13) miiwzny `eti` gipp
N −1
zpenzy jk [0, 1] 0 = u0 < . . . < uN = 1
ly ((jν(ℓ) )∗ (βℓ ))ℓ=0 dwelg yi , -d ly xeyxy
p
0≤ℓ<N . Uν(ℓ) γℓ := γ|[uℓ ,tℓ+1 ] ∼ (jν(ℓ) ) ◦ βℓ
lkl -a zlken dlek
jezl elek H ici-lr wzren Ri,j := [ti , ti+1 ] × [sj , sj+1 ] reaix-zz lky ote`a reaixd ly
mikqp jynda epzeigepl 0≤j<m 0≤i<n. -e{0, 1, 2} ∋ µ(i, j) lkl Uµ(i,j) xy`k ,
Xµ(i,j) := X xear -y
dpezgzd zil`nyd dpitd zglyp dil`y X -a dcewpd , xi,j := H(ti , sj ) mcewnk onqp
`id ,dl`k miphw mireaix drax`l llk-jxca zkiiy ef dcewpy oeeikn . Ri,j reaixd ly
−1 −1
zeniizqne zeligznd θi,j := αi,j ⋆ ηi,j ⋆ αi,j+1 -e ζi,j := αi,j ⋆ δi,j ⋆ αi+1,j ze`lel lawp
−1 −1
ζi,j ⋆ θi+1,j ⋆ ζi,j+1 ⋆ θi,j
:
56
ξ : szeyn bivp yi π1 (U2 , x) ∋ λ π1 (U1 , x) ∋ κ
-e mixai` ipyl m`y al miyp dzr
θi+1,j αi+1,j+1
:jkitl . -l dnecae , -e
∏
n ∏
m ∏
n
( fµ(i,0) ⟨ζi,0 ⟩) · ( fµ(n,j) ⟨θn,j ⟩) · ( fµ(n+1−i,m) ⟨ζn+1−i,m ⟩−1 ) ·
i=1 j=1 i=1
∏m
· ( fµ(0,m+1−j) ⟨θ0,m+1−j ⟩−1 ) = 0
j=1
∏n
(17) .( fµ(i,0) ⟨ζi,0 ⟩) = 0 ∈ G
i=1
zecewpn wlg eeid 0 = u 0 < u 1 < . . . < uN = 1 zeixewnd dwelgd zcewpy oeeikn
m`y d`xp ,diipad it-lr (13) wexitl dni`zdy 0 = t0 < t1 < . . . < tn = 1 dwelgd
p
Uµ(i+ρ,0) ⊆ Uν(ℓ) -e γi ∼ βi ⋆ · · · ⋆ βi+k
, f` , uℓ = ti < ti+1 < ti+k−1 < ti+k = eℓ+1 lynl
∏
k−1
fν(ℓ) (γℓ ) = fµ(i+ρ,0) ⟨βi+ρ ⟩
ρ=0
,ahid xcben h -y epi`xd jka .yxcpk ,(14) miiwzn (17) itl okle , 0≤ℓ<N lkl
.[ Fulton, §14c ]-a ieqikd iagxn zxfra Grothendieck ly zihpbl` dgked e`x :dxrd
Richard ici-lr dpey`xl dpzipy) lirl dgkedd ly zepeirxa ynzydl xyt` mvra
π1 : xehwptd ici-lr "zeleab-ew xeniy" lr illk xzei htyn lawl ick ( 1959 Crowell
-a
.ho T op∗ → Gp
57
:htyn 8.9
lk U := {Uα }α∈A
xy`k , gezt ieqik yi (X, x0 ) zizliqn xiyw cwepn agxnly gipp
dlkdd iα,β : Uα ∩ Uβ ,→ Uα
`id xy`k) (Uα , iα,α )α,α′ ∈A
′ dn`xb`icd ly leab-ew `ed
.( A ∋ α, β lkl
:dpwqn 8.10
x0 ∈ U1 ⊆ U2 ⊆ . . . Un ⊆ . . .
, :zegezt zeveaw ly dlkda dler dxcq ly cegi` X m`
R := ,lynl) 1 < R ici lr xn`p ,(1.32 htyn) meqg p|S 1 ,ihwtnew S 1∑ -y oeeik
.(
n
i=0 |ai |
f : S1 → S1 divwpet idef C∋w
.( p(w) ̸= 0
lkl ik ,ahid xcben) f (z) = p(Rz)
|p(Rz)|
xicbp (1
H(z, 0) = a0 /|a0 |
.( -e H(z, 1) = f (z) H(z, t) = f (tz)
f`e) :ici lr ,zitehenedlep `ide
58
n n
ici lr f -l zitehened ,g : S 1 → C \ {0} R z
g(z) := |p(Rz)|
divwpet xeza , ,z`f znerl (2
tf (z) + (1 − t)g(z) = 0
f` m` ik , t, z
Rn
= |g(z)| = |t||g(z) − f (z)| ≤ |g(z) − f (z)|
|P (Rz)|
|a1 Rn−1 z n−1 + . . . + a1 Rz + a0 |
=
|p(Rz)|
epiidc
R ≤ |an−1 R
n n−1 n−1
z + . . . + a0 | ≤ |an−1 |R n−1
+ . . . + |a0 |
∑
n−1
< |ai |Rn−1 = Rn
i=0
S 1 ,→ C\{0} pn (z) := z n
-y oeeikne , pn : S 1 → S 1 zxcbend -l zitehened g(z) ,seqal (3
dni`zn π1 (S , s0 ) ∋ ⟨pn ⟩
1
π1 eli`e , -a mfitxenefi` dxyn `id ,zitehened zeliwy `id
p(z)
.reaw n=0 ,xnelk n=0 - gxkda okle , -l dni`zn h(z) = a0
mihtyn mb gikedl ozip ziceqid dxeagd aeyige ieqikd iagxn zxez zxfra :dxrd
dyrp `l .`id mb ziyteg - ziyteg dxeag ly dxeag-zz lk :lynl ,oihelgl miixabl`
.o`k z`f
:dprh 9.2
S
.
n−1
= ∂D n
,zicnin- (n − 1) -d dxitqd lr Dn ly (4.6 'bd) divwxhx zniiw f` ,zay
lkl f (⃗x) ̸= ⃗x -y o`kn .zay zecewp `ll dtivx divwpet f : Dn → Dn -y gipp :dgked
. D ∋ ⃗x n
lkl qt`n dpey g(⃗x) := ⃗x − f (⃗x) xehwed okle ,
n
D ∋ ⃗x
:dnl 9.3
oxwd ly jezigd zcewp `id h(⃗x) ,xnelk) ∥h(⃗x)∥ = 1 :miiwn h(⃗x) := ⃗x + φ(⃗x) · g(⃗x)
.(xeckd zty mr g(⃗x) oeeika
.libxz :dgked
meiw gihan zay zecewp `ll f : Dn → Dn divwpet meiwy mi`ex ep` dnld itl
- S n−1
∋ ⃗x lkl h(⃗x) = ⃗x -y dpekzd h -l ,ok lr xzi . h:D →S n n−1
dtivx divwpet
.divwxhx h ,xnelk ;xeckd zty lr xak eidy zecewp onewna dxi`yn h ,xnelk
59
:dprh 9.4
ipy ly dakxd didz Z minlyd zxeag ly zedfd mfitxenenedy okzii `l .3.18-e ,2.11
gked jkae ,dxizql eprbd okl .(?recn) zil`ieeixhd dxeagd jxc mixaerd ,minfitxenened
.htynd
,2.10 dprh itl ,uieek elek xeyind :ditehenedd zxeza htyn eppi` dfy al eniy :dxrd
zxcbend) f :R →R 2 2
dffd ziivwpetl la` .2.11 dprh itl D 2
-l zitehened lewy okle
⃗a ̸= ⃗0
. m` zay zecewp oi` (reaw R2 ∋ ⃗a xear R2 ∋ ⃗x
, lkl f (⃗x) = ⃗x + ⃗a
dxwn gikedl ick lbrnd ly ziceqid dxeaga aeyiga ynzyp ep` ,zncewd `nbeca enk
:xfr zeprh izya ligzp .(20.30 htyn 'x) cnin lka jynda gkeiy ,htyn ly ihxt
:dprh 9.6
.ibef-i` deg(f )
f 0≤t≤1 . δ ( t) = −γ(t)
lr i`pzd itl lkl
mr δ ly δ̃ : [0, 1] → R
dnxdd z` Z ∋ n -a onqp γ̃(1) = n + 21
,dneca . xear
γ : [0, 1] → S 1 ⊂ C δ
ly sewiyd `id ( δ −1 δ̃(0) = γ̃(1)
-l dketdd dliqnd) -y al miype ,
sewiyl 0 R ( -a t → −t
ly sewiyd) exp z` C dxiarn dwzrdde , -a iynnd xiva
1 −1
f` δ̃(0) = n + 2 0 γ̃
m` hxta . δ̃-a ly sewiyd S1
`ed okl .iynnd xiva ly
60
:dprh 9.7
mr f zakxd g :√D2 → S 1
ici-lr xicbdl did ozip f,z`fk dzid eli` :dgked
xear . g(x, y) := f (x, y, 1 − x2 − y 2 ) ,xnelk - h : D 2 → D+2
mfitxene`ine`dd
:lawp S 1 = ∂D2 ∋ ⃗z
, g(−⃗z) = f (h(−⃗z)) = f (−h(⃗z)) = −f (h(⃗z)) = −g(⃗z)
libxz itl , g|S 1 ly ditehenedlep deedn g mle` .ibef-i` deg(g|S 1 ) 9.6 dprh itl okle
`vnpe , g(z) := f (⃗
z )−f (−⃗
∥f (⃗
z)
z )−f (−⃗
z )∥
:dgqepd ici-lr g : S2 → S1 xicbdl lkep ,`l m` :dgked
Rn -a megzl ixtene`ined zeidl leki epi` R2 -a (dwix `l dxiyw dgezt dveaw) megz
. 3≤n xear
3≤n
( ) Rn ⊇ V dveawl itxene`ined A -y jk R2 ⊇ A dveaw s` oi` mvra :dgked
xeck ly oekiy milawn epiid ,z`fk A zniiw dzid eli` ik Int(V ) ̸= ∅
, :wix `l mipt mr
∂ B̄ε (⃗x) ∼
= S n−1 dxitqd ly oekiy okle , R2 jezl ( V ∋ ⃗x Rn ⊇ B̄ε (⃗x)
) ohw xebq
,deg(f ) ̸= 0 f` ,S
1
∋ ⃗z lkl f (⃗z) ̸= f (−⃗z) zniiwn f : S1 → S1 m`y e`xd (` 9.10.3
ditehened zexeag 10
dfy xak epi`x .dxeag ly irah dpan [X, Y ]∗ dveawl yi Y -e X minieqn miagxn xear
61
:dxcbd 10.1
f - ∗x
p0
∗s0 ∇ - ∗ X
-
g
:dxcbd 10.2
`id (X, x0 ) cwepn agxna (pointed singular n-cube) zcwepn zixlebpiq diaew- n (b
.( I n ∋ ⃗0 qiqad
:dprh 10.3
irah ote`a zitxenefi` [(I n , ∂I n ), (X, x0 )] ziqgid zitehenedd zeliwyd zewlgn zveaw
. πn (X, x0 ) -l
.libxz :dgked
:dxcbd 10.4
:zxcbend (X, x0 ) -a
{
f (2x1 , x2 , . . . , xn ) 0 ≤ x1 ≤ 12
. (f ⋆ g)(x1 , . . . , xn ) =
g(2x1 − 1, x2 , . . . , xn ) 21 ≤ x1 ≤ 1
I n ∋ (x1 , . . . , xn )
. lkl f −1 (x1 , x2 , . . . , , xn ) := f (1 − x1 , x2 , . . . , xn )
62
:dprh 10.5
:dpwqn 10.6
.libxz :dgked
:htyn 10.7
.libxz :dgked
pppp pppp
pppp pppppppppp
pppppppppp pp pppp pppp pppp pppp pp pppppppppp pppp pp pp pp pp pp pp pp pp pp pp pp pp pp
ppppxpppp pppppppppp pp ppppxpppp0pppp pppp pp pppppppppp pppp ppxpp pp pp pp pp pp pp ppxpp pp pp pp
g g pppp pppp
pppp
pppp0 g pppppppppp
pppppppppp
x0
pppppppppp p pp pp pp pp p pppp pp pp pp 0pp pp pp pp pp f pp pp pp0pp pp f f
pp pp pp pp pp pp pppppppppp
pppppppppp g pppppppppp f pppp pp pp pp pp pp pp pp pp pp pp pp pp pp pp
ppxpp pp pp pp pp pppppppppp
pppppppppp g pppppppp ppppxpppp pppp0pppp pppp pppp pppp pppp ppxpp pp pp pp pp
f pp pp pp 0pp pp pp f pppppppppp
x0
pppppppppp f pp pppp pppp pppp pppp pp pppppppppp
pppppppppp
pppppppppp
x 0
g pp pp pp 0pp pp pp g
:dxcbd 10.8
onqp 2≤n -l (`
. I+n−1 := {(x1 , . . . , xn ) ∈ ∂I n | xn = 1}
dtyd lk mvra A
la` , jezl dlek diaewd zty z` dwizrnd X -a zixlebpiq diaew
63
f |I+n−1
R r
I+n−1 x0 R
f |J n = cx0 A
n
I -
f
X
Jn
:dprh 10.9
cwepnd befd ly ( n-th relative homotopy group n ) zi- -d ziqgid ditehenedd zxeag `xwizy
πn : ho T op2∗ → Gp
.(6.6 dnl e`x) xehwpt dxicbne , (X, A, x0 )
.libxz :dgked
:dprh 10.10
.libxz :dgked
:dprh 10.11
zewiecn zexcq
:dxcbd 10.12
n
, lkl miiwzn df m` . Im(ϕn−1 ) = Ker(ϕn ) exact at An An
m` ( ) -a zwiecn zi`xwp
64
i f
dxvw zwiiecn dxcq efy xn`p , C B, A
e , -a zwiiecn 0→A→B →C →0 m`
.( C∼
= B/A -e , B ly dxeag-zz A (short exact sequence)
mvra f`e)
:htyn 10.13
∂# : πn (X, A, x0 ) → πn−1 (A) mfitxenened epyi 2≤n lkle (X, A, x0 ) cwepn bef lkl
:dxcqdy jk
i# j# ∂# i#
. . . → πn (A, x0 ) −→ πn (X, x0 ) −→ πn (X, A, x0 ) −→ πn−1 (A, x0 ) −→ πn−1 (X, x0 ) → . . .
:dgked
f : (I n , ∂I n , J n ) → (X, A, x0 )
. ziqgi zixlebpiq diaew- n lkl ∂# ([f ]) := [f |I+n−1 ] xicbp
itl mfitxenened `ide [f ] , zeliwyd zwlgnl f bivpd zxigaa dielz dpi` ∂# ([f ]) f`
ote`a I n−1
, mr zipep`w dxeva I+n−1 z` midfn ep` jyndae o`k .lirl xeyxyd zxcbd
.ywaznd
: πn (X, x0 ) -a weic (`
j ◦i◦f : ziqgi zixlebpiq diaew- n -k eilr miayeg m` ,envr f j∗ (i∗ ([f ]))
ici-lr bvein f`
{
f (x1 , . . . , xn−1 , xn − t) xn ≥ t m`
H((x1 , . . . , xn ), t) :=
x0 xn > t m`
. j∗ ◦ i∗ = 0 -y epi`xd jkae .( H : f ∼ cx 0 )
g : (I n , ∂I n ) → (A, x0 ) n
zcwepn zixlebpiq diaew- H : cx0 ∼ f (rel (∂I n , I+n−1 )
xicbp . -y
ik (I , ∂I ) → (A, x0 )
,
n n
g
zebef ly dwzrd ok` `id ziqgid ditehenedd zxcbd itl
65
f
s
xn = 1
r r g
6
@ s
@ I+n−1 × [0, 1] cx 0 A X
@ -
@r rI n × {1} r rx0
rI n × {0} 3
xn = 0 @ cx0
@
@ 1
@r [0, 1] -r
t=0 t=1 H
I n × [0, 1]
:ici lr H : (I n−1
× [0, 1], ∂I × [0, 1]) → (X, x0 )
n
f |I+n−1
zcwepn ziqgi ditehened xicbp .
ditehened i∗ ([f ]) = 0
zniiw , f : (I n−1 , ∂I n−1 ) → (A, x0 )
-y jk ozpida ,ipy cvn
lr h : (I , ∂I , J ) → (X, A, x0 )
n n n
g := i ◦ f : (I n−1 , ∂I n ) → (X, x0 )
xicbp , xy`k
∂# ([h]) = [h|I+n−1 ] = [f ] .
: πn (X, A, x0 ) -a weic (b
;zcwepn zixlebpiq diaew- n zxcbd itl x0 -l elek wzren f |∂I n f |I+n−1 = cx0
ik , ici-lr
∂# ◦ j∗ = 0 . okl
∂# ([f ]) = 0
, -e ziqgi n f : (I , ∂I , J ) → (X, A, x0 )
zixlebpiq diaew-
n n n
m` ,ipy cvn
-y jk H : (I n−1 × [0, 1], ∂I n−1 × [0, 1]) → (A, x0 ) zcwepn ziqgi ditehened zniiw
{
f (x1 , . . . , xn−1 , 2xn ) 0 ≤ xn ≤ 12 m`
. g(x1 , . . . , xn−1 , xn ) =
H(x1 , . . . , xn−1 , 2xn − 1) 1
2
≤ xn ≤ 1 m`
zixlebpiq diaew- n eplaw ,xnelk ,diipad itl g|∂I n = cx0 -e ,1.6 htyn itl dtivx g f`
66
ici lr
{
f (x1 , . . . , xn−1 , 2x
t+1
n
) 0 ≤ xn ≤ t+1
2
m`
G(x1 , . . . , xn , t) =
H(x1 , . . . , xn−1 , 2xn − (t + 1) t+1
2
≤ xn ≤ 1 m`
wlg f z` zrvane , H ditehenedlepd ly xzei ohw wlg zrvan G ,lcb t -y lkk ,xnelk)
:dprh 10.14
zebef ly dwzrd ozpida ,xnelk - zirah 10.13 htyn ly dkex`d zwiiecnd dxcqd
i# j# ∂#
πn (A, x0 ) / πn (X, x0 ) / πn (X, A, x0 ) / πn−1 (A, x0 )
(f |A )# f# f# (f |A )#
i# j# ∂#
πn (B, y0 ) / πn (Y, y0 ) / πn (Y, B, y0 ) / πn−1 (B, y0 )
. 2≤n lkl
.libxz :dgked
:dxcbd 10.15
67
10 wxtl milibxz 10.16
didi ozipy ote`a "zecwepn zeveaw ly zwiiecn dxcq" byend z` exicbd 10.16.10
zeveaw ly dxvw zwiiecn dxcql cr dpini 10.13 htyn ly zwiiecnd dxcqd z` jiyndl
:zecwepn
i# j# ∂# i#
π1 (A, x0 ) −→ π1 (X, x0 ) −→ π1 (X, A, x0 ) −→ π0 (A, x0 ) −→ π0 (X, x0 )
miaeiq 11
proj : X × Y → X
, dlhdd ly mb onf eze`ae ,ieqikd zwzrd byen ly dllkd `ed aeiq
wlg lk lrn "xac eze`" `id dketdd dpenzd day dwzrda xaecn mixwnd ipya .lynl
:oey`x hana ef dpekz ztwyn dpi` ozipy zil`nxetd dxcbdd .geehd ly witqn ohw
68
:dxcbd 11.1
X /E
h
X
h /E
:
uuu
H̃ uuu
i uu p i p
uu
X × [0, 1]
H /B X × [0, 1]
H /B
.i:X∼
= X × {0} ,→ X × [0, 1]
.( 0≤n ) I n
diaew lkl qgia zeitehened
xcbei - iteq il`iviltniq qwltnew lkl qgia dnxdd zpekz dl yiy raep dfn :dxrd
.xq ly aeiq hxta `ed (uiaxed ly) aeiq lky xexa .(12.7 'bd) jynda
`xwp E agxnde p
, ly ( base space ) qiqad `xwp B agxnd ,aeiq p:E →B m` (c
agxnd-zz `ed B∋b dcewpa p:E→B (uiaxed e` xq ly) aeiq ly ( fibre ) aiqd (d
`xwii b0 qiqad zcewpa aiqd ,cwepn agxn (B, b0 ) xy`k . E ly Fb := p−1 (b)
.p ly aiqd
:dnl 11.2
F ∼
. =Y aiq mr ,(uiaxed ly) aeiq `id zifhxw dltkn lkn projX : X × Y → X dlhdd
.libxz :dgked
. p:E→B F
aeiqd ly "aiqd" lr xacl df dxwna xyt`
:dxcbd 11.3
i p
i`pza ,( fibration sequence ) aeiq zxcq F −→ E −→ B zewzrdd zxcql `xwp ep`
f`e , F = p−1 (b0 ) -y gipp cinz p : (E, e0 ) → (B, b0 ) cwepn aeiq ly dxwna ,oaenk
69
:dxcbd 11.4
`xwpd B
, ly U = {Uα }α∈A gezt ieqike ( p lyfibre
( ) F
aiqd `xwpd) agxn mi
∼
ϕα : Uα × F −→ p−1 (Uα )
=
:(dlhdd) projUα : Uα × F → Uα = p ◦ ϕα -y jk
ϕα
Uα × F / p−1 (Uα )
G GG v
GG vv
G vvp
projUα GGG vv
# v{ v
Uα
:ze`nbec 11.5
.ihxwqic agxn F aiqd eay ,zinewn il`ieeixh cb` `ed (7.1 'bd) ieqik agxn lk (1
, CP n := (Cn+1 \ {⃗0})/ ∼
`ed SCn+1 ∼
= S 2n+1 -l qn ly mevnvd mb ,(1.18 'bec e`x) xen`ke qn : Cn+1 \ {⃗0} → CP n
,
:dprh 11.6
S1
. aiq mr ,zinewn-il`ieeixh cb` `id ηn : S 2n+1 → CP n dpnd zwzrd , 1≤n lkl
−1
jetdd mfitxene`inedd z` xicbdl lkep ηn (Vi ) = {(z0 , . . . , zn ) ∈ S 2n+1 | zi ̸= 0}
,
. ϕ−1
i (z0 , . . . , zn ) := ([z0 ; . . . ; zn ], |zi | ) ∈ Vi × S
zi 1
:ici-lr
:dnl 11.7
.libxz :dgked
70
:dprh 11.8
.o`k z`f gikep `l j` ,(uiaxed ly) aeiq `ed zinewn il`ieeixh cb` lk mvra :dxrd
In
h /E
i p
I n × [0, 1]
H /B
(n + 1)
- -d diaewd zeihwtnewn .(11.4 'bd) B ly divfil`ieeixh ieqik U = {Uα }α∈A idi
-y jk (Ak )N
k=0 mixebq miagxn ly dlkda
, I n × {0} = A0 ⊆ A1 ⊆ . . . ⊆ AN := I n × [0, 1]
rk : Bk → Bk ∩ Ak−1 1 ≤ k ≤ N
-y ote`ae , lkl Bk := Cl(Ak \ Ak−1 ) = Cl(Ck )
ly H̃ : AN := I n × [0, 1] → E zyweand dnxdd z` xicbp .(4.6 'bd) divwxhx `id
H̃|A0 := h : I n → E
: 0≤k≤N xy`k , ly divwecpi`a H : I × [0, 1] → B
n
zegeztd zeveawd zg` jezl Bk = Cl(Ck ) z` wizrn H|Bk dipad itly oeeikn
miiwzn i`ceea f` . Bk ∋ (⃗x, s) lkl Gk (⃗x, s) := ϕα(k) (H(⃗x, s), projF (rk (⃗x, s))) :ici
ick F̃k−1 -l Gk z` sxvl lkep 1.6 htyn itl okle H|Bk = p ◦ Gk (Gk )|Bk ∩Ak−1 = F̃k−1
, -e
F̃k . z` lawl
:dnl 11.9
.libxz :dgked
71
dpwqn 11.10
J n−1
h /E J n−1
h /E
zz<
H̃ zzz
z p p
zzz
i i
In
H /B In
H /B
:dprh 11.11
1≤n
.
micwepn zebef ly dwzrd lawp p : (E, e0 ) → (B, b0 ) cwepn aeiq lkly al eniy :dxrd
.10.10 dprh itl πn (B, {b0 }, b0 ) ∼
= πn (B, b0 ) -e , p : (E, F, e0 ) → (B, {b0 }, b0 )
dn`xb`icdy jk f ly
˜
f :I →E
n
dnxd
ce0
J n−1 /E
<
f˜zzz
z
zz p
zzz f
i
In /B
f˜ ,xnelk - F := p−1 (b0 ) aiqd jezl I n−1 × {1} z` dwizrn f˜ -y o`kne ,ztlgzn
.lr p∗ -y
p ◦ fˆ
s
cb0
xn = 1
r r
:
@
6 B
@ I+n−1 × [0, 1]
@r r p ◦ ĝ s rb0
r r 3
xn = 0 @ cb0
@
@r -r
1
t=0 t=1 H
I n+1 = I n × [0, 1]
72
:ici-lr h : Jn → E xicbdl lkep f`
ˆ
f (x1 , . . . , xn−1 ) s = 0 m`
c e0 :zxg`
Jn h /E
i p
I n × [0, 1]
H /B
ze`xl xyt`y H̃ : I n+1 = I n × [0, 1] → E -l H ly dnxd yi aey 11.10 dpwqn itl okl
. H̃ : fˆ ∼ ĝ ditehenedk dze`
−1
okl . H̃(I × {1}) ⊆ p (b0 ) = F
n
-y raep H ly dnxd H̃ -y dcaerdn
:dpwqn 11.12
i# p# ∂# i#
. . . . → πn (F, e0 ) −→ πn (E, e0 ) −→ πn (B, b0 ) −→ πn−1 (A, x0 ) −→ . . . π0 (B, b0 )
:yeniy 11.13
∼
=
∂# : π1 (X, x0 ) −→ -y lawp dkex`d zwiiecnd dxcqdn okl
∼
π0 (F ) = F . 0<i eli`e , -l
∼
=
. 1<i lkl minfitxenefi` p∗ : πi (X̃, e0 ) −→ πi (X, x0 ) π0 (F, e0 ) -e
:dpwqn 11.14
. 1 ̸= i -l πi (S 1 , s0 ) = {0}
:yeniy 11.15
i η2
:dkex` zwiiecn dxcq lawp ,(11.6 dprh) sted ly aeiqd zxcq S 1 −→ S 3 −→ S 2 m`
i# (η2 )# ∂# i# (η2 )# ∂# i#
. . . π3 S 1 / π3 S 3 / π3 S 2 / π2 S 1 / π2 S 3 / π2 S 2 / π1 S 1 / π1 S 3
∼
= ∼
= ∼
= ∼
= ∼
= ∼
= ∼
= ∼
=
∼
{0} / (?) = / (?) / {0} / {0} / (?) //Z / {0}
0 0 0 0
73
.11.14 dpwqne 8.5 'bec itl zeqt`zn zepiievnd zexeagd day
-enedlep dpi`y mipey micnina zexitq oia dwzrd ly dpey`xd `nbecd dzid z`f
icnin-zlz xebq xeckn f : D3 → D3 dwzrd lkly 11.15 `nbec zxfra e`xd 11.16.4
74
II wlg
zil`iviltniq dibeleteh
inia ,18-d d`na xak mvrae) dx`wp`et ztewza ,zixabl`d dibeletehd ly dzligz
miil`iviltniq miqwltnew 12
,oebiletd byen ly micnin n -l dllkd `ed ,(yeliy mr) oe`t e` ,il`iviltniq qwltnew
(dfilp`a ile` caln) miyeniya miritend miibeletehd miagxnd axin .xeyina ,rlevn e`
z`e ,xicbdl xyt` mipe`td z` .df byen ly zeheyt zellkd e` ,mipe`tk dbvdl mipzip
fkxzp ep` .(ixehpianew) hytn e` ,(ibeleteh) ixhne`b :mipte` ipya ,x`zl ozip mdizepekz
:dxcbd 12.1
affinely ) zipit` dielz-izla zi`xwp RN -a ⃗a0 , ⃗a1 , . . . , ⃗an (zecewp) mixehwe zveaw (`
m` ( independent
∑
n ∑
n
λi⃗a = ⃗0
i
mbe λi = 0 =⇒ λ0 = λ1 = . . . = λn = 0
i=0 i=0
i = 1, . . . , n
( -l ⃗v i := ⃗ai − ⃗a0 mixcbend) {⃗v 1 , . . . , ⃗v n } mixehwed m` ,zexg` milina e`
:dxevdn RN
∑
n ∑
n
σ = {⃗x ∈ RN | ⃗x = λi⃗ai , λi ≥ 0, λi = 1}
i=0 i=0
:ze`nbec
⃗a2r ⃗a2r
X
J XXXX
J
J Xp r
J r r r
p p p p p p p p p p p ⃗a3
⃗a0 ⃗a1 ⃗a0
ppp
p p p p p p p p p pJ
J
rp
pp p p JJr r
JJr
⃗a0 ⃗a1 ⃗a0 ⃗a1
(span) zeyxet ode , σ qwltniqd ly (vertices) micewcwd ze`xwp ⃗a0 , . . . , ⃗an zecewpd (b
. σ z`
75
. σ := span(⃗a0 , . . . , ⃗an ) :oeniq
∑
zeinipt zecewp ze`xwp 0≤i≤n lkl λi > 0 zeniiwnd ⃗x = ni=0 λi⃗ai zecewpd (c
. n = dim(σ) :oeniq
oaena ⃗a0
, ici lr yxtpd icnin- 0 qwltniq ly zinipt dcewp cinz ⃗a0 dcewpd :dxdf`
mixwna mb oekp df . RN ly agxn-zzk) ibeletehd oaena zinipt dcewp dpi` ik s` - df
. n<N m` ,mixg`
:dnl 12.2
.libxz :dgked
:dxcbd 12.3
∑n 1
. σn ly (barycenter) caekd fkxn zi`xwp σ̂ n = ai
i=0 n+1 ⃗ dcewpd
(barycentric coordinates) (λ )n
∑n i i=0
-pd ly zeixhpvixa zehpicxe`ew mi`xwp mixtqnd
:dnl 12.4
.libxz :dgked
:dxcbd 12.5
:dprh 12.6
76
lkend gezt rhwl zekiiy opi`y zecigid zecewpd ody] eicewcew ici lr rawpe raew σ (3
σ
.[ -a
RM , RN n σn τ n
∑n ∑n
-txene`ined miiw ,dn`zda -a miixhne`b miqwltniq- ipy -e m` (4
f ( i=0 λi⃗ai ) = ⃗ f : σn → τ n
.
i=0 λi bi :xcbend ix`pil mfi
.libxz :dgked
miil`iviltniq miqwltnew
:dxcbd 12.7
-y jk , R N
cg` icilwe` agxna milken mlek ,mipey micninn miqwltniq
. K∋τ f` , τ ≼σ -e K∋σ m` (`
v5
s
Q
σ7 Q σ6
τ3 Q
v1
s QQsv4
B
@ σ5
B@ τ2
σ1
B @ σ
B @ 3
σ 4
B τ @
B 1 @
Bs @s
v2 σ2 v3
:zexcbd 12.8
. K∋σ
(` z` miiwnd miqwltniq ly sqe`-zz `ed K ly (sub-complex) qwltnew-zz ( ii )
. skm K := {σ ∈ K | dim(σ) ≤ m}
. K ly qwltnew-zz edf
RN
. ly
σ∈K σ
∼
=
X
. ly (triangulation) yeliy `xwp X ibeleteh agxnl h : |K| −→ X mfitxene`ned ( v )
77
:dxrd 12.9
ly iteq sqe` K -y dyixcd ila ixhne`ib il`iviltniq qwltnew xicbdl xyt` mvra
day ,( weak topology ) dylgd dibeletehl |K| ly dibeletehd z` zepyl epilr ,zinewn
mihxtl K⊇σ
. qwltniq lkl xebq A∩σ jeizgd m` wxe m` dxebq K⊇A dveaw
[Munkres]
. e`x
:dprh 12.10
. R N
ly (meqge xebq hxtae) ihwtnew agxn-zz |K| (1
K
. ly cg` qwltniq weical zinipt |K| ly dcewp lk (2
⨿
.
σ∈K σ ly dpn agxn `ed |K| okl
.libxz :dgked
:dxcbd 12.11
{f (⃗a0 ), . . . , f (⃗an )}
.( dveawa zexfg
∑
n ∑
n
. |f |( i
λi⃗a ) := λi f (⃗ai ) ∈ |L|
i=0 i=0
:dprh 12.12
L∋τ
, qwltniq lkl τ -a dxebq dveaw A∩τ f` ,dxebq dveaw A ⊆ |L| m` :dgked
f −1 (A) xnelk , K∋σ lkl σ -a dxebq |f |−1 (A) ∩ σ okle , K∋σ lkl dtivx |f | mle`
78
agxn `edy ,ely yenind oia miipia byen `ed ixhne`ib il`iviltniq qwltnew :dxrd
:`ad xedhd ixehpianewd byend oial ,xac lkl ibeleteh
:dxcbd 12.13
K V
,iteq m` .icnin- n qwltniq `xwp A f` ,micewcew n+1 dpen A = {a0 , . . . , an }
V = K0
. hxta ; Ki oneqi K i
-a miicnin- -d miqwltniqa lk sqe` .iteq qwltnew `xwp
-il`iviltniq miqwltnew iabl mb (i) 12.11-e (i)-(iii) 12.8 zexcbd ly mibyena ynzyp ep` :dxrd
.mihytn mi
:dprh 12.14
. Ki := {σ ∈ K | dim(σ) = i} -e V := K0
, `id micwcwd zveaw
.libxz :dgked
:dprh 12.15
′
itxenefi` 12.14 dprh itl el mi`znd K hytnd qwltnewdy df oaena ,eze` ynnnd
.oezpd K -l
RN σ := span(⃗ei0 , . . . , ⃗ein )
. -a ixhne`ibd qwltniq- nd z`
,ok lr xzi .(12.9 dxrd e`x) miiteqpi` mihytn miqwltnewl mb dpekp dprhd :dxrd
.icnin- n `ed K m` R2n+1
, -a K′ z` okyl ozip dyrnl
:dprh 12.16
.il`iviltniq
.libxz :dgked
79
:dxcbd 12.17
il`iviltniq aexiw 13
oia dwzrd lk `ly `id zixwird dirad .xexa epi` zibeletehd dixebihwd oial dpia
:zexcbd 13.1
. x ̸∈ σ -y
:dprh 13.2
80
. |K|
-a dgezt dveaw starK (σ) K ∋ σ , lkl (`
lken span(⃗x, ⃗y ) rhwd , |N (⃗x)| ∋ ⃗y lkly df oaena ,"dxenw hrnk" dveaw |N (⃗x)| (b
.|N (⃗x)| -a
.libxz :dgked
:dnl 13.3
.
i=1 starK (vi ) ̸= ∅ m` wxe m` K ly
.libxz :dgked
:dxcbd 13.4
:dnl 13.5
φ(a0 ), . . . , φ(an ) -y ze`xdl witqn ,zil`iviltniq dwzrd ok` φ -y ze`xdl ick :dgked
opeazdl witqn jk myl j` . K ∋ σ = span(a0 , . . . , an ) L m` ly qwltniq miyxet
x ∈ star(a0 ) ∩ . . . , star(an )
okle f` ik , σ̇ ∋ x-a
:dprh 13.6
f ≃ φ (rel A)
, f` , f : |K| → |L| dtivx dwzrdl il`iviltniq aexiw φ:K→L m`
.libxz :dgked
:dprh 13.7
81
.libxz :dgked
K = L = ∂∆[2] m` ,lynl .il`iviltniq aexiw odl oi`y zetivx zewzrd opyi :dxrd
deg(f ) ̸= ±1 dbxc zlra f : S1 → S1 dwzrdl j` , |K| = |L| ∼
= S1 f` ,(wixd yleynd)
:dxcbd 13.8
:dxcbd 13.9
K
xy`k Sd K , ly dwelg-zz `ed
dlkda dler dxcq ly caekd ifkxn ici lr miyxtp dwelgd-zza miqwltniqd ,xnelk)
.( K ly miqwltniq ly
1≤n
v̂2 v2
r r
J
J
τ := span(v̂2 , γ̂, σ̂)
JJ
β̂ r
Jrγ̂
J
Q
rQ JJ
Q
β
Jγ
σ̂ Q J )
ξ := span(v̂1 , γ̂)
σ J
Q
J
QJ JJr
r
r QJr r
v̂0 α̂ v̂1 v0 α v1
:dnl 13.10
. |K| ∼
= | Sd K| :miiwzn K ixhne`ib il`iviltniq qwltnew lkl
.libxz :dgked
:dxcbd 13.11
zeidl xcben (X, d) ixhn agxna zeveaw ly A = {Ai }i∈I sqe` ly oecird zcin
. mesh(K) := mesh({σ ∈ Ki | i = 1, 2, . . . })
82
:dnl 13.12
. max{∥⃗v ∥, ∥w∥}
⃗ ≥ ∥λ⃗v + (1 − λ)w∥
⃗ ⃗v w
⃗ : , -l e⃗1 -y , e⃗2 -e
⃗0
-l ⃗x zffd ici lr ,e`
⃗v r
pppp ⃗
p* ⃗ + t(⃗v − w)
ut = w ⃗
r
p p p pppppp r
⃗0 m
⃗ 0≤t≤1
@
@
w⃗@ R
L
⃗0
( ziy`xl L xyid lr ⃗ut dcewpd wgxn reaix) f (t) = ∥w
⃗ +t(⃗v − w)∥
⃗ 2 :divwpetd j`
,meniqkn dl oi`e , L lr
⃗0 ly m
⃗ lhida il`aelb menipin zlawn `idy mircei ep`e
′
xebq [0, 1] rhwd j` . m
⃗ lhidl mi`znd t xear wx f (t) = 0 miiwzn R∋t -l okle
.zeevwd cg`a gxkda `ede ,1.32 htyn itl my meniqkn mb zlawn f okl ,meqge
:dnl 13.13
.
n
n+1
diam(σ n ) ≥ xhew yi Sd(σ n ) ly τ ixhne`b qwltniq lkl
-l z`f ze`xdl witqn ,zix`pil divnxetqpxh zgz ∆[n] σn zpenz -y oeeikn :dgked
micewcewd ai , aj xear xy`k ∥ai −Bn ∥ diam(τ ) = maxi,j ∥ai −aj ∥
, lirl xen`d on . ∆[n]
icewcew e⃗0 , . . . , e⃗n xear eli`e ∥ai − aj ∥ ≤ n−1
,
n
diam ∆[n − 1] Sd(∂∆[n]) -e -a miritend
1 ∑ ∑ 1 n
∥ej − Bn ∥ = ∥ej − ei ∥ = ∥ (ei − ej )∥
n + 1 i=0 i̸=j
n+1
1 ∑ n
≤ · ∥ei − ej ∥ = · diam ∆[n]
n + 1 i̸=j n+1
.yxcpk
83
:dpwqn 13.14
.
n k
limk→∞ ( n+1 ) =0 -y dcaerdn raep :dgked
:dpwqn 13.15
n
. limn→∞ mesh(Sd K) = 0 :miiwzn K ixhne`b il`iviltniq qwltnew lkl
.libxz :dgked
φ : SdN K → L
. il`iviltniq aexiw yi f -ly jk 0≤N yi f` ,dtivx
{starL (wi )}ni=1 ,(1 13.2 dprh itl f` ; L icewcw L0 = {wi }ni=1
zveaw -y gipp :dgked
. |K| ly gezt ieqik U := {f −1 (starL (wi )}ni=1 L okle , ly gezt ieqik
jk 0 ≤ N miiw 13.15 dpwqn itl .(1.35 dprh) U ly bal xtqn 0 < ε idi
N
`eti` gipdle , Sd K K -a z` silgdl xyt` zehytd ornle ,mesh(SdN K) < ε/2 -y
:miiwzn starK (v) ∋ x lkle K ly v cewcw lkly xne` df hxta mesh(K) < ε/2
. -y
yi) .φ(v) := wi(x) φ:K→L :jk zil`iviltniq dwzrd xicbdl lkep :zexg` milina
.(izexixy ote`a mdn zg` K ∋v xgap ; lkl mi`zn i(v) xegal zg` jxcn xzei ile`
∩k
,
j=0 starK (vij ) ̸= ∅ f` ,K -a qwltniq- k `ed K ∋ span(vi0 , . . . , vik ) =: σ m`
okle
∩
k ∩
k ∩
k
starL (φ(vij )) ⊇ f (starK (vij )) ⊇ f ( starK (vij )) ̸= ∅
j=0 j=0 j=0
∩k
L -a qwltniq yxet {φ(vi0 ), . . . , φ(vik )} -y raep o`kn .
j=0 starL (φ(vij )) ̸= ∅ xnelk
span(vi0 , . . . , vik ) =: σ ∋ x f φ
∑k
, -y gipp ,ok`e : -l il`ivijtniq aexiw -y ze`xdl xzep
0≤j ≤k
, lklstarK (vij ) ∋ x f` .(12.3 'bd) x = j=0 λj vij zixhpvixa dbvd mr
dnl e`x) τ̇ ∋ f (x) m`y o`kn .diipad itl starL (φ(vij )) ⊇ f (starK (vij )) ∋ f (x) okle
:dprh 13.17
84
dwizrn f -y raep 13.4 dxcbdn .( Sk -e Sn ly mini`zn miyeliy qgia) zil`iviltneq
epi` f -y xne` df , n>k -y oeeikne ,( (iii)12.8 'bd) skk S n clyd jezl skk S k = S k z`
xyt` S n
ly mi`zn aeaiq ici-lr . S n \ Im(f ) ∋ P zegtl zg` dcewp yi okle Sn, lr
ahewd `id Sn ly qiqad zcewpye ,Sn ly (0, . . . , 0, 1) ipetvd ahewd `ed P -y gipdl
dxicbn H(f (⃗y ), t) hxtae ,(2.12 'bd) IdS n \{P } ly ditehenedlep mvra `id H f`
:dpwqn 13.18
π2 (S 2 , s0 ) ∼
=Z (`
∼
=
(η2 )# : πi (S 3 , s0 ) −→ πi (S 2 , s0 ) mfitxenefi` dxyn (11.7 dnl) η2 sted ly aeiqd (a
. 3≤i lkl
.libxz :dgked
.(11.15 yeniy e`x) sted ly aeiqd ly dkex`d zwiiecnd dxcqa eynzyd :fnx
85
zeila` zexeag 14
letihl zegep xzei daxd (minlyd mixtqnd ly zixeaigd dxeagd) ⟨Z, +⟩ znbeck ,dl`k
dpi` cwepn ibeleteh agxn ly π1 (X, x0 ) ziceqid dxeagdy zexnl .zeillk zexeag xy`n
zexeagd ziixebihw jezl maexa eidi jynda mda oiiprzpy mixehwptd ,llk jxca zitelig
.zeila`d
zpneqn dxeagd zlert ,xnelk - zeila` zexeagl ixeaig aizka ynzydl bedp :dnkqen
xai`de ,(yxetna dxeagd z` oiivl dvxp m` , 0G -a e`) 0 -a oneqn yic`d xai`d , a+b
. −a oneqn icbpd
:ef dixebihw iabl zeiqiqa zecaere zexcbd xtqn dzr xewqp okl
:dxcbd 14.1
zexeag oze` ly dltknd mr ddcfn `idy (b 5.13 `nbecn mi`ex ep`e AbGp, -a zixebihwd
.Gp -a
:dprh 14.2
.(5.24 'bd e`x) AbGp dixebihwa dltkn-ewd `ed zeila` zexeag ly xyid mekqd
.libxz :dgked
:dxrd 14.3
,xnelk - iteq sqe`d xy`k dxyid dltknd mr cklzn xyid mekqdy xexa dxcbdd on
⊕n ∏n
`ed A⊕B dxeagd ,lynl , B -e A zeila` zexeag izyly o`kn .
i=1 Gi = i=1 Gi
!dltkn-ewd mbe dltknd mb
:dxcbd 14.4
. A∋α lkl Gα ∼
= ⟨Z, +⟩ xy`k ,
α∈A Gα -l zitxenefi` AbGp ∋ G
{1α }α∈A dveaw-zzl mi`xewe , A ici lr (generated) G zxvep -y mixne` ep` df dxwna
.G (generators)
-l mixvei zveaw ( A -l e`) G ly
. G = FZ (A) :oeniq
86
:dprh 14.5
'bd) l`nyn cenv `ede , FZ : Set → AbGp xehwpt dxicbn ziytegd zila`d dxeagd
.libxz :dgked
:dpwqn 14.6
:mkezl minfitxenened xagl xyt`y `id zeila` zexeag ly zecgeind zepekzd oia
:dprh 14.7
ψ, φ : G → A
, minfitxenened ipy lkl ,zila` dxeag ⟨A, +⟩ -e idylk dxeag ⟨G, ·⟩ m`
.zexeag
:dgked
:dpwqn 14.8
(a 5.39 'bd) xehwptial dnxdl ozip HomAbGp (−, −) : AbGpop × AbGp → Set xehwptd
zeixabl` zeixebihw ly miccv mze`a wqerd dxabl`a "miipia megz" miiw :dxrd
yi meik .ibeletehd xywda miyexcd (milecen ly zexg` zeixebihwe , AbGp hxtae)
byen wx xikfpe ,dzr-zrl `yepa xeaicd z` aigxp `l .envr ipta meiw zekf df megzl
m`
α1 α2 α3 α4
C1 / C2 / C3 / C4 / C4
f1 f2 f3 f4 f5
β1 β2 β3 β4
D1 / D2 / D3 / D4 / D4
87
f` ,zewiiecn (zeiwte`d) zexeyde ,(10.12 'bd) zeila` zexeag ly zitelig dnxb`ic
.lr f3 f` ,zikxr-cg-cg f5 -e lr f4 f2 , m` i
( )
.mfitxenefi` f3 mb ,mfitxenefi` f5 f4 f2 f1
, , , m` okle ( iii
)
′
-y jk C3 ∋ x miiw weicdn okle α4 (x4 ) = 0
, f5 β4 (β3 (y3 )) = 0
okle ,zikxr-cg-cg j` ,
f3 (x′ −α3 (x2 )) = f3 (x′ )−(f3 (x′ )− f3 (α2 (x2 )) = β2 (f2 (x2 )) = β2 (x2 )
:ep`vn xnelk okle
i f3 y3 ) = y3
.( ) zgpda ,lr okl ,
.( ii
) zgpda ,zikxr-cg-cg f3 mi`xn dnec ote`a (a
:dxcbd 14.10
mekq `ed A⊗B -a xai` lk ; a⊗b oneqz A⊗B -a (a, b) ly zeliwyd zwlgn
:dprh 14.11
epyi G idylk zila` dxeag jezl f : A×B → G zix`pilia divwpet lkly df oaena
.libxz :dgked
:dprh 14.12
88
. ϕ⊗ψ :A⊗B →G⊗H mfitxenened
. Z⊗G∼
=G irah mfitxenefi` yi G zila` dxeag lkl (a
A⊗B ∼
. =B⊗A irah mfitxenefi` yi B -e A zeila` zexeag izy lkl (b
(A ⊗ B) ⊗ C ∼
. = A ⊗ (B ⊗ C) irah mfitxenefi` yi C -e B A , zeila` zexeag yely lkl (c
⊕ ⊕
.( Ai ) ⊗ B ∼
= (Ai ⊗ B)
i∈I i∈I
.libxz :dgked
:dprh 14.13
TA := − ⊗ A : AbGp → AbGp
. xehwptl oinin cenv (14.8 dpwqn)
zeila` zeixebihw
:dxcbd 14.14
;mdly dltkn-ewd
-xenit` lke ,mfitxen edyfi` ly oirxb ly dpand zwzrd `ed (4.9 'bd) mfitxenepen lk (d
.mfitxen edyfi` ly) oirxb-ew ly dpand zwzrd `ed (4.8 'bd) mfit
:dprh 14.15
:dxcbd 14.16
89
dlert mr cgi (M, +) zila` dxeag `ed left R-module R
( ) lrn (il`ny) lecen- R (`
:miiwzn M ∋ m, n -e R ∋ r, s R∋r
lkly jk -e M ∋m lkl r·m
;(r + s) · m = (r · m) + (s · m) i
( )
(rs) · m = r · (s · m)
; ( ii
)
1R · m = m ; ( iii
)
; r · (m + n) = (r · m) + (r · n) ( iv)
:dprh 14.17
.libxz :dgked
:dxcbd 14.18
(miil`ny) milecen- R ipy ly zixefphd dltknd z` mb xicbdl xyt` R itelig beg lkl
. R∋r -e ,B ∋ b2 , b 1 , b -e A ∋ a2 , a1 , a -l
:dxrd 14.19
M -y dxwnl zixefphd dltknd zxcbd z` lilkdl ozip ,itelig gxkda epi` R begd m` mb
,zila` dxeag wx `ed M ⊗R N f` la` - il`ny lecen- R `ed N -e ,ipni lecen- R `ed
.lecen- R `le
90
14 wxtl milibxz 14.20
dpekzd yi (R itelig beg lrn) milecen-R ly zixefphd dltknl mby e`xd 14.20.9
R
- ly zix`pilia divwpet dni`zn dxeva mixicbn m` ,14.11 dprh ly zil`qxaipe`d
.milecen
.(R itelig begl) milecen-R xear 14.12 dprh ly belp`d z` egikede egqp 14.20.10
zil`iviltniq dibelened 15
zeila` zexeag zxcq K il`iviltniq qwltnew lkl mi`zdl xyt` cvik d`xp dzr
-l`d dibeletehd ly ziqiqad dyibd ly dpey`xd `nbecd eid dl` zixehqid dpigan . K
zgkedl `le aeyigl `l zegep opi` od ,d`xpy itk ,mle` .(ziceqid dxeagl liawna) zixab
ixeg`ny ziqiqad divi`ehpi`d z` zexiaqnd ,zexcbdl xarn oda wnrzp `l okle ,mihtyn
.zix`lebpiqd dibelenedd zi`xwpd (xzei zillke) xzei dgep dipa `iap jynda .dibelenedd byen
:dxcbd 15.1
91
K n Z K n
∑
: ly miqwltniq- ly ( lrn) ilnxet sexiv `id lr zxyxy- ,zexg` milina
:dxcbd 15.2
dni σ := span(vi0 , . . . , vc
ij , . . . , vin ) = span(vi0 , . . . , vij−1 , vij+1 , . . . , vin )
-e , 0 ≤ i ≤ n) -l
∑
n
. ∂n (σ) := (−1)i dni (σ)
i=0
dtyd xehxte` `xwpd ,14.6 dpwqn itl ∂n : Cn (K) → Cn−1 (K) mfitxenened dxyn df
C∗ . ly ( boundary operator )
:dxcbd 15.3
:dprh 15.4
{
vt 0≤t<i m`
. ut =
vt+1 i≤t<n m`
, dn−1
j (dni (σ)) = span(u0 , . . . , ubj , . . . , un−1 ) = span(v0 , . . . , vbj , . . . , vbi , . . . , vn )
, dn−1
j (dni (σ)) = span(u0 , . . . , ubj , . . . , un−1 ) = span(v0 , . . . , vbi , . . . , vd
j+1 , . . . , vn )
{
i−1 ◦ dj
dn−1 0≤j<i≤n
n
m`
(19) dn−1
j ◦ d n
i =
dn−1
i ◦ dnj+1 n≥i≤j≥0 m`
. 1≤n lkl
92
:miiwzn dtyd mfitxenened zxcbd itl , σ oeekn qwltniq- n ozpida dzr
∑n ∑
n−1 ∑
n
∂n−1 (∂n (σ n )) = ∂n−1 ( (−1)i dni (σ)) = (−1)i+j djn−1 (dni (σ))
i=0 j=0 i=0
∑
n ∑
i−1 ∑
n−1 ∑
n−1
= (−1)i+j dn−1
j (dni (σ)) + (−1)i+j djn−1 (dni (σ))
i=0 j=0 i=0 j=i
∑
n ∑
i−1 ∑
n−1 ∑
n−1
= (−1)i+j dn−1
j (dni (σ)) + (−1)i+j dn−1
i (dnj+1 (σ))
i=0 j=0 i=0 j=i
∑ ∑
= (−1)i+j dn−1
j (dni (σ)) + (−1)i+k+1 din−1 (dnk (σ)) = 0
j<i i<k(=j+1)
.yxcpk
:dpwqn 15.5
. Bn (K) ⊆ Zn (K)
:dxcbd 15.6
:dprh 15.7
. K
.libxz :dgked
:`nbec 15.8
v2r
]J
σ3
J σ
J2
J
r -Jr
v0 σ1 v1
93
:okl . ∂1 (σ3 ) = v2 − v0 -e ,∂1 (σ2 ) = v2 − v1 ∂1 (σ1 ) = d10 (σ1 ) − d11 (σ1 ) = v1 − v0
, xy`k
ly zeliwyd zwlgn `ed ⟨x⟩ xy`k) ⟨v0 ⟩ = ⟨v1 ⟩ = ⟨v2 ⟩ ici lr xvepd , H0 (K) ∼
=Z (`
x
;( xefgnd
:dprh 15.9
.libxz :dgked
:dprh 15.10
. H0 (K) ∼
=Z f` ,zizliqn xiyw |K| -e il`iviltniq qwltnew K m` (`
.libxz :dgked
itl .R ∋ λ ̸= 0 ⃗x ∼ λ · ⃗x
xear xy`k ,(1.18 RP 2 := (R3 \ {⃗0})/ ∼
'bd) xekfk
lkl (x, y, z) ∼ (−x, −y, −z) S 2/ ∼ xy`k , dpnd agxnl itxene`ined RP 2 ,1.19 dprh
:dnl 15.12
r⃗v = (x, y)
RP 2 D2 ∂D
)
2
r
−⃗v = (−x, −y)
.libxz :dgked
94
r r r r
r r
D2
r r
Z
Z
Z
r
r r Zr
: |P | ∼
= RP 2 -y jk , P
v0 v1 v2
r r r rv3
τ015 -
v5
v v
r 6 r 7 r rv4
σ45 -
v
P
r
v4 v9 r 8 r rv5
Z
Z
Z
r r
r Zr
v3 v2 v1 v0
mdpia mirhwd ly miiedif mb eixg` xxeb dtyd lr miiahwd micwcwd iedify al eniy
σ45
.( `xwp ,lynl ,(!df xcqa) v5 v4-e ici-lr yxtpd icnin-cgd oeeknd qwltniqd xy`k)
,cnin eze`a P ly miqwltniqd ici-lr yxtp cnin lka ze`xyxyd qwltnewy oeeikn
∂3 ∂2 ∂1
. . . C3 (P ) / C2 (P ) / C1 (P ) / C0 (P )
∼
= ∼
= ∼
= ∼
=
. . . {0} / Z18 / Z27 / Z9
0 ∂2 ∂1
H2 (P ) ∼
= {0} xnelk xefgn epi` envr γ la` , γ ly dletk gxkda `ed xefgn- 2 lky `vnp
mvrae - H1 (P ) jeza Z/2 ly wzer yi okl .dty 2β la` ,dty epi`y mly xefgn `ed
. H1 (P ) ∼
= Z/2
95
15 wxtl milibxz 15.13
. S 2 ⊃ D+
2
oeilrd xeckd ivg lr eayg :fnx
ze`xyxy iqwltnew 16
xywda zeyrl ozip zil`iviltniqd dibelenedd iabl epyiry dnn xkip wlgy d`xp dzr
:oihelgl ixabl`
:dxcbd 16.1
n-chain
.( ) zxyxy- n `xwii Cn -a xai`
:oeniq 16.2
96
:dxcbd 16.3
e`xwii dibeleneda Hn C∗ ∋ ⟨cn ⟩ = ⟨c′n ⟩ xai` eze` mibviind Cn ∋ cn , c′n mixefgn- n ipy
:dxcbd 16.4
miilily miqkcpi` mr zexeag mb zllekd zeila` zexeag ly dxcq `id C∗ = (Cn )n∈Z
ze`xyxy qwltnewl .(mly n lkl ∂n ◦∂n+1 = 0 miiwne xcben eiykr ∂n : Cn → Cn−1 -e)
ze`xyxy qwltnew ly ihxt dxwnk libx ze`xyxy qwltnew lr aeygl gep mizirl
:dxcbd 16.5
′
∂n ◦ ϕn = -y 0≤njk ( ) ϕn : Cn → Cn′ minfitxenened zxcq `id ⟨C∗′ , ∂ ′ ⟩ ze`xyxy
:dprh 16.6
.libxz :dgked
:dprh 16.7
:dgked
okle - (zexeag ly mfitxenened ϕn−1 ik) ∂n′ (ϕn (cn )) = ϕn−1 (∂n (cn )) = ϕn−1 (0) = 0 f`
ϕn (cn )
.xefgn `ed mb
Hn C∗ ∋ dibelenedd zwlgnl c′n xg` bivp xgap m`y ze`xdl epilr :ahid xcben ϕ∗ (a
97
oeeikn mle` . ⟨cn ⟩ = ⟨c′n ⟩ ⇔ cn ∼ c′n ⇔ ∃bn+1 ∈ Cn+1 , ∂n+1 bn+1 = cn − c′n ,ok`e
′
∂n+1 (ϕn (bn+1 )) = ϕn (∂n+1 bn+1 ) = ϕn (cn − c′n ) = ϕn (cn ) − ϕ(c′n )
ϕ∗ (⟨cn ⟩ + ⟨c′n ⟩) =ϕ∗ (⟨cn + c′n ⟩) = ⟨ϕn (cn + c′n )⟩ = ⟨ϕn (cn ) + ϕn (c′n )⟩
=⟨ϕn (cn )⟩ + ⟨ϕn (c′n )⟩ = ϕ∗ (⟨cn ⟩) + ϕ∗ (⟨c′n ⟩)
Hn C∗ ∋ ⟨cn ⟩, ⟨c′n ⟩ lkl okle , Zn C∗ ly dpn zxeag `id Hn C∗ -y dcaera epynzyd e`k
′
.Hn C -l
∗ dnecae , ⟨cn ⟩ + ⟨c′n ⟩ = ⟨cn + c′n ⟩ :miiwzn
:dprh 16.8
ϕ : ⟨C∗ , ∂⟩ → ⟨C∗′ , ∂ ′ ⟩
. ze`xyxy zwzrd lkl Hn ϕ := ϕ∗ : Hn C∗ → Hn C∗′
ϕ
⟨C∗ , ∂⟩ −→ :ze`xyxy zewzrd ozpida ,xnelk - zeakxd cakn Hn -y `ceel epilr :dgked
ψ
lkl j` . ψ∗ ◦ ϕ∗ = (ψ ◦ ϕ)∗ : Hn C∗ → Hn C∗′′ -y ze`xdl jixv
′
∗
′
,⟨C , ∂ ⟩ −→ ⟨C∗′′ , ∂ ′′ ⟩
:miiwzn Hn C∗ ∋ ⟨cn ⟩
.yxcpk
-xebihwd oia miipia cnrn yi ze`xyxy iqwltnew ly Chain dixebhwly xazqn :dxrd
Chain -a minvrd ,cg` cvn : AbGp oebk ,oihelgl zixabl` dixebihw oial zibeletehd di
ly byen oebk ,"miibeleteh" mihwtq` dnk da ex`yp ipy cvn j` ,ixabl` ote`a mixcben
:ditehened
:dxcbd 16.9
D
∂n+1 ◦ Tn + m` odipia (chain homotopy) ze`xyxy-ziitehened zi`xwp Cn → Dn+1 )∞ n=0
.zeitehened ze`xyxy zewzrd ψ ϕ -e -y xn`p df dxwna .n lkl Tn−1 ◦ ∂nC = ϕ − ψ
. T :φ∼ψ :oeniq
98
:dprh 16.10
D D
, ∂n+1 (b) = ∂n+1 (Tn (c) = ϕ(c)−ψ(c)−Tn−1 (∂nC (c)) = ϕ(c)−ψ(c)−Tn−1 (0) = ϕ(c)−ψ(c)
. ϕ∗ (⟨cn ⟩) = ⟨ϕn (cn )⟩ = ⟨ψn (cn )⟩ = ψ∗ (⟨cn ⟩) xnelk , ϕn (cn ) ∼ ψn (cn ) okl
:dprh 16.11
zewzrd ly zeakxd cakn `ede ,zeliwy qgi `ed ze`xyxy zewzrd oia ditehnedd qgi
.ze`xyxy
.libxz :dgked
dpwqn 16.12
ze`xyxy iqwltnew-zz
:dxcbd 16.13
. i : ⟨D∗ , ∂ D ⟩ → ⟨C∗ , ∂⟩
:dnl 16.14
.ze`xyxy qwltnew ok mb
ˆ
(C∗ /D∗ , ∂) -y jk Cn−1 /Dn−1 jezl Cn /Dn dpnd zexeag
.libxz :dgked
:dxcbd 16.15
ze`x -yxy iqwltnew ly zwiiecn dxcq zi`xwp mdpia ze`xyxy zewzrde ze`xyxy
99
(k−1) (k)
(k−1) ϕn (k) ϕn (k+1)
'bd) zwiiecn . . . → Cn −→ Cn −→ Cn → ... zeila` zexeag ly dxcqd m`
. n lkl (10.12
:htyn 16.16
i f
yi f` ,ze`xyxy iqwltnew ly dxvw zwiiecn dxcq 0 → A∗ −→ B∗ −→ C∗ → 0 m`
∗ ∂n+1 i f∗ ∂
. . . → Hn+1 C∗ −→ Hn A∗ −→ Hn B∗ −→ Hn C∗ −→
n
Hn−1 A∗ → . . .
.dkex` zwiiecn dxcq
:dgked
∂∗ : zxcbd (`
miiw , Cn lr fn -y Cn ∋ c
oeeikn . Hn (C∗ ) ∋ ⟨c⟩
xefgn ici-lr eze` bviip , ozpida
B B C C
∂n−1 (b) ,xnelk -fn−1 (∂n (b)) = ∂n (fn (b)) = ∂n (c) = 0 okle ,slgzn d`ad dn`xb`ica
B∗ Ker(fn−1 ) = Im(in−1 )
.( -a weicd llba) -l jiiy
in+1 fn+1
(20) 0 / An+1 / Bn+1 / Cn+1 /0
A
∂n+1 B
∂n+1 C
∂n+1
in
fn
0 / An / Bn / Cn /0
A
∂n B
∂n C
∂n
in−1 fn−1
0 / An−1 / Bn−1 / Cn−1 /0
A
∂n−1 B
∂n−1 C
∂n
in−2 fn−2
0 / An−2 / Bn−2 / Cn−2 /0
(B∗ , ∂ B ) -y oeeikn ,ok lr xzi . in−1 (a) = ∂nB (b) -y jk An−1 ∋ a miiwy xne` df j`
B
,zikxr-cg-cg in−1 -y oeeikn .∂n−1 (∂nB (b)) = 0 :miiwzn i`ceea ,ze`xyxy qwltnhw
⟨a⟩ dibelenedd zwlgn zelz-i` ze`xdl epilr ,zexiga izy eyrp ∂∗ zxcbday oeeikn
′ ′
f` , fn (b ) = c Bn ∋ b
-y jk Bn ∋ b xg` xai` mixgea epiid mewna eli` ,ziy`x
′
weicd llba b − b ∈ Ker(fn ) = Im(in ) fn (b − b) = fn (b′ ) − fn (b) = c − c = 0
′
okle ,
′
b = b + in (α)
f` j` . in (α) = b′ − b An ∋ α e` , Bn -y jk miiw ,xnelk : -a
. ∂nB (b′ ) = ∂nB (b + in (α)) = ∂nB (b) + ∂nB (in (α)) = in (a) + in−1 (∂nA (α)) = in (a + ∂nA (α))
df , a ∼ a + ∂nA (α) -y oeeikn . ∂∗ (⟨c⟩) zxcbda a′ := a + ∂nA (α) -a a z` silgdl epilr okl
100
zniiw , ⟨c⟩ = ⟨c′ ⟩ -y dcaerdn f` ⟨c⟩
, -l Z n C ∗ ∋ c′ xg` bivp epxga eli` ,zipy
f` j` fn+1 (g) = e
. Bn+1 ∋ g -y jk
B
, fn (∂n+1 C
(g)) = ∂n+1 C
(fn+1 (g)) = ∂n+1 (e) = c′ − c
:`vnpe b′ := b + ∂n+1
B
(g) -a Bn ∋ b z` silgdl lkepe c′ = c + fn (∂n+1
,
B
(g) okle
: Hn−1 A∗ -a weic (c
.∂
B
n (b) ∼0 ik , i∗ (∂∗ (⟨c⟩) = i∗ (⟨a⟩) = ⟨in−1 (a)⟩ = =0 ⟨∂nB (b)⟩ dipadn
c := fn (b)
:miiwn f` la` ; in−1 (a)
∂nC (c) = ∂nC (fn (b)) = fn−1 (∂nB (b)) = fn−1 ((in−1 (a)) = 0
. ∂∗ (⟨c⟩) = ⟨a⟩ :miiwzne ,xefgn `ed Zn C∗ ∋ c ,xnelk .( in−1 ◦ fn−1 = 0 ik)
: Hn B ∗ -a weic (d
f` ⟨fn (bn )⟩ = 0 ∈ Hn C∗
, m` .16.8 dprh itl ,f∗ ◦ i∗ = (f ◦ i)∗ = 0 dakxddy xexa
la` . bn ∼ ∂n+1
B
(βn+1 ) + bn f`e ,lr f ik , fn+1 (βn+1 ) = cn+1 -y
fn (bn − ∂n+1
B
(βn+1 )) = fn (bn ) − fn (∂n+1
B
(βn+1 )) = fn (bn ) − ∂n+1
C
(fn ((βn+1 ))
= fn (bn ) − ∂n+1
C
(cn+1 ) = fn (bn ) − fn (bn ) = 0
Hn C∗
: -a weic (e
101
okle ∂nA (a′ ) = a
, An ∋ a′
-y jk yi f` ,dibeleneda ∂∗ (⟨c⟩) = ⟨a⟩ = 0 m` jci`n
ze`xyxy-ew
:dxcbd 16.17
∗
δ n+1
◦δ =0 n
-y jk ( n = 0, 1, . . . , δ n : C n → C n+1
) minfitxenened mr C = (C n )∞
n=0
n-cochain
.( n ) zxyxy-ew- `xwii C n
-a xai` 0≤n. lkl
.( {0}
cohomology
( ) dibelenedewd zxeag z` xicbdl lkep 0≤n , lkl B n C ∗ ⊆ Z n C∗ -y oeeikn (c
H nC ∗
.( :xeviwa onqp aeye) H (⟨C , δ⟩) := Z C /B n C ∗
n ∗ n ∗
zeidl ⟨C ∗ , δ⟩ ly zi- n -d
:dprh 16.18
. H : co Chain → AbGp
n
xehwpt dxicbn zi- n -d
.libxz :dgked
:dprh 16.19
f` .( F ({0}) = {0} :qt`d mvr lr xney ,xnelk) cwepn xehwpt F : AbGp → AbGp `di
0≤n
. δ n := F (∂n+1 )
lkl -e
n
D := F (Cn ) xy`k , F ⟨C∗ , ∂⟩ = ⟨D∗ , δ⟩
∗
.libxz :dgked
102
:ze`nbec 16.20
xcbend
∗
. δ n := ∂n+1 : Hom(Cn , G) → Hom(Cn+1 , G) -e Dn := Hom(Cn , G)
:(14.16 'bd) milecen- R -l (16.1 'bd) ze`xyxyd qwltnew zxcbd z` lilkdl ozip
:dxcbd 16.21
C∗ = (miil`ny) milecen- R R
ly dxcq `ed lrn ze`xyxy qwltnew , R itelig beg lkl
∂n−1 ◦ ∂n = 0 -y jk ( n = 1, 2, . . . , ∂n : Cn → Cn−1
) milecen- R ly zewzrd mr (Cn )∞
n=0
. 2≤n lkl
mewna xy`k ,16.9-e 16.5 'bda enk excbei ze`xyxy ziitehenede ze`xyxy zwzrd
:dprh 16.22
Hn : ChainR-Mod → R Mod
. - xehwpt dxicbn zi- n -d dibelenedd
.libxz :dgked
:dprh 16.23
zedf zewzrd zexyn zeitehened ody R lrn ze`xyxy iqwltnew ly ze`xyxy zewzrd
.dibeleneda
.libxz :dgked
103
16 wxtl milibxz 16.24
104
III wlg
zix`lebpiqd dxezd
z` zepnl dxen` `id - ziaihi`ehpi` zernyn mpn` yi zil`iviltniqd dibelenedl
-ewd dite` llba ,dly zepekz gikedl dyw mle` - oezpd agxna cnin lkn "mixeg"d
itke ;dxear zetivx zewzrd ici-lr mixyen minfitxenened xicbdl dyw ;dywepd ixehpian
cexpihqe (Samuel Eilenberg) bxaplii` ,dl` zeira lr zeprl ick .daygl dyw mb ,epi`xy
dxe`kl zi`xpy ,dibelened ly zxg` `qxb 20-d d`nd rvn`a exicbd (Norman Steenrod)
mbe ,zil`iviltniqd dibelenedd on yeniyl daxda dgep `idy xazqn j` ,xzei zkaeqn
.xzei zillk
ote`a agxn lkl ,zil`iviltniq dveaw `xwpd ,ycg dpan mi`zdl xyt` ,qwltnewd
.ipep`w
.miizexixy miibeleteh miagxnl dllkd lawp ,mzq zetivx zewzrda elld mipekiyd
:dxcbd 17.1
i
⃗ei := (0, . . . , 0, 1, 0, . . . , 0)
( ) {⃗e0 , . . . , ⃗en } ihxcphqd qiqad ici lr yxtpd ixhne`ibd
{
ei 0≤i≤k m`
(21) ηnk (ei ) =
ei+1 k ≤i≤n−1 m`
{
span(e0 , . . . , êj , . . . , êk , . . . , en ) k>j m`
k
(ηn+1 ◦ ηnj )(span(e0 . . . en )) =
span(e0 , . . . , ek , . . . , êj+1 , . . . , en ) k≤j m`
105
:xnelk
:dxcbd 17.2
e`l) dtivx dwzrd `ed X ibeleteh agxna (singular n-simplex) ixlebpiq qwltniq- n (`
σ : ∆[n] → X
. (!oekiy `weec
,(c 4.14 'bec e`x) reaw X -l HomT op (−, X) xehwptd ly zeihp`ix`ee-dxhpewd llba
{
i−1 ◦ dj
dn−1 0≤j<i≤n
n
m`
(23) dn−1
j ◦ dni =
dn−1
i ◦ dnj+1 0≤i≤j≤n m`
.(19)-a enk
mle` .(12.13 'bd) hytnd il`iviltniqd qwltnewd byena cala ixehpianew xe`izl eprbd
xazqn dzr ."miaeh" miniieqn miibeleteh miagxnl wx mi`zd xe`izd mixwnd ipya
:mieqn oaena ,ibeleteh agxn lkl mi`znd xe`iz lawl lkep ztqep dhytd ici-lry
:dxcbd 17.3
(En )∞
,
n=0 zeveaw ly dxcq `id ( reduced simplicial set ) znvnevn zil`iviltniq dveaw (`
edylk xyw gxkda mdl oi`y zexnl) miqwltniq- n mcewnk e`xwii En ixai`
.(miixhne`ib miqwltniql
106
:ze`nbec 17.4
K
: ly miqwltniq- n -d zeveaw zxcq ,(12.17 'bd) oeekn il`iviltniq qwltnew K m` (1
:dprh 17.5
.libxz :dgked
:dprh 17.6
.libxz :dgked
:dxcbd 17.7
zeivwpet (En )∞
mr ,
n=0 zeveaw ly dxcq `id ( simplicial set ) zil`iviltniq dveaw (`
sj−1 ◦ di
n−1 n
i<j m`
(24) di ◦ sj = IdEn
n+1 n
i = j, j + 1
m`
n−1 n
sj ◦ di−1 j+1<i m`
{
j+1 ◦ si
sn+1 i≤j
n
m`
(25) sn+1
i ◦ s n
j =
sj ◦ si−1
n+1 n
j<i m`
:dprh 17.8
lr) ζjn : ∆[n + 1] → ∆[n] zeil`iviltniqd zewzrdd ici lr zexyen oeeipd zewzrd
{
⃗ei i≤j m`
ζjn (⃗ei ) =
⃗ei−1 i>j m`
107
. snj (σ) := (ζjn )∗ (σ) = σ ◦ ζjn f`e
.libxz :dgked
:dprh 17.9
.libxz :dgked
zxez ly "divwecx" zeyrl jkae ,odylk zeil`iviltniq zeveaw xear cere ,dibelened
-ep zeiptde xe`iz `evnl elkei mitqep mihxta mipiipernd .dwixehpianewl ditehenedd
:dxcbd 17.10
:dnl 17.11
:mi`ad mixvei minfitxend ly dakxdk xe`izl ozip ( Id[n] zedfd caln) ∆ -a mfitxen lk
:xcbend ,η
i
n
: [n − 1] → [n]
{
k k<i m`
ηin (k) =
k+1 k≥i m`
{
k k<j m`
ζjn (k) =
k−1 k≥j m`
.libxz :dgked
:dprh 17.12
.libxz :dgked
108
:dpwqn 17.13
. Set
∆op
oial Simp oia (5.5 'bd) zeixebihw ly zeliwy yi
:dxcbd 17.14
associated chain
) deelpd ze`xyxyd qwltnew ,znvnevn zil`iviltniq dveaw E• m`
∑
n
∂n (e) := (−1)i dni (e)
i=0
:dprh 17.15
dprh zgkeda enk (23)-n raep dfe , 1≤n lkl ∂n−1 ◦ ∂n = 0 -y `ceel wx epilr :dgked
. .(1 17.4 'bec it lr ,17.15 dprh ly ihxt dxwn mvra `edy) 15.4
:dprh 17.16
.libxz :dgked
109
17 wxtl milibxz 17.17
zix`lebpiq dibelened 18
dibelened ly byen xicbdl epicia eiykr ,17-e 16 miwxt ly zeprhde zexcbdd zxcq xg`l
:dxcbd 18.1
n n
∑N
miqwltniq- ly il`nxet mekq heyt `id zix`lebpiq zxyxy- -y dxcbddn mi`ex ep`
∑N
c= ai σi supp(σ) Cl(Im(σ))
∪
cegi` `ed zixlebpiq zxyxy ly jnezy . oneqi `ed ;
i=1
supp(c) := N
.
i=1 supp(σi ) :miqwltniqd iknez
ze`xyxyd qwltnew ly n zi- -d dibelenedd zxeag `id Hn (X) := Hn (⟨C∗ (X), ∂⟩)
,
C∗ (X)
. ixlebpiqd
110
:dprh 18.2
:dgked
dl`e ,C
s
∗ : Simpred → Chain mr S• : T op → Simpred zakxd ici-lr zxcben C∗ (`
lr zix`lebpiqd dibelenedd ly zegtl cg` oexzi mi`ex ep` oey`x alya xak :dxrd
dwzrd lk hxtae ,zil`ixehwpt `idy xexa dxcbddn :zil`iviltniqd dibelenedd ipt
dnl 18.3
. 0≤n lkl
.libxz :dgked
:oeniq 18.4
ep` .dibelenedd zexeag z` aygl ixyt`-izla hrnky d`xp eipt lr ,ipy cvn :dxrd
dibelenedd xear dyrnl miynzyn oday mikxcd ,mvra - oekp `l dfy jynda d`xp
wwcfp jk myl la` .zix`lebpiqd dibelenedd iabl dcin dze`a zeniyi zil`iviltniqd
:xzeia heytd dxwna aygl ozip z`f lka .`ad wxta gztp mze`y ,mitqep milkl
{0} n>0
lka cg` ixlebpiq qwltniq wx yi) n lkl Sn (P ) = {∗} zixlebpiqd dveawd :dgked
i`/ibef xtqn znkqn heyt ∂n dtyd zwzrde n≥0
, lkl Cn (P ) ∼
=Z okle ,(cnin
111
:`ed P ly ixlebpiqd ze`xyxyd qwltnew okl .mitlgzn mipniq mr xveid ly ibef
∂4 ∂3 ∂2 ∂1
. . . C4 (P ) / C3 (P ) / C2 (P ) / C1 (P ) / C0 (P )
∼
= ∼
= ∼
= ∼
= ∼
=
Z /Z /Z /Z /Z
IdZ 0 IdZ 0
. H0 (P ) = C0 (P )/B0 (P ) = Z/{0} ∼
=Z
:dxcbd 18.6
dwzrd dxyn i : A ,→ X dlkdd ,(2.15 'bd) (X, A) miibeleteh miagxn bef lkl
:dprh 18.7
:dibeleneda (10.12 'bd) dkex` zwiiecn dxcq yi (X, A) miibeleteh miagxn bef lkl
∗ i ∂
. . . → Hn A → Hn X → Hn (X, A) →∗ Hn−1 (A) → . . .
:htyn 18.8
.libxz :dgked
:dxcbd 18.9
Hurewicz ) uiaxed mfitxenened z` xicbp 1≤n (X, x0 ) , lkle cwepn ibeleteh agxn lkl
∆[n]/∂∆[n]
. n
dpnd agxn mr zicnin- -d dxitqd z` ddfnd
112
:dxrd 18.10
n ∇ n f,g
xy`k) S → Sn ∨ S → X -e f, g : S n → X ozpida ik , 1≤n lkl mfitxenened ok` edf
:d`vnp Hn (S n ∨S n ) ∋ x⊕y lkl f` ,(10.1 dxcbda ritend xeina l`nyn dwzrdd `id ∇
. [∇ ◦ (f ∪ g)]∗ (x ⊕ y) = f∗ x + g∗ y
,xnelk - n-connected
( n ) xiyw- `ed (X, x0 ) m`y ze`xdl xyt` ,ok lr xzi
π := π1 (X, x0 )
.( ly mixeh`henewd zxeag) [π, π] oirxb
:dligz gikep
:dnl 18.12
qwltniq xicbdl ozip , α(1) = β(0) -y jk α, β : [0, 1] → X zeliqn izy lkl :dgked
:`gqepd ici-lr σ = σ(α,β) : ∆[2] → X icnin-ec ix`lebpiq
{
α(2t2 + t1 ) t2 ≥ t0 m`
σ(t0 , t1 , t2 ) :=
β(t2 − t0 ) t0 ≤ t2 m`
C1 (X)/B1 (X)
.yxcpk , dpnd zxeaga α∗β α+β
-l lewy mekqdy epi`xd
q1 : [0, 1] → S 1
, dpnd zwzrd ⟨q1 ⟩
ici lr bvein H1 (S 1 )
:htynd zgked ly xai`d
S1 (X) ∋ α
. x0
ixlebpiqd qwltniqd z` ( qiqad zcewpa zniizqne
dliqn X ∋ x dcewp lkl cinzle zg`X xegal lkep ,zizliqn xiyw -y oeeikn
dtivx zeidl (dleki dpi` llk jxcae) dkixv dpi` efk dxiga . x x0 X γx -l -n -a zniieqn
φ : [0, 1] → X 1
(dliqn) ix`lebpiq qwltniq- x lkn xevil lkep jk ici-lr . ly divwpetk
−1
ibelened S1 (X) ∋ φ̃
(xvei) φ̃ := γφ(0) ⋆ φ ⋆ γφ(1)
lirl xen`d x0 itl . : -a dxebq d`lel
γφ(0) + φ − γφ(1)
∑N
.(mixvei ly mekq) xefgnl
ixd ∂(c) = 0
, X Z1 (X) ∋ c = i=1 ni φi
-y oeeikn , -a icnin-cg xefgn ozpida dzr
okle ,mini`znd
∑
N ∑
N
, c = ni φi = ni (γφ(0) + φi − γφ(1) )
i=1 i=1
∑N
,zexeag ly mfitxenened h1 -y oeeikn mle` . c′ := i=1 ni φ̃i -l 18.12 dnl itl ibelened dfe
:miiwzn
113
. H1 (X) lr h1 -y epi`xd jkae
ui := [ψ̂i (0) ⋆ d2 ψi ⋆ ψ̂i (1)] ⋆ [ψ̂i (1) ⋆ d0 ψi ⋆ ψ̂i (2)] ⋆ [ψ̂i (2) ⋆ d1 ψi ⋆ ψ̂i (0)]
ik(π1 X/[π, π] -a [w] ≡ [α] divfila` ixg` jci`n . π1 X -a w=0 f` un1 1 · . . . · unmm
,
∑ ˆ
`ed h1 ,xnelk - my [α] = 0 okle , α = ∂( ni ψi ) weica x`ype milhazn ψ̂, ψ̂-d
.yxcpk ,ikxr-cg-cg
:dpwqn 18.13
. H1 (S 1 ∨ S 1 ) ∼
=Z⊕Z -e H1 (S 1 ) ∼
, =Z
ly divfila`d eli`e ,zila` dxeag Z-y dcaerde ,8.7 `nbec ,7.12 htynn raep df :dgked
.(?recn) mixvei mze` lr ziytegd zila`d dxeagd `id ziyteg dxeag
114
dibelened(ew) ly zexg` ze`qxb
cer il`iviltniqd ze`xyxyd qwltnewn lawl mileki ep` ,16.20 'bece 16.19 dprh itl
:dxcbd 18.14
zxyxy- n -y dxcbddn mi`ex ep` aey .(1 16.20 ⟨C∗ (X; G), ∂⟩ := C∗s (S• (X)) ⊗ G
'bec)
n G
∑
:miix`lebpiq miqwltniq- ly il`nxet mekq heyt `id -a mincwn mr zix`lebpiq
i = 1, . . . , N G ∋ gi
.( ) -e σi : ∆[n] → X
n
Cn (X) ∋ c = N
xear
n
i=1 gi σi
,
:dprh 18.15
. Hn (−; −) : T op op
× AbGp → AbGp
.libxz :dgked
:dprh 18.16
{
G n=0
Hn (P ; G) ∼
. = :f` ,zila` dxeag G -e ,zg` dcewp oa agxn P = {pt} m`
{0} n > 0
.libxz :dgked
:dxcbd 18.17
∑N ∑
N
. ε( 0
gi σi ) := gi ∈ G
i=1 i=1
ε ∂
G ← C0 (X; G) ←0 C1 (X; G) ← . . . ← Cn (X; G) ←
dibelenedd zi`xwp ely dibelenedde , C̃∗ (X; G) oneqnd ,ze`xyxy qwltnew ozep aey
115
:dprh 18.18
ε∗
zixyen ε∗ xy`k , 0 → H̃0 (X) → H0 (X) → H0 (P ) → 0 :dxvw zwiiecn dxcq dpyi (a
ε
X −→ P := {pt}
. :(zixyt`d dcigid) dwzrdd ici lr
.libxz :dgked
:dxcbd 18.19
:dxcbd 18.20
:dprh 18.21
. T op × AbGp op
→ AbGp
.libxz :dgked
:dxrd 18.22
ipy mdl yi z`f lka .zelibxd dibelenedd zexeag ici lr ixabl` ote`a mirawp mdipyy
:zepexzi
∗
dlert zniiw ,xnelk - "bxecn beg" ly dpan dfl yi f` , H (X, R) :zg` "zbxecn dxeag"l
116
,zix`pil-ia `idy 0 ≤ i, j lkl ∪ : H i (X; R) × H j (X; R) → H i+j (X; R) zix`pia
zeila` zexeaga xy`n miixehwe miagxna miaeyig rval xzei lwy llba ,lynl - dlibx
:miiwzne ,mzq
:dprh 18.23
H n (X; F )
-e Hn (X; F ) zexeagl X yi ibeleteh agxn lkle 0≤n lkl f` ,dcy F m`
minfitxenenedd f :X →Y
, dwzrd lkl hxtae) F lrn ixehwe agxn ly irah dpan
.zeix`pil
.libxz :dgked
117
dxeny H∗ -y ziciin raep miibeleteh miagxn lr H∗ ly zeil`ixehwptd jezn ,ziy`x
htyn z` dligz lilkp jk myl .zitehened zeliwyl mf oekp dfy d`xp .(18.3 dnl e`x)
:18.5
:dprh 19.1
:ici lr Tn : Sn (X) → Sn+1 (X) 0≤n xicbp lkle reaw X∋x xgap :dgked
{
(1 − t0 ) · σ( 1−t
t1 tn+1
, . . . , 1−t ) + t0 x 0 ≤ t0 < 1 m`
Tn (σ)(t0 , . . . , tn+1 ) := 0 0
x t0 = 1 m`
e⃗0 = (1, 0, . . . , 0)
-y llba , -a mb ,dtivx dwzrd ok` ef
[ ]
t1 tn−1
, lim ∥τ (σ)(t0 , . . . , τn+1 ) − x∥ ≤ lim (1 − t0 ) ∥σ( ,..., )∥ + ∥x∥
t0 →1 t0 →1 1 − t0 1 − t0
. RN ⊇ X -a σ zpenz ly zeihwtnewd llba meqg ∥σ( 1−t
t1
0
tn−1
, . . . , 1−t 0
)∥ + ∥x∥ iehiade
znerle ,( σ `ed e⃗0 cewcewd leny otl τ (σ) ly mevnvd,xnelk) τ (σ) ◦ ηn+1
0
=σ dzr
Hn (X) ∼
= {0} -y o`kne ,( Tn (c) ly) dty- n `ed xefgn- n lk hxta σ okle ,( mewna)
.
∼
H0 (X) = Z 1≤n eli`e , -l
0-l IdC∗ (X) = (IdX )# oia (16.9 'bd) ze`xyxy ziitehened deedn (Tn )∞
n=0 mvra :dxrd
.16.10 dprhn 19.1 dprh z` wiqpe ,zitehenedlep IdC∗ (X) -y epi`xd ,xnelk -
:htyn 19.2
.zeitehened g # f#
, ze`xyxyd zewzrdy ze`xdl witqn 16.10 dprh itl :dgked
X = X × {0}
LL
LL f
LL
i0 LL
LL
L%
X × [0, 1] F /9 Y
O rrr
r
rr
i1
rrrg
rr
X = X × {1}
118
(i1 )# ∼ (i0 )# -y ze`xdl `eti` witqn g = F ◦ i1 f = F ◦ i0
. , mr ,zitelig dnxb`ic
j0 i0
∆[n] × [0, 1]
σ×Id / X × [0, 1]
ziitehened epxcbdy divwecpi`a gipp okle ,X = ∆[n] xear dprhd z` gikedl witqn
, ∂n+1 (Tn (σ)) + Tn−1 (∂n (σ)) = (i0 )# (σ) − (i1 )# (σ)
:xicbdl lkep τ : ∆[n] → X lk xear zeirahne
-ened da mixgeae ,zilwiv` "zilqxaipe` `nbec" mi`ven day ,ef dgked zhiy :dxrd
.( acyclic models ) "miilwiv` milcen" zi`xwp ,diteh
:dpwqn 19.3
:dpwqn 19.4
{
Z n=0
. Hn X ∼
= ,xnelk - (18.19 'bd) ilwiv` `ed f` ,uieek agxn X m`
{0} n > 0
119
ueviwd htyn
xne`d ,`ad htynd `ed zix`lebpiqd ditehenedd zexeag aeyigl ixwird ipkhd ilkd
.dibelenedd z` zepyl ila (X, A) bef jezn A⊇U dgezt dveaw (excise) uvwl xyt`y
Hn (X, A) -a xai` bviiny "ohw witqn" σ : ∆[n] → X ixlebpiq qwltniqy `ed oeirxd
. U -a rbti `l `linn
:dxcbd 19.5
∑N
ze`xyxy qwltnewa (15.1 'bd) zil`iviltniq zxyxy- n `ed c = i=1 ai σin m` (b
,{σ } K ∋ P
n N
i i=1 icewcwa zipit` ielz epi`y cewcw lkl , K ixhne`b il`iviltniq
∑
N
. P #c := ai (P #σi n )
i=1
:dnl 19.6
∂n (w#c) = c − w#∂n c
∂n (w#c) = c
.( ,xefgn c m` hxta)
∑ℓ
Z ∋ ε(c) := i=1 ai xy`k , ∂(w#c) = c − ε(c)[w] f` ,zicnin- 0 zxyxy c m` (a
:dgked
dielz izla R ∋w
N
-e R
,
N
-a
n
σ = span(v0 , . . . , vn ) (ipit`) ixhne`b qwltniq xear (`
.dxcbdd on raep (a
120
:dxcbd 19.7
SdX
C∗ (X) / C∗ (X)
f# f#
C∗ (Y ) / C∗ (Y )
SdY
:dprh 19.8
TnX
Cn (X) / Cn+1 (X)
f# f#
Cn (Y ) / Cn+1 (Y )
TnY
v2r
JJ
r
Jr
Q J
Q Q
r
Q JJ
Q
QJ
r r QJr
v0 v
| B
{z }1
σ=span(v0 ,v1 )
121
:ok`e . ∂n ◦ Sd = Sd ◦∂n ,xnelk - ze`xyxy zwzrd Sd -y wecap
. ∂n (Sd(δn )) = ∂n (Bn #[Sd(∂n (δn ))] = Sd(∂n (δn )) − Bn #[∂n−1 (Sd(∂n (δn )))]
:xy`k ,19.6 dnl itl
∂n+1 Tn δn = ∂n+1 (Bn #δn ) − ∂n+1 (Bn # Sd(δn )) − ∂n+1 (Bn #Tn ∂n (δn ))
= δn − Bn #(∂n (δn )) − [Sd(δn ) − Bn #(∂n (Sd(δn )))]
− [Tn (∂n (δn )) − Bn #(∂n+1 (Tn (∂n (δn ))))]
= δn − Sd(δn ) − Tn (∂n (δn )) + Bn #[−∂n (δn ) + Sd(∂n (δn )) + ∂n+1 (Tn (∂n (δn )))]
= δn − Sd(δn ) − Tn (∂n (δn ))+
Bn #[−∂n (δn ) + Sd(∂n+1 (δn )) + (∂n (δn ) − Sd(∂n (δn )) − Tn (∂n+1 (∂n (δn ))))]
= δn − Sd(δn ) − Tn (∂n (δn ))
∂n+1 Tn = Id − Sd −Tn−1 ∂n
. Id oial Sd oia ditehened ok` (Tn )∞
n=0 okle
:dpwqn 19.9
:dxcbd 19.10
xaegn lky ze`xyxy- n -d zxeag `id CnU (X) := ZSnU (X) dneca . A ∋ α edyfi`l
U
dxyne ,ze`xyxy zwzrd jkitl i : C∗ (X) → C∗ (X)
`id dlkdd . 0 ≤ k ≤ n lkl
:dprh 19.11
122
jk A ∋ α miiw , diam(C) < δ mr ∆[n] ⊇ C dxebq dveaw lkl ,xnelk - (1.34
. C ⊆ (σ −1 (Uα ) -y
o`kne Sd (δn )
,
m
-a ritend τ lkl diam(τ ) ≤ δ -y jk N∋m miiw 13.14 dpwqn zxfra
lkl m(σ) ≥ m(σ ◦ ηk ) f`e) dfd ixrfnd m -d z` m(σ) -a onqp .Sdm (σ n ) ∈ CnU (X) -y
0≤k≤n.(
∑
n
(∂n+1 ◦ T̂n + T̂n−1 ◦ ∂n )(σ) = (−1)k (Tn (Id + . . . + Sdm(σ)−1 )σ) ◦ ηnk
k=0
∑
n
+ (−1)k Tn−1 (Id + . . . + Sdm(σ◦k)−1 )(σ ◦ ηnk )
k=0
onqp m`
∑
n
, Φ(σ) := Sdm(σ) (σ) − (−1)k Sdm (σ ◦ ηnk )
k=0
U
i∗ okle ,
m
∂n+1 (Sd (β)) = α i# (α) = ∂n+1 (i# (Sdm (β)))
okle Sdm (β) ∈ Cn+1 (X) f`e -y
.ikxr-cg-cg
j
.ziqgid dibeleneda mfitxenefi` dxyn U, A \ U ) ,→ (X, A)
ieqik edf ,htynd i`pza .U = {Int(A), Im(X \ U } X ici lr ly ieqika opeazp :dgked
. A U ′ = {Int(A), Int(A \ U )}
ly gezt ieqik okle , X ly gezt
123
:dnxb`ica zeikp`d zewzrdd lk ,14.9 dnl it lry o`kn
′ q∗
. . . Hn (C∗U (A))
i∗
/ Hn (C U (X)) / Hn (C U (X)/C U ′ (A)) ∂∗
/ Hn−1 (C U ′ (A)) . . .
∗ ∗ ∗ ∗
j∗ k∗ ℓ∗ j∗
i∗
q∗
∂∗
. . . Hn (A) / Hn (X) / Hn (X, A) / Hn−1 (A) . . .
(26)
0≤n
. lkl minfitxenefi` od
mle`e
C∗U (X) ∼
= C∗ (X \ U ) + C∗ (Int(A))
:dnec ote`ae ,[!xyi mekq `l]
, C∗U (A) ∼
′
= C∗ (A \ U ) + C∗ (Int(A))
iyilyd mfitxenefi`d htyn itl okle
. H∗ (X, A) z` (26)
:dxrd 19.13
iA ⊕iB j A −j B ∂
(27) . . . → Hn (A ∩ B) ∗→∗ Hn (A) ⊕ Hn (B) ∗→ ∗ Hn (X) → Hn−1 (A ∩ B) → . . .
.zelkdd iA : A ∩ B → A iB : A ∩ B → B j A : A → X j B : B → X
, , , xy`k
iA ⊕iB j A −j B
0 → C∗ (A ∩ B) ∗→∗ C∗ (A) ⊕ C∗ (B) ∗→ ∗ C∗U (X) → 0
.16.16 htyne 19.11 dprh itl (27) z` dxyn `ide
:dprh 19.15
.libxz :dgked
124
:zixlebpiqd dibelenedd ly zeneiqk`d 19.16
:dkex` zwiiecn dxcq yi (X, A) bef lkl :dkex` zwiiecn dxcq (II)
∗ i j∗ ∂
. . . → Hn (A) → Hn (X) → Hn (X, A) →∗ Hn−1 (A) → . . .
.(18.7 dprh)
Hn (X \ U ), A \ U ) ∼
= Hn (X, A)
⨿
yi f` ,zizliqn mixiyw miagxn ly xf cegi` X = α∈A Xα m` :minekq (IV)
.(18.8 htyn) ⊕α Hn (Xα ) ∼
= Hn (X) :(zelkdd ici lr dxyen) irah mfitxenefi`
{
Z n=0
htyn) Hn (P ) ∼
= :f` ,zg` dcewp oa agxn P = {pt} m` :cnin (V)
{0} n > 0
.(18.5
- (mfitxenefi` ick cr) cigi ote`a H∗ (−) z` zeraew elld zeneiqk`dy xazqn :dxrd
.miil`iviltniq miqwltnew oebk ,"mixiaq" miagxnl zegtl
.(cere
.ueviwd htyn z` zniiwn G-a mincwn mr dibelenedd ,G dxeag lkly e`xd 19.17.2
mincwn mr dibeleneda bef ly dkex` zwiiecn dxcq yi ,G dxeag lkly e`xd 19.17.3
. G-a
125
.mekqd zneiqk` z` zniiwn G-a mincwn mr dibelenedd ,G dxeag lkly e`xd 19.17.4
oaygl eplekiy ila ,odizepekze dibelenedd zexeag ly zkaeqn ic zkxrn epgzit o`k cr
dcin-dpwa miaeyigl milk epicia yi dyrnly d`xp eiykr .miil`ieeixh mixwna `l`
:htyn 20.1
{
Z i=n
H̃i (S n ) ∼
= (I)n
{0} i ≠ n
{
Z i=n
H̃i (Dn , S n−1 ) ∼= (II)n
{0} i ̸= n
{
n ∼ Z i=n
H̃i (S n , D+ )= (III)n
{0} i ̸= n
n
. lr divwecpi`a :dgked
.(1.17 'bd) zecewp izy oa agxn S 0 = {1, −1} xy`k ,cnind zneiqk`n raep (III)0 (`
n n
(I)n−1
, -l lewy (II)n -y mi`ex (S , D+ )-e (Dn , S n−1 ) zebefd ipy ly dkex`d zwiiecnd
:dprh 20.2
{
G i = 0, n
Hi (S n ; G) ∼
m`
. = :miiwzn 0≤n -e G dxeag lkl
{0} zxg`
.libxz :dgked
126
:dprh 20.3
r ◦ i = IdS n
, mr r : Dn+1 → S n divwxhx zniiwe ,dlkdd i : S n → Dn+1 m` :dgked
:lawp (18.2 dprh) zixlebpiqd dibelenedd zeil`ixehwptn f`
ly dakxd didz Z minlyd zxeag ly zedfd mfitxenenedy okzii `l .2.11 dprhe 19.4
dgked jkae ,dxizql eprbd okl .zil`ieeixhd dxeagd jxc mixaerd ,minfitxenened ipy
.dprhd
:dprh 20.5
:dpwqn 20.6
:dpwqn 20.7
iaikxn ipyl eze` wlgn xeyina xebq heyt mewry oreh iq`lwd ( Jordan ) ocxe'f htyn
ze`vez dnkl wwcfp htynd zgked myl .xzei mideab micninl dllkd gikep ep` .zexiyw
:zeipkh
127
:dprh 20.8
∪∞
(a 5.32 'bec) Hp X = colim Hp (Ui ) n ≥ 0 , lkl f` (dler gezt cegi`) X= i=1 Ui m`
:f` (1 ≤ k ≤ n < ∞)
, jk,n : Uk ,→ Un zelkdd -e in : Un → X m` ,xnelk -
:dxcbd 20.9
. H̃∗ (S n \ f (Y )) = {0}
:dprh 20.10
U0 ∩ U1 = S n \ f (z)
, f` . U1 := S n \ f (Y × [ 12 , 1]) -e U0 := S n \ f (Y × [0, 12 ]) onqp
∼
H̃p+1 (U0 ∪ U1 )
0 / H̃p (U0 ∩ U1 ) = / H̃p (U0 ) ⊕ H̃p (U1 ) 0 / H̃p (U0 ∪ U1 )
O O O
= =
{0} 0 ̸= α0 {0}
mirhw zxcq divwecpi`a lawp , [0, 1] mewna [0, 12 ] mr lirl wenipd lr xefgp m`
, [0, 1] = I0 ⊃ I1 ⊃ I2 ⊃ . . . ⊃ In ⊃ . . .
.(zelkdd
∞
0 ̸= ⟨α0 ⟩ la` - Vk = S n \ f (Y × {x})
ilwiv`
k=0 Ik ∋ x -e , dcigi dcewp yi ,1.36
.dxizq Hp (S \ f (Y ))
n
- colimi Hp (Vi )
-a il`ieeixh `l xai` zzl jixv -a
:dpwqn 20.11
128
dgkedd . Dn ∼
= S n \ {s0 } -l itxene`ined `ed ik ,xcpqkl` zpekz lra Y = D0 :dgked
.20.10 dprh zxfra r lr divwecpi`a
:dprh 20.12
,oekiy f : Sr → Sn m`
{
H̃p (S n−r−1 ) = Z p=n−r−1
H̃p (S n \ f (S r )) ∼
m`
=
0 zxg`
. S n \ f (S 0 ) ∼
= Rn \ {pt} ≃ S n−1 : r=0 xear (`
U− := S n \ f (S−r )
, onqp .oekiy f : S r ,→ S n -e , (r − 1) -l oekp htyndy gipp (a
n−1
f (S )
. `id mdn cg` lk ztye ,(18.19 'bd) ilwiv` mdn
:dgked
{
Z⊕Z p=0
, Hp (S n \ f (S n−1 )) ∼
m`
=
0 p>0 m`
miiw f` f (a) ̸∈ ∂U
, -e edylk S n−1 ∋ a ∂V ⊆ K
m` dzr f (a) ̸∈ ∂U . mbe -y o`kn (a
n−1 ∼ n−1
Y := S \ f (S n−1 \ Bϵ (a))
n
okle D̂, =S \ Bϵ (a)
r
U ∩ f (Bϵ (a)) = ∅ j` . -y jk 0<ϵ
.lirl dpwqnd itl dxiyw `idy ,dgezt dveaw
, Y = (U ∩ Y ) ∪ ((V ∪ N ) ∩ Y )
129
xnelk S n−1 ∋ a
, edyfi` xear f (a) ̸∈ ∂U -y ∂U = ∂V = K
gipp , -y ze`xdl ick (b
−1
f (S \ Cl(U ))
n
mb f`e ,dgezt dveaw efy f (a) ∋ S n \ Cl(U ) okle , f (a) ̸∈ Cl(U )
f ici lr wzren Bϵ (a) ⊆ S n−1 -y jk 0 < ϵ miiw S n−1 a okle , -a ly dgezt daiaq
f (B)2 (a)) ∩ U = ∅
. ,xnelk - S n \ Cl(U ) -l
.( S n
-a mb okle , K := f (S n−1
) -a dxebq dzpenz okle ,dxebq dveaw S \ Bϵ (a)
n
ik)
.( f (Bϵ (a))
Bε (a) f (a)
s
@
@
R
as ppppppp pppppp pp pp pp
pppppp 9
f (B (a))
ε
ppppppppppppN
ppppppppp pppppppppppppp pp
pppppp pp pp pp p p
f -
V U
Sn
Y
S n−1
K = f (S n−1 )
`vnp
. Y = U ∪ V ∩ f (Bϵ (a)) ⊆ U ∪ (V ∪ N )
xnelk ,xf cegi` `ed U ⨿ (V ∪ N ) :oinin cegi`d okle ,U ∩N = ∅ U ∩V = ∅ -e mle`
Y U V N
, , , ik) zegezt dl`d zeveawd izye ,(xf cegi`) Y = (U ∩ Y ) ⨿ ((V ∪ N ) ∩ Y )
eze`neK = ∂U , -y `eti` `vei .zeilwiv`l dxizqa - xiyw Y epi` -y o`kn .(zegezt
K = ∂V . lewiy
:dpwqn 20.14
n−1
. H∗ (S ) -l zitxenefi` dibelened mre meqg izla ipyde ,ilwiv`e meqg cg`
lawp H̃∗ (V ) = {0} -y dcaerde (V, V \ {x}) befd ly dkex`d zwiiecnd dxcqdn
, H̃p (V \ {x}) ∼
= Hp+1 (V, V \ {x})
j` .19.12 htyn itl Hp+1 (V, V \ {x}) ∼
= Hp+1 (Dn , Dn \ {0}) -e
130
:dpwqn 20.15
X \ f (S n−1 )
. ly zexiyw aikxn
. S \ f (S
n n−1
) -a A0 ly milynd `id A1 := f (Dn \ S n−1 ) eli`e ,dxiyw
A0
, -l dxffe ,1.24 dprh itl dxiyw A1 ezpenz mb ,xiyw `ed (geztd xeckd) Dn \ S n−1 -y
:dxcbd 20.16
parametric neighbourhood
ly ( ) zixhnxt daiaq zi`xwpd X Ux , -a dgezt daiaq yi
∼
n =
ϕx (0) = x (. -y gipdl xyt`e) ϕx : R → Ux mfitxene`inede , x
:ze`nbec 20.17
; Sn zicnin- n -d dxitqd i
( )
; Rn icilwe`d agxnd ( ii
)
; T 2 := S 1 × S 1 qexehd iii
( )
:dprh 20.18
.dgezt
.zibeletehd drixid
okle ,oekiy `ed okle ,sxecqe`d agxnl zihwtnew dveawn zikxr-cg-cg dtivx dwzrd
131
okl . f (Ux ) -a zlkene , f (x) z` dliknd ,20.15 dpwqn itl dgezt dveaw (f ◦ ϕx )(B n )
.dgezt f xnelk , f (x) ly daiaq f (Ux )
V idzRn ∼= Ux
.( ) M ∋x Ux -l beqdn dgezt dveawa lkzqdl witqn aey :dgked
W := f −1 (V )
, onqp m` Rn . -l zitxene`ined N
, -a f (x) ly dgezt zixhnxt daiaq
-xene`ined) M∼
=N -e zicnin- n zibeleteh drixi N -e zicnin- m zibeleteh drixi M m`
. m=n f` ,(mfit
∼
=
φn |Dm = f : Dm → Ux -e mfitxene`ined φx : Rn → Ux idi ,edylk M ∋x xear :dgked
:mi`znd oekiyd
{
Z i=m
Hi (M, M \ {x}) ∼
= Hi (Dm , Dm \ {0}) ∼
m`
= H̃i−1 (S m−1 ) =
0 i ̸= m m`
. h:M ∼
=N mfitxene`ined zgz oaenk xnyp dfe
mle`-weqxea htyn
:dxcbd 20.21
:zniiwnd
zraew Φ f` IdX
,( yic` xai` mr ,zeivwpet zakxd zgz dxeag zeednd , X → X
-e G ∋ g -l ϕ(g)(x) = Φ(g, x) xcbend ,ϕ : G → Aut(X) zexeag ly mfitxenened
. X∋x
X
.( ly invr mfitxene`ined gxkda okle) dtivx ϕ(g) divwpet lk m`
132
X ∋ x g ̸= e
. -e lkl Φ(g, x) ̸= x m` ( free ) ziyteg zi`xwp Φ : G×X → X dlert (b
g ̸= e
. lkl ϕ(g) ̸= IdX m` ,zexg` milna -
. {g(x) | g ∈ G} ⊆ X
:dprh 20.22
okle , X ly dwelg mieedn X (agxn e`) dveaw lr G dxeag ly dlert zgz milelqnd
.libxz :dgked
:dxcbd 20.23
xaecn m` ;dlertd ly milelqnd zveaw zi`xwp df zeliwy qgi zgz X ly dpnd zveaw
dlerta xaecny yibcdl mivex m` , G\X mipnqn minrtl) . X/G oneqne ,dlertd ly
(.l`nyn
:`nbec 20.24
,xnelk - 2:1 q : S n → RP n
`id dpnd zwzrd Rn+1
.( -a zeiahew zecewp) ⃗x ∼ −⃗x
. RP n ∋ [⃗x] lkl {⃗x, −⃗x} = q −1 ([⃗x])
okle , g ◦ g = IdS 2 f` g(⃗x) := −⃗x
, ziahwd dwzrdd z` g : Sn → Sn -a onqp m`
:dxrd 20.25
ozpid ω : ∆[n] → S n
. ixlebpiq qwltniq- n ω ̸= g# (ω) := g ◦ ω
lkl -y ixd Sn ∋ x
,
ici lr ⃗y0
.["ipetv ahew"=] -a efkxny Sn -a geztd dxitqd D+n
ivg `di .( q −1 (⃗x0 )
σ -l yi q(D+ ) ⊇ Im(σ)
n
okle , -y zeillkd zlabd ila gipdl xyt` dni`zn dwelg-zz
, (g ◦ σ̂)(v0 ) = −⃗y0 σ̂(v0 ) = ⃗y0jci`n . -y jk (dxigaa ielz did df) σ̂ -l dcigi dnxd
133
:dxcbd 20.26
-cwn mr X ly ix`lebpiqd ze`xyxyd qwltnew `ed C∗ (X; Z/2) X , agxn lkl xekfk
τp (σ) := σ̂ + g ◦ σ̂
. :zniiwnd ze`xyxyd zwzrd
:dnl 20.27
τp q∗ ∂p
(28) . . . Hp (RP n ; Z/2) → Hp (S n ; Z/2) → Hp (RP n ; Z/2) → Hp−1 (RP n ; Z/2) . . .
:dgked
∑ ∑N
c = τ( N
.
i=1 σi ) xnelk , c= i=1 σi +g◦σ̂i f` , Ker(q∗ ) -l jiiy Cp (S n ; Z/2) ∋ c m` (a
τ q#
0 → C∗ (RP n ; Z/2) → C∗ (S n ; Z/2) → C∗ (RP n ; Z/2) → 0
:htyn 20.28
n≤m
. f`
.(28) n>m
zwiiecnd dxcqa opeazpe , -y dlilyd jxca gipp :dgked
okle ,o`k zety oi`) Cm (S m ; Z/2) -a cg` xefgn yie ,xefgnl xefgn zgwel `id ik) zedfd
0 = τ ∗ ◦ q∗ 2
. : Id = g∗
elecen okle , τ∗ ◦ q∗ = Id +g∗ m` ,dibeleneda -y
.divwecpi` + qixehiie
τ∗
.mfitxenefi` mvra -y raep dfne
134
dwzrd ici lr dxyend mfitxenened lkl oekp df) mfitxenefi` `ed q∗ ,p=0 cnina (a
:zitelig dn`xb`ic lawp (28) zeirahn okle ,(1.13 htyne dpnd zibeleteh zxcbd itl)
∂p
Hp (RP n ; Z/2) / Hp−1 (RP n ; Z/2)
ψ∗ ψ∗
Hp (RP m ; Z/2) / Hp−1 (RP m ; Z/2)
∂p
1≤p≤m . -l ,xnelk -
τ∗ / Hm (S n ; Z/2) = {0}
Hm (RP n ; Z/2)
ψ∗ ∼
= ∼
= ϕ∗
τ∗ /
Hm (RP m ; Z/2) Hm (S m ; Z/2) = Z/2
!dxizq efe
:dprh 20.29
{
Z/2 0 ≤ i ≤ n
Hi (RP n ; Z/2) ∼
m`
. = :miiwzn 0≤n lkl
{0} zxg`
.libxz :dgked
f (⃗x) − f (−⃗x)
, ϕ(⃗x) :=
∥f (⃗x) − f (−⃗x)∥
.20.28 htynl dxizq - zihp`ixeiew` ϕ xnelk , ϕ(−⃗x) = −ϕ(⃗x) :miiwzne
135
`id < ⃗x, ⃗y > xy`k (Rm × {1}) ∩ {⃗y ∈ Rm+1 | < ⃗x, ⃗y >= 0}
H⃗x :=∑ , ⃗x
: -l zavipd
< ⃗x, ⃗y >= 0 okle , < ⃗x, ⃗y >:= m+1i=1 xi yi Rm+1 zxcbend , -a dlibxd zix`lwqd dltknd
p ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp p p
p p p p pp p p p p p p p p p p p p p p p p p p p p p ppp pp pppp
p p pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp pp ppp ppp ppp pp pp ppi p pp
p pp ppp pppppppppppppppppppppppppppppppppppppVpppppp⃗xppppppppppppppppppppppppppppppppppppppppppp p P H⃗x pp
p p p p ppppp p
p ppppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp ppp
p p pp p p
pp
p
⃗x q q q q q q q q q q q q r⃗0
0 0 0 0
fi (⃗x ) = epiidc F (⃗x ) = F (−⃗x )
, -y jk ⃗x dcigi xehwe miiwy 20.30 htyn itl o`kn
`ed H⃗x0 = V−⃗x0 ∩ V⃗x0 V⃗x0 okle , ly milynd weica `ed V−⃗x0 j` . i lkl fi (−⃗x0 )
.dyexcd dixyid
136
zextq 21
13. Marvin J. Greenberg & John R. Harper, Algebraic Topology: A First Course,
Benjamin/Cummings, Reading, MA, 1981.
137
15. Peter J. Hilton and Urs Stammbach, A Course in Homological Algebra,
Springer, Berlin-New York, 1971.
138
30. George W. Whitehead, Elements of Homotopy Theory,
Springer, Berlin-New York, 1971.
139