Академический Документы
Профессиональный Документы
Культура Документы
Ñêîïåíêîâ
Àëãåáðàè÷åñêàÿ òîïîëîãèÿ
ñ ãåîìåòðè÷åñêîé òî÷êè çðåíèÿ
Ìîñêâà
Èçäàòåëüñòâî ÌÖÍÌÎ
2020
ÓÄÊ 515.14
ÁÁÊ 22.152
Ñ44
Ñêîïåíêîâ À. Á.
Ñ44 Àëãåáðàè÷åñêàÿ òîïîëîãèÿ ñ ãåîìåòðè÷åñêîé òî÷êè çðå-
íèÿ. 2-å èçä., äîï. Ì: ÌÖÍÌÎ, 2020. 304 .
ISBN 978-5-4439-1561-6
 êíèãå ðàññìàòðèâàþòñÿ âàæíåéøèå íàãëÿäíûå îáúåêòû ìàòåìà-
òèêè, âàæíûå äëÿ ïðèëîæåíèé: ìàëîìåðíûå ìíîãîîáðàçèÿ è âåêòîðíûå
ïîëÿ íà íèõ, íåïðåðûâíûå îòîáðàæåíèÿ è èõ äåîðìàöèè. Ïîêàçàíî, êàê
ïðè ðåøåíèè ãåîìåòðè÷åñêèõ ïðîáëåì åñòåñòâåííî âîçíèêàþò îñíîâíûå
èäåè, ïîíÿòèÿ è ìåòîäû àëãåáðàè÷åñêîé òîïîëîãèè: ãðóïïû ãîìîëîãèé,
ïðåïÿòñòâèÿ è èíâàðèàíòû, õàðàêòåðèñòè÷åñêèå êëàññû.
Îñíîâíûå èäåè ïðåäñòàâëåíû íà ïðîñòåéøèõ ÷àñòíûõ ñëó÷àÿõ, ñâî-
áîäíûõ îò òåõíè÷åñêèõ äåòàëåé, ñî ñâåäåíèåì ê íåîáõîäèìîìó ìèíèìóìó
àëãåáðàè÷åñêîãî ÿçûêà. Çà ñ÷åò ýòîãî êíèãà äîñòóïíà äëÿ íà÷èíàþùèõ,
õîòÿ ñîäåðæèò êðàñèâûå ñëîæíûå ðåçóëüòàòû. Äëÿ åå èçó÷åíèÿ æåëà-
òåëüíî ìèíèìàëüíîå çíàêîìñòâî ñ ãðààìè, âåêòîðíûìè ïîëÿìè è ïî-
âåðõíîñòÿìè, õîòÿ âñå íåîáõîäèìûå îïðåäåëåíèÿ ïðèâîäÿòñÿ â íà÷àëå.
×àñòü ìàòåðèàëà ïðåïîäíåñåíà â âèäå çàäà÷, ê áîëüøèíñòâó èç êîòîðûõ
ïðèâåäåíû óêàçàíèÿ.
Êíèãà ïðåäíàçíà÷åíà äëÿ ñòóäåíòîâ, àñïèðàíòîâ, ðàáîòíèêîâ íàóêè
è îáðàçîâàíèÿ, èçó÷àþùèõ è ïðèìåíÿþùèõ àëãåáðàè÷åñêóþ òîïîëîãèþ.
Ïåðâîå èçäàíèå êíèãè âûøëî â 2015 ã.
Áëàãîäàðþ èçäàòåëüñòâî ÌÖÍÌÎ çà ðàçðåøåíèå âûëî-
æèòü ýòó ýëåêòðîííóþ âåðñèþ. Â íåå âîøëè îãëàâëåíèå, ââå-
äåíèå, âñå ïóíêòû áåç çâåçäî÷åê èç ïåðâûå ïÿòè ïàðàãðàîâ
(áåç ðåøåíèé) è ñïèñîê ëèòåðàòóðû áóìàæíîé âåðñèè, à òàêæå
¾äîïîëíèòåëüíûå¿ ïóíêòû (2.9, 8.9, 13.5-13.7, 15.7, 15.8, 16.6),
êîòîðûõ íåò â áóìàæíîé (è â ïðîäàâàåìîé ýëåêòðîííîé) âåð-
ñèè 2-ãî èçäàíèÿ.
Ââåäåíèå
0.1. Çà÷åì ýòà êíèãà . . . . . . . . . . . . . . . . . . . . . . . . 9
0.2. Îñíîâíàÿ èäåÿ . . . . . . . . . . . . . . . . . . . . . . . . . 11
0.3. Ñîäåðæàíèå è èñïîëüçóåìûé ìàòåðèàë . . . . . . . . . . . 12
0.4. Çàäà÷è . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
0.5. Äëÿ ñïåöèàëèñòîâ . . . . . . . . . . . . . . . . . . . . . . . 15
0.6. Áëàãîäàðíîñòè . . . . . . . . . . . . . . . . . . . . . . . . . 16
0.7. Îáîçíà÷åíèÿ è ñîãëàøåíèÿ . . . . . . . . . . . . . . . . . . 17
1. ðàû íà ïëîñêîñòè
1.1. Ââåäåíèå è îñíîâíûå ðåçóëüòàòû . . . . . . . . . . . . . . 18
1.2. Ñëîâàðèê ïî òåîðèè ãðàîâ . . . . . . . . . . . . . . . . . 19
1.3. ðàû è ðàñêðàñêè êàðò íà ïëîñêîñòè . . . . . . . . . . . 22
1.4. Äîêàçàòåëüñòâî îðìóëû Ýéëåðà . . . . . . . . . . . . . . 23
1.5. Ïëàíàðíîñòü äèñêîâ ñ ëåíòî÷êàìè . . . . . . . . . . . . . . 27
1.6. Ïëàíàðíîñòü óòîëùåíèé . . . . . . . . . . . . . . . . . . . 30
1.7. Èåðîãëèû è îðèåíòèðîâàííûå óòîëùåíèÿ* . . . . . . . . 34
Îòâåòû, óêàçàíèÿ è ðåøåíèÿ ê íåêîòîðûì çàäà÷àì . . . . . . 35
2. Íàãëÿäíûå çàäà÷è î ïîâåðõíîñòÿõ
2.1. Ïðèìåðû ïîâåðõíîñòåé . . . . . . . . . . . . . . . . . . . . 45
2.2. àçðåçàíèÿ è âûðåçàíèÿ . . . . . . . . . . . . . . . . . . . 49
2.3. ðàû íà ïîâåðõíîñòÿõ è ðàñêðàñêè êàðò . . . . . . . . . 53
2.4. Íåðàâåíñòâî Ýéëåðà äëÿ ñåð ñ ðó÷êàìè . . . . . . . . . . 55
2.5. åàëèçóåìîñòü èåðîãëèîâ . . . . . . . . . . . . . . . . . . 58
2.6. åàëèçóåìîñòü îðèåíòèðîâàííûõ óòîëùåíèé . . . . . . . . 60
2.7. Òîïîëîãè÷åñêàÿ ýêâèâàëåíòíîñòü (ãîìåîìîðíîñòü) . . . 61
2.8. Íåîðèåíòèðóåìûå ïîâåðõíîñòè* . . . . . . . . . . . . . . . 64
2.9. åàëèçóåìîñòü óòîëùåíèé* . . . . . . . . . . . . . . . . . . 68
Îòâåòû, óêàçàíèÿ è ðåøåíèÿ ê íåêîòîðûì çàäà÷àì . . . . . . 76
3. Âåêòîðíûå ïîëÿ íà ïëîñêîñòè
3.1. Ââåäåíèå è îñíîâíûå ðåçóëüòàòû . . . . . . . . . . . . . . 89
Îãëàâëåíèå 5
#
1.2 / 2 ❴ ❴ ❴/ 5
G✏
/6 / 10
♠♠
/ 11 12
F ❢ ❢ ❢ ❢3 13
❴ ❴ ❴/
⑤⑤11.2 ♠♠♠ ❢ ✌
⑤⑤ ♠♠ ❢ ❢ ❢ ✌✌✌ 14.2
✏
⑤⑤⑤♠♠♠♠❢♠ ❢ ❢ ❢ ❢ ✌
✏ }⑤v♠♠♠❢ ❢
✏ 4.5 7 ❢ ✌✌
2.1 ? 14 / 15 16O ✌
✌ 9.9
✏ ⑦⑦⑦ ✌✌
✏ ⑦ 9.9 ✌ ✌
⑦⑦ ✌✌
✏ ⑦⑦
3 /4 /8
8.4
/9
0.4. Çàäà÷è
Áîëüø àÿ ÷àñòü ìàòåðèàëà ñîðìóëèðîâàíà â âèäå çàäà÷. Êðà-
ñèâûå íàãëÿäíûå çàäà÷è, äëÿ ðåøåíèÿ êîòîðûõ íå íóæíî íèêàêèõ
çíàíèé, ïðèâåäåíû óæå â ñàìîì íà÷àëå. Îáó÷åíèå ïóòåì ðåøåíèÿ
çàäà÷ íå òîëüêî õàðàêòåðíî äëÿ ñåðüåçíîãî èçó÷åíèÿ ìàòåìàòèêè,
íî è ïðîäîëæàåò äðåâíþþ êóëüòóðíóþ òðàäèöèþ. Íàïðèìåð, ïî-
ñëóøíèêè äçýíñêèõ ìîíàñòûðåé îáó÷àþòñÿ, ðàçìûøëÿÿ íàä çàãàä-
êàìè, äàííûìè èì íàñòàâíèêàìè [S℄.
Ñëåäóåò ïîä÷åðêíóòü, ÷òî ìíîãèå çàäà÷è íå èñïîëüçóþòñÿ â îñòàëü-
íîì òåêñòå.  çàäà÷àõ ñîðìóëèðîâàíû èíòåðåñíûå è ïîëåçíûå
àêòû èëè èçëîæåíû èäåè äîêàçàòåëüñòâà òåîðåì. ×èòàòåëþ ïî-
ëåçíî îçíàêîìèòüñÿ ñ ñàìèìè àêòàìè è ïîíèìàòü èäåè äîêàçà-
òåëüñòâ, äàæå åñëè äåòàëè îñòàíóòñÿ íåäîñòóïíûìè. Ïðèâîäèìûå
îðìóëèðîâêè çàäà÷ ìîãóò áûòü ïóòåâîäèòåëåì ïî äðóãèì ó÷åáíè-
êàì ïî àëãåáðàè÷åñêîé òîïîëîãèè, ïîçâîëÿÿ íàìå÷àòü èíòåðåñíûå
êîíå÷íûå öåëè è îòáðàñûâàòü ìàòåðèàë, íå ÿâëÿþùèéñÿ äëÿ ýòèõ
öåëåé íåîáõîäèìûì. Ïîëåçíåå âñåãî îáñóæäàòü ñî ñïåöèàëèñòîì êàê
ðåøåíèÿ çàäà÷, òàê è âîçíèêàþùèå ïðè ðåøåíèè òðóäíîñòè.
0.5. Äëÿ ñïåöèàëèñòîâ 15
0.6. Áëàãîäàðíîñòè
Âûðàæàþ áëàãîäàðíîñòü À. Í. Äðàíèøíèêîâó, Ä. Á. Ôóêñó, À. Ò. Ôî-
ìåíêî è Å. Â. Ùåïèíó: ÿ ó÷èëñÿ àëãåáðàè÷åñêîé òîïîëîãèè ïî êíè-
ãå [FF89℄ è íà ñåìèíàðå ÄðàíèøíèêîâàÙåïèíà â Ìàòåìàòè÷åñêîì
èíñòèòóòå îññèéñêîé àêàäåìèè íàóê.
Íàñòîÿùàÿ êíèãà îñíîâàíà íà çàíÿòèÿõ, ïðîâåäåííûõ ìíîé íà
ìåõìàòå Ìîñêîâñêîãî ãîñóäàðñòâåííîãî óíèâåðñèòåòà èì. Ì. Â. Ëî-
ìîíîñîâà, â Íåçàâèñèìîì ìîñêîâñêîì óíèâåðñèòåòå, íà ÔÎÏÔ
è ÔÈÂÒ Ìîñêîâñêîãî èçèêî-òåõíè÷åñêîãî èíñòèòóòà, â Ëåòíåé
øêîëå ¾Ñîâðåìåííàÿ ìàòåìàòèêà¿, à òàêæå â Êèðîâñêîé è Ïåòåð-
áóðãñêîé ëåòíèõ ìàòåìàòè÷åñêèõ øêîëàõ â 19942019 ãã.
Áëàãîäàðþ Ñ. ß. Àââàêóìîâà, Ï. Ì. Àõìåòüåâà, Ò. Â. Áåðåçèíà,
À. È. Áèêååâà, Þ. Ì. Áóðìàíà, À. ß. Áó÷àåâà, Ì. Í. Âÿëîãî, À. À. Çà-
ñëàâñêîãî, Ñ. Ê. Ëàíäî, Ñ. Â. Ìàòâååâà, Ñ. À. Îëåí÷óêà, Ñ. Ñ. Ïîäêî-
ðûòîâà, Â. Â. Ïðàñîëîâà, Í. À. Ïðèõîäüêî, Ì. Á. Ñêîïåíêîâà, À. Á. Ñî-
ñèíñêîãî, Ì. Òàíöåðà, Â. Â. Óñïåíñêîãî, Ì. Ñ. Ôåäîðîâà, Á. . Ôðåí-
0.7. Îáîçíà÷åíèÿ è ñîãëàøåíèÿ 17
a b a
c a b c
a
b
c b
c
a a b a
b b
a c ab
c c
d d
d c a d
bc
d a b c
b c a
dc d
b
d
èñ. 1.6.2. Ñëåâà: ââåðõó èçîáðàæåí ãðà K3,2 , íèæå åãî îòîá-
ðàæåíèå â ïëîñêîñòü, è åùå íèæå ñîîòâåòñòâóþùåå óòîëùå-
íèå.
Ñïðàâà: îðèåíòèðîâàííîå óòîëùåíèå ãðàà K3,3
3 4
2 5
1 6
S 2 = {(x, y, z) ∈ R3 : x2 + y 2 + z 2 = 1}.
{(x, y, z) ∈ R3 : x2 + y 2 = 1, 0 6 z 6 1}.
Ñåðîé ñ ðó÷êàìè
g Sg ïðè g > 1 íàçûâàåòñÿ ìíîæåñòâî òî÷åê
(x, y, z) ∈ R3 , äëÿ êîòîðûõ
g
Y
x2 + ((z − 4k)2 + y 2 − 4)2 = 1.
k=1
(a) (b)
(a) (b)
2.2.6.
(a) Íàðèñóéòå íà òîðå çàìêíóòóþ êðèâóþ, ïðè ðàçðåçà-
íèè ïî êîòîðîé òîð íå ðàñïàäàåòñÿ íà êóñêè.
(b) Òî æå äëÿ ëåíòû ̼áèóñà.
( ) Íàðèñóéòå äâå çàìêíóòûå êðèâûå íà òîðå, ïðè ðàçðåçàíèè
ïî îáúåäèíåíèþ êîòîðûõ òîð íå ðàñïàäàåòñÿ íà êóñêè.
(d) Íàðèñóéòå äâå çàìêíóòûå íåïåðåñåêàþùèåñÿ êðèâûå íà áó-
òûëêå Êëåéíà, ïðè ðàçðåçàíèè ïî îáúåäèíåíèþ êîòîðûõ îíà íå ðàñ-
ïàäàåòñÿ íà êóñêè.
Ïóíêòû (a) è ( ) ëåãêî îðìàëèçóþòñÿ ïðè ïîìîùè ïðåäñòàâ-
ëåíèÿ òîðà êàê ñêëåéêè êâàäðàòà. Çàìêíóòîé êóñî÷íî ëèíåéíîé
( )
êðèâîé íà òîðå íàçûâàåòñÿ íàáîð ëîìàíûõ â êâàäðàòå ñ íåêîòî-
ðûìè (ñîîáðàçèòå êàêèìè!) óñëîâèÿìè. Àíàëîãè÷íî ïðè ïîìîùè
ñêëåéêè ïîâåðõíîñòè èç ìíîãîóãîëüíèêà îðìàëèçóþòñÿ çàäà÷è
î êðèâûõ íà äðóãèõ ïîâåðõíîñòÿõ (äëÿ ñåð ñ ðó÷êàìè ñì. çàäà-
÷ó 2.2.7) è çàäà÷è î ãðààõ íà ïîâåðõíîñòÿõ. Äðóãàÿ îðìàëèçàöèÿ
ïðèâåäåíà â 5, ñì. òàêæå 4.
2.2.7.
Äëÿ êàæäîãî g > 0 ñêëåéòå ñåðó ñ g ðó÷êàìè èç ïðà-
âèëüíîãî 4g -óãîëüíèêà.
Îêàçûâàåòñÿ, ïðè ðàçðåçàíèè òîðà ïî îáúåäèíåíèþ ëþáûõ òðåõ
çàìêíóòûõ êðèâûõ íà íåì (èëè ïî îáúåäèíåíèþ ëþáûõ äâóõ íåïå-
ðåñåêàþùèõñÿ çàìêíóòûõ êðèâûõ íà íåì) òîð îáÿçàòåëüíî ðàñïà-
äàåòñÿ íà êóñêè. (Çäåñü êðèâûå ìîãóò áûòü ñàìîïåðåñåêàþùèìè-
ñÿ; îäíàêî èíòåðåñåí ñëó÷àé íåñàìîïåðåñåêàþùèõñÿ êðèâûõ, à ñëó-
÷àé ñàìîïåðåñåêàþùèõñÿ ê íåìó ëåãêî ñâîäèòñÿ.) Ýòè ðåçóëüòàòû
÷àñòíûå ñëó÷àè òåîðåì èìàíà è Áåòòè 2.2.9.
2.2.8.
Íàðèñóéòå íà ñåðå ñ g ðó÷êàìè
(a) g çàìêíóòûõ ïîïàðíî íåïåðåñåêàþùèõñÿ êðèâûõ,
(b) 2g çàìêíóòûõ êðèâûõ,
îáúåäèíåíèå êîòîðûõ íå ðàçáèâàåò åå.
Òåîðåìà 2.2.9. (a) (èìàí) Îáúåäèíåíèå ëþáûõ g + 1 ïîïàðíî
íåïåðåñåêàþùèõñÿ çàìêíóòûõ êðèâûõ íà ñåðå ñ g ðó÷êàìè ðàçáè-
âàåò åå.
(b) (Áåòòè) Îáúåäèíåíèå ëþáûõ 2g + 1 çàìêíóòûõ êðèâûõ íà
ñåðå ñ g ðó÷êàìè ðàçáèâàåò åå.
2.3. ðàû íà ïîâåðõíîñòÿõ è ðàñêðàñêè êàðò 53
V − E + F > 2 − 2g.
2.7.2.
(a, b) Ôèãóðû íà ðèñ. 1.5.2 â öåíòðå è ñïðàâà ãîìåîìîð-
íû òîðó ñ äâóìÿ äûðêàìè.
( ) Ôèãóðà íà ðèñ. 2.7.2 ñëåâà ãîìåîìîðíà òîðó ñ äûðêîé.
(d) îìåîìîðíà ëè èãóðà íà ðèñ. 1.6.2 ñïðàâà ñåðå ñ ðó÷êàìè
è äûðêàìè? Åñëè äà, òî ÷åìó ðàâíî èõ ÷èñëî?
2.7.3.
(a, b, , d) Ôèãóðû íà ðèñ. 1.5.3 ãîìåîìîðíû ñåðå ñ äâó-
ìÿ ðó÷êàìè è îäíîé äûðêîé.
2.7.4. Ïðè ðàçðåçàíèè òîðà
(a) ïî ëþáîìó íåðàçáèâàþùåìó öèêëó ïîëó÷àåòñÿ èãóðà, ãî-
ìåîìîðíàÿ öèëèíäðó;
2.7. Òîïîëîãè÷åñêàÿ ýêâèâàëåíòíîñòü (ãîìåîìîðíîñòü) 63
(a) (b) ( )
? ?
∼ ∼
=
=
(a) (b)
2.8.9.
(a) Óòîëùåíèÿ íà ðèñ. 2.8.4 íå ðåàëèçóåìû íà ëåíòå ̼-
áèóñà.
(b) Ëþáîå óòîëùåíèå óíèöèêëè÷åñêîãî ãðàà ðåàëèçóåìî íà
ëåíòå ̼áèóñà.
( ) Êàêèå óòîëùåíèÿ ãðàà K4 ðåàëèçóåìû íà ëåíòå ̼áèóñà?
2.8.10. Ñîðìóëèðóéòå è äîêàæèòå àíàëîãè òåîðåì 2.6.2 (a, b)
äëÿ ðåàëèçóåìîñòè óòîëùåíèÿ íà äèñêå ñ m ëåíòàìè ̼áèóñà.
Óòâåðæäåíèå 2.8.11. (a) Äâà óòîëùåíèÿ ñâÿçíîãî ãðàà ãî-
ìåîìîðíû òîãäà è òîëüêî òîãäà, êîãäà ó íèõ îäèíàêîâîå êîëè÷å-
ñòâî êðàåâûõ îêðóæíîñòåé è ëèáî îíè îáà îðèåíòèðóåìû, ëèáî îáà
íåò.
(b) Ôîðìóëà Ýéëåðà. Ïóñòü äàíî íåîðèåíòèðóåìîå óòîëùåíèå
ñâÿçíîãî ãðàà ñ V âåðøèíàìè è E ðåáðàìè, èìåþùåå F êðàåâûõ
îêðóæíîñòåé. Òîãäà V − E + F 6 1 è óòîëùåíèå ãîìåîìîðíî äèñ-
êó ñ 2 − V + E − F ëåíòàìè ̼áèóñà è F − 1 äûðêîé.
( )* Ôîðìóëà Ìîõàðà. Ïóñòü äàíî íåîðèåíòèðóåìîå óòîëùåíèå
ðàíãà r ñâÿçíîãî ãðàà ñ V âåðøèíàìè è E ðåáðàìè. Òîãäà óòîë-
ùåíèå ãîìåîìîðíî äèñêó ñ r ëåíòàìè ̼áèóñà è 1 − V + E − r
äûðêàìè.
2.9. åàëèçóåìîñòü óòîëùåíèé*
Èíòåðåñíû îïèñàíèÿ óòîëùåíèé, ðåàëèçóåìûõ íà ñåðå ñ g ðó÷-
êàìè (èëè íà äèñêå ñ m ïëåíêàìè ̼áèóñà), îòëè÷íûå îò ïðèâå-
2.9. åàëèçóåìîñòü óòîëùåíèé* 69
åàëèçóåìîñòü èåðîãëèîâ
Áóäåì ñîêðàùàòü ¾èåðîãëè (ò. å. äèñê ñ íåïåðåêðó÷åííûìè
ëåíòî÷êàìè), ñîîòâåòñòâóþùèé ñëîâó x¿ äî ¾èåðîãëè x¿. Ñì. îïðå-
äåëåíèå â ï. 1.5.
Çàìåòèì, ÷òî îöåíêà êîëè÷åñòâà ðåàëèçóåìûõ èåðîãëèîâ ñâÿ-
çàíà ñ çíàìåíèòîé çàäà÷åé î êîëè÷åñòâå ìíîãîóãîëüíèêîâ, ñêëåéêîé
êîòîðûõ ïîëó÷àåòñÿ ñåðà ñ g ðó÷êàìè.
ðàîì ïåòåëü èåðîãëèà íàçûâàåòñÿ ãðà, âåðøèíàìè êîòîðî-
ãî ÿâëÿþòñÿ ïåòëè èåðîãëèà; äâå âåðøèíû ñîåäèíåíû ðåáðîì, åñëè
ñîîòâåòñòâóþùèå äâå ïåòëè îáðàçóþò èåðîãëè (abab) (ò. å. ¾ïåðå-
êðåùèâàþòñÿ¿).
Ââèäó óòâåðæäåíèÿ 1.5.1 ïëàíàðíîñòü èåðîãëèà ýêâèâàëåíòíà
îòñóòñòâèþ ðåáåð â åãî ãðàå ïåòåëü.
åäóêöèåé èåðîãëèà íàçûâàåòñÿ êîìïîçèöèÿ íåêîòîðîãî ÷èñëà
ñëåäóþùèõ ïðåîáðàçîâàíèé.
(D) Óäàëåíèå íåêîòîðîé èçîëèðîâàííîé ïåòëè (ò. å. òàêîé ïåòëè,
êîòîðàÿ â öèêëè÷åñêîì ïîðÿäêå çàäàåòñÿ äâóìÿ ïîäðÿä èäóùèìè
áóêâàìè (aa . . .)).
(R) Çàìåíà äâóõ ¾ïàðàëëåëüíûõ¿ ïåòåëü a è a′ (ò. å. ïåòåëü, ñî-
îòâåòñòâóþùèå êîòîðûì áóêâû â öèêëè÷åñêîì ïîðÿäêå íàõîäÿòñÿ
íà ñîñåäíèõ ìåñòàõ è íå ÷åðåäóþòñÿ: (aa′ . . . a′ a . . .)) íà îäíó.
Ââèäó óòâåðæäåíèÿ 1.5.1 ïëàíàðíîñòü èåðîãëèà ýêâèâàëåíòíà
òîìó, ÷òî îí ðåäóöèðóåòñÿ äî èåðîãëèà () (òàê îáîçíà÷àåòñÿ èåðî-
ãëè áåç ïåòåëü).
2.9.1. (a) åäóêöèÿ èåðîãëèîâ ñîõðàíÿåò ðåàëèçóåìîñòü íà
ñåðå ñ g ðó÷êàìè (äëÿ äàííîãî g ).
(b) [Cu81, KPS℄ Ñëåäóþùèå óñëîâèÿ íà èåðîãëè ýêâèâàëåíòíû.
(1) Èåðîãëè ðåàëèçóåì íà òîðå.
(2) Èåðîãëè íå ñîäåðæèò íè îäíîãî èåðîãëèà ñ ðèñ. 1.5.3.
(3) ðà ïåòåëü èåðîãëèà ÿâëÿåòñÿ îáúåäèíåíèåì èçîëèðîâàí-
íûõ âåðøèí è ïîëíîãî äâó- èëè òðåõäîëüíîãî ãðàà.
(4) Èåðîãëè ðåäóöèðóåòñÿ äî îäíîãî èç èåðîãëèîâ (), (abab),
(abcabc).
70 2. Íàãëÿäíûå çàäà÷è î ïîâåðõíîñòÿõ
åàëèçóåìîñòü óòîëùåíèé
Óòîëùåíèåì íàçûâàåòñÿ ãðà âìåñòå ñ ðàññòàíîâêîé íóëåé
è åäèíèö íà åãî ðåáðàõ è, äëÿ êàæäîé âåðøèíû ãðàà, îðèåíòè-
ðîâàííûì öèêëè÷åñêèì ïîðÿäêîì âûõîäÿùèõ èç íåå ïîëóðåáåð.
74 2. Íàãëÿäíûå çàäà÷è î ïîâåðõíîñòÿõ
1 0 0 0 0
0 1
2.2.3.
(a) àçðåæüòå ðèñ. 2.1.6 ñïðàâà ïëîñêîñòüþ ñèììåòðèè.
Èëè ñì. ðèñ. 2.9.7 ñïðàâà.
(b) Ñì. ðèñ. 2.9.7 ñëåâà. Ïðîùå ðàçðåçàòü ïî êðèâîé, îáîçíà÷åí-
íîé òðåìÿ ñòðåëêàìè.
g=1 g=2
2.3.1.
(a) Êðàñèâàÿ ðåàëèçàöèÿ ãðàà K5 íà òîðå èçîáðàæå-
íà íà ðèñ. 2.9.10. Èìåþòñÿ è äðóãèå ðåøåíèÿ. Íàïðèìåð, ìîæíî
íàðèñîâàòü ãðà K5 íà ïëîñêîñòè ñ îäíèì
ñàìîïåðåñå÷åíèåì è...
(äîäóìàéòå ñàìè).
2.3.2. Èñïîëüçóéòå èäåþ ðåøåíèÿ çàäà÷è 2.2.1.
2.3.3. (a) Àíàëîãè÷íî óòâåðæäåíèþ 1.3.3 (b) èìååì 2E > 3F . Èç
ýòîãî íåðàâåíñòâà è íåðàâåíñòâà Ýéëåðà 2.4.2 (b) ïîëó÷àåì ïðîòè-
âîðå÷èå.
2.3.4. Àíàëîãè÷íî çàäà÷å 2.3.3.
2.3.7. Àíàëîãè÷íî òåîðåìå 1.1.1 (a). Ýòîò àêò ñëåäóåò èç àíàëî-
ãà çàäà÷è 2.3.8 (b) äëÿ ¾ñòåïåíåé ãðàíåé¿. Òàêæå ìîæíî ïðè ïîìîùè
êîíñòðóêöèè äâîéñòâåííîãî ãðàà (ñð. ñ ï. 6.7) ñâåñòè åãî ê àíàëî-
Îòâåòû, óêàçàíèÿ è ðåøåíèÿ ê íåêîòîðûì çàäà÷àì 79
Ïîýòîìó g > (d − 2)(d − 3)/12. Òàê êàê g < (k − 1)(k − 2)/12, íåðà-
âåíñòâî d > k + 1 íå âûïîëíåíî.
2.4.1. (d ) Îáîçíà÷èì ÷åðåç F êîëè÷åñòâî êîìèññèé, à ÷åðåç E
′
VG − EG + FG = (VH − 1) − (EH − 1) + FH = VH − EH + FH .
(1) (3)
V − E + F > V ′ − E ′ + F ′ = (V ′ + x) − (E ′ + x) + (F ′ + 2) − 2 =
(3) (4)
= (Vn′ + V1′ ) − (En′ + E1′ ) + (Fn′ + F1′ ) − 2 > (2 − 2n) + 0 − 2 = 2 − 2(n + 1).
Çäåñü
• íåðàâåíñòâî (1) âûïîëíåíî ïî óòâåðæäåíèþ 2.4.1 (e), èáî ãðà G
ÿâëÿåòñÿ ïîäãðàîì ãðàà G′ ;
• íåðàâåíñòâî (4) âûïîëíåíî ïî ïðåäïîëîæåíèþ èíäóêöèè.
Äîêàæåì ðàâåíñòâî (3), ò. å. âûðàçèì V ′ , E ′ è F ′ ÷åðåç Vn′ , V1′ ,
En , E1′ è Fn′ , F1′ .
′
a b a c
c b
(b) ( ) (d)
(a)
þùåì ñëîâó (abcdabcd). Ïðè çàìåíå ýòîãî òîðà ñ äûðêîé íà äèñê ïî-
ëó÷èòñÿ äèñê ñ äâóìÿ ëåíòî÷êàìè, èìåþùèé îäíó êðàåâóþ îêðóæ-
íîñòüþ, ò. å. òîð ñ äûðêîé. (Ìîæíî è íåïîñðåäñòâåííî ïðîâåðèòü,
÷òî ïîëó÷èòñÿ äèñê ñ ëåíòî÷êàìè, îòâå÷àþùèé ñëîâó (cdcd).) Çíà-
÷èò, äèñê ñ ëåíòî÷êàìè, îòâå÷àþùèé ñëîâó (abcdabcd), ïîëó÷åí èç
äâóõ òîðîâ ñ äûðêàìè ñêëåéêîé ïî îòðåçêàì êðàåâûõ îêðóæíîñòåé.
Ïîýòîìó äàííûé äèñê ñ ëåíòî÷êàìè ãîìåîìîðåí ñåðå ñ äâóìÿ
ðó÷êàìè ñ äûðêîé.
Äðóãîå ðåøåíèå. Âûáåðåì äèñê ñ òðåìÿ ëåíòî÷êàìè, ðàññìîò-
ðåííûé â çàäà÷å 2.5.1 (ñ), ñì. ðèñ. 1.5.2 ñïðàâà. Îí ãîìåîìîðåí
òîðó ñ äâóìÿ äûðêàìè. Ïðè äîáàâëåíèè ÷åòâåðòîé ëåíòî÷êè äîáàâ-
ëÿåòñÿ ðó÷êà è óäàëÿåòñÿ äûðêà, ñì. ðèñ. 2.9.14 (a). Äîêàæèòå, ÷òî
äîáàâëÿåìàÿ ëåíòî÷êà íå ïåðåêðó÷åíà îòíîñèòåëüíî ¾ñîãëàñîâàí-
íûõ¿ îðèåíòàöèé òåõ äâóõ êðàåâûõ îêðóæíîñòåé, ê êîòîðûì îíà
êðåïèòñÿ.
x1 x2 . . . xs 12y1 y2 . . . yt 1 → x1 x2 . . . xs y1 y2 . . . yt 12.
∼
= ∼
=
∼
=
∼
=
∼
= ∼
=
(a) (b)
2.8.5.
(b) Èñïîëüçóéòå çàäà÷ó 2.2.3 (a).
( ) Ôèãóðà íà ðèñ. 2.8.2 ( ) ãîìåîìîðíà ëåíòå ̼áèóñà ñ ðó÷-
êîé. Äèñê ñ òðåìÿ ëåíòàìè ̼áèóñà ãîìåîìîðåí ëåíòå ̼áèóñà
ñ âûâåðíóòîé ðó÷êîé ââèäó ï. (b). Èñïîëüçóéòå ï. (a). Ñì. îòî-
ãðàèþ â [Sk20℄.
(d) Ñì. ðèñ. 2.9.15 (a).
(e) Ñì. ðèñ. 2.9.15 (b). Èëè èñïîëüçóéòå ï. (d).
2.8.6.
(a) 1, 2 èëè 3.
(b) Äèñêó ñ òðåìÿ äûðêàìè, òîðó ñ äûðêîé, ëåíòå ̼áèóñà
ñ äûðêîé èëè áóòûëêå Êëåéíà ñ äûðêîé.
2.8.8.(a) Ñëåäóåò èç ï. (b).
(b) Àíàëîãè÷íî îðìóëå Ýéëåðà äëÿ äèñêà ñ íåïåðåêðó÷åííûìè
ëåíòî÷êàìè. Äèñê ñ îäíîé ïåðåêðó÷åííîé ëåíòî÷êîé ãîìåîìîðåí
äèñêó D ñ ëåíòîé ̼áèóñà. Ïóñòü òåïåðü åñòü äðóãèå ëåíòî÷êè.
Ìîæíî ñ÷èòàòü, ÷òî îíè êðåïÿòñÿ ê êðàåâîé îêðóæíîñòè äèñêà D
ïî îòðåçêàì, íå ïåðåñåêàþùèì òîãî îòðåçêà, ïî êîòîðîìó ê D ïðè-
êðåïëåíà ëåíòà ̼áèóñà.
Åñëè ñðåäè äðóãèõ ëåíòî÷åê åñòü ïåðåêðó÷åííàÿ (îòíîñèòåëüíî
êðàåâîé îêðóæíîñòè äèñêà D , à íå èñõîäíîãî äèñêà!), òî çàìåíèì
äèñê D ñ ëåíòîé ̼áèóñà íà äèñê. Ïðèìåíèì ïðåäïîëîæåíèå èí-
äóêöèè. Èñïîëüçóÿ óòâåðæäåíèå 2.8.5 (e), ïîëó÷èì øàã èíäóêöèè.
(Çäåñü ìîæíî òàêæå äîêàçàòü è èñïîëüçîâàòü òîò àêò, ÷òî, ÷òî
äèñê ñ n ëåíòàìè ̼áèóñà ãîìåîìîðåí èãóðå, ïîëó÷åííîé èç äèñ-
êà âûðåçàíèåì n ïîïàðíî íåïåðåñåêàþùèõñÿ äèñêîâ è âêëåèâàíèåì
âìåñòî íèõ n ëåíò ̼áèóñà.)
Åñëè ñðåäè äðóãèõ ëåíòî÷åê íåò ïåðåêðó÷åííîé è íåò ïåðåêðå-
ùèâàþùèõñÿ, òî îðìóëà Ýéëåðà î÷åâèäíà.
Åñëè ñðåäè äðóãèõ ëåíòî÷åê íåò ïåðåêðó÷åííîé è åñòü ïåðåêðå-
ùèâàþùèåñÿ, òî ïðèìåíèì çàäà÷ó 2.8.5 ( ). Çàìåíèì ïîëó÷åííûé
äèñê ñ òðåìÿ ëåíòàìè ̼áèóñà íà äèñê ñ îäíîé ëåíòîé ̼áèóñà
(= ñ îäíîé ïåðåêðó÷åííîé ëåíòî÷êîé). Ïðèìåíèì ïðåäïîëîæåíèå
èíäóêöèè. Ïîëó÷èì îðìóëó Ýéëåðà.
Óêàçàíèå ê äðóãîìó ðåøåíèþ. Èíäóêöèÿ ïî n ñ èñïîëüçîâàíèåì
ðèñ. 2.9.14 è çàäà÷è 2.8.5.
2.9.1.(b) Äîêàçàòåëüñòâî ðàçóìíî ïðîâîäèòü ïî ñõåìå
(1) ⇒ (2) ⇒ (3) ⇒ (4) ⇒ (1).
3. Âåêòîðíûå ïîëÿ íà ïëîñêîñòè
3.1. Ââåäåíèå è îñíîâíûå ðåçóëüòàòû
Èññëåäîâàíèå âåêòîðíûõ ïîëåé íà÷àë Àíðè Ïóàíêàðå â êà÷å-
ñòâåííîé òåîðèè äèåðåíöèàëüíûõ óðàâíåíèé. Ýòà òåîðèÿ èìå-
åò ïðèëîæåíèÿ âî ìíîãèõ îáëàñòÿõ åñòåñòâîçíàíèÿ. Ñàì Ïóàíêàðå
ïðèìåíÿë åå, â ÷àñòíîñòè, ê ïðîáëåìå òðåõ òåë è íåáåñíîé ìåõàíèêå.
Ñ òåõ ïîð âåêòîðíûå ïîëÿ ÿâëÿþòñÿ îäíèì èç âàæíåéøèõ îáúåêòîâ
òîïîëîãèè è åå ïðèëîæåíèé. Ïîäðîáíûå ìîòèâèðîâêè ñì. â ¾ïî-
õâàëüíîì ñëîâå âåêòîðíûì ïîëÿì¿ [An03℄.
 ýòîì ïàðàãðàå äîêàçàíû êðàñèâûå òåîðåìû, ñîðìóëèðîâàí-
íûå â ï. 3.1, à òàêæå áîëåå ñëîæíî îðìóëèðóåìàÿ îñíîâíàÿ òåîðå-
ìà òîïîëîãèè 3.10.2.
Òåîðåìà 3.1.1 . Ëþáîé íåïîñòîÿí-
(îñíîâíàÿ òåîðåìà àëãåáðû)
íûé ìíîãî÷ëåí ñ êîìïëåêñíûìè êîýèöèåíòàìè èìååò êîìïëåêñ-
íûé êîðåíü.
Ýòó òåîðåìó âû ñìîæåòå äîêàçàòü ïîñëå ðåøåíèÿ çàäà÷è 3.9.3.
Ïîäðîáíîñòè ñì. â [Pr15, 6℄, [An03, 6℄, [BE82, 24℄.
Íåêîòîðûå çàäà÷è î âåêòîðíûõ ïîëÿõ óäîáíåå èçó÷àòü íà ýêâè-
âàëåíòíîì ÿçûêå íåïðåðûâíûõ îòîáðàæåíèé. Ïðèìåíåíèÿ òåîðåìû
î ïðîìåæóòî÷íîì çíà÷åíèè íåïðåðûâíîé óíêöèè (êîòîðàÿ ÿâëÿåò-
ñÿ ¾íóëüìåðíîé âåðñèåé¿ îñíîâíîé òåîðåìû òîïîëîãèè 3.10.2) ïðè-
âåäåíû â çàäà÷å 3.5.1.
Ïóñòü N ⊂ Rm è Y ⊂ Rn . Îòîáðàæåíèå f : N → Y íàçûâàåòñÿ
íåïðåðûâíûì , åñëè äëÿ ëþáûõ x ∈ N è ε > 0 ñóùåñòâóåò òàêîå
δ > 0, ÷òî ïðè ëþáûõ y ∈ N , óäîâëåòâîðÿþùèõ óñëîâèþ |x − y| < δ,
âûïîëíåíî íåðàâåíñòâî |f (x) − f (y)| < ε.
Äàëåå âñå îòîáðàæåíèÿ ñ÷èòàþòñÿ íåïðåðûâíûìè è ïðèëàãà-
òåëüíîå ¾íåïðåðûâíîå¿ îïóñêàåòñÿ.
Îòîæäåñòâèì R2 è C. Îáîçíà÷èì îêðóæíîñòü, êðóã (äèñê)
è ñòàíäàðòíîå êîëüöî (ï. 2.1) ÷åðåç
S 1 = {(x, y) ∈ R2 : x2 + y 2 = 1} = {z ∈ C : |z| = 1},
D 2 = {(x, y) ∈ R2 : x2 + y 2 6 1} è A = {(x, y) ∈ R2 : 1 6 x2 + y 2 6 2}.
90 3. Âåêòîðíûå ïîëÿ íà ïëîñêîñòè
îïðåäåëÿþòñÿ àíàëîãè÷íî.
Äëÿ ãîìîòîïíîñòè îòîáðàæåíèé ñïðàâåäëèâû ñâîéñòâà, àíàëî-
ãè÷íûå ãîìîòîïíîñòè âåêòîðíûõ ïîëåé. Íàïðèìåð, ãîìîòîïíîñòü
îòîáðàæåíèé îòíîøåíèå ýêâèâàëåíòíîñòè.
3.7.1. Ëþáûå äâà îòîáðàæåíèÿ
(a) R → S 1 ; (b) D 2 → S 1 ; ( ) S 1 → R; (d) S 1 → D 2
ãîìîòîïíû.
3.7.2. (a) Ñóùåñòâóþò îòîáðàæåíèå f : [0, 1] → S è ãîìîòîïèÿ
1
wn (z) = z n .
3.9.3.
(a) Íåíóëåâîå âåêòîðíîå ïîëå íà îêðóæíîñòè íå ïðî-
äîëæàåòñÿ íà êðóã, åñëè ÷èñëî îáîðîòîâ âåêòîðà ïðè îáõîäå ýòîé
îêðóæíîñòè (òî÷íåå, ñòåïåíü) íå ðàâíî íóëþ.
(b) Åñëè u è v íåíóëåâûå âåêòîðíûå ïîëÿ íà îêðóæíîñòè S 1 ,
ïðè÷åì |u(x)| > |v(x)| äëÿ ëþáîé òî÷êè x ∈ S 1 , òî deg u = deg(u + v).
( ) Íàéäèòå ñòåïåíü âåêòîðíîãî ïîëÿ v(z) := 9z 3 − 2z 2 + z − 1.
3.4.4.
(a, b, , d) Ôîðìóëà vt (x) := v(tx) îïðåäåëÿåò ãîìîòîïèþ
ìåæäó ïðîèçâîëüíûì âåêòîðíûì ïîëåì v è ïîñòîÿííûì.
(e) Èñïîëüçóéòå èíäóêöèþ. Øàã óäàëåíèå âåðøèíû, èç êîòî-
ðîé âûõîäèò òîëüêî îäíî ðåáðî.
v
ϕ2
u
ϕ1
90◦ + α
α
y
4π
A2
A1
2π
0 2π x
B
A C
B
D
A C
4.2.2.
Ëþáûå äâà íåíóëåâûõ êàñàòåëüíûõ âåêòîðíûõ ïîëÿ íà
âåðõíåé ïîëóñåðå D+
2 := {(x, y, z) ∈ R3 : x2 + y 2 + z 2 = 1, x > 0}
ãîìîòîïíû.
4.2.3. Îïèøèòå V (N ) näëÿ o
1 1
(a) ñåðè÷åñêîãî ñëîÿ (x, y, z) ∈ R3 : x2 + y2 + z2 = 1, − 6z6 ;
2 2
(b) áîêîâîé ïîâåðõíîñòè öèëèíäðà.
Åäèíè÷íûì íîðìàëüíûì âåêòîðíûì ïîëåì íà îêðóæíîñòè S 1 ⊂
⊂ R2 ⊂ R3 â òðåõìåðíîì ïðîñòðàíñòâå íàçûâàåòñÿ ñåìåéñòâî íîð-
ìàëüíûõ ê íåé (ò. å. ê êàñàòåëüíîé ïðÿìîé ê S 1 ) åäèíè÷íûõ âåêòî-
ðîâ v(x) â òî÷êàõ x îêðóæíîñòè, íåïðåðûâíî çàâèñÿùèõ îò òî÷êè
x ∈ S 1.
4.3. Êëàññèèêàöèÿ âåêòîðíûõ ïîëåé íà òîðå 119
4.7.1.
Êàêèå èç ñëåäóþùèõ âåêòîðíûõ ïîëåé íà ïëîñêîñòè ÿâ-
ëÿþòñÿ ïîëÿìè îáùåãî ïîëîæåíèÿ:
(ae) âåêòîðíûå ïîëÿ íà ðèñ. 3.3.1, 4.1.1;
(i) âåêòîðíîå ïîëå íà êîìïëåêñíîé ïëîñêîñòè, çàäàííîå îðìó-
ëîé v(z) = z 2 ?
Îïðåäåëåíèå ÷èñëà Ýéëåðà e(N ). Âîçüìåì íà N ïîëå îáùåãî ïî-
ëîæåíèÿ. Ñóùåñòâîâàíèå òàêîãî ïîëÿ äîêàçàíî (íà áîëåå ñëîæíîì
ÿçûêå) â [DNF79, ×. II, 13℄, [Pr14, V℄. Èç îáùíîñòè ïîëîæåíèÿ
âûòåêàåò êîíå÷íîñòü ÷èñëà íóëåé ïîëÿ. ×èñëîì Ýéëåðà
e(N ) íà-
çûâàåòñÿ ñóììà çíàêîâ îïðåäåëèòåëåé ïðîèçâîäíîé â íóëÿõ ïîëÿ.
(Äëÿ îïðåäåëåíèÿ çíàêà íóæíà îðèåíòàöèÿ â Tx , íî ïðè îáðàùåíèè
îðèåíòàöèè ïîëó÷àåòñÿ òàêîé æå çíàê.)
Íàáðîñîê äîêàçàòåëüñòâà êîððåêòíîñòè îïðåäåëåíèÿ ÷èñëà Ýé-
ëåðà, ò.å. íåçàâèñèìîñòè îò âûáîðà ïîëÿ îáùåãî ïîëîæåíèÿ.
Îáîñíîâàíèå óòâåðæäåíèé, ïðèâåäåííûõ â ýòîì íàáðîñêå áåç äîêà-
çàòåëüñòâà, ìîæíî íàéòè, íàïðèìåð, â [DNF79, ×. II, 13℄, [Pr14,
18.1℄. Ñóùåñòâóåò ãëàäêàÿ
ãîìîòîïèÿ îáùåãî ïîëîæåíèÿ
ìåæäó
äâóìÿ ïîëÿìè v è v ′ îáùåãî ïîëîæåíèÿ íà N . Åå ìîæíî ïðåä-
ñòàâëÿòü ñåáå êàê êàñàòåëüíîå âåêòîðíîå ïîëå îáùåãî ïîëîæåíèÿ
íà N × I ⊂ Rm × I , âåêòîðû êîòîðîãî ïàðàëëåëüíû ãèïåðïëîñêîñòè
R3 × 0. ëàäêîñòüîïðåäåëÿåòñÿ àíàëîãè÷íî ïðåäûäóùåìó. Ïðîèç-
âîäíàÿ â òî÷êå ÿâëÿåòñÿ ëèíåéíûì îïåðàòîðîì τx × R → Tx ; îí
ïðåäñòàâëÿåòñÿ 3 × 2-ìàòðèöåé. Îáùíîñòü ïîëîæåíèÿ
îçíà÷àåò,
÷òî â ëþáîé òî÷êå, â êîòîðîé âåêòîð íóëåâîé, ïðîèçâîäíàÿ ïîëÿ
èìååò ðàíã 2. Èç îáùíîñòè ïîëîæåíèÿ (è ïîäðàçóìåâàåìîé âñþäó
êîìïàêòíîñòè) âûòåêàåò, ÷òî ìíîæåñòâî íóëåé ÿâëÿåòñÿ íåñâÿçíûì
îáúåäèíåíèåì çàìêíóòûõ è íåçàìêíóòûõ ãëàäêèõ êðèâûõ. Íà íèõ
ìîæíî ââåñòè îðèåíòàöèþ (ïîäóìàéòå êàê). Åñëè îäíà èç ýòèõ íåçà-
ìêíóòûõ êðèâûõ ñîåäèíÿåò ðàçíûå
îñíîâàíèÿ N × 0 è N × 1, òî
â ñîîòâåòñòâóþùèõ íóëÿõ ïîëåé v è v ′ îïðåäåëèòåëè ïðîèçâîäíûõ
èìåþò îäèíàêîâûé çíàê, à åñëè îäèíàêîâûå
, òî ðàçíûé. Ïîýòîìó
e(v) = e(v ).
′
4.7.2.
Äëÿ ëþáîé òðèàíãóëÿöèè çàìêíóòîãî 2-ìíîãîîáðàçèÿ N
âûïîëíåíî ðàâåíñòâî e(N ) = E − V + F = χ(N ).
Êðîìå òîãî, èç ðèñ. 2.1.3 (b) âèäíî, ÷òî e(Sg ) = 2 − 2g .
4.8. Ïîñòðîåíèå âåêòîðíûõ ïîëåé ïî òðèàíãóëÿöèè 129
U0∗ U∗
1
2
Î÷åâèäíî, ÷òî ìîæíî ïîñòðîèòü ïîëå íà U0∗ . ßñíî, ÷òî ýòî ïî-
ëå åäèíñòâåííî (ñ òî÷íîñòüþ äî ãîìîòîïèè â êëàññå ïîëåé íà U0∗ ).
ñóùåñòâîâàíèå ïîëÿ íà
Ïîýòîìó è ââèäó óòâåðæäåíèÿ 4.8.1 (a) N
ðàâíîñèëüíî ïðîäîëæàåìîñòè ïîñòðîåííîãî ïîëÿ ñ íà U0∗ N . (Òî÷-
íåå, çäåñü íóæåí àíàëîã óòâåðæäåíèÿ 4.8.1 (b) äëÿ ðàçáèåíèé. Àíà-
ëîãè÷íûå çàìå÷àíèÿ äàëåå ïðîïóñêàþòñÿ.)
Îáîçíà÷èì ÷åðåç v ïîëå íà U1∗ , ïîëó÷åííîå ïðèìåíåíèåì óòâåð-
æäåíèÿ 4.8.1 (b) ê ïîñòðîåííîìó ïîëþ íà U0∗ , ñì. ðèñ. 4.8.2. Ïî-
ïðîáóåì ïðîäîëæèòü ïîëå v ñ U1∗ íà âñå N . Âîçüìåì ïðîèçâîëüíóþ
ãðàíü ∆ ðàçáèåíèÿ U ∗ . Ââèäó ìåëêîñòè ðàçáèåíèÿ U îðòîãîíàëüíàÿ
ïðîåêöèÿ êàñàòåëüíîé ïëîñêîñòè â ïðîèçâîëüíîé òî÷êå ýòîé ãðàíè
íà êàñàòåëüíóþ ïëîñêîñòü T∆ â íåêîòîðîé èêñèðîâàííîé òî÷êå
ýòîé ãðàíè ïåðåâîäèò íåíóëåâûå âåêòîðû â íåíóëåâûå.
Âîçüìåì îðèåíòàöèþ ãðàíè ∆, ò. å. íàïðàâëåíèå íà çàìêíóòîé
êðèâîé ∂∆. Îíî äàåò îðèåíòàöèþ íà T∆ . Ïðè îáõîäå ýòîé çàìêíó-
òîé êðèâîé ∂∆ âäîëü âçÿòîãî íàïðàâëåíèÿ îðòîãîíàëüíàÿ ïðîåêöèÿ
âåêòîðà ïîëÿ v íà T∆ ïîâåðíåòñÿ íà íåêîòîðîå öåëîå ÷èñëî îáîðî-
òîâ (ï. 3.8). Ïðè èçìåíåíèè îðèåíòàöèè ãðàíè ∆ ìåíÿþòñÿ è íà-
ïðàâëåíèå íà çàìêíóòîé êðèâîé ∂∆, è îðèåíòàöèþ íà T∆ . Ïîýòîìó
ïîëó÷åííîå ÷èñëî îáîðîòîâ íå çàâèñèò îò îðèåíòàöèè ãðàíè ∆. Ïî-
ñòàâèì ýòî ÷èñëî â âåðøèíó ∆∗ èñõîäíîãî ðàçáèåíèÿ U , ëåæàùóþ
â ãðàíè ∆. (Íàïðèìåð, äëÿ ñëó÷àÿ íà ðèñ. 4.8.2 â îáîèõ âåðøè-
íàõ áóäóò ñòîÿòü åäèíèöû. Ïðèäóìàéòå, êàê ïðèäàòü ñìûñë ýòîìó
óòâåðæäåíèþ, íåñìîòðÿ íà òî ÷òî äëÿ ýòîãî ðàçáèåíèÿ íå âûïîë-
íåíî óñëîâèå íåîðòîãîíàëüíîñòè êàñàòåëüíûõ ïëîñêîñòåé èç íà÷àëà
äîêàçàòåëüñòâà.) Ïîëó÷åííàÿ ðàññòàíîâêà öåëûõ ÷èñåë â âåðøèíàõ
ïðåïÿòñòâóþùåé
ðàçáèåíèÿ U íàçûâàåòñÿ è îáîçíà÷àåòñÿ ε(v). Ïî
òåîðåìå î ïðîäîëæàåìîñòè 3.10.1 ( )
ïðîäîëæåíèå ïîëÿ ñ íà âîçìîæíî òîãäà è òîëüêî òî-
v U1∗ N
ãäà, êîãäà ε(v) = 0.
Åñëè ε(v) 6= 0, òî ïîëå v íå ïðîäîëæàåòñÿ íà N , íî íå âñå ïî-
òåðÿíî: ìîæíî ïîïûòàòüñÿ òàê èçìåíèòü ïîëå v íà U1∗ , ÷òîáû ïðå-
ïÿòñòâóþùàÿ ðàññòàíîâêà ñòàëà íóëåâîé. Òåîðåìà ÝéëåðàÏóàí-
êàðå âûòåêàåò èç óòâåðæäåíèé 4.8.2. (Âìåñòî ïðèìåíåíèÿ ï. (b)
ìîæíî ïðèìåíèòü ï. ( ) è ãëàäêóþ âåðñèþ òåîðåìû êëàññèèêà-
öèè 5.1.5.)
4.9. Äðóãîå ïîñòðîåíèå âåêòîðíûõ ïîëåé* 133
a∗
u(x)
склейка
Êíèæêîé ñ ëèñòàìè
n íàçûâàåòñÿ ãèïåðãðà ñ âåðøèíàìè
a, b, 1, 2, . . . , n è ãðàíÿìè {a, b, 1}, {a, b, 2}, . . . , {a, b, n}. Äëÿ n = 3
ñì. ðèñ. 2.2.1.
Åñëè çàäàíû ãèïåðãðà è òàêàÿ ñêëåéêà åãî ðåáåð, ïðè êîòîðîé
íèêàêèå âåðøèíû äâóõ ïåðåñåêàþùèõñÿ ãðàíåé íå ñêëåèâàþòñÿ, òî
ìîæíî ïîñòðîèòü íîâûé ãèïåðãðà, ïîëó÷åííûé ýòîé ñêëåéêîé ðå-
áåð. Íàïðèìåð, íà ðèñ. 2.1.1 èçîáðàæåíû ãèïåðãðàû, ïîëó÷åííûå
ñêëåéêîé ñòîðîí êâàäðàòà (òàì íå íàðèñîâàíû íåîáõîäèìûå òðèàí-
ãóëÿöèè êâàäðàòà; ñì. îðìàëèçàöèþ â ï. 5.8 è 6.2).
Ïî òðèàíãóëÿöèè 2-ìíîãîîáðàçèÿ (ñì. ï. 4.6) åñòåñòâåííî ñòðî-
èòñÿ ãèïåðãðà, êîòîðûé òàêæå íàçûâàåòñÿ òðèàíãóëÿöèåé.
5.6.6.
(a) Ñóùåñòâóåò àëãîðèòì, êîòîðûé ïî ãèïåðãðàó, ãîìåî-
ìîðíîìó ñåðå S 2 , ñòðîèò ïîñëåäîâàòåëüíîñòü ïîäðàçäåëåíèé ðå-
áåð è îáðàòíûõ îïåðàöèé, ïðèâîäÿùèé äàííûé ãèïåðãðà ê S 2 .
(b) Ñóùåñòâóåò àëãîðèòì ðàñïîçíàâàíèÿ ãîìåîìîðíîñòè ãè-
ïåðãðàà êíèæêå ñ 3 ñòðàíèöàìè.
5.6.7.
Îáîçíà÷èì ÷åðåç K òðèàíãóëÿöèþ äâóìåðíîãî ìíîãîîá-
ðàçèÿ.
(a) Òåîðåìà èìàíà . Ïóñòü â K äàíû g + m ïîïàðíî íåïåðåñå-
êàþùèõñÿ öèêëîâ, ïðè÷åì ïðè ðàçðåçàíèè ïî êàæäîìó èç g ïåðâûõ
îáðàçóåòñÿ äâå êðàåâûå îêðóæíîñòè, à ïðè ðàçðåçàíèè ïî êàæäîìó
èç m ïîñëåäíèõ îäíà. Åñëè 2g + m > 2 − χ(K), òî îáúåäèíåíèå
ýòèõ öèêëîâ ðàçáèâàåò òðèàíãóëÿöèþ.
(b) Íåðàâåíñòâî Ýéëåðà. Ñâÿçíûé ïîäãðà G â K , èìåþùèé
V âåðøèí è E ðåáåð, ðàçáèâàåò òðèàíãóëÿöèþ íå ìåíåå ÷åì íà
E − V + χ(K) ÷àñòåé.
Èíûìè ñëîâàìè, χ(G) > χ(K).
( )* Íà êàêîå íàèìåíüøåå êîëè÷åñòâî ÷àñòåé ìîæåò ðàçáèâàòü K
åå ïîäãðà ñ V âåðøèíàìè, E ðåáðàìè è s êîìïîíåíòàìè ñâÿçíîñòè?
5.6.8.
àçðåæåì òðèàíãóëÿöèþ 2-ìíîãîîáðàçèÿ ïî íåðàçáèâàþ-
ùåé êðèâîé, ñîñòàâëåííîé èç íåêîòîðûõ ðåáåð. Ïîëó÷åííàÿ òðèàí-
ãóëÿöèÿ 2-ìíîãîîáðàçèÿ èìååò òó æå ýéëåðîâó õàðàêòåðèñòèêó, ÷òî
èñõîäíàÿ.
5.7. Îðèåíòèðóåìûå òðèàíãóëÿöèè 2-ìíîãîîáðàçèé 155
5.7.3.
(a) Òðèàíãóëÿöèÿ 2-ìíîãîîáðàçèÿ îðèåíòèðóåìà òîãäà
è òîëüêî òîãäà, êîãäà íèêàêàÿ ãîìåîìîðíàÿ åé òðèàíãóëÿöèÿ íå
ñîäåðæèò òðèàíãóëÿöèè ëåíòû ̼áèóñà.
(b)* Ñóùåñòâóåò ëè íåîðèåíòèðóåìàÿ òðèàíãóëÿöèÿ 2-ìíîãîîá-
ðàçèÿ, íå ñîäåðæàùàÿ òðèàíãóëÿöèè ëåíòû ̼áèóñà?
( ) Òðèàíãóëÿöèÿ çàìêíóòîãî 2-ìíîãîîáðàçèÿ îðèåíòèðóåìà òî-
ãäà è òîëüêî òîãäà, êîãäà ñóùåñòâóåò íàáîð ãðàíåé åå áàðèöåíòðè-
÷åñêîãî ïîäðàçáèåíèÿ, äëÿ êîòîðîãî ê êàæäîìó ðåáðó áàðèöåíòðè-
÷åñêîãî ïîäðàçáèåíèÿ ïðèìûêàåò ðîâíî îäíà ãðàíü íàáîðà.
6.2. Öèêëû
Ïîíÿòèå êëåòî÷íîãî ðàçáèåíèÿ ãèïåðãðàà îðìàëèçóåò ïðèìå-
ðû ¾ñêëåéêè èç ìíîãîóãîëüíèêîâ¿ èç ï. 5.2. Êëåòî÷íûì ðàçáè-
åíèåì ãèïåðãðàà K íàçûâàåòñÿ ïàðà K0 ⊂ K1 ⊂ K åãî ïîäãèïðå-
ãðàîâ, äëÿ êîòîðîé K1 êëåòî÷íûé ãðà â K è K0 êëåòî÷íûé
íàáîð âåðøèí â K1 (ñì. îïðåäåëåíèÿ â ï. 5.8). ðà K1 íàçûâàåòñÿ
îäíîìåðíûì îñòîâîì êëåòî÷íîãî ðàçáèåíèÿ. åáðîì ãðàíüþ
è êëå-
òî÷íîãî ðàçáèåíèÿ K0 ⊂ K1 ⊂ K íàçûâàþòñÿ ñâÿçíàÿ êîìïîíåíòà
äîïîëíåíèÿ K1′′ − K0 è ñâÿçíàÿ êîìïîíåíòà äîïîëíåíèÿ K ′′ − K1′′
ñîîòâåòñòâåííî.
Ìíîãèå ïîñòðîåíèÿ óäîáíî ïðîäåëûâàòü íå äëÿ ãèïåðãðàîâ,
à äëÿ êëåòî÷íûõ ðàçáèåíèé, èáî ó ¾èíòåðåñíûõ¿ ãèïåðãðàîâ ¾ìíî-
ãî¿ ãðàíåé, íî ìîæíî íàéòè èõ ¾ýêîíîìíûå¿ êëåòî÷íûå ðàçáèåíèÿ.
Äëÿ âû÷èñëåíèé óäîáíåå ðèñîâàòü êëåòî÷íûå ðàçáèåíèÿ, ÷òî ìå-
íåå ãðîìîçäêî, ÷åì ðàçáèåíèÿ íà ìíîãîóãîëüíèêè. Òðèàíãóëÿöèÿ
162 6. îìîëîãèè äâóìåðíûõ ìíîãîîáðàçèé
∂a
w1 (T ) := [ω(o)] ∈ H1 (T ).
x x
A1 B2 A1 B2
6.7.2.
(a) Íàéäèòå îðìó ïåðåñå÷åíèé ñåðû ñ g ðó÷êàìè
(ò. å. íàéäèòå ìàòðèöó ýòîé îðìû â íåêîòîðîì áàçèñå ãðóïïû ãî-
ìîëîãèé).
(b) Íàéäèòå îðìó ïåðåñå÷åíèé ñåðû ñ m ïëåíêàìè ̼áèóñà.
( ) àíã îðìû ïåðåñå÷åíèé äèñêà ñ ëåíòî÷êàìè ðàâåí ðàíãó
åãî ìàòðèöû ïåðåêðåùèâàíèé.
6.7.3.
Ïóñòü N çàìêíóòîå 2-ìíîãîîáðàçèå. Îïðåäåëåíèå ïåð-
âîãî êëàññà ØòèåëÿÓèòíè w1 (N ) ∈ H1 (N ) ïðèâåäåíî â ï. 6.4.
(a) Äëÿ ëþáîãî a ∈ H1 (N ) âûïîëíÿåòñÿ ðàâåíñòâî w1 (N ) ∩ a = a ∩ a.
(b) w1 (N ) ∩ w1 (N ) = ρ2 χ(N ).
6.7.4. Äâîéñòâåííîñòü Ïóàíêàðå . Ôîðìà ïåðåñå÷åíèé ëþáî-
ãî çàìêíóòîãî 2-ìíîãîîáðàçèÿ N íåâûðîæäåíà, ò. å. äëÿ ëþáîãî
α ∈ H1 (N ) − {0} ñóùåñòâóåò òàêîå β ∈ H1 (N ), ÷òî α ∩ β = 1.
6.7.5.
(ad) Îïðåäåëèòå îðìó ïåðåñå÷åíèé H1 (N ) × H1 (N ) → Z2
äëÿ 2-ìíîãîîáðàçèÿ N ñ íåïóñòûì êðàåì. Ñîðìóëèðóéòå è äîêà-
æèòå àíàëîãè óòâåðæäåíèé 6.7.1.
(e) Ôîðìà ïåðåñå÷åíèé ìîæåò áûòü âûðîæäåíà.
(f) Íàéäèòå îðìó ïåðåñå÷åíèé è åå ðàíã äëÿ ñåðû ñ g ðó÷êàìè
è h äûðêàìè.
(g) Íàéäèòå îðìó ïåðåñå÷åíèé è åå ðàíã äëÿ ñåðû ñ m ïëåí-
êàìè ̼áèóñà è h äûðêàìè.
(h) Ëþáàÿ ëè áèëèíåéíàÿ ñèììåòðè÷íàÿ îðìà Zk2 × Zk2 → Z2
ÿâëÿåòñÿ îðìîé ïåðåñå÷åíèé íåêîòîðîãî 2-ìíîãîîáðàçèÿ?
6.8. Ïðåïÿòñòâèå Óèòíè ê âëîæèìîñòè* 173
ïåðãðàà T .
(a) Σ(f ) ïîäãðà ãèïåðãðàà T .
(b) Åñëè T òðèàíãóëÿöèÿ çàìêíóòîé ïîâåðõíîñòè, òî Σ(f )
ãîìîëîãè÷åñêèé öèêë.
Ïóñòü äàëåå T òðèàíãóëÿöèÿ áóòûëêè Êëåéíà K . Âîçüìåì
çàìêíóòóþ êðèâóþ S â K , ïðè îáû÷íîì ïðåäñòàâëåíèè áóòûëêè
Êëåéíà â âèäå êâàäðàòà ñî ñêëååííûìè ñòîðîíàìè ïðåäñòàâëÿþùó-
þñÿ êàæäîé èç òåõ ïàðàëëåëüíûõ ñòîðîí êâàäðàòà, êîòîðûå ñêëå-
èâàþòñÿ ¾áåç ïåðåêðóòêè¿. Ýòó êðèâóþ ìîæíî ñ÷èòàòü ïîäãðàîì
äâîéñòâåííîãî ðàçáèåíèÿ T ∗ (ñì. îïðåäåëåíèå â ï. 4.8). Äëÿ îòîá-
ðàæåíèÿ îáùåãî ïîëîæåíèÿ f : T → R3 êðèâàÿ S (¾òðàíñâåðñàëü-
íî¿) ïåðåñåêàåò Σ(f ) â êîíå÷íîì ÷èñëå òî÷åê. Îïðåäåëèì S -ïðå-
ïÿòñòâèå Óèòíè êàê
ïåðãðàà T .
(a) Åñëè f : T → R3 âëîæåíèå, òî w(f ) = 0.
(b) Äëÿ îòîáðàæåíèÿ f : T → R3 , ïîêàçàííîãî íà ðèñ. 2.1.6, âû-
ïîëíåíî ðàâåíñòâî w(f ) = 1.
6.8.5. àññìîòðèì êóñî÷íî ëèíåéíóþ ãîìîòîïèþ F : T × I → R × I 3
t1 (x) t3 (x)
x ϕ
x t(x) t2 (x)
x
ψ
−x
x
t(x)
e := {(x, y) : x, y ∈ N, x 6= y}.
N
7.2.3.
(a) Ïðè ýòîé áèåêöèè êîìïîçèöèÿ èíâîëþöèé ïåðåõîäèò
â ñóììó öèêëîâ.
(b) Ñêîëüêî ñóùåñòâóåò êëàññîâ ýêâèâàëåíòíîñòè ñèìïëèöèàëü-
íûõ äâóëèñòíûõ íàêðûòèé íàä òîðîì?
7.2. Êëàññèèêàöèÿ èíâîëþöèé 183
ÿâëÿåòñÿ áèåêöèåé.
Çàìåòèì, ÷òî ãðóïïà ãîìîëîãèé H1 (M ) åñòåñòâåííî ïîÿâèëàñü
ïðè êëàññèèêàöèè äâóëèñòíûõ íàêðûòèé íåçàâèñèìî îò åå ïîÿâ-
ëåíèÿ ïðè èçó÷åíèè îðèåíòèðóåìîñòè.
7.2.6.(a) Ïðè îòîáðàæåíèè w1 òðèâèàëüíàÿ èíâîëþöèÿ ïåðåõî-
äèò â íóëåâîé ýëåìåíò.
(b) Ïðè îòîáðàæåíèè w1 êîìïîçèöèÿ èíâîëþöèé ïåðåõîäèò
â ñóììó öèêëîâ.
184 7. Èíâîëþöèè*
A+ A+
A A
A− A−
A A
A+ A+
ïîëþ −v .
(b) àäèàëüíîå âåêòîðíîå ïîëå íà S 2k−1 ãîìîòîïíî öåíòðàëüíî-
ìó.
8.1.2. Ñîðìóëèðóéòå è äîêàæèòå àíàëîãè çàäà÷ 3.4.4 (ae),
3.4.5 (a, ), 3.4.6 (b), 3.4.7 (a, b) è 3.7.2 (b, , d, e) äëÿ âåêòîðíûõ ïî-
ëåé íà Rn è îòîáðàæåíèé â S n−1 .
8.1.3. Ñëåäóþùèå óòâåðæäåíèÿ ýêâèâàëåíòíû. (Â ýòîé çàäà-
÷å òðåáóåòñÿ èìåííî äîêàçàòü ýêâèâàëåíòíîñòü, äîêàçûâàòü ñàìè
óòâåðæäåíèÿ íå òðåáóåòñÿ.)
(1) Òåîðåìà Áðàóýðà î íåïîäâèæíîé òî÷êå. Ëþáîå îòîá-
ðàæåíèå f : Dn → Dnøàðà â ñåáÿ èìååò íåïîäâèæíóþ òî÷êó,
ò.å. òàêóþ òî÷êó , ÷òî
x ∈ Dn .
f (x) = x
(2)Íåñìèíàåìîñòü øàðà íà ãðàíè÷íóþ ñåðó. Íå ñóùå-
ñòâóåò îòîáðàæåíèÿ øàðà â åãî ãðàíè÷íóþ ñåðó, òîæäåñòâåííî-
8.1. Âåêòîðíûå ïîëÿ â åâêëèäîâîì ïðîñòðàíñòâå 187
f (cos α cos θ, cos α sin θ, sin α) := (g(cos θ, sin θ) cos α, sin α).
8.1.7.
(ae) Ñîðìóëèðóéòå è äîêàæèòå àíàëîãè óòâåðæäå-
íèé 3.11.3 äëÿ îòîáðàæåíèé f, g : S k → S n .
ëèíåéíîé.)
8.2.4.Ïðè ëþáîì d ñóùåñòâóåò îòîáðàæåíèå g è åãî ðåãóëÿðíîå
çíà÷åíèå y , äëÿ êîòîðîãî dy (g) = d. (Ñð. ñ óòâåðæäåíèåì 8.3.2 (b).)
8.2.5.Ïóñòü y0 , y1 ïðîèçâîëüíûå ðåãóëÿðíûå çíà÷åíèÿ îòîá-
ðàæåíèÿ g . Âîçüìåì íåñàìîïåðåñåêàþùóþñÿ ëîìàíóþ l ⊂ SPn L , ñî-
åäèíÿþùóþ y0 ñ y1 , íå ïåðåñåêàþùóþ g -îáðàç íèêàêîãî (n − 2)-ñèì-
ïëåêñà òðèàíãóëÿöèè, ïåðåñåêàþùóþ g -îáðàç êàæäîãî (n − 1)-ñèì-
ïëåêñà òðèàíãóëÿöèè íå áîëåå ÷åì â îäíîé òî÷êå, è åñëè â îäíîé, òî
ìàëûå ÷àñòè ëîìàíîé l ïî äâå ñòîðîíû îò ýòîé òî÷êè ëåæàò â g -îáðà-
çàõ ðàçíûõ n-ñèìïëåêñîâ. (Òàêàÿ ëîìàíàÿ íàçûâàåòñÿ ðåãóëÿðíûì
ïóòåì îòîáðàæåíèÿ g .)
π 2 (1 × S 1 × S 1 ) × π 2 (S 1 × 1 × S 1 ) × π 2 (S 1 × S 1 × 1) = Z3
äëÿ êîòîðîé ïðè ëþáîì a ∈ H1(N ; Z) ÷èñëî |D−1 (a)| åñòü íàèáîëü-
øèé äåëèòåëü êëàññà [2a] ∈ H1(N ; Z)/T , ãäå T ïîäãðóïïà êðó÷å-
íèÿ.
 ýòîé òåîðåìå âàæíî, ÷òî ñþðúåêöèÿ D ÿâíî ñòðîèòñÿ (àíà-
ëîãè÷íî ï. 4.11). Àíàëîã äëÿ ìíîãîìåðíûõ ìíîãîîáðàçèé äîêàçàí
Ñòèíðîäîì, ñì. íàïðèìåð, [RSS05℄.
8.9.6*. Êëàññèèöèðóéòå ïîëÿ íàïðàâëåíèé íà 3-ìíîãîîáðàçè-
ÿõ. (Ïî ïîâîäó n-ìåðíîãî ñëó÷àÿ è ñâÿçè ñ ëîðåíöåâûìè ìåòðèêàìè
ñì. [Ko01℄.)
Îòîáðàæåíèÿ ϕ e+ è ϕ
e− îáðàçóþò îòîáðàæåíèå ϕe : S 3 → S 3 . Îòîáðà-
æåíèå η ◦ ϕ
e èìååò ïîäíÿòèå è ãîìîòîïíî ϕ.
(g) Àíàëîãè÷íî ï. (e). Äîêàæèòå è èñïîëüçóéòå ñëåäóþùåå
óòâåðæäåíèå. Ëþáàÿ ãîìîòîïèÿ S3 × I → S2 ìåæäó îòîáðàæå-
íèÿìè, èìåþùèìè ïîäíÿòèå, ãîìîòîïíà, ïðè÷åì íåïîäâèæíî íà
S 3 × {0, 1}, òàêîé ãîìîòîïèè, ó êîòîðîé èìååòñÿ ïîäíÿòèå S 3 × I → S 2 .
8.9.1. (a) Çàäàéòå ïîëÿ ÿâíîé îðìóëîé (íàïðèìåð, èç Âàøåãî
ðåøåíèÿ çàäà÷è 8.7.1 (a)).
Äðóãîå ðåøåíèå : ñíà÷àëà ïîñòðîéòå òðîéêó ïîëåé íà äîïîëíåíèè
äî òðåõìåðíîãî øàðà, êîòîðîå ÿâëÿåòñÿ îðèåíòèðóåìûì óòîëùåíè-
åì ïðîñòðàíñòâà RP 2 , à ïîòîì ïðîäîëæèòå åå íà RP 3 , èñïîëüçóÿ
çàäà÷ó 9.7.1 (a).
9. Íàáîðû âåêòîðíûõ ïîëåé
`You mean...' he would say, and then he would
rephrase what I had said in some ompletely
simple and on rete way, whi h sometimes il-
luminated it enormously, and sometimes made
nonsense of it ompletely.
I. Murdo h. Under the Net21
0 = ρ2 χ(F ) + w1 (F )2 = x(F ).
0 = x(f ) = ρ2 χ(N ) + w1 (N )2 .
9.4.2.
(a) Ïðîèçâåäåíèå òðèàíãóëÿöèè 2-ìíîãîîáðàçèÿ íà îòðå-
çîê (èëè íà îêðóæíîñòü) îðèåíòèðóåìî òîãäà è òîëüêî òîãäà, êîãäà
ýòà òðèàíãóëÿöèÿ îðèåíòèðóåìà.
(b) Òðèàíãóëÿöèÿ 3-ìíîãîîáðàçèÿ îðèåíòèðóåìà òîãäà è òîëüêî
òîãäà, êîãäà íèêàêàÿ ãîìåîìîðíàÿ åé òðèàíãóëÿöèÿ íå ñîäåðæèò
òðèàíãóëÿöèè 3-ìíîãîîáðàçèÿ D 2 × e S 1.
( ) Äëÿ êàêèõ p, q ëèíçîâîå ïðîñòðàíñòâî L(p, q) îðèåíòèðóåìî?
(d) Äëÿ ëþáîé òðèàíãóëÿöèè çàìêíóòîãî 3-ìíîãîîáðàçèÿ íà âñåõ
(òðåõìåðíûõ) ãðàíÿõ åå áàðèöåíòðè÷åñêîãî ïîäðàçáèåíèÿ ìîæíî
ââåñòè òàêîé íàáîð îðèåíòàöèé, ÷òî îðèåíòàöèè ëþáûõ äâóõ ñîñåä-
íèõ ãðàíåé áóäóò íå ñîãëàñîâàíû. (Ñð. ñ óòâåðæäåíèåì 6.2.3 (d).)
 çàäà÷àõ 9.3.1 (a) è 9.3.2 (d) áûëî äîêàçàíî (íà äðóãîì ÿçûêå),
÷òî ëþáîå 2-ìíîãîîáðàçèå âëîæèìî â íåêîòîðóþ îðèåíòèðóåìóþ
òðèàíãóëÿöèþ 3-ìíîãîîáðàçèÿ (ò. å. ãîìåîìîðíî íåêîòîðîé åå ïîä-
òðèàíãóëÿöèè). Äëÿ ïðîåêòèâíîé ïëîñêîñòè RP 2 , ñòàíäàðòíî âëî-
æåííîé â RP 3 , ìîæíî òàêæå âçÿòü åå ¾ðåãóëÿðíóþ¿ îêðåñòíîñòü
â RP 3 .
Ñëåäóþùèå îïðåäåëåíèÿ åñòåñòâåííî âîçíèêàþò ïðè ïîïûòêå
ðàñïîçíàâàíèÿ îðèåíòèðóåìîñòè 3-ìíîãîîáðàçèÿ (àíàëîãè÷íî 6).
Ïóñòü T òðèàíãóëÿöèÿ çàìêíóòîãî 3-ìíîãîîáðàçèÿ. Íàáîð åå ãðà-
íåé íàçûâàåòñÿ 2 -öèêëîì , åñëè êàæäîå ðåáðî âõîäèò â ãðàíèöó
÷åòíîãî ÷èñëà ãðàíåé íàáîðà. ðàíèöåé ∂a òåòðàýäðà a ∈ T íàçû-
âàåòñÿ íàáîð âñåõ ãðàíè÷íûõ ãðàíåé ýòîãî òåòðàýäðà. Äâà 2-öèêëà
íàçûâàþòñÿ ãîìîëîãè÷íûìè , åñëè èõ ðàçíîñòü åñòü ñóììà ãðàíèö
íåñêîëüêèõ òåòðàýäðîâ. Äâóìåðíîé ãðóïïîé ãîìîëîãèé H2 (T )
(ñ êîýèöèåíòàìè Z2 ) íàçûâàåòñÿ ãðóïïà 2-öèêëîâ ñ òî÷íîñòüþ
äî ãîìîëîãè÷íîñòè.
9.4.3.
(a) Äëÿ òðèàíãóëÿöèè T çàìêíóòîãî 3-ìíîãîîáðàçèÿ îïðå-
äåëèòå ïåðâûé êëàññ ØòèåëÿÓèòíè w1 (T ) ∈ H2 (T ) òàê, ÷òîáû
âûïîëíÿëîñü ñëåäóþùåå óòâåðæäåíèå: òðèàíãóëÿöèÿ îðèåíòè-
T
ðóåìà òîãäà è òîëüêî òîãäà, êîãäà w1 (T ) = 0.
9.4. Îðèåíòèðóåìîñòü òðåõìåðíûõ ìíîãîîáðàçèé 217
B C
A D
E
èñ. 9.7.2. Ïðîäîëæåíèå ïàðû ïîëåé íà ãðàíü äâîéñòâåííîãî ðàçáèåíèÿ
w2 (F × F ′ ) = w2 (F )p × F ′ + w1 (F ) × w1 (F ′ ) + w2 (F ′ )F × p′ .
(f) H2 (CP 2 ) ∼
= Z2 è w2 (CP 2 ) = [CP 1 ] 6= 0.
(g)* H2 (RP ) ∼
4
= Z2 è w2 (RP 4 ) = 0.
9.8.4.
(a) Ñëåäóþùèå òðè óñëîâèÿ íà çàìêíóòîå ñâÿçíîå 4-ìíî-
ãîîáðàçèå N ðàâíîñèëüíû:
• w2 (N ) = 0;
• ñóùåñòâóåò òðîéêà ïîëåé íà äîïîëíåíèè â N äî íåêîòîðîãî
ãðàà;
• ñóùåñòâóåò òðîéêà ïîëåé íà N0 .
(b) Òåîðåìà. Äëÿ çàìêíóòîãî ñâÿçíîãî -ìíîãîîáðàçèÿ ÷åò-
4 N
âåðêà ïîëåé íà N0 ñóùåñòâóåò òîãäà è òîëüêî òîãäà, êîãäà îðè-
N
åíòèðóåìî è w2 (N ) = 0 .
9.8. Õàðàêòåðèñòè÷åñêèå êëàññû äëÿ 4-ìíîãîîáðàçèé 227
ρ2 W3 (F × F ′ ) = w2 (F )p × w1 (F ′ ) + w1 (F ) × w2 (F ′ )p′ .
228 9. Íàáîðû âåêòîðíûõ ïîëåé
9.8.9.
(ad) åøèòå àíàëîã ïðåäûäóùåé çàäà÷è äëÿ ìíîãîîáðà-
çèé ñ íåïóñòûì êðàåì, ãðóïïû H1 (N, ∂; Z) è êëàññà W3 (N ) ∈ H1 (N, ∂; Z).
9.8.10*. Ïóñòü N çàìêíóòîå ñâÿçíîå îðèåíòèðóåìîå 4-ìíîãî-
îáðàçèå.
(a) Åñëè w2 (N ) = 0, òî W3 (N ) = 0.
(b) Åñëè w2 (N ) ïðåäñòàâëÿåòñÿ îðèåíòèðóåìûì 2-ìíîãîîáðàçè-
åì, òî W3 (N ) = 0.
( ) Êëàññ w2 (N ) ïðåäñòàâëÿåòñÿ îðèåíòèðóåìûì 2-ìíîãîîáðàçè-
åì.
(d) Äëÿ ëþáîãî a ∈ H2 (N ) ñïðàâåäëèâî ðàâåíñòâî a ∩ a = w2 (N ) ∩ a.
(Ñð. ñ çàäà÷åé 6.7.3 (a).)
(e) w2 (N ) ∩ w2 (N ) = ρ2 χ(N ). (Ñð. ñ çàäà÷åé 6.7.3 (b).)
0 = w2 (F × F ′ ) = w2 (F )p × F ′ + w1 (F ) × w1 (F ′ ) + w2 (F ′ )F × p′ .
9.7.2.
(a) Ïóñòü v ïîëå íà îáúåäèíåíèè ðåáåð íåêîòîðîãî ðàç-
áèåíèÿ 2-ìíîãîîáðàçèÿ F , äëÿ êîòîðîãî íåíóëåâûå ýëåìåíòû ïðå-
ïÿòñòâóþùåé ðàññòàíîâêè ñòîÿò â âåðøèíàõ p1 , . . . , pn äâîéñòâåí-
íîãî ðàçáèåíèÿ è ðàâíû sgn χ(F ) (òàêèì îáðàçîì, n = |χ(F )|). Ïóñòü
v ′ åäèíè÷íîå âåêòîðíîå ïîëå íà S 1 . Òîãäà äëÿ ¾ïðèçìàòè÷åñêî-
ãî¿ ðàçáèåíèÿ ïðîèçâåäåíèÿ F × S 1 è ïàðû (v, v ′ ) ïðåïÿòñòâóþùèé
öèêë ÿâëÿåòñÿ îáúåäèíåíèåì îêðóæíîñòåé pi × S 1 ïî i = 1, . . . , n.
Äëÿ äîêàçàòåëüñòâà ýòîãî èñïîëüçóéòå óòâåðæäåíèå 9.2.3 (e).
Çàìå÷àíèå. Íàáîð èç k êàñàòåëüíûõ âåêòîðíûõ ïîëåé íà X × Y
ÿâëÿåòñÿ íàáîðîì îáùåãî ïîëîæåíèÿ, åñëè îáå åãî ¾ïðîåêöèè¿ íà
ñîìíîæèòåëè îáùåãî ïîëîæåíèÿ. (Ïîýòîìó åñëè e êàñàòåëüíîå
âåêòîðíîå ïîëå îáùåãî ïîëîæåíèÿ íà F , à e′ åäèíè÷íîå âåêòîðíîå
ïîëå íà S 1 , òî ïàðà (e, e′ ) íå îáùåãî ïîëîæåíèÿ.)
9.7.3.
( ) àññìîòðèì îêðåñòíîñòü îáúåäèíåíèÿ ïðåïÿòñòâóþ-
ùåãî öèêëà è ìíîæåñòâà âåðøèí äâîéñòâåííîãî ðàçáèåíèÿ íà ìíî-
ãîãðàííèêè. Äîïîëíåíèå äî ýòîé îêðåñòíîñòè ÿâëÿåòñÿ îêðåñòíî-
ñòüþ îáúåäèíåíèÿ äâóìåðíûõ ãðàíåé äâîéñòâåííîãî ðàçáèåíèÿ, íå
ÿâëÿþùèõñÿ êðàñíûìè. Ïàðó ïîëåé íà ýòîì äîïîëíåíèè ìîæíî ïðî-
äîëæèòü íà äîïîëíåíèå äî ïðåïÿòñòâóþùåãî öèêëà ïî óòâåðæäå-
íèþ 9.7.1 (a).
9.7.4.
(a) Äëÿ äàííîé âåðøèíû äâîéñòâåííîãî ðàçáèåíèÿ íà
ìíîãîãðàííèêè ðàññìîòðèì ãðàíè÷íóþ ñåðó ñîîòâåòñòâóþùåãî
ìíîãîãðàííèêà èñõîäíîé òðèàíãóëÿöèè. ×åòíîñòü êîëè÷åñòâà åå
äâóìåðíûõ ãðàíåé, ïðîòûêàåìûõ êðàñíûìè ðåáðàìè, ðàâíà ñóì-
ìå ãîìîòîïè÷åñêèõ êëàññîâ îòîáðàæåíèé èç ãðàíèö ãðàíåé â SO3
è ïîòîìó ðàâíà íóëþ. (Ââèäó óòâåðæäåíèÿ 9.2.3 (d) ýòî ðàññóæäå-
íèå ìîæíî ìîäèèöèðîâàòü òàê, ÷òîáû íå èñïîëüçîâàòü îïåðàöèþ
ñóììû.)
( ) Ïðè èçìåíåíèè ïàðû ïîëåé íà îäíîì ðåáðå äâîéñòâåí-
íîãî ðàçáèåíèÿ íà ìíîãîãðàííèêè òðèàíãóëÿöèè íà îòîáðàæåíèå
S 1 → SO3 , íå ãîìîòîïíîå îòîáðàæåíèþ â òî÷êó, èçìåíÿåòñÿ ÷èñëî
íà êàæäîé ãðàíè ðàçáèåíèÿ, ñîñåäíåé ñ ýòèì ðåáðîì.
Îòâåòû, óêàçàíèÿ è ðåøåíèÿ ê íåêîòîðûì çàäà÷àì 235
9.9.5.
(b) Îáîçíà÷èì l := dim M + dim N . àññìîòðèì ñëåäó-
þùèå l − s + 1 ïîëåé íà M × N . Ïåðâîå ïîëå u1 îáðàùàåòñÿ
â íóëü òîëüêî íà êîíå÷íîì êîëè÷åñòâå òî÷åê, ïðåäñòàâëÿþùèõ
êëàññ wk (M ). Âòîðîå ïîëå u2 ïåðïåíäèêóëÿðíî ïåðâîìó è îáðàùàåò-
ñÿ â íóëü òîëüêî íà íåêîòîðîé òðèàíãóëÿöèè 1-ìíîãîîáðàçèÿ Pk−1 ,
ïðåäñòàâëÿþùåé êëàññ wk−1 (N ). Òðåòüå ïîëå u3 ïåðïåíäèêóëÿðíî
ïåðâûì äâóì è îáðàùàåòñÿ â íóëü òîëüêî íà íåêîòîðîé òðèàíãóëÿ-
Îòâåòû, óêàçàíèÿ è ðåøåíèÿ ê íåêîòîðûì çàäà÷àì 237
Vk êîëè÷åñòâî k-ãðàíåé.
10.4.4. (a) RP 2 íå ÿâëÿåòñÿ êðàåì ìíîãîîáðàçèÿ (è, ñòàëî áûòü,
íåâëîæèìî â R3 ).
(b) Çàìêíóòîå 2-ìíîãîîáðàçèå ÿâëÿåòñÿ êðàåì ìíîãîîáðàçèÿ òî-
ãäà è òîëüêî òîãäà, êîãäà åãî ýéëåðîâà õàðàêòåðèñòèêà ÷åòíà.
( ) Íè CP 2 , íè RP 2 × RP 2 íå ÿâëÿþòñÿ êðàåì ìíîãîîáðàçèÿ
(ñòàëî áûòü, îíè íåâëîæèìû â R5 ).
246 10. îìîëîãèè ìíîãîìåðíûõ ìíîãîîáðàçèé
10.6.2. (a) H (D ) ∼= Z
0
0
2 è Hs (D 0 ) = 0 ïðè s > 0. (Íàïîìíèì, ÷òî
D0 òî÷êà.)
c(K)
(b) H0 (K) ∼= Z2 , ãäå c(K) êîëè÷åñòâî êîìïîíåíò ñâÿçíîñòè
ãèïåðãðàà K .
10.6.3.(a) Hs (D n ) = 0 ïðè s > 0.
(b) Hs (Con K) = 0 ïðè s > 0, ãäå Con êîíóñ.
10.6.4.(a) Äëÿ n > 0 ãðóïïà Hs (S n ) åñòü 0 ïðè s 6= 0, n è Z2 ïðè
s = 0, n.
(b) Äëÿ n > 0 ãðóïïà Hs (S1n ∨ S2n ∨ . . . ∨ Sln ) åñòü 0 ïðè s 6= 0, n
è Zl2 ïðè s = 0, n.
( ) Ïðè s > 0 èìååòñÿ èçîìîðèçì Hs (K) ∼ = Hs+1 (ΣK), ãäå Σ
íàäñòðîéêà.
(d) Ïðè s > 0 èìååòñÿ èçîìîðèçì Hs (K ∨ L) ∼ = Hs (K) ⊕ Hs (L).
250 10. îìîëîãèè ìíîãîìåðíûõ ìíîãîîáðàçèé
(b) ðóïïà Hs ∼
= Z2 ïîðîæäàåòñÿ êëàññîì [RP s ] äëÿ ëþ-
(RP n )
áîãî 0 6 s 6 n. (Ýòî ïðîùå äîêàçàòü ïîñëå èçó÷åíèÿ ï. 10.7.)
10.6.6. Ïîäìíîæåñòâî A ⊂ X íàçûâàåòñÿ äåîðìàöèîííûì
ðåòðàêòîì ìíîæåñòâà X ⊂ R , åñëè ñóùåñòâóåò ãîìîòîïèÿ f : X → X ,
m
t
äëÿ êîòîðîé f0 = id X , f1 (X) ⊂ A è f1 (a) = a äëÿ ëþáîãî a ∈ A
(ñð. ñ óòâåðæäåíèÿìè 6.5.5 (b) è 14.1.5).
(a) Åñëè A åñòü äåîðìàöèîííûé ðåòðàêò ìíîæåñòâà X , òî
âêëþ÷åíèå A → X èíäóöèðóåò èçîìîðèçì Hs (A) → Hs (X).
(b) A ollapsing K ց L generates a deformation retra tion K → L.
Òåîðåìà 10.6.7 (î PL èíâàðèàíòíîñòè). ðóïïû ãîìîëîãèé êó-
ñî÷íî ëèíåéíî ãîìåîìîðíûõ ãèïåðãðàîâ èçîìîðíû.
10.6.8. Äëÿ ëþáîãî ãèïåðãðàà K âûïîëíåíî ðàâåíñòâî
χ(K) = dim H0 (K) − dim H1 (K) + dim H2 (K) − dim H3 (K) + . . .
P
s
:= (−1)k εk abk . Ââèäó àíàëîãà óòâåðæäåíèÿ 10.6.1 ãðóïïà Hs (T ; Z)
k=0
ãîìîëîãèé ñ êîýèöèåíòàìè Z îïðåäåëÿåòñÿ àíàëîãè÷íî ãðóïïå
Hs (T ).
10.6.10. Ñîðìóëèðóéòå è äîêàæèòå àíàëîãè çàäà÷ 10.6.110.6.9
äëÿ ãîìîëîãèé ñ êîýèöèåíòàìè Z.
Àíàëîãè÷íî îïðåäåëÿþòñÿ ãîìîëîãèè ñ êîýèöèåíòàìè Zp , Q, R, C.
Äàëåå ìû èíîãäà óêàçûâàåì
êîýèöèåíòû Z2 â îáîçíà÷åíèÿõ. Ïðè
ýòîì ïðîïóñê êîýèöèåíòîâ ïî-ïðåæíåìó îçíà÷àåò, ÷òî ïðåäïîëà-
ãàþòñÿ êîýèöèåíòû Z2 .
Êëàññ ãîìîëîãèé öèêëà x îáîçíà÷àåòñÿ ÷åðåç [x].
îðìóëîé n o
a∩B
lk([a], [b]) := , ãäå ∂B = kb.
k
10.9.5.(a) Ýòî îïðåäåëåíèå êîððåêòíî.
(b) Íàéäèòå óìíîæåíèå çàöåïëåíèÿ äëÿ RP 3 è äëÿ L(p, q).
Òåîðåìà 10.9.6 (äâîéñòâåííîñòü Ïóàíêàðå) . Äëÿ ëþáîãî çà-
ìêíóòîãî îðèåíòèðóåìîãî -ìíîãîîáðàçèÿ
n
• öåëî÷èñëåííîå óìíîæåíèå óíèìîäóëÿðíî ýòî çíà÷èò, ÷òî
∩ (
äëÿ ëþáîãî ïðèìèòèâíîãî, ò.å. íå äåëÿùåãîñÿ íà öåëîå ÷èñëî,
áîëüøåå 1, ýëåìåíòà α ∈ Hs(N ; Z) ñóùåñòâóåò òàêîé ýëåìåíò
β ∈ Hn−s (N ; Z), ÷òî α ∩ β = 1 ∈ Z);
• óìíîæåíèå çàöåïëåíèÿ lk íåâûðîæäåííî25 .
25 ¾Ñëîæíóþ ÷àñòü¿ òåîðåì äâîéñòâåííîñòè Ïóàíêàðå 10.9.3, 10.9.6 ÷àñòî ëè-
áî íå äîêàçûâàþò (íàïðèìåð, â [FF89℄ òåîðåìà 6 â 17 íà ñ. 148 íàçâàíà î÷å-
âèäíîé), ëèáî äîêàçûâàþò ñ èñïîëüçîâàíèåì êîãîìîëîãèé è îðìóëû óíèâåð-
ñàëüíûõ êîýèöèåíòîâ, ÷òî óñëîæíÿåò äîêàçàòåëüñòâî. Êîãîìîëîãèè äåéñòâè-
òåëüíî ïîëåçíû ïðè ðàáîòå ñ äèåðåíöèàëüíûìè îðìàìè, ïðè èçó÷åíèè àë-
ãåáðàè÷åñêîé ãåîìåòðèè èëè ãîìîòîïè÷åñêîé òîïîëîãèè ìíîãîîáðàçèé ñ êðàåì
èëè ïðîèçâîëüíûõ êîìïëåêñîâ. À âî ìíîãèõ ó÷åáíèêàõ è ëåêöèîííûõ êóðñàõ
êîãîìîëîãèè ìíîãîîáðàçèé ââîäÿòñÿ íàìíîãî ðàíüøå òåõ ïðîáëåì, äëÿ ðåøå-
íèÿ êîòîðûõ îíè íóæíû. Â èòîãå êîãîìîëîãèè ïðèìåíÿþòñÿ äëÿ óñëîæíåíèÿ
äîêàçàòåëüñòâ.
256 10. îìîëîãèè ìíîãîìåðíûõ ìíîãîîáðàçèé
10.7.4.
Ïóñòü N1 , N2 ⊂ M áëèçêèå ê N ïîäìíîãîîáðàçèÿ, íà-
õîäÿùèåñÿ â îáùåì ïîëîæåíèè îòíîñèòåëüíî äðóã äðóãà è N . Òîãäà
Òîãäà a ∩ B′
−a∩B=a∩ (B ′ − B) = 0, ïîñêîëüêó ∂(B ′ − B) = 0
è a èìååò êîíå÷íûé ïîðÿäîê.
Íåçàâèñèìîñòü îò âûáîðà öåïèb âûòåêàåò èç íåçàâèñèìîñòè îò
âûáîðà öåïè B , ïîñêîëüêó ∂(B + kc) = k(b + ∂c).
Íåçàâèñèìîñòü îò âûáîðà öèêëà .
a Èìååì
(a + ∂A) ∩ B − a ∩ B = ∂A ∩ B = ±A ∩ ∂B = ±kA ∩ b.
dk−1 d∗n−k ∗ ∗
Bk Zk Ck Cn−k+1 Zn−k+1 Bn−k+1 Bk Zk Ck
∗ ∗
Bk−1 Cn−k Cn−k
∗ ∗
Zk−1 Zn−k Zn−k
∗ ∗
Ck−1 Bn−k Bn−k
â âåðøèíàõ.
11.2.1. ∼ Gc , ãäå c êîëè÷åñòâî êîìïîíåíò ñâÿç-
(a) H0 (X, A; G) =
íîñòè ãèïåðãðàà X , íå ñîäåðæàùèõ ïîäãèïåðãðàà A.
(b) Hs (X) ∼
= Hs (X, ∅).
( ) Ñâÿçü àáñîëþòíûõ è îòíîñèòåëüíûõ ãîìîëîãèé. Åñëè
X ñâÿçíî, òî Hs (X, A) ∼
=H .
e s (X/A)
(d) Èçîìîðèçì âûðåçàíèÿ. Îòîáðàæåíèå ex : Hs (B, B ∩ A) →
→ Hs (A ∪ B, A), èíäóöèðîâàííîå âêëþ÷åíèåì(B, B ∩ A) → (A ∪ B, A) ,
ÿâëÿåòñÿ èçîìîðèçìîì.
Óêàçàíèå : äîñòàòî÷íî ðàçîáðàòü ñëó÷àé, êîãäà A − B åñòü âíóò-
ðåííîñòü îäíîãî ñèìïëåêñà ñòàðøåé ðàçìåðíîñòè.
Äëÿ ìíîãîîáðàçèÿ N îáîçíà÷èì (N, ∂N ) êðàòêî ÷åðåç (N, ∂).
11.3. Ïîñëåäîâàòåëüíîñòü ïàðû 263
ϕ ψ
0→G−
→H −
→K →0
11.4. Ñèãíàòóðà
Ñèãíàòóðîé σ(N ) îðèåíòèðîâàííîãî 4k-ìíîãîîáðàçèÿ N íàçû-
âàåòñÿ ñèãíàòóðà îðìû ïåðåñå÷åíèé íà H2k (N ; Z), ò. å. ðàçíîñòü
êîëè÷åñòâà ïîëîæèòåëüíûõ è îòðèöàòåëüíûõ êâàäðàòîâ ïðè ïðèâå-
äåíèè ñîîòâåòñòâóþùåé êâàäðàòè÷íîé îðìû íàä R ê äèàãîíàëü-
íîìó âèäó.
11.4.1. (a) σ(S ) = σ(S
4 1 × S 3 ) = σ(S 2 × S 2 ) = σ((S 1 )4 ) = 0.
(b) σ(CP 2 ) = 1.
11.4.2. Ïóñòü M è N îðèåíòèðîâàííûå 4k-ìíîãîîáðàçèÿ.
(a) Àääèòèâíîñòü: σ(M ⊔ N ) = σ(M #N ) = σ(M ) + σ(N ).
(b) Ìóëüòèïëèêàòèâíîñòü : σ(M × N ) = σ(M )σ(N ).
( )* Àääèòèâíîñòü Íîâèêîâàîõëèíà : σ(M ∪∂M =∂N N ) = σ(M ) +
+ σ(N ) [Pr14′ ℄.
(d) Ñâîáîäíàÿ ÷àñòü ãðóïïû H2k (N ; Z) ðàçëàãàåòñÿ â ñóììó äâóõ
èçîìîðíûõ ïðÿìûõ ñëàãàåìûõ, íà êàæäîì èç êîòîðûõ îðìà ïå-
ðåñå÷åíèé òðèâèàëüíà, òîãäà è òîëüêî òîãäà, êîãäà σ(N ) = 0.
 ñëåäóþùèõ äâóõ çàäà÷àõ ïðîïóñêàþòñÿ êîýèöèåíòû Z, ðàñ-
ñìàòðèâàþòñÿ ãîìîìîðèçìû
∂ i
Hs+1 (M, ∂) −
→ Hs (∂M ) −
→ Hs (M )
266 11. Äàëüíåéøèå ïðèìåíåíèÿ ãîìîëîãèèé
11.4.3.
Äëÿ ëþáîãî îðèåíòèðîâàííîãî 2s-ìåðíîãî ìíîãîîáðà-
çèÿ M ñ êðàåì è îðìû ïåðåñå÷åíèé ∩ : Hs (M ) × Hs (M ) → Z âû-
ïîëíåíû ðàâåíñòâà
(a) ix ∩ z = 0 ïðè ëþáûõ x ∈ Hs (∂M ) è z ∈ Hs (M );
(b) im i = Hs (M )⊥ .
è
j ex ∂
Hs (A ∪ B) −
→ Hs (A ∪ B, B) −→ Hs (A, A ∩ B) −
→ Hs−1 (A ∩ B)
p! ∂C
Hs+n−m+1 (N ) / Hs+1 (ON, ∂) ex / Hs+1 (S m , CN ) N /3 Hs (CN )
◗◗◗ ❢❢❢❢❢
◗◗◗
◗◗◗ ❢ ❢❢❢❢❢❢❢❢
◗ ∂ ❢❢❢❢i
(p|∂CN )! ◗◗◗( ❢❢❢❢❢ ∗
❢❢❢❢❢
Hs (∂CN )
PD ∼
=
H2 (T ; Z) ∼
= H2 (∆) ∼
=Z H1 (∆; Z) = 0
ðà.
30 Äðóãîå äîêàçàòåëüñòâî: π (∂T ) ∼ π (∂T ) ∼ Z 6= 0 èç òî÷íîñòè ïîñëåäîâà-
1 2 = 3 4 = 2
òåëüíîñòè ðàññëîåíèÿ S n−1 → ∂Tn → S n , ñì. óòâåðæäåíèå 14.5.6.
11.9. Ïðèìåð Ìèëíîðà íåñòàíäàðòíîé ñåðû 275
(d) H1 (∂V ; Z) 6= 0.
(e) H1 (∂V ; Z) ∼
= Z3 .
Ïóíêò (d) ïîêàçûâàåò, ÷òî ∂V íå ãîäèòñÿ äëÿ òåîðåìû 11.9.1 (a)
è íåîáõîäèìî óñëîæíåíèå êîíñòðóêöèè.
Äîêàçàòåëüñòâî òåîðåìû .
11.9.1 (a) àññìîòðèì ãðà ñ âåðøè-
íàìè 1, . . . , 8 è ðåáðàìè 12, 23, 34, 45, 56, 67 è 58 (ýòîò ãðà ÷àñòî
îáîçíà÷àåòñÿ E8 ). Äëÿ êàæäîé âåðøèíû a ãðàà
• âîçüìåì ñâîé ýêçåìïëÿð pa : T a → S 2 îòîáðàæåíèÿ p : T → S 2 è
• âûáåðåì ñòîëüêî íåïåðåñåêàþùèõñÿ äèñêîâ Dab 2 ⊂ S 2 , ñêîëüêî
âåðøèí b ñîåäèíåíî ñ a.
Äëÿ êàæäîãî ðåáðà ab âîçüìåì äèåîìîðèçì
∂A a2 = (a1 . . . ar )2 è ∂A a3 = (a1 . . . ar )3 6= 0 ∈ H0 (N ).
x ∩N y = ∂A X ∩N ∂A Y = X ∩A iA ∂A Y = X ∩ 0 = 0.
11.7.5.
(d) Äëÿ ∂CN ýòî ñëåäóåò èç òî÷íîñòè ïîñëåäîâàòåëüíîñòè
ïàðû (S m , CN ). Èëè èç óòâåðæäåíèÿ 11.6.5, â êîòîðîì â êà÷åñòâå N
âçÿòî CN .
11.8.2. (a) Äîêàæåì, ÷òî ρ ◦ βs = 0. àññìîòðèì öèêë α, ïðåä-
2
ñòàâëÿþùèé íåêîòîðûé ýëåìåíò ãðóïïû i hZ). Òîãäà
h Hs+1 (X; i ∂α = 0.
] 1 ] 1
Âîçüìåì ρ2 [α] := α. Òîãäà βs (ρ2 [α]) = ∂ ρ2 [α] = ∂α = 0.
2 2
Òåïåðü äîêàæåì, ÷òî åñëè βs (a) = 0, òî a = ρ2 (α) häëÿ iíåêî-
1
òîðîãî öèêëà α. Åñëè βs (a) = 0, òî ïî îïðåäåëåíèþ a = 0.
∂e
2
1
Çíà÷èò, ∂e
a = ∂α′ äëÿ íåêîòîðîé öåïè α′ . Îòñþäà ∂e
a = 2∂α′
2
Îòâåòû, óêàçàíèÿ è ðåøåíèÿ ê íåêîòîðûì çàäà÷àì 279
è ∂(e
a − 2α′ ) = 0. Ïîýòîìó α := e
a − 2α′ ÿâëÿåòñÿ öèêëîì. Ïðè ýòîì
a = ρ2 (e a − 2α ).
a) = ρ2 (e ′
(d) Èñïîëüçóéòå ï. ( ).
(e) Òàê êàê H2 (∂W ; Z2 ) = 0, òî òðîéêè ëèíåéíî íåçàâèñèìûõ êà-
ñàòåëüíûõ âåêòîðîâ íà 3-îñòîâàõ íåêîòîðûõ òðèàíãóëÿöèé ìíîãîîá-
ðàçèé W è X (òðèàíãóëÿöèè ñîãëàñîâàíû íà ∂W ) ¾ñîâìåùàþòñÿ¿
íà 2-îñòîâå ïåðåñå÷åíèÿ ∂W .
11.9.8. Îòâåòû : (a, b) äà, ( ) íåò.
(a) Ïî çàäà÷å 11.9.3 (a) èìååì π1 (T ) ∼
= π1 (∆). (Ñð. ñî âòîðûì ñïî-
ñîáîì ðåøåíèÿ çàäà÷è 6.5.1 (b).) Òàê êàê π1 (∆) = π1 (S 4 ) = 0, òî ëþ-
áîå îòîáðàæåíèå S 1 → ∂T ïðîäîëæàåòñÿ äî îòîáðàæåíèÿ D 2 → T .
Òàê êàê 2 + 4 < 8, òî îòîáðàæåíèå D 2 → T ìîæíî èçìåíèòü ìà-
ëûì øåâåëåíèåì, ÷òîáû îíî ïåðåñòàëî ïåðåñåêàòü äèàãîíàëü ∆.
Îòîáðàæåíèå D 2 → T , íå ïåðåñåêàþùåå ∆, ãîìîòîïíî îòîáðàæåíèþ
D 2 → ∂T .
Çàìå÷àíèå. Òî æå ðåøåíèå, íî áîëåå ñëîæíî èçëîæåííîå èñ-
ïîëüçîâàíèå ïîñëåäîâàòåëüíîñòè ðàññëîåíèÿ 14.5.6.
(b, , d) åøåíèå àíàëîãè÷íî ï. (a).
Çàìå÷àíèå. Ñóùåñòâóåò îòîáðàæåíèå S 3 → ∂T4 , íå ãîìîòîïíîå
îòîáðàæåíèþ â òî÷êó. Ïî òåîðåìå óðåâè÷à 14.7.6 ýòî âûòåêàåò èç
ï. (a, b) è óòâåðæäåíèÿ 11.9.3 (d), èëè èç òî÷íîñòè ïîñëåäîâàòåëü-
íîñòè ðàññëîåíèÿ 14.5.6.
12. Íåïîãðóæàåìîñòü è íåâëîæèìîñòü
It startled the well informed by being a new
and fantasti idea they had never en ountered.
It startled the ignorant by being an old and
familiar idea they never thought to have seen
revived.
G. K. Chesterton. The Man Who Knew Too Mu h32
æàåìî â , òî ÷åòíî.
m
Rm−1 33
n
32 Ëþäåé ïðîñâåùåííûõ åãî ìûñëè ïîðàæàëè íîâèçíîé è àíòàñòè÷íîñòüþ.
Ëþäè íåâåæåñòâåííûå óçíàâàëè òî, ÷òî äàâíî äóìàëè ñàìè, íî íèêîãäà íå íà-
äåÿëèñü óñëûøàòü. ( . Ê. ×åñòåðòîí. Áåëàÿ âîðîíà. Ïåð. Ê. Æèõàðåâîé.)
33 Çíà÷èò, i ÷åòíî ïðè ëþáîì i = m, m + 1, . . . , 2n, è äàæå i ÷åòíî ïðè
n s
ëþáûõ s = 1, 2, . . . , n è i = m, m + 1, . . . , 2s; ïîñëåäíåå âûòåêàåò èç ïðåäûäóùå-
ãî è òîæäåñòâà Ïàñêàëÿ, à ïîýòîìó íå äàåò íîâîé èíîðìàöèè.
282 12. Íåïîãðóæàåìîñòü è íåâëîæèìîñòü
Åñëè
(b) äâîè÷íîå ðàçëîæåíèå ÷èñëà n,
n = 2n1 + . . . + 2nk
òî RP 2n1
íå ïîãðóæàåìî â R2n−k−1 è íå âëîæèìî
n
× . . . × RP 2 k
â .
R2n−k
Åñëè
( ) ïîãðóæàåìî â
RP n , òî ëèáî n + 1, ëèáî n + 2
Rn+1
ÿâëÿåòñÿ ñòåïåíüþ äâîéêè.
Ýòî âûòåêàåò èç ëåììû Óèòíè î ïðåïÿòñòâèè 12.2.3 (b) âìåñòå
ñ óòâåðæäåíèåì 12.2.4 (d). Äëÿ ÷àñòè (b) íóæíî òàêæå óòâåðæäå-
íèå 12.2.4 ( ), à äëÿ ÷àñòè ( ) óòâåðæäåíèå 12.3.2.
èïîòåçà 12.1.3 (Ìàññè). Îáîçíà÷èì ÷åðåç α(n) êîëè÷åñòâî
åäèíèö â äâîè÷íîé çàïèñè ÷èñëà n. Òîãäà ëþáîå n-ìåðíîå ìíîãîîá-
ðàçèå ïîãðóæàåìî34 â R2n−α(n) è âëîæèìî â R2n+1−α(n) .
Òåîðåìà 12.1.4. Ïóñòü N ìíîãîîáðàçèå ðàçìåðíîñòè n. Åñ-
ëè ëèáî n íå åñòü ñòåïåíü äâîéêè, ëèáî N îðèåíòèðóåìî, ëèáî
N íåçàìêíóòî, òî N âëîæèìî â R2n−1 è (ïðè n > 3) ïîãðóæàåìî
â R2n−2 .
Cì. ññûëêè ïîñëå [Sk08, Theorem 2.4 (a)℄. Èç äîêàçàòåëüñòâà òåî-
ðåìû 12.1.4 ìû íàìåòèì òîëüêî áîëåå ïðîñòóþ ÷àñòü äîêàçàòåëü-
ñòâî òåîðåìû Ìàññè 12.7.1. Áîëåå ñëîæíàÿ ÷àñòü ÷àñòè÷íîå îáðà-
ùåíèå ëåììû Óèòíè î ïðåïÿòñòâèè 12.2.3 (b) [Sk08, Theorem 2.12℄.
12.1.5. (a) Ïðîèçâåäåíèå ëþáûõ k 2-ìíîãîîáðàçèé ïîãðóæàåìî
â (è âëîæèìî â R3k+1 ).
R3k
(b) (RP 2 )k íå ïîãðóæàåìî â R3k−1 (è íå âëîæèìî â R3k ).
( ) Íàéäèòå íàèìåíüøóþ ðàçìåðíîñòü åâêëèäîâà ïðîñòðàíñòâà,
â êîòîðîå ïîãðóæàåìî (âëîæèìî) äàííîå ïðîèçâåäåíèå 2-ìíîãîîá-
ðàçèé.
(d) CP 2 íå ïîãðóæàåìî â R5 (è íå âëîæèìî â R6 ).
Ýòî âûòåêàåò èç ëåììû Óèòíè î ïðåïÿòñòâèè 12.2.3 (b) [ARS01℄.
Äëÿ ï. (a), (b) è ( ) íóæíû òàêæå çàäà÷è 9.3.2 ( ) è 12.2.4 (a), à äëÿ
ï. (d) óòâåðæäåíèÿ 9.8.1 (f) è 9.8.3 (f). Äëÿ ï. (b) íóæíû òàêæå
óòâåðæäåíèÿ 9.8.1 (g) è 9.8.3 (e′ ) (÷àñòíûå ñëó÷àè îðìóëû Óèò-
íèÂó 9.9.5 (b)). Ñì. òàêæå óòâåðæäåíèå 11.1.1 (e).
w 1 (N ) = w1 , w2 (N ) = w2 + w12 , w3 (N ) = w2 + w13 ,
w 4 (N ) = w4 + w22 + w2 w12 + w14 .
0 = x3 (f ) = w2 w1 (f ) + w1 w2 (f ) = w13 ∈ Z2 .
(ω2 ∩ ω1 ) ∪ (ω1 ∩ ω 2 ).
0 = x3 (f ) = w3 + w2 w1 (f ) + w1 w2 (f ) = w3 + w13 ∈ Hn−3 (N ).
0 = x4 (f ) = w4 + w3 w1 (f ) + w2 w2 (f ) + w1 w3 (f ) =
= w4 + w3 w1 + w2 (w22 + w1 ) + w1 (w3 + w13 ).
Èç ðàâåíñòâà 1 = w(f ) ∩ w(N ) è ëåììû Óèòíè î ïðåïÿòñòâèè 12.2.3 (a)
ñëåäóåò, ÷òî w(f ) = w(N ) (â ÷àñòíîñòè, êëàññû wk (f ) íå çàâèñÿò
îò f ). Çíà÷èò, w k (N ) = 0 ïðè k > m − n.
12.5.1.
Ïóñòü N çàìêíóòîå n-ìíîãîîáðàçèå.35
(a) Åñëè ñóùåñòâóåò ïîãðóæåíèå N → Rm+k , äëÿ êîòîðîãî èìå-
åòñÿ k ëèíåéíî íåçàâèñèìûõ íîðìàëüíûõ âåêòîðíûõ ïîëåé, òî
wm−n+1 (N ) = 0.
(b) Ñïðàâåäëèâî ðàâåíñòâî wn (N ) = 0.
Íàáðîñîê äîêàçàòåëüñòâà íåâëîæèìîñòè â ëåììå Óèòíè î ïðå-
ïÿòñòâèè 12.2.3 (b). Ýòî îáîáùåíèå ï. 6.8, ñì. äåòàëè â [Sk08, 2℄,
ñð. ñî ñëó÷àåì m = 2n, ðàññìîòðåííûì â 4. Ïóñòü f : N → Rm
îòîáðàæåíèå îáùåãî ïîëîæåíèÿ (PL èëè ãëàäêîå). Òîãäà ìíîæå-
ñòâî Σ(f ) åãî ñàìîïåðåñå÷åíèé ÿâëÿåòñÿ íîñèòåëåì öèêëà (ñ êîý-
èöèåíòàìè â Z2 ). îìîëîãè÷åñêèé êëàññ [Σ(f )] ∈ H2n−m (N ) ýòîãî
öèêëà íå çàâèñèò îò f . Åñëè f âëîæåíèå, òî Σ(f ) = ∅ è [Σ(f )] = 0.
Ìîæíî äîêàçàòü, ÷òî [Σ(f )] = w m−n (N ).
w2 (M ) ∩ N = w2 + w12 ∈ Hn−2 (N ).
w3 ∩ [F ] = w3 (F ) + w2 (F )w1 (N, F ) = 0.
k
P m − i − 1
(b) Sqk wm = wi ∩ wm+k−i [FF89, 30.2.A℄.
i=0
k−i
Ñì. äðóãèå îðìóëû Âó â [MS74, Problems 11.E,F℄.
Íàáðîñîê äîêàçàòåëüñòâà îðìóëû Âó 12.7.5 (a) Èìååì .
k
X k
X
wk−s ∩N Sqs x = i∗ (w k−s ∩ x) ∩F ws (N, F ) = i∗ wk (F ) = 0.
s=0 s=0
294 12. Íåïîãðóæàåìîñòü è íåâëîæèìîñòü
[a/2]
X b − 1 − j
Sqa Sqb = Sqa+b−j Sqj .
a − 2j
j=0
Çäåñü ïåðâîå ðàâåíñòâî âåðíî ââèäó óòâåðæäåíèé 9.8.1 (g) è 9.8.3 (e′ ),
âòîðîå ðàâåíñòâî î÷åâèäíî, à ¾íåðàâåíñòâî¿ ñëåäóåò èç òîãî, ÷òî
(a × a) ∩ (a × a) = 1 ∈ Z2 6= 0.
(b äëÿ k = 3) Îáîçíà÷èì N := (RP 2 )3 è a := [RP 1 ] ∈ H1 (RP 2 ).
Íåïîãðóæàåìîñòü âûòåêàåò èç óòâåðæäåíèÿ 12.2.2 (b) è òîãî, ÷òî
Çäåñü
• êâàäðàòíûå ñêîáêè îáîçíà÷àþò ¾ñèììåòðèçàöèþ¿ âûðàæåíèÿ;
• ïåðâîå ðàâåíñòâî âåðíî, ïîñêîëüêó w(N ) = (1 + a + a2 )3 ïî
òåîðåìå ÓèòíèÂó 9.9.5 (b);
• âòîðîå ðàâåíñòâî î÷åâèäíî;
• íåðàâåíñòâî ñëåäóåò èç (a × a × a) ∩ (a × a × a) = 1 ∈ Z2 6= 0.
13. àññëîåíèÿ è èõ ïðèìåíåíèÿ
 ýòîì ïàðàãðàå ìû ââåäåì íåêîòîðûå îáúåêòû, âàæíûå äëÿ
ìàòåìàòèêè è åå ïðèëîæåíèé ê èçèêå. (Ýòè îáúåêòû áëèçêè
ê óòîëùåíèÿì , ñì. ï. 1.6 è [Sk, ïàðàãðà ¾Òðåõìåðíûå óòîëùå-
íèÿ äâóìåðíûõ êîìïëåêñîâ¿℄.)
C A A D C A A D
B B B B
A A
C D C D
B B
èñ. 13.1.2. Ñêëåéêà ïðèçì
Ïîëîæèì
[
E := Ui × R n è p[x, s] = x.
{(x,s)=(x,ϕij s)}x∈Ui ∩Uj
(b) Γ(pr1 : S1 → S 1 ) = Z.
× S1
( ) Äëÿ çàìêíóòîãî îðèåíòèðóåìîãî 2-ìíîãîîáðàçèÿ N âûïîë-
íÿåòñÿ ðàâåíñòâî
Γ(pr1 : N × S 1 → N ) = H1 (N ; Z).
îðìóëîé ( 1
[(a, 2u)], 06u6 ,
q[(a, u)] = 2
1
[(t(a), 2u − 1)], 6 u 6 1.
2
308 13. àññëîåíèÿ è èõ ïðèìåíåíèÿ
P ∗ × S1 S1
Q (t(x), 1)
q pr2
(x, 0) f
π f′ f
′′
pr1
t(x)
p
∗ x
p(x) = p(t(x))
P P∗
xx
xx000000 xx
xx000000
f g f1 f2 f3
Äîêàçàòåëüñòâà ðàâåíñòâ [f ][f ] = [f ][f ] = e è ([f1 ][f2 ])[f3 ] = [f1 ]([f2 ][f3 ])
ÿñíû èç ðèñ. 14.1.1.
Ôóíäàìåíòàëüíûå ãðóïïû àêòè÷åñêè íàéäåíû äëÿ îêðóæíî-
ñòè S 1 , ñåðû S n , ïðîåêòèâíîé ïëîñêîñòè RP 2 è RP 3 ∼ = SO3 (óòâåð-
æäåíèÿ 3.10.2, 3.1.6 (a), 8.1.5 (a) è 9.2.3 ( , d)).
14.1.2. Íàéäèòå óíäàìåíòàëüíûå ãðóïïû ñëåäóþùèõ èãóð
(ñì. çàìå÷àíèå ïîñëå çàäà÷è 3.10.4):
(a) S 1 × I ; (b) ëåíòû ̼áèóñà; ( ) òîðà S 1 × S 1 ;
(d) ¾âîñüìåðêè¿ S 1 ∨ S 1 ;
(e) áóòûëêè Êëåéíà ñ äûðêîé; (f) áóòûëêè Êëåéíà; (g) L(p, q);
(h) äîïîëíåíèÿ â R3 äî òðèâèàëüíîãî óçëà;
(i) äîïîëíåíèÿ â R3 äî òðèëèñòíèêà.
Äëÿ ðåøåíèÿ íåêîòîðûõ ïóíêòîâ ýòîé çàäà÷è íóæíû ñëåäóþùèå
ïîíÿòèÿ è ðåçóëüòàòû.
14.1.3. Äëÿ ïðîèçâîëüíûõ ïîäìíîæåñòâ X, Y ⊂ Rm ñóùåñòâóåò
èçîìîðèçì π1 (X × Y ) → π1 (X) × π1 (Y ).
Îòîáðàæåíèå ϕ : X → Y ìåæäó ïîäìíîæåñòâàìè X, Y ⊂ Rm èí-
äóöèðóåò îòîáðàæåíèå
ϕ∗ : π1 (X, x0 ) → π1 (Y, ϕ(x0 )),
314 14. îìîòîïè÷åñêàÿ êëàññèèêàöèÿ îòîáðàæåíèé
14.2. Íàêðûòèÿ
Îòîáðàæåíèå p : Xe → X ìåæäó ïîäìíîæåñòâàìè â Rm íàçû-
âàåòñÿ íàêðûòèåì , åñëè äëÿ ëþáîé òî÷êè x ∈ X ñóùåñòâóþò åå
îêðåñòíîñòü Ox, ïîäìíîæåñòâî F ìíîæåñòâà Z ⊂ R è ãîìåîìîðèçì
h : p−1 Ox → Ox × F , äëÿ êîòîðûõ prOx ◦ h = p.
14.2.1. Ïóñòü p : Xe → X íàêðûòèå è X,
e X ñâÿçíû.
(a) Äëÿ ëþáûõ ïóòè s : [0, 1] → X è òî÷êè x e∈X e , óäîâëåòâî-
ðÿþùèõ óñëîâèþ p(e e
x) = s(0), ñóùåñòâóåò òàêîé ïóòü se: [0, 1] → X
ïîäíÿòèå
( ïóòè s), ÷òî se(0) = x
e è p ◦ se = s.
14.2. Íàêðûòèÿ 315
π1 (U1 ∪ U2 ) íå îáÿçàòåëüíî.)
14.3.3. Ïóñòü X òåëî ñâÿçíîãî ãèïåðãðàà. Îïðåäåëèì ãîìî-
ìîðèçì óðåâè÷à h : π (X) → H (X; Z) îðìóëîé h[f : S → X] :=
1 1
1
:= f∗ [S 1 ].
Âîò ýêâèâàëåíòíîå îïðåäåëåíèå. Çàìåíèì îòîáðàæåíèå
f : S → X íà ãîìîòîïíîå ñèìïëèöèàëüíîå îòîáðàæåíèå f ′ : S 1 → X
1
s0 X
g
s0
f
X
g
n mod 8 0 1 2 3 4 5 6 7
πn (SO) Z2 Z2 0 Z 0 0 0 Z
14.5.9. Ìíîãîîáðàçèå Øòèåëÿ V m,n îïðåäåëåíî â ï. 9.9.
(a) Èìåþòñÿ èçîìîðèçìû Vm,1 = S m−1 è Vm,m−1 ∼
∼ = Vm,m ∼= SOm .
(b) Ïðèäóìàéòå ðàññëîåíèå Ñåððà Vm,n → Vm+1,n+1 → S m .
( ) îìîìîðèçì âêëþ÷åíèÿ (ïîëó÷åííîãî äîáàâëåíèåì îäíî-
ãî âåêòîðà) πk (Vm,n ) → πk (Vm+1,n+1 ) ÿâëÿåòñÿ èçîìîðèçìîì ïðè
14.6. îìîòîïè÷åñêèå ãðóïïû ñåð 321
c f ∨g
→ S 1 × S 1 ∨ S 2 −−→ X
S1 × S1 −
14.8. Ïîñëåäîâàòåëüíîñòü âëîæåíèÿ* 325
èíúåêòèâíî.
( ) S 1 × S 1 íå ðåòðàãèðóåòñÿ íà S 1 ∨ S 1 .
(d) S 2 × S 2 íå ðåòðàãèðóåòñÿ íà S 2 ∨ S 2 .
Óêàçàíèÿ. Ïðèâåäåì íàáðîñîê äîêàçàòåëüñòâà ï. (a) äëÿ X = Y = S 1 .
àññìîòðèì êîìïîçèöèþ
c Σ pr ∨Σ pr
Σ(S 1 × S 1 ) −
→ Σ(S 1 × S 1 ) ∨ Σ(S 1 × S 1 ) −−−−
1 2
−−−−→
Σ pr ∨Σ pr
1
−−−− 2
−−−−→ Σ(S 1 × ∗) ∨ Σ(∗ × S 1 ) = Σ(S 1 ∨ S 1 ),
ëÿåòñÿ áèåêöèåé.
(b) Ëþáîé ãîìîëîãè÷åñêèé êëàññ ïî ìîäóëþ 2 êîðàçìåðíîñòè 1
ðåàëèçóåòñÿ çàìêíóòûì ïîäìíîãîîáðàçèåì, è ãîìîëîãè÷íîñòü ïî
ìîäóëþ 2 ìåæäó çàìêíóòûìè ïîäìíîãîîáðàçèÿìè êîðàçìåðíîñòè 1
ðåàëèçóåòñÿ ïîäìíîãîîáðàçèåì ñ êðàåì ìíîãîîáðàçèÿ N × I .
( ) Ïðè ëþáîì n 6 4 ëþáîé ãîìîëîãè÷åñêèé êëàññ ïî ìîäóëþ 2
ðåàëèçóåòñÿ çàìêíóòûì ïîäìíîãîîáðàçèåì.
(d)* Äëÿ n = 4 ñóùåñòâóþò ìíîãîîáðàçèå N è ãîìîëîãè÷íîñòü
ïî ìîäóëþ 2 ìåæäó çàìêíóòûìè 2-ïîäìíîãîîáðàçèÿìè, êîòîðàÿ íå
ðåàëèçóåòñÿ 3-ïîäìíîãîîáðàçèåì â N × I [Ki89, II.1℄.
14.9.4. Ïóñòü N çàìêíóòîå îðèåíòèðóåìîå n-ìíîãîîáðàçèå.
(a) Îòîáðàæåíèå
[N ; CP n ] → Hn−2 (N ; Z), [f ] 7→ [f −1 (CP n−1 )],
ñòàâÿùåå â ñîîòâåòñòâèå ãîìîòîïè÷åñêîìó êëàññó ãëàäêîãî îòîáðà-
æåíèÿ f : N → CP n , òðàíñâåðñàëüíîãî
âäîëü CP n−1 ⊂ CP n , ãîìîëî-
ãè÷åñêèé êëàññ ïðîîáðàçà f −1 (CP n−1 ), êîððåêòíî îïðåäåëåíî è ÿâ-
ëÿåòñÿ áèåêöèåé.
328 14. îìîòîïè÷åñêàÿ êëàññèèêàöèÿ îòîáðàæåíèé
Ïðîòèâîðå÷èå.
14.3.7.
Âîçüìåì ïðîèçâîëüíóþ òðèàíãóëÿöèþ 3-ìíîãîîáðàçèÿ N .
Îáúåäèíåíèåì åå òåòðàýäðîâ âäîëü äåðåâà ìîæíî ïîëó÷èòü êëåòî÷-
íûé êîìïëåêñ, ïðåäñòàâëÿþùèé ìíîãîîáðàçèå N , â êîòîðîì ðîâíî
îäíà òðåõìåðíàÿ êëåòêà. ¾Ñòÿãèâàíèåì åãî ðåáåð¿ ìîæíî ïîëó÷èòü
êëåòî÷íûé êîìïëåêñ, ïðåäñòàâëÿþùèé ìíîãîîáðàçèå N , â êîòîðîì
ðîâíî îäíà âåðøèíà è ðîâíî îäíà òðåõìåðíàÿ êëåòêà. Ïîñêîëüêó
è ïðè îáúåäèíåíèè òåòðàýäðîâ, è ïðè ñòÿãèâàíèè ðåáåð ýéëåðîâà
õàðàêòåðèñòèêà ñîõðàíÿåòñÿ, â ïîëó÷åííîì êîìïëåêñå ÷èñëî îäíî-
ìåðíûõ êëåòîê ðàâíî ÷èñëó äâóìåðíûõ.
Áîëåå ïîäðîáíûå óêàçàíèÿ è ðåøåíèÿ ê çàäà÷àì è òåîðåìàì èç
ï. 14.114.3 ñì., íàïðèìåð, â [Pr14, 2, 11℄.
14.5.9.
( ) Óòâåðæäåíèå ñëåäóåò èç òî÷íîé ïîñëåäîâàòåëüíîñòè
ðàññëîåíèÿ â ï. (b).
(d) Èíäóêöèÿ ïî n.
(f, g) Óòâåðæäåíèÿ ñëåäóþò èç òî÷íîé ïîñëåäîâàòåëüíîñòè ðàñ-
ñëîåíèÿ â ï. (b) äëÿ n = 1 è ï. (e).
14.5.10. (b) Óòâåðæäåíèå ñëåäóåò èç òî÷íîé ïîñëåäîâàòåëüíî-
ñòè ðàññëîåíèÿ â ï. (a) è çàäà÷ 14.5.9 (e, g).
14.6.3. (b) Ââèäó îáùíîñòè ïîëîæåíèÿ ëþáîå îñíàùåííîå çà-
öåïëåíèå â S 4 îñíàùåííî êîáîðäàíòíî òàêîìó, íîñèòåëåì êîòîðîãî
ÿâëÿåòñÿ ñòàíäàðòíàÿ îêðóæíîñòü. Çíà÷èò, ãîìîìîðèçì J1,3 ñþðú-
åêòèâåí.
( ) Âîçüìåì äâóìåðíûé îñíàùåííûé êîáîðäèçì â S 4 × I ìåæäó
êàê-òî îñíàùåííûìè ñòàíäàðòíûìè îêðóæíîñòÿìè. Ââèäó îáùíî-
ñòè ïîëîæåíèÿ òðèâèàëüíûå
(íîðìàëüíûå) îñíàùåíèÿ íà åãî êðàÿõ
ïðîäîëæàþòñÿ äî îñíàùåíèÿ íà âñåì êîáîðäèçìå. Ïîýòîìó çàäàí-
íîå îñíàùåíèå êîáîðäèçìà ìîæíî ðàññìàòðèâàòü êàê îòîáðàæåíèå
330 14. îìîòîïè÷åñêàÿ êëàññèèêàöèÿ îòîáðàæåíèé
íîñòüþ äî ãîìîòîïèè.
Îïðåäåëåíèå áèåêöèé Ω èç òåîðåìû ÑìåéëàÕèðøà 15.3.6. Áè-
åêöèÿ èç ï. (b) îïðåäåëÿåòñÿ îðìóëîé Ω(f ) := df . Äëÿ îïðåäå-
ëåíèÿ áèåêöèè èç ï. (a) âîçüìåì ñåìåéñòâî ëèíåéíûõ èçîìîðèç-
ìîâ ξx : Rn → Tx N , íåïðåðûâíî çàâèñÿùèõ îò x ∈ N (ñì. îïðåäåëå-
íèå Tx N â ï. 4.5). Îïðåäåëèì îòîáðàæåíèå Ω îðìóëîé Ω[f ] := [ωf ],
ãäå ωf (x) := (df ◦ ξx : Rn → Rm ).
Èç òåîðåìû ÑìåéëàÕèðøà 15.3.6 (b) âûòåêàåò, ÷òî N ïîãðóæà-
åìî â Rm òîãäà è òîëüêî òîãäà, êîãäà ñóùåñòâóåò ëèíåéíûé ìîíî-
ìîðèçì T N → Rm , èëè, ÷òî ýêâèâàëåíòíî, êîãäà ñóùåñòâóåò âåê-
15.4. Íàáðîñîê äîêàçàòåëüñòâà òåîðåìû Êåðâåðà 339
e
h : SN → S m−1
hx − hy
îðìóëîé e
h(x, y) = . Ýòî îòîáðàæåíèå ýêâèâàðèàíòíî îòíî-
|hx − hy|
ñèòåëüíî èíâîëþöèè (x, y) 7→ (y, x) íà SN è àíòèïîäàëüíîé èíâî-
ëþöèè íà S m−1 .
15.4.1. (a) Åñëè ïîãðóæåíèÿ h , h : N → R
0 1 ìíîãîîáðàçèÿ N
m
f f
ðåãóëÿðíî ãîìîòîïíû, òî h0 ≃eq h1 .
f0 ≃eq f
(b) Åñëè h0 , h1 : S n → Rm âëîæåíèÿ, òî h h1 .
Òåîðåìà 15.4.2 (ÕåëèãåðÕèðø [HH62℄; ñð. [Sk02, 4℄) .
Ïóñòü N ìíîãîîáðàçèå ðàçìåðíîñòè n.
(a) Åñëè ñóùåñòâóåò ýêâèâàðèàíòíîå îòîáðàæåíèå Φ : SN → S m−1
è 2m > 3n + 1, òî ñóùåñòâóåò ïîãðóæåíèå h : N → Rm, äëÿ êîòî-
ðîãî eh ≃eq Φ.
(b) Åñëè N ìíîãîîáðàçèå, h0 , h1 : N → Rm ïîãðóæåíèÿ, f f1
h0 ≃eq h
è 2m > 3n + 2, òî h0 è h1 ðåãóëÿðíî ãîìîòîïíû.
Äëÿ äîêàçàòåëüñòâà òåîðåìû 15.4.2 ââåäåì ñëåäóþùåå ïîíÿòèå.
Ýêâèâàðèàíòíîå ìíîãîîáðàçèå Øòèåëÿ eq
Vm,n ïðîñòðàíñòâî ýê-
âèâàðèàíòíûõ (îòíîñèòåëüíî àíòèïîäàëüíûõ èíâîëþöèé) îòîáðà-
æåíèé S n−1 → S m−1 .
15.4.3.(a) V eq =
∼ S m−1 .
m,1
eq
(b) Ñóùåñòâóåò áèåêöèÿ ìåæäó ãðóïïîé πn (Vm,n ) è ìíîæåñòâîì
ýêâèâàðèàíòíûõ îòîáðàæåíèé SS n → S m−1 ñ òî÷íîñòüþ äî ýêâèâà-
ðèàíòíîé ãîìîòîïèè.
340 15. Êëàññèèêàöèÿ ïîãðóæåíèé è âëîæåíèé
ϕ1 ϕ2 ϕ3 ϕ4 ϕ5
B1 / B2 / B3 / B4 / B5
r eq r eq
S m−n → Vmn −
→ Vm,n−1 è Ωn−1 S m−1 → Vmn
eq
−−→ Vm,n−1 ,
15.4. Íàáðîñîê äîêàçàòåëüñòâà òåîðåìû Êåðâåðà 341
eq
ãäå r è r eq ñóæåíèÿ. ßñíî, ÷òî r eq in = in−1 r . Âêëþ÷åíèå i : Vm,n → Vm,n
íà ñëîÿõ ñóæåíèé èíäóöèðóåò êîìïîçèöèþ
Σn−1 ∼
=
πk (S m−n ) −−−→ πk+n−1 (S m−1 ) −
→ πk (Ωn−1 S m−1 ).
Ñâîéñòâî e
h ≃eq Φ ïîëó÷àåòñÿ óòî÷íåíèåì ýòîãî ðàññóæäåíèÿ.
×àñòü (b) äîêàçûâàåòñÿ àíàëîãè÷íî, ïîñêîëüêó ïîëíûå ïðåïÿò-
ñòâèÿ ê äåîðìèðîâàíèþ ýêâèâàðèàíòíîé ãîìîòîïèè â ãîìîòîïèþ
eq
ëèíåéíûõ ìîíîìîðèçìîâ ëåæàò â ãðóïïàõ Hn−i (N, ∂; πi (Vmn , Vmn )),
êîòîðûå òðèâèàëüíû ïðè 2m > 3n + 2.
Cf := S m − Of (N ) ∼ S m − f (N ),
Cf ∼ h−1 (S 2 ) ∼
= S 2 × S 3 6∼ S 2 ∨ S 3 ∨ S 5 ∼ Cf0 ,
π3 (Cf ) ∼
= π4 (cyl h, Cf ) ∼
= H4 (cyl h, Cf ) ∼
= H4 (cyl h)/h∗ H4 (Cf ) ∼
= Zd(κ(f )) .
Çäåñü
• ïåðâûé è òðåòèé èçîìîðèçìû ïîëó÷àþòñÿ èç ïîñëåäîâàòåëü-
íîñòåé ïàð;
• âòîðîé èçîìîðèçì âûïîëíåí ïî îòíîñèòåëüíîé òåîðåìå ó-
ðåâè÷à 14.7.7;
Îòâåòû, óêàçàíèÿ è ðåøåíèÿ ê íåêîòîðûì çàäà÷àì 351
16.1. Ââåäåíèå
 ýòîì ïàðàãðàå ãîìîëîãèè, óìíîæåíèå ïåðåñå÷åíèÿ è õà-
ðàêòåðèñòè÷åñêèå êëàññû ïðèìåíÿþòñÿ ê ïðîáëåìå ãîìåîìîðèç-
ìà (ï. 11.1).  êà÷åñòâå ïåðâîãî øàãà ê ýòîé òðóäíîé ïðîáëåìå
ìîæíî êëàññèèöèðîâàòü ìíîãîîáðàçèÿ ñ òî÷íîñòüþ äî êîáîðäèçìà
(ñì. îïðåäåëåíèå â êîíöå ï. 16.2). Êðîìå òîãî, îñíàùåííûå êîáîð-
äèçìû ïîÿâèëèñü â ðàáîòàõ 1930-õ ãã. Ëüâà Ñåì¼íîâè÷à Ïîíòðÿãè-
íà ïî ãîìîòîïè÷åñêîé êëàññèèêàöèè (ï. 8.7 è 14.6). Ïðîäîëæàÿ
ýòè èññëåäîâàíèÿ, ó÷åíèê Ïîíòðÿãèíà Âëàäèìèð Àáðàìîâè÷ îõ-
ëèí äîêàçàë òåîðåìó 11.4.6 (a) î ñèãíàòóðå îðìû ïåðåñå÷åíèé.
 1942 ã. Ïîíòðÿãèí ïðèäóìàë íîâûå õàðàêòåðèñòè÷åñêèå êëàñ-
ñû. îõëèí ïîêàçàë, ÷òî ýòè êëàññû åñòåñòâåííî ïîÿâëÿþòñÿ ïðè
îáîáùåíèè çàäà÷è Øòèåëÿ: ïðè ïîñòðîåíèè íàáîðà êàñàòåëü-
íûõ âåêòîðíûõ ïîëåé, èìåþùåãî â êàæäîé òî÷êå ðàíã, íå ìåíü-
øèé çàäàííîãî. Ïðè äàëüíåéøåì îáîáùåíèè ïîÿâëÿþòñÿ äðóãèå
õàðàêòåðèñòè÷åñêèå êëàññû, íî îíè óæå ¾âûðàæàþòñÿ¿ ÷åðåç êëàñ-
ñû ØòèåëÿÓèòíè è Ïîíòðÿãèíà. Ïîýòîìó ñðåäè ýòèõ êëàññîâ
âûäåëåíû êëàññû Ïîíòðÿãèíà , îáðàçóþùèå ¾ìàêñèìàëüíóþ íåçà-
âèñèìóþ ñèñòåìó¿.
Ïîñëåäóþùèå çàìå÷àòåëüíûå ðåçóëüòàòû åíå Òîìà î êëàññè-
èêàöèè ìíîãîîáðàçèé ñ òî÷íîñòüþ äî êîáîðäèçìà áûëè óäîñòîå-
íû Ôèëäñîâñêîé ìåäàëè 1952 ã. Ñ èõ ïîìîùüþ áûëà ïîëó÷åíà çíà-
ìåíèòàÿ îðìóëà Ôðèäðèõà Õèðöåáðóõà, ñâÿçûâàþùàÿ ñèãíàòóðó
41 Îí ïîñìîòðåë íà óëèòêó. ¾Ìîæåò ëè îíà âèäåòü ìåíÿ?¿ çàäóìàëñÿ îí.
Òîãäà îí ïî÷óâñòâîâàë, êàê ìàëî îí çíàåò è êàê ìàëî âîçìîæíî çíàòü; è ýòà
ìûñëü ïðèíåñëà åìó ðàäîñòü. (À. Ìåðäîê. Áåãñòâî îò âîëøåáíèêà. Ïåð. àâòîðà.)
16.2. Áàçîâûå óòâåðæäåíèÿ î êîáîðäàíòíîñòè 353
16.2.3.
(a) Åñëè A è B çàìêíóòûå ìíîãîîáðàçèÿ è A = ∂M , òî
A × B = ∂(M × B).
(b) Åñëè íà çàìêíóòîì ìíîãîîáðàçèè åñòü èíâîëþöèÿ áåç íåïî-
äâèæíûõ òî÷åê, òî îíî ÿâëÿåòñÿ êðàåì íåêîòîðîãî ìíîãîîáðàçèÿ.
Îðèåíòèðîâàííûì ìíîãîîáðàçèåì íàçûâàåòñÿ îðèåíòèðóåìîå
ìíîãîîáðàçèå ñ èêñèðîâàííîé îðèåíòàöèåé. Äëÿ îðèåíòèðîâàííî-
ãî ìíîãîîáðàçèÿ N ÷åðåç −N îáîçíà÷àåòñÿ îðèåíòèðîâàííîå ìíîãî-
îáðàçèå, ïîëó÷åííîå èç N èçìåíåíèåì îðèåíòàöèè. Ñì. óòâåðæäå-
íèÿ 10.3.7 (a, ).
16.2.4. (a) Äëÿ ëþáîãî çàìêíóòîãî îðèåíòèðîâàííîãî ìíîãîîá-
ðàçèÿ N ìíîãîîáðàçèå N ⊔ (−N ) ÿâëÿåòñÿ îðèåíòèðîâàííûì êðà-
åì íåêîòîðîãî îðèåíòèðîâàííîãî ìíîãîîáðàçèÿ. (Ñð. ñ óòâåðæäåíè-
åì 11.1.1 (a).)
(b) Åñëè N ∼ = −N äëÿ çàìêíóòîãî îðèåíòèðîâàííîãî ìíîãîîáðà-
çèÿ N , òî N ⊔ N êîáîðäàíòíî ïóñòîìó.
Çàìêíóòûå ìíîãîîáðàçèÿ N1 è N2 íàçûâàþòñÿ êîáîðäàíòíû-
ìè , åñëè ñóùåñòâóåò ìíîãîîáðàçèå ( êîáîðäèçì
) ñ ãðàíèöåé N1 ⊔ N2
(îäíî èç ìíîãîîáðàçèé èëè îáà ìîãóò áûòü ïóñòûìè).
16.2.5.
(a) Åñëè ìíîãîîáðàçèÿ ãîìåîìîðíû, òî îíè êîáîðäàíò-
íû. Îáðàòíîå íåâåðíî.
(b) Åñëè íåïóñòûå ìíîãîîáðàçèÿ êîáîðäàíòíû, òî èõ ðàçìåðíî-
ñòè ðàâíû. àçìåðíîñòü êîáîðäèçìà íà 1 áîëüøå ðàçìåðíîñòè òîãî
èç ìíîãîîáðàçèé M1 , M2 , êîòîðîå íåïóñòî.
( ) Ìíîãîîáðàçèÿ êîáîðäàíòíû òîãäà è òîëüêî òîãäà, êîãäà èõ
íåñâÿçíîå îáúåäèíåíèå ÿâëÿåòñÿ êðàåì íåêîòîðîãî ìíîãîîáðàçèÿ.
(d) Ñóùåñòâóþò íåïóñòûå íåêîáîðäàíòíûå ìíîãîîáðàçèÿ îäèíà-
êîâîé ðàçìåðíîñòè.
16.2.6. (a) Ìíîãîîáðàçèå M ⊔ N êîáîðäàíòíî M #N .
(b) Ëþáîå ìíîãîîáðàçèå êîáîðäàíòíî ñâÿçíîìó (ïóñòîå ìíîãî-
îáðàçèå ñ÷èòàåòñÿ ñâÿçíûì).
Çàìêíóòûå îðèåíòèðîâàííûå ìíîãîîáðàçèÿ N1 è N2 íàçûâàþò-
ñÿîðèåíòèðîâàííî êîáîðäàíòíûìè , åñëè ñóùåñòâóåò îðèåíòè-
ðîâàííîå ìíîãîîáðàçèå ( îðèåíòèðîâàííûé êîáîðäèçì
) ñ îðèåíòèðî-
âàííûì êðàåì N1 ⊔ (−N2 ).
16.3. ×èñëà ØòèåëÿÓèòíè 355
⊔ RP 4 .
Èíûìè ñëîâàìè, ìíîãîîáðàçèÿ × è RP 2 íå êîáîð-
RP 2 RP 4
äàíòíû.
(b) Íå ñóùåñòâóåò ìíîãîîáðàçèÿ, ãðàíèöåé êîòîðîãî ÿâëÿåòñÿ
íåïóñòîå îáúåäèíåíèå îäíîãî, äâóõ èëè òðåõ ðàçëè÷íûõ ìíîãîîáðà-
çèé èç N1 := RP 6 , N2 := RP 4 × RP 2 è N3 := RP 2 × RP 2 × RP 2 .
( ) Íè äëÿ êàêîãî n íå ñóùåñòâóåò ìíîãîîáðàçèÿ, ãðàíèöåé êî-
òîðîãî ÿâëÿåòñÿ íåïóñòîå îáúåäèíåíèå íåêîòîðîãî ÷èñëà ðàçëè÷íûõ
ìíîãîîáðàçèé èç ìíîæåñòâà
( ) Âûïîëíåíî ðàâåíñòâî p1 (M ) ∩ [N ] = p1 (N ) + p1 .
çíà÷èì ÷åðåç
w1 (N ) = [(RP 2 × RP 1 + RP 1 × RP 2 ) ⊔ RP 3 ].
Òîãäà
w1 (N )2 = [(RP 1 × RP 1 + RP 1 × RP 1 ) ⊔ RP 2 ] = [∅ ⊔ RP 2 ].
Ïîýòîìó w1 (N )4 = [∅ ⊔ RP 0 ] 6= 0.
(b, ) Äîêàçàòåëüñòâà àíàëîãè÷íû ï. (a).
16.4.3. (a) ×èñëî p1 ñóììà (ñî çíàêîì) òåõ òî÷åê, â êîòî-
ðûõ ðàíã ïàðû íîðìàëüíûõ âåêòîðîâ îáùåãî ïîëîæåíèÿ ìåíüøå 1,
ò. å. â êîòîðûõ îáà âåêòîðà íóëåâûå.
(b) Äëÿ äîêàçàòåëüñòâà ïîñëåäíåãî ðàâåíñòâà âîçüìåì äâà ñå÷å-
íèÿ íîðìàëüíîãî ðàññëîåíèÿ N â M , íàõîäÿùèåñÿ â îáùåì ïîëî-
æåíèè. Òîãäà êëàññ e, îïðåäåëåííûé â óòâåðæäåíèè 10.7.4 ãîìî-
ëîãè÷åñêèé êëàññ íàäëåæàùèì îáðàçîì îðèåíòèðîâàííîãî íóëåâîãî
ìíîãîáðàçèÿ êàæäîãî ñå÷åíèÿ. Ïîýòîìó e ∩ e = p1 .
( ) Äîêàçàòåëüñòâî àíàëîãè÷íî äîêàçàòåëüñòâó îðìóëû Óèò-
íèÂó 12.6.3 (b).
Ëèòåðàòóðà
Çâåçäî÷êàìè îòìå÷åíû êíèãè, îáçîðû è ïîïóëÿðíûå ñòàòüè.