Вы находитесь на странице: 1из 106

515.

14
22.152
44

. .
44
. : , 2015. 272 c.
ISBN 978-5-4439-0293-7
, : , . ,
, :
, , .
,
, . , . ,
, . , .
, , , .
, .

ISBN 978-5-4439-0293-7

c . ., 2015

c , 2015


1.
1.1.
1.2.
1.3.
1.4.
1.5.
1.6.
1.7.

. . . . . . . . . . . . .

. . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . .
. . . . . .
. . . . . . . . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

9
12
15
16
17
18
19

2.
2.1. . . . . . . . . . . . . . . . . .
2.2. . . . . . . . . . . . .
2.3. . . . . . . .
2.4. . . . . . . . .
2.5. .
2.6. () .
2.7.
, . . . .

.
.
.
.
.
.
.
.

24
25
26
28
30
31
35
38

3.
3.1. . . . . . . . . . . . . . .
3.2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3. . . . . . . . .
3.4. . . . .
, . . . . .
4.
4.1.
4.2.
4.3.
4.4.


. . . . . . . . .
.
. . . . . . . . . .

48
51
54
56
59
64
65
67
69

4.5. . . . . . . .
4.6. . . . .
4.7. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.8. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.9. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
, . . . . .
5.
5.1. . . . . . . . . . . . . . . . . . .
5.2. . . . . . . . . . . . .
5.3. . . . . . . . . . . . . .
5.4. 2- . . . . . . . . .
5.5. 2-
5.6. . . . . . . . .
5.7. . . . . . . . . . . . . .
5.8. . . . . . . . . .
, . . . . .
6.
6.1. . . . . . . . . . . . . . . . . .
6.2. : . . . . . . . . . . . . . . . . . .
6.3. : . . . . . . . .
6.4. : . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.5. . . . . . . . . . . . . . . . . . . . . .
, . . . . .
7.
7.1. . . . . . .
7.2. . . .
7.3.
. . . . . . . . . . . . . . . . . .

. . . . . . . . . .
. . . . . . . . . .

. . . . . . . . . .

71
75
78
83
85
89
93
94
98
99
106
108
110
112
113
114
115
117
119
122
126

. . . . 129
. . . . 132
. . . . 135

8.

8.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.2. . . . . . . . . . . . . . . . . . . . .
8.3. . . .
8.4. . . . . .
8.5. . . . . .
8.6. . . . . .
, . . . . .

138
139
145
148
149
152
154

9.
9.1.
9.2. . . . . . . . . .
9.3. 3- . . .
9.4. . . . . . .
, . . . .

.
.
.
.
.

158
160
165
169
171

10.
10.1. . . .
10.2. . . . . . . . . . . . . . . .
10.3. , , .
10.4. . . . . . . . .
10.5. () .
10.6. ()
, . . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.

175
177
180
182
186
191
192

11.
11.1. . . . .
11.2. 4- . . .
11.3.
11.4. n- . .
, . . . .

.
.
.
.
.

196
198
201
204
207

12.
12.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211
12.2. . . . . . . . . . . . . 214
12.3. () 218

12.4. () 220
, . . . . . 223
13.
13.1. . . . . . . . . . . . . . . . . .
13.2. . . . . . . . . . . . . . . . . . .
13.3. () . . . . . . . .
13.4. : . . . . . . . . .
13.5. :
, . . . .

.
.
.
.
.
.

14.
14.1. . . . . . . . . . . . . . . . . .
14.2. , . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14.3. . . . . . . . . . . .
14.4. . . . . .
14.5. . . . . . . .
, . . . . .

229
231
235
238
241
243
245
248
251
254
258
259

15.
15.1. . . . . . . . . . . . . . . 265
15.2. . . . . . . . . . 268
15.3. . . . . . . . . . . . . . . . 271
15.4. . . . . . . . 277
15.5. () . . . . . . . . 280
15.6. () . . 282
, . . . . . 284
16.
16.1.
16.2.
16.3.
16.4.
16.5.
16.6.
16.7.


. . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . .
. . . . . . . . . . . . . . . . . .

286
288
289
291
293
294
298

, . . . . . 300
17.
17.1.
17.2. . . . . . . . . . .
17.3. : . . . .
17.4. :
, .

.
.
.
1
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

305
309
311
314
315

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 319

1.
Nothing was changed, but now it made sense.
U. K. Le Guin. The Beginning Place1

1.1.

,
, .
, . , , (
).
,
. .

.
, , (
).
. , ,
.
( [ST34, BE82, Pr15, An03, PS97,
E84, FT07, Sk09, Sk, Sk ] ).

, . . ,
, . 1

, . (. . . . . .)

10

1.


.
, :
, . . ,
( , . .)1 .
( ). , ,
2 . , , , .
,
, , , ( 1

, ,
( , ).
. , .
2
. XIX
, , . . (. 6.5, [Hi95]). 1930- ( ).
, ,
. . [Mo89].

1.1.

11

). , , , . ( ) ,
.
, ,
.
,
, . . 1.2. - . , [P]. , , . . [Z09, . 914].
,
,
, . [Hi95].
, , ( ) . ,
, ,
( )
. , () , .
; , .

. ,
XX

. ,
( )!

12

1.

. , ( , ) . ( ). .
, ( ). .
-, 2, .
. 4.9 6.
, , ( , ) . .
.
.
. . , (, ,
, ). , , . , (, ),

.
1.2.
, (, , ).

1.2.

13

( , . .)
.
. 1.6, 1.7 .
, () ( 27). , ( 810; 8
). . -
, , .
-
.
. -
. , ,
( ). , - .
. . , , ,
. ,
,
. ,
(. 15.5
. 16.7 16). , 2
3.
( )
. , .

14

1.

1.6

/ 2 _ _ _o/7 5
/6
G @@
}>
o

}
@@
o
}
@@ 6.4

}} o o
}
@ 
 
}o} o
10.4
 7
1.7A
10O B_ _ _ _ _ _ _/ = 14 QQQ
AA
|
QQQ

B 10.4
||

AA
Q14.2
QQQ
|
B
 4.5
|
AA
QQQ
|

9.3
B!
11.3
|
A 
QQ(
|
8.3
/8
/9
/ 11
/ 12 _ _ _/ 13
3 UUUUU / 4
ff3 16
@@
9.3
11.4
12.3 fffffff
UUUU
@
f
ff
UUUU
@
8.5
fffff
f
UUUU @@8.1,
f
f
f
UUUU@
fffff 15.5, 16.7
*
fffff/

15

15.1

17

,
, (. 4.6,
4.7, 4.9, 5.7, 6.16.4, 7.3, 8.3, 8.6, 9.3, 11.2).
. 11.3. . 11.3
.
, .
.
. ,
, .
, . ,
, , [S].
,
. .
, .
, ,
. ,
.

1.3.

15

( ) .
, .
. . .
( . .),
. , ( ) . ( , . . 1.1.)
. , .
, . ( - ,
.) ,
.

web- ([A] 20 2015 .).
, , , (,
).

1.3.
9
. , , - . [Ki89],
. . 9.2. 1113 . . 16.2, 16.3, 16.6

16

1.

, .
,
.
, ( ) . . G i-
T , i- T G. Ci (T ; G). 1 (0)
Ci (K; G), Zi (T ; G). Ci+1 (T ; G)
Ci (K; G),
Bi (T ; G). G = Z2 , , , .
,
(
). , .
( ,
) .

1.4.
. . , . . , . . . . : [FF89] .
, .
. . , ,
- ,
,
19942015 .

1.5.

17

( [RS00, RS02]
.)
. . , . . , . . , . . , . . , . . , . . ,
. . , . . , . . , . . , . . , . . , . . . . , . . . , . .

. . . , . . . . .

, , ( )
, .
. ,
07-01-00648a, 06-01-72551-NCNILa, 12-01-00748-a 15-01-06302,
-4729.2007.1, . ,
2004 ,
20112014 . 2014 .
- : www.mccme.ru/~skopenko.
1.5.
( ),
. :
|X| X;
prk k- ;
2 ;
Z(i) Z i Z2 i;
f x f (x) x f ;
(. 16.1);
(. 3.1);

18

1.

= (. 4.5), (. 5.2, 5.8), Rm (. 3.1), .


.
, . *.
,
.

1.6.
, ,
,
( ).
( )
, (. . ) . :
(). . .
( ),
( ).
( ) ,
.
. (, ). , ,
( ), . , (
) . ,
.

1.7.

S1

19

K4

. 1. ( !)

, .
, . ,
. ,
,
. ,
, . . , .
, . , G H, G H
G H. , ,
.
1.7.
2, . 4.14.4 7
( . 4.5), .
,
.
S 2 () (x, y, z) R3 ,
x2 + y 2 + z 2 = 1:
S 2 = {(x, y, z) R3 | x2 + y 2 + z 2 = 1}.

20

1.

( , (x, y, z)
(cos cos , sin cos , sin ).)
,
, . . 2. ,
{(x, y, z) R3 | x2 + y 2 = 1, 0 6 z 6 1}
.

. 2.

T 2 () ,
(x 2)2 + y 2 = 1 Oy.

. 3. ,

. , . . 3
. ()
, . .
, . . 4 .

1.7.

21

. 4. ,

,
, . .
180 , . . 4 . R3 , 1, ,
9,
-, . . 3.
g () Sg g > 1 g

, R3 x2 +
((z 4k)2 + y 2 4)2 = 1.
k=1

() S0 S 2 .
g . 5 ( ; ).
g

((z 4k)2 + y 2 4) = 0 k=1

Oyz (. 6). g . , , g
2g g
, . . 7.
() , . () , ,
. . , ()
g Sg,0 g -

22

1.

. 5. ,

. 6.

. 7.

, ,
(. .
z 6 4g + 2).

.

1.7.

(a)

23

(b)

. 8. : (a) ; (b) R3

R4 x2 + y 2 = 1, z = t = 0
. () K R4 , ,
, (
, ). R3
. 8 (b). () , ,
, , . . 8 (a).
, RP 2 , S 2
, , , ,
, , , , , , . . 45 . 95.
, RP 2
S 2 R4 , (x, y, z) 7 (x2 , xy, yz, zx),
, ,
RP 2 := {(a, b, c, d) R4 : ac = bd, abd + b2 c + cd2 = bd, a > 0}.

2.
Wissen war ein bisschen Schaum, der u
ber eine
Woge tanzt. Jeder Wind konnte ihn wegblasen,
aber die Woge blieb.
E. M. Remarque. Die Nacht von Lissabon1

2.1.
2.1.
(a) ;
(b) ,
(. 9; );
(c) .

. 9.

n XY Bk Ak ,
k = 1, 2, . . . , n, XY . n
, . . 9 n = 3.
2.2. ,
(a) ; (b) .
2.3. ,
1

, . . . (. . . . . . .)

2.2.

(a) ;

25

(b) .

2.4. (. 9)
(a) ;
(b) ;
(c) ;
(d) .
2.5. (a) .
(b) c
c .
(c) .
(b,c) , . 5.4.
2.6. g > 0 g 4g-.
2.2.
. .
, ,
, , .
2.7. (a) ,
.
(a ) .
(b) ,
.
() g g ,
.
(d) g 2g , .
,

26

2.

. ( ; , .)
.
2.8. (a) . g + 1 g
.
(b) . 2g + 1
g .
2.23.b
. 5.4.
2.3.
n , , Kn . Km,n m n :
. .
. 10.

,
( , ,
). . 5.2,
.
2.9. K5
.

. 10. K5 K3,3

2.3.

27

2.10. (a) K5 .
(b) K3,3 .
(c) . , , ,
. , 6 .
(d)* 5 . (
, 4 ,
.)
2.10, 2.12, 2.16,
. 2.5, . 2.4.
, ( ) , . . ( ),
, . , , ,
, (
) .
2.11.
(a) K5 ; (b) K3,3 ; (c) K6 ; (d) K3,4 ; (e) K7 ; (f) K4,4 .
, K8 , K5,4 . .
2.12. . (a) Kn (n 3)(n 4)/12 .
(b) Km,n
(m 2)(n 2)/4 .
2.13.
, .
2.14.
(a) K3,3 ; (b) K3,4 ; (c) K5 ; (d) K6 .
2.15. ( ) .

28

2.

, ,
, .

(a) 5 ? (b) 6 ?
, 7 . .
2.16. . 0 < g < (n 2)(n 3)/12,
g
n .
g = 0 : . Kn
(. 2.21) n 1 g > (n 2)(n 3)/12.
. [GDI].
2.4.
.
, , . ,
.
2.17. (a) ,
.
(b) E > 1 F
3F 2E.
. V
, E F V E + F = 2.
. 5.4, . [Pr14].
.

2.18. , 5 .

2.4.

29

.
, .
, ( 2.7 (a)). ( 2.7 (a )).
,
.
, .
2.19. . g
V E
. F .
V E + F > 2 2g.
. 5.4.
. (
, , 5.13,
.)
2.20. (a) K8 .
(b) ,
.
g(G) G
g, G
g . , K3 K4 0, K5 , K6 K7 1, K8
2.
2.12 ,
g(Kn ) > (n 3)(n 4)/12 g(Km,n ) > (m 2)(n 2)/4.

[Pr14, 13.1].

30

2.

2.21. (a) ,
, , 7 .
(b) 0 < g < (k 1)(k 2)/12, , g , ,
k .
2.22. (a)
( !).
(b) g g .
. [MT01].
2.5.
m
m , S
, S, , . . 11.

. 11. . .

2.23. (a) m m ,
.
(b) m + 1 m
.

2.6. ()

31

(c)
, .
(d) m > 0 m
4m-.
2.24. . m V E , (. 11).
F . V E + F > 2 m.

2.25. (a) K7
.
(b) 2.12 .
2.26. (a)
7 .
(b)
.
2.6. ()
2.27. K5
(a) ; (b) (. 3)?

(
) , . . 5.2. , . 12.
, -

. 12.

32

2.

. ,
, (
2.27);
(. 7) (. 3);
(. 12 )
(. 12 );
. 4 (
);
. 2 ( ).
. 4 . 2 .
5,
.
,
. 6.21 (b) . 17.1.
2.28. (a, b) . 13 .
(c) . 14 () .
(d) . 14 (b)
? , ?

a b a
c
b
c

a b c

a
b

. 13. , (abacbc)
(abcabc),

2.29. (a, b, c, d) . 15
.

2.6. ()

(a)

33

(b)

. 14. ?

b
a

a b

a b a

c
d

a bc
d
a
b
c
d

dc

c
d b cd

ab c
c

a
d
b
d

. 15. ,

(a)

(b)

(c)

. 16. (a) (. . 7).


(b) . (c) , (aabcbc)
w(a) = 1 w(b) = w(c) = 0.

2.30. (a)
, . 7, 16 (a).

34

2.

(a)

(b)

. 17. (a)
? (b)
?

(b) . 16 (b) (. . )
(. 8) .
(c) . 16 (c)
.
(d) . 17 (a) .
(e) . 17 (b) (. . ,
, , ) .
2.30 (d, e) , ,
- .

,
, . . 18 ( .
. 5.4).
2.31. (. . , . . 19) .

2.7.

35

. 18. ,

2.7.

, ,

2- (. 5.6).
2n n ,
. (,
). (=) . , , ,
. (
) - (, ). , . . 20.
n , ,

. 19.

36

2.

. . [Sk,
. ].

. 20. ,


. 12 , 13 15.
, , .
. 13.
, . 5.2.
2.32. (a)
?
(b) 2n n ,
, ,
, . (,
, .)
a b , , ,
(abab), (aabb).
2.33. (a) n n + 1.
(b) n + 1, .
2.34. (a) . n , F ,
(n + 1 F )/2 F .
(b)* . n .
n n- . a = b -

2.7.

37

a b , a b . . r
Z2 . r r/2
.
2.34 2.36 (. ) . . 5.13 6.27 (f, g).
2n 1, 2, . . . , n,
, w : {1, 2, . . . , n} {0, 1}.
. .
,
, , .
( ) - (,
). k, w(k) = 0, , w(k) = 1.
n , w,
.
. 16 (b, c) 11
, (aabb)
w(a) = w(b) = 1,
, (aabcbc) w(a) = 1 w(b) = w(c) = 0,
n , . . , (1122 . . . nn) w(1) = w(2) = . . . = w(n) = 1.
2.35. (a)
?
(b) ?
2.36. (a) n k > 0 ( ) .
n + 1 k .

38

2.

(b) . n ,
, F ,
n + 1 F F 1 .
(c)* . 2n
1, 2, . . . , n, , w : {1, 2, . . . , n} {0, 1}. n n- . a = b a b , a b .
a a w(a).
. r Z2 . r
.
,
2.1. (a) (, ) , .
( )
, ,
.
, .
(c) ,
. .

. .

. 21.

39

2.3. (a) . 8 .
. . 21 .
(b) . . 21 .
2.5. (a) .
(b) - 2.8 2.23.b.
2.7. (a) .

(a) .

(b) ,
.

(c, d) (,b). . . 22.

g=1

g=2

. 22. ,

40

2.

2.8. [Pr14, 11.4].


5.9.a.
2.9. .

. 23. K5

2.10. (a) K5 . 5 10 + F = 2. , F = 7.
2.18, 21 = 3F 20.
.
(b) (a). K3,3
,
.
(c) 2.18
.
(. . 6.5)
, 2.18.

. 24.

41

2.11. (a) K5
. 24. . , K5 ... ( ).
2.12. 2.20 (a).
2.13. 2.1.
2.14. (a) K3,3
. 24.
2.16. 2.21 (b)
. (. . 6.5)
, 2.21 (b).
2.17. (b) . . ,
3 ,
3 ,
...
3 , F -
. 3F .
,
. , 2E.

. 25.

. ,
, ,

42

2.

, . 25 , , , ,
. .
.
, (
, ). (
, ) 2E = 20.
( ).
2E > 3F .
2.18. 6, 2E > 6V .
, E > 1. 2.17.b 2E > 3F . V E + F = 2. ,
6 = 3(V E + F ) 6 3V E, E 6 3V 6. .

2.20. (a) 2.17.b 2E > 3F .


.
(b) . (a) Kg+15 g .
2.21. 2.17.b 2E > 3F .
(a) 0 6 3(V E + F ) 6 3V E, E 6 3V .
2E/V 6 6.
(b) V E + F > 2 2g. ,
E 6 3V + 6g 6. d .
V >d+1 d6

2E
V

66+

12(g 1)
V

66+

12(g 1)
.
d+1

g > (d 2)(d 3)/12. g < (k 1)(k 2)/12, d > k + 1 .


2.22. (. . 18
). 2.5.ab.
2.27. : .
(a) K5 .
,

43

K5 , . , K5 . .
(b) K5 ,
.
2.28. (a, b) . . 26.
. , (abab),
(. 12). (. 27 (b)) . ,

, .
(d) , .

. 26. , (abcabc)
(abacbc),

(b)

(c)

(d)

(a)
. 27.

2.29. (b) , (abab), (. 12). ,


(abcdabcd).
, , . . . (

44

2.

, ,
(cdcd).) , , (abcdabcd),

.
.
. , 2.28 (b), . . 13 . . , . . 27 (a). ,
,
.
2.30. (b) 2.3 (a).
(c) . 16 (c) .
. (b). . (a). . [A].
(d) . . 28 (a).
(e) . . 28 (b). (d).

=
(a)

(b)

. 28. (a)
. (b) .

2.31. .

3.
3.1.
. .
, , .
.
. [An03].
3.20 3.1, 3.3.
3.1. . .
3.17.

.
3.2. (a) 2n 2n (. .
). , n .
(b) z
. , z .
(c) () ,
.
(d) ?

3.1.

49

(e) .
(f)
.
(g)* 1 , 1.
v(x) x.
, . ,
.
(. . 29): a(x, y) := (x, y)
(), b(x, y) := (y, x) (), c(x, y) := (y, x) (), u(x, y) := (1, 0) ().

. 29.

N Rm Y Rn . f : N Y , x N > 0
> 0, y N ,
|x y| < , |f (x) f (y)| < . N ,
: > 0 > 0, x, y N ,
|x y| < , |f (x) f (y)| < .
.

50

3.

R2 C. ()

S 1 = {(x, y) R2 | x2 + y 2 = 1} = {z C : |z| = 1}

D2 = {(x, y) R2 | x2 + y 2 6 1}.
, .
3.3. .
(1) . a(x, y) = (x, y) S 1 D2 .
(2) .
, , . . f : D2 S 1 ,
f (x) = x x S 1 .
(, , .)
(3) . f : D2 D2 ,
. . x D2 , f (x) = x.
, . (1) 3.3 3.17 (a) . .
,
.
3.4. (a) .
(b) . .
(a) , (b)
3.3 4.6.

3.2. 51

3.2.

D2 vt , t [0, 1]. , > 0 > 0,


x D2 s, t [0, 1], |s t| < ,
|vs (x) vt (x)| < . ,
vt (x) := tx t, a vt (x) := {t}x
.
vt , t [0, 1],
V : D2 [0, 1] R2 V (x, t) := vt (x).
3.5. , .

vt , t [0, 1], , N R2 , , V : N [0, 1] R2 .


N = D2 ,
N , .
3.6. , . . vt
, t [0, 1],
v0 v1 . (
, vt .)
, ,
.
vt , t [0, 1], v0
v1 .
3.7. (a) v v.
(b) .

52

3.

( 3.6 3.7 (b) , .)


3.8. N ,

(a) N = 0 [0, 1]; (b) N = D2 ; (c) N = 0 R;


(d) N ;
(e) N (.
. 1.6).

3.9. (a) 3.3 ,

() S 1
.
(b) S 1
,
D2 .
(c) v(z) := 9z 3 2z 2 + z 1 w(z) := z 3
S 1 .
3.10. u, v, w

(a) v v ();
(b) u v, v u (c);
(c) u v v w, u w
().
,
.
3.11. (a) .
(b)
, vt ,
t [0, 1], v0
v1 .

, -

3.2. 53

. .
f, g : N S 1 N R2 , ht : N S 1
, t [0, 1],
h0 = f h1 = g.
H : N [0, 1] S 1 .
N Rm
Y Rn . ,
. , ; .
3.12. A := {(x, y) R2 | 1 6 x2 + y 2 6 2}.
(a) r : A S 1 , S 1 .
(b) S 1 S 1 A S 1 .
(c) A S 1
S 1
.
3.13. (a) f : [0, 1] S 1 f |{0,1}
f .
(b) f : D2 S 1
f |S 1 f .
(c) . A N (. . 1.6 2.4)
f : N S 1 f |A f .
(d) A N , f : N S 1 f |A ,
f .

54

3.

3.3.
? . , ( ,
). .
, ,
.
, deg v
v S 1 ( ) v(x) x
S 1 ( ).
.
1
S S 1, v, . M > 0, |v(x) v(y)| < 2 M x, y . k = 1, 2, . . . , M 2k (, ) ,
v(e2i(k1)/M ),
v(e2ik/M ). , k (1/2, 1/2)
v(e2ik/M ) = v(e2i(k1)/M )e2ik .
(, k v M ; .) 1
deg v :=

k=1

k Z.


.
1

. .

deg v :=

ds(u) :=
0

lim

max(uk+1 uk )0

{
m
k=1

}
k | 0 = u0 < u1 < . . . < um1 < um = 2 ,

k (1/2, 1/2) uk uk1 < 1/M v(eiuk ) = v(eiuk1 )e2ik .

3.3.

55

, . . ,
deg v ,
M . . 3.15 (c, d).
3.14. (a) , M , n- wn , . . S 1 S 1 (,
, S 1 ),
wn (z) = z n .
(b) u v S 1 z S 1 u(z) v(z) z,
deg u + deg v = 2.

(, ).

.
( ) s : N S 1
se: N R, eies = s.

3.15. (a) (. . ) s : [0, 2] S 1 , s(t) = eit .


(b) s . (a) n- wn .
(c) v sv : [0, 1] S 1 sv (t) = v(e2it ). sev se (1) se (0)

v
sv , deg v = v
.
2
(d) , . . se, se : [0, 1] R [0, 1] S 1 , se(0) = se (0),
se = se .

3.16. (a) . s : [0, 1] S 1


se: [0, 1] R.

56

3.

(a ) s : [0, 1] S 1 x
e R, ie
x
e = s(0), se: [0, 1] R s, se(0) = x
e.
(b) .
H : [0, 1]2 S 1 .
( , H
.)
(c) .
(d) n- wn wm m = n.
(e) S 1 S 1 , .

3.17. (a) ,
(, ) .
(b) f : S 1 S 1 ,
f (x) = f (x) x S 1 .
S 1 S 1 .
(b ) S 1 S 1
D2 .
(c) u v S 1 ,
|u(x)| > |v(x)| x S 1 , deg u = deg(u + v).
(d) v(z) := 9z 3 2z 2 + z 1.
3.18. (a)
.
(, .)
(b) (. 30)
.
3.4.
3.19. (a) n wn .
(b) .

3.4.

57

. 30. ()

(c) .

,
(, ) .
VN (R2 ) N
(. . ,
). VN (R2 ) N ( 3.11).
VN (R2 )
N S 1 .
3.20. . v deg v-, .
f : S 1 S 1 deg f -, S 1 S 1 .
, deg : VS 1 (R2 ) Z , d-
d.
(
). , , -

58

3.

, .
. 8.
3.21. (a) N k (. 1 . 1.6). . v
N v . k
deg v. deg VN (R2 ) Zk .
(b) N VN (R2 ) ZEV +C =
= ZF 1 . . (c) . 1.6, 2.4;
E, V, C F , , .
(c) N ( )
N S 1 ZEV +C .
3.22. VN (R2 ) a N n (
n = 0, 1).

VN (R2 ) . , VN (R2 ), .
3.23. . D2 , , (. . ,
vt (x) = v0 (x) x S 1 t [0, 1]).

l(x) x, x. , [Ko01].
3.24.
.

4.

4.1.

( ) .
(., , [Sk]).
(4.1 (b), 4.15, 4.29 (b), 4.33 (a)) (4.6 (d), 4.7 (c), 4.11 (b), 4.20) , 4.8.
#
#
AA1 BB1
#
#
S 2 A, B S 2 |AB| + |A1 B1 |. S 2 S 2 . 3.1.
S 2
v(x) x, x.

. 33.

4.2.

65

4.1. (a) S 2 ,
.
(b) .
.
,
, . vt
,
t [0, 1], v0 v1
.
4.2.

2
3
2
2
2
D+ := {(x, y, z) R | x + y + z = 1, x > 0} .
. , .
V (N ) N .
,
V (N ). .
3.22.

4.3. V (N )
{
}
1
1
3
2
2
2
(a) (x, y, z) R | x + y + z = 1, 6 z 6
;
2
2
(b) .
4.2.


R2 R3
(. . S 1 )
S1

66

4.

v(x) x ,
x S 1 .

, .

.
4.4. (a) S 1 .
(b) S 1 , .
(c) S 1
.
, m = 4 (
), , Rm ( ,
Rm ). Rm = R2 Rm2 R2 0,
S 1 Rm m > 2.
S 1 Rm .

4.5. S 1 Rm
m > 4.
.

4.6. (a)
S 1 R4
S 1 S 2 .
(b) S 1 S 2 ,
S 2 , .
(c) S 1 S 2
(, , . 8.1) (,
).
(d) . S 1 S 2 .
S 2 R3
(. . -

4.3.

67

S 2 ) v(x) x S 2 , x S 2 . : v(x) := x.
S 2 Rm .

4.7. (a)
S 2 R4
S 2 S 1 .
(b) S 2 S 1
.
(c) . S 2 S 1 .
(d) R4 .
4.8
. f : S 2 S 1 ( ), f (x) = f (x) x S 2 .
4.8. (a) f : S 2 R2
x S 2 , f (x) = f (x) (. .
, ).
(b) S 2 S 1 .
(c) S 2
, .

4.9. ,
.
4.3.
( . 4.7).
(. . 34).
4.10. (a) .

68

4.

. 34.

(b) v v.
(c, d) 3.11 .
(e) .

Dp (v) v (. . z 2 + x2 = 9, y = 0).

. Dp (v) (, ).

, . ,

V (T 2 ) [0, 1]2 R2 ,
v(x, 0) = v(x, 1) v(0, x) = v(1, x) x
.
Dp (v) v
[0, 1] 0 (. . 3.3).
(
) . (, [Pr15, 7]
.) . 4.1 (b), 4.2 4.3.
Dm (v)
( (x 2)2 + y 2 = 1,
z = 0, . . 34). ,
.

4.4.

69

4.11. (a) T02 , . .


T 2 x 6 5/2. Dp Dm : V (T02 ) Z Z,
Dp Dm (v) := (Dp (v), Dm (v)),
.
(b) .

Dp Dm : V (T 2 ) Z Z .
(c) ,
.
4.12. (a)
R4 .
(b) T 2 S 1
.
T2

l(x) x,
x. ( .)
., , [Ko01].
.
4.13. .
4.4.

Sg
.
4.14. (a) Sg,0 (. . 1.7) .
(b) V (Sg,0 ).
(c) Sg,0
.
Sg,0 (. . 2.7,
. 13, 15). Sg,0 8g-.

70

4.

4.15. ( ). .
4.16. A X Rm X, X A,
A.
(a) . S Sg
Sg
, Sg S .
(b)*
?
(c) RP 2 RP 1 .
. 2.7; ,
, (. . 5.6),
2- (. . 4.5).
4.17. (a) Sg S 1 .
(b) Sg R4 .
4.18. (a) n S 1 .
(b) S 2
.
4.19. (a) .
(b) v v?
(c) , M M ?

, . , V (M ) [0, 1]2 R2 , y
v(0, y) v(1, 1 y) Ox ( ).

4.5.

71

4.20. . .
4.21. (a)
M , R4 .
(b) M R4 .
4.22. (a) K .
(b) V (K).
(c, d*) , 4.21,
R4 .
(e)* RP 2 S 1
.
(a, b)

, . , V (K)
[0, 1]2 R2 , x
v(x, 0) = v(x, 1) v(0, x) v(1, 1 x) Ox ( ).
4.23. (a) ,
.
(b) ( , . 4.5).
4.5.
I := [0, 1].
r: I 2 Rm (. . m x1, x2, . . . , xm : I 2 R), ;
. (, , .)

72

4.

Rm N Rm , x N
Ox Rm , N Ox
r(I 2 ) r : I 2 Rm .
2- 2-.
4.24. R3 (
. . 1.7) 2- R3 :
(a) D2 R2 R3 ; (b) ;
(c) ; (d) ; (e) ;
(f) f : R3 R, (. . )
.
4.25. R4 2- R4 :
(a) 2- R3 ( R3
R4 );
(b) ; (c) RP 2 .
4.26. 2-
( ) R3 , z 2 = x2 + y 2
R3 .
TP N = TP 2- N
r
r
P , (u, v), (u, v)
a
b
2
m
r : I R 2-, r(u, v) = P (, , R2 (u, v) r; , ).
4.27. , . .
r.
2-, , . 4.1.
Rm ,
. ( -

4.5.

73

,
.)
4.28.
R3
(. . 1- R3 ;
; .
3.22).
x 2- N ,
Ox Rm r : I 2 Rm 2-, x r((0, 1)2 ), Int N
2- N . N (. . [Pr14, 4]) Int N = N , N ( ). 2- N N := N Int N .
2-: , g
R3 , R4 .
2- : , ,
, .
2- : ,
2- .
4.29. (a) 2-
.
(b) .
2-
,
2- .
2-.
r : Rm
I 2 . r , r()
. . 2-

74

4.

, 2-
, , .
. [MS74, 10.6 ; Pr14, 17.2] 2- > 0 2- , .
T 2- N
(T ) := V E + F ,
V, E, F , . (N ) 2- N .
. (a) . 97 5.6 (c), 5.13. , (. . 5.4). ( 2- ,
. ,
. 4.7.)
. ( )
. , (, , ).
, ( ).
, , .
( ). f : N M 2- N Rn M Rm , x N Ox Rn x Of (x) Rm f (x), r : I 2 Rn
q : I 2 Rm 2-,

4.6.

75

f r = q. 2- N Rn M Rm
,
f : N M .
2-
2- (. . 5.2), , .
(. . 5.6) 2-
, 2- . , . 2- (. . 4.8) , ( 4.15).
[Pr15, 7]. ,
.
4.6.
, . - , . . [Ru73, 1.6.D], [RS72]. (,
,
.)
v 2- N .
x N N ,
Tx .
v vx
x Tx . ,
x N .

76

4.

v , x N , vx , . .
x Tx , .
, x Tx
y x Tx Tx ; 2 2- Tx .
v , x, v(x) = 0,
x Tx y x .
,
, .
(. 5 .)
.
( );
. 29, . . 35, 36.
e(N ). N
. ( ) [DNF79, . II, 13], [Pr14, V]. . e(N )
. ( Tx , .)

. 35.

4.6.

77

. 36. ,


, . . .
, , , , [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 ).
. 76 e(N ) = 0 e(N ) = E V + F = (N )
. , .
. 36 +1, +1 1 . ,

78

4.

. 35 . ( , . 5 (b) , e(Sg ) = 2 2g.)


4.29 (b). e(N ) = 0


. [Pr14, 18.3].
4.7.

4.29 (b).
[BE82, 14], . [Pr14, 18]. ,
,
1 . 2- (. 4.8)
(. 8.3).
, . . 4.9, 5.7,
6.16.4 ( -
), 7.3, 8.3, 8.6, 9.3, 11.2.
.
, . ,
,
. ,
, . (. 3.3) 3.19 (c).
1

.
, . . 4.9.

4.7. 79


U 2- (. 37).
U . -

U0

. 37.

U0 . a U a U0 ,
a . ,
( ) . a a.
a 2- . 2- .
U U .
38.

1
2
. 38.

80

4.

4.29 (b).
U 2- N . U . U
,
U .

. , U0 . , (
U0 ). 3.13 (c)
N U0
N .
. a U . U
Ta . ,
Ta .
( ), . U0
U1 , . . 38. , U1 . U1 v.
v U1 N . U . U T .
, . .
. T . -

4.7. 81

v T
(. 3.3). ,
. U , . (,
. 38 . ,
,

.)
U (v). 3.19 (c)
v U1 N
, (v) = 0.
d(u, v). (v) = 0,
v N , :
v U1 ,
. , (v)
v.
v u U1 , U0 ,
( ) . a U .
U , a. a U , a
, (a, a ) a a .
x a ,
. u(x),
v(x). a U
Taa . (, u . 39 v,
, , , 1.)
U
d(v, u).
U , a, a ,
.

82

4.
a
u(x)

. 39. ,
,

a .
a .
. a +1
(. 39) (v) +1 a
1 ( 0 ). a a.
,
d(v, v ) = n1 a1 + . . . + ns as ,

(v) (v ) = n1 a1 + . . . + ns as .

. , v.
. 35 , (N ), .
. 4.6.
.
,
.
H0 (U ; Z), e(U ) . n1 a1 + . . . + ns as U . 1 2
, 1 2 . ,
(i) v U1
(v) ;
(ii) (v) , v v
( U1 , U0 ), (v ) = 0;

4.8. 83

(iii)
.
( (ii) , (v) =
= n1 a1 + . . . + ns as , v U1 ,
d(v, v ) = n1 a1 + . . . + ns as , (v ) = 0.)
H0 (U ; Z) U ( Z)
.
U :
e(U ) := [(v)] H0 (U ; Z).
(i).

(i) (ii) 4.30 (b).
4.30. U
2- N .
(a) H0 (U ; Z) ,
.
(b) H0 (U ; Z)
= Z, e(U )
(U ) = (N ).
4.8.

2- N , N
x N , x N .

4.31. (a) 2- R3
.
(b) 2- R3
.
(c) 2- R4
, .
(d) . (c) ?

84

4.

4.32. 2- R4 .
4.33. (a) . 2- Rm .
(b) 2- R4 .
(c) 2- R4 , .
(d) 2- R4 (. . ), ,
.
!
4.34. N R4 2-.
(a) e(N ) Z .
. . 4.6 . 4.7,
. .
(b) . (a) , . . e(N ) = 0, N
.
(c) f : N R4 (.
. 12.1), N ,
. . N f (N ) ,
N f (N ) R4 . N R4 .
e1 , e2 e1 , e2 N f (N ). e1 , e2 , e1 , e2
R4 , ,
.
, e(N ).
(d) e(N ) .
(e) N , e(N ) = 0.

5.
5.1.
G1 G2 ,
f V1 G1 V2 G2 , : A, B V1
, f (A), f (B) V2
.
, |G| G ,
G.
, , [Sk, . ].

. 42.

. 42.
,
.
, , ,
.
. 3.1. , G1 G2 , |G1 | |G2 | .
,
.

94

5.


. ( ). .
.
.
5.2.
.
, .

A 2-dimensional hypergraph (shortly: 2-hypergraph) is a collection
of three-element subsets of a nite set. (2- 3- , . 5.8.)
( ) . , .

. 43. 2- 4

2- n ( (n 1)- ) n- . . . 43

5.2.

95

. 44. 2- 5

n = 4 ( 2- ) . 44
n = 5.
n 2-
a, b, 1,
2, . . . , n {a, b, 1}, {a, b, 2}, . . . , {a, b, n}. n = 3 .
. 9.
( , , Rm , . . 1.7,
2.4, 4.5) 2-.

S 2

T 2

2
RP K 2

. 45. 2-, ,

2- , -

96

5.

, 2-,
. . . 45 ( ,
2-).
2-
, 2- , . ,
, 2-.
: , , .
. [Sk].
, . 43
2- 4 . 2-,
, .
, 2-, , , , . . . . . 45. ; (.
).
, 2- . , , .
2- 2-,
, . . 46 . .

2- . . 46
.
5.1. . 46 .

5.2.

97

. 46. 2-

2- ,
.
5.2. (a) 2- . 45 ( ), . (:
.)
(b)* .
(
), , , , .
. (a) 2-, Rm (. . 4.5), .
(b) 2- ,
.
n- n-
n = 2, . . 10.1. ,
. (a) n-,
. (b) n-,

98

5.

. (b) 5-.
2-. 2- . 2-
, . 5.1.
5.3.
2- ,
v , ,
{v, a1 , a2 }, {v, a2 , a3 }, . . . , {v, an1 , an }
{v, a1 , a2 }, {v, a2 , a3 }, . . . , {v, an1 , an }, {v, an , a1 }
a1 , . . . , an .
,
2- .
, 2- . 45 .
.
2-, (. . 2.7),
. ,
2-.
5.3. (a) 2-, .
(b) 2-, , .
2- K 2-, K .
5.4. * . p q 2- K (.. 2-, ) K K,
K, p, K, q.

5.4. 2-

99


2-.
2- . 4.5, 2-.
2- 2-.
, 2-
2-, 2-. . 5.7 2-,
2-.
N 2- N
,
.
5.5. (a) ,
. . , .
(b) 2-.
(c) 2-, , .
5.4. 2-

2- K V ,
E F
(K) := V E + F.
5.6. (a) 2-,
. 45.
(b) .
(c) 2-
.

100

5.

2- (, , ) , . . 7 ( , ). 2-
(., , . 5.6).
,
2- ; 2.19.
5.7. (a) 1.
(b) g .
(c) .
( ,
, . . 2.6.)
(d)
g .
(e)
, G, . 14.b 18 (.
. 5.4).
5.8. (a) . 2- S 2 (. . 2- 4 ) ,
, , 2.
(b) . 2- S 2 . ( ,
,
2- , S 2 .
.)
(c)* (b),
(a), 2- n .
(d) , 2-, S 2 ,
, S 2 .

5.4. 2-

101

(e)* (d) 2- n .
(a,d)
. 5.4.
5.8.b
3- S 3 (
[Ma07]);
4- S 4 ;
n- S n n > 5 .
2.19
2.19 5.7.b
.
. G V E K F , V E + F > (K).

. ().
(1)

(K) = (TG ) +

j=1

(2)

(fj ) 6 V E + F.

TG , G, . 14.b 18 (.
).
f1 , . . . , fF K TG (, , 2- K G, . ).
(1) -
( 5.6.b).
(2) (TG ) = V E (fj ) 6 1. ( 5.6.b), 5.9.d.

102

5.

5.9. (a)* . 2- V
2V 4. (, , 3V 6. ,
, 2.)
( ). V (
) 3 . , ,
. . ,
, ,
. , 2V 4.
(b) . (a)
, ?
(c) . (a)
, ?
(d)* . 2- 1.
(e)*
2-, k ,
2 k.
. (d) 5.4; . (a) (e) .

G H G H
G, H,
G, H.
G 2- K (.. ,
2- K). K G
2- K, G.
. G G
. 2-

5.4. 2-

103

. 47.

, , (. 47). K 2- K .

, K
= K.

, . . . 18. T 2-, 2- T .
2- T , 2- T ;
2- T , 2- T ,
2- T ;

2- T .
. 2-
,
. , , ,
.
2.19.
2.34.a (, , G K)

104

5.

(2 V + E F )/2 F . 2.5.b 2 V + E F 6 2g. ( 5.9.ad.)

5.9.d
2 ,
. 2 .
.
, . 1 2, 8 8 , .
5.10. (a) 2 (. . )
.
(b) V E
.
5.11. ( .)
H1 (G) G 2
G ( Z2 ).
(a) .
(b) G V E
+1
H1 (G)
.
= ZEV
2
(c) H1 (G).
a a
. , .
5.12. (a) 2
.
(b) 2 .

5.4. 2-

105

(c) 2 .
(d) 2 .
5.9.d. 5.10.b , E V + 1 . 5.12.c
. F 6 E V + 1,
(K) = V E + F 6 1.

5.9.d. K (1) ,
2- K. , K (1) (. . 2- ). K (1) E V + 1 . d E V + 2 ( 2.33). d > F + 1.
E V + 2 > d > F + 1, (K) = V E + F 6 1.


,
.
, H G ,
G H .
2- ,
. , G 2- K , K G

6.
I should say it meant something simple and
obvious, but then I am no philosopher!
I. Murdoch. The Sea, the Sea1

6.1.
2-, . 5.2 5.5. 2-
. 4.5;
. 5.5.
. .

2-: ( 5.16 (c)).
2-. .
, ,
.
, .
, .
, , . [Sk, .
]. . . 5.7, 4.9.
1

, ,
! (. . , . . .)

6.2. :

115

. 2- N
,
w1 (N ) H1 (N ) .

H1 (N ) w1 (N ) .
, . H1 (N ) . 6.4.

( 5.11, 6.16 . 6.5).
,
.
6.2. :
, 2-
, . , 2- T
T0 T1 T ,
T1 T T0 T1
(. . 5.4). T1 . . . 5.2.
2-, ,
2- ,
. , , .
. . 45.
, , .
.
T 2- N . o T . T , ,
, , . . .

116

6.

. 51. o (o)

, . 51
, . . .
, ,
. (, )
. , .
, , , , , ,
. ,
( )
.
6.1.
(. .
, . . 45) ,
.

(o).
. 51
( ).
(, 6.2 (b, c, d))
, .
6.2. (a)
, . . 45.
(b) o , (o) = .

6.3. :

117

(c) N ,
( , ).
(d) (o) (, , , . 5.4, (o)) .
6.3. :
() ( 2) . 5.4. ,
(. 51) ,
2.

. (o) = , o
T . : o , .
, (o) o.
2 (. . ) .
T ( 2-), a a .
T 2-
. a a
, (. 52).
, .
(. 51) .
6.3. (a)
(. . 45)?
(b) .

118

6.

(c) a (o) 2 : o (o ) (o) = a.


(d) a1 , . . . , ak
(o) 2 :
o
(o ) (o) = a1 + . . . + ak .
.
( ),
.
6.4. (a) o
(o) .
(b) (o) , o o
, (o ) = .
6.5. (a)
(. . 45) .
(b) ( ).
(c)
( ).
6.6.
(. . 45)

. 52. ()

6.4. :
119

(a) ;
(b) .
6.7.
(. . 45) .
6.8.
.
( ABC, # # #
AB = AC = BC.)
6.9.
.
6.10. (a) 2-
2-.
(b) 2- 2-,
.
(c) , ,
2-.
6.4. :

, , , . 2- ,
. (
2 .)
2. a a
, (. 52).

120

6.

. ,
.
H1 (T ) Z2
T
.
6.11.
, , ,
(. 45, . 51) H1 (T )
1, 4, 2, 4 .
, , ( !),
.

, .
6.12. (a) T 2- T ,
|H1 (T )| = |H1 (T )|.
(b) 2- .
T
2- :
w1 (T ) := [(o)] H1 (T ).
6.4 (a).
2- N T 2-, N :
w1 (N ) := w1 (T ). .
6.13. (
6.12 (a, b))
2- -

8.

8.1.

(, ) N Rn+1
n = 1 (. 3.1 3.2). . 4.2.
, n > 2, ,
n = 2 .
n = 1 n = 2.

Dn+1 := {(x1 , . . . , xn+1 ) Rn+1 : x21 + . . . + x2n+1 6 1}


S n := {(x1 , . . . , xn+1 ) Rn+1 : x21 + . . . + x2n+1 = 1}.

8.1. 3.6-3.13 (
3.9.c) Rn+1 S n .
8.2. . ( ,
.)
(1) . a(x) = x S n Dn+1
.
(2) . , , .. f : Dn+1 S n , f (x) = x x S n .
(3) . f : Dn+1 Dn+1 , .. x Dn+1 , f (x) = x.

8.2.

139

(4) S n (.. ).
8.3. (a) . Int Dn = {x Rn : |x| < 1}
Int Dk n = k.
(b) . S 2k (.. ).
(c) S 2k .

,
1911 . ,
8.2.4 8.8.ab, 8.9.c 8.10.ef
(. ).
8.3.a 8.4.bc; 8.4.c 8.2.4.
8.3.b 8.3.c
8.8.bc, 8.9.c 8.10.ef.
8.4. (a) k < n S k S n .
( , Rn+1
Rn+1 , Dk+1 , Dk+1 k < n.)
(b) k < n x Int Dn
S k1 Int Dn {x} .
(c) k S k1 Int Dk {0},
.
(a) (. 4.6) - ( ) , .
8.6.ad.
8.2.
C deg f f : S n S n
-

140

8.

( ) . , , - .
( ., , 8.5, 15 [Sk, 11
].)
n = 1 (
, ). n = 1 3.3;
. 8.11.a.

SPn L := I n+1 = {(x1 , . . . , xn+1 ) Rn+1 : max(|x1 |, . . . , |xn+1 |) = 1}
(n + 1)- (, ,
- ). SPn L n- ,
n
( , ). SPn L SPn L
-, SPn L . . 4.5.
8.5. SPn L SPn L
-?
(a) .
(b) .
(c) .
(d) SPn L Rn+1 Rn+1 .
(g) SP2 L SP2 L , (x, y, z) 7 (z 2 , x, y).
(h) (1/2, . . . , 1/2), ..,
, x SPn L SPn L ,
(1/2, . . . , 1/2) x.
(i) (wk ) 1 k- wk : S 1 S 1 .

g g : S 1 S 1 f : S 2 S 2 ,
f (cos cos , cos sin , sin ) := (g(cos , sin ) cos , sin ).
: S a SPa L
.

8.2.

141

8.6. (a) f, g : S k S n
,

1
1
n
n
f , g : SP L SP L .
(b) SPk L SPn L 1- . .. f : SPk L SPn L - g : SPk L SPn L ,
|f (x) g(x)| < 1 x SPk L .
(c) 1- SPk L SPn L .
(d) SPk L SPn L -.
(, SPn L
-
S n .)
f : S n S n 8.6.d - g : SPn L SPn L , f 1 .
- g. g y SPn L , g- . ,
.

8.7. (a)-(i) SPn L SPn L , 8.5.


(j) y -
g : SPn L SPn L g 1 (y) .

g- x y +1, g , x, , 1, .
deg f dy (g) g-
y. 1
1

. ( , , [Pr14, 18.1].)
f : S n S n g. y S n
g, rk dg(x) = n
x g 1 (y). g : S n S n
y S n . g 1 (y) .
x y g
x. deg f g- y.

8.3.

145

N . 8.12.a ,
deg : V (S n R2n+1 ) Z .

8.13. (a) V (T 2 R3 ).
(b) (.. 2) N deg : 2 (N ) Z.
(c) | 2 (RP 2 )| = 2.
(d) 2 (N )
(.. 2-) N .
8.14. S n S 1 n > 2 .
8.15. V (N R5 )
(a) N = S 2 ; (b) N = S 1 S 1 ;
(d) N .

(c) N ;

8.16. 2- Rm
m > 6.
8.3.
8.17.
4.1. ,
.
(a) S 1 S 1 S 1 ; (b) S 2 S 1 ; (c) S 3 ;
(d) S 1 ;
(e)
2k1
2k1
q
S
; (f) S
S .
Rm .

n- , , , ,
, , n = 2 (4.5, 4.8). ,
n > 3, , n = 3
.
8.17. , ., , 8.5, 8.6, 10. ,

146

8.


, .
8.18. (a-f,g,h,i) 4.24.abcdef, 4.25.a, 4.26 4.27.
8.19
8.20 8.21.
8.19. (a) .
.
(b) . n- , n .
(c) .

4.5. .
8.20. (a) ,
3-, .
(b) , 3-, .
(c) S 1 S 3 , S 3 , .
(d) S 3
S 1 S 3 . .
(c) 3- , 3-, .
(d)
3-
3-.
.

8.3.

147

8.21. N 3- v
, .
(a) (v)
, v N .
(b) (v) (v)?
(c) (v) v.
(d) (v) .
(e) (v) , v N .
k k- (. 10.3).
(N ) N
.
2- ,
(
, 10.10.cd
(b) 5.2). ,
( 10.10).
8.22. (a) .
, .
(b) n (N ) n- N .
. 4.6
(M N ) = (M ) + (N ) (M N )
() (M N ) = (M )(N ) ().
. M N , .
u v
M N . u + v M N . e(u) M , e(v) N
e(u + v) M N -

9.

It startled the well informed by being a new


and fantastic idea they had never encountered.
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 Much1

9.1.

, , etc.
. . 8.29, 8.36 (a), 8.37 (a) 8.38 (a). , Sg g ; , , , ,
,
n = 2 (. 4.5, 4.8).
9.1.
(a) Sg I; (b) Sg S 1 .

9.2. (a) n 1 n-
n .
(b) k , k .
1

.
, ,
. (. . . . . . .)

9.1.

159

( .)
, 1934 . . ,
3- ,
. 1940- .
,
(. 11, 12, 13, 16).
. 3- .
11.4, 11.8 (b) 12.14.
(, , ) (,
, ) .
. 9.12 (a, b).
9.3. 2- F :
F S 1 ;
F I ;
F .
( . 9.3)
9.4 (c, d, e) 9.5 (a).
9.4. (a) RP 2 .
, RP 2
.
(b) SO3 R9 R3 (. . 5.1)

11.
You mean... he would say, and then he would
rephrase what I had said in some completely
simple and concrete way, which sometimes illuminated it enormously, and sometimes made
nonsense of it completely.
I. Murdoch. Under the Net1

11.1.
11.1. (a) . n + 1 = 2r m,
m , RP n 2r
.
(b) . Rn
, n .
, Rn
n = 1, 2, 4, 8. , S n n n = 0, 1, 3, 7.
(.
[MS74, 4])
( ) [Hi95].
. ,
(. . 11.4)
11.20 (d), 11.25 (c, d). ( ,
[Hi95], , .)
1

... , ,
. (. . . . . .)

12.
12.1.

. . [Ze93], .
.
N M ? , n?
. N
m
R m?
. f, g : N Rm ?
N Rm ?
(=)
. 4.5 5.2,
. 5.7, . 17.1 17.4.
2, 5, 10
12 . 14.4, 16.6, 16.7. . [Sk, SS]. , , ,
.
. . 15.3, 15.4, 16.
1935 .
( 9, 11) . ,
1934 . , .
, . . , ,
. . 9.2.

212

12.

f : N Rm N Rk
, .
. (a) n-
R2n R2n1 .
(b) n , RP n
R2n2 R2n1 .
(a) , .
[Ad93, Pr14 ]. (b) 12.1 (a).
.

() .
. (. 13;
12,
13).
(a) RP n Rm Rm1 ,
.
n
(b) RP n Rm Rm1 ,
(i)
(i)
, m 6 i 6 2n (
,
n
s
1 6 s 6 n m 6 i 6 2s,
, ).
(c) n = 2n1 + . . . + 2nk n,
n
n
RP 2 1 . . . RP 2 k R2nk1
R2nk .
(d) RP n Rn+1 , n + 1, n + 2
.

12.1.
(m)

. (b) . (a). 12.1 (a, d)


12.6 (c), 12.7 (d), 12.9, 12.11 (c) 12.12 (c). 12.1 (c)
12.6 (c), 12.7 (c, d).
. (n)
n.