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

- .

68 1600 1800, 911 1800 2000.


mmmf@mmmf.mccme.ru 939 39 43.
!


.

.

. .

, , ,
.
.

:

. , ,
.

.
,

ISBN 5

94057

003

9 785940 570035

M Y

. . .

,
.
, ,
.



2002



20

. .
- :
. . , . . ,
. . (. .), . . .

1999 .



2002

510.2
22.12
97

,
, . , , :
,
, ?
, , ,
. , , .
3 ,

.
, 8 2000
911 ( . . ) 2001
1011 12 (
. . ).
, : ,
, .

ISBN 5-94057-003-8

. ., 2002.
, 2002.
.
.

(: ).
.: , 2002. 40 .: .
. . .

. . . .

01335 24/III 2000 . 7/X 2002 .


60  88 1/16 . 1. . . . . 2,50.
. . . 2,44. .-. . 2,31. 3000 . 3424.
.
121002, , -2, . ., 11. . 241 05 00.
- .
140010, . ., -, 403. . 554 21 86.

- ,
, : ,
9- ,
, .
, :
() ,
1 .
1
, , .
.

.
.
?
, :
, . , :
{, , , , , , , }.
:
, . ,
, :
,
. . . , ,
.
, - ? ,
: . , ,
. , - , , 1 2 .
:
{, , 1 , , , , , , 2 }.
: ,
. :
.
, .
, - ,
, ,
, ,
,
{ }.
3

, .

, A B? , A
B. ,
B , A , ,
B. : A  B.
, , {0, 1, 2} {0, 1, 2, 3}.
:
{ } { }.
?
, A  B? ,
a A B.
2 : A 2 , ,
B, a  A,

a
/ B, a , A  B.
,
?
{ }  { }3 .
3 : ?
: .
4 ,

.
: 4 .
, . , ,
. , ? , ,
. !
, , .

, .
- ,
.
4

, 5 . ,
, ,
,
5 : , ,
, ? : - ?
, , ,
.

, . ,
. ,
, , ,
-
, .
? : , ,
:
{ , }.
, , , , ,
{ }?
: , .
.
,
, . ,
,
,
( ), (
6 , )6 .


?
{ }.
. ?
, , . :
, ?
( ; ,
, .)
, .
M = { A, A 
/ A}
M A,
5

. ,
. ,
A = {1, 2, 3},
B = {{1, 2}, 3},
A 1, 2, 3, B : {1, 2} 3. ,
: . (,
.)
M . , M  M, , M 
/ M.
, M 
/ M , M  M.
,
, . .
, , ,
. :
, , ,
- . , ,
A = { },
B = { }
( ),
A  B, A  B. A B:
A  B = {(a, b): a  A, b  B}
, ,
. A  B ,
, .
. (
), ( ).
, , , , *).
*) . : x x; x x; ! x
x; Set{} {} ; {x: f(x)} x, f(x);  ;  . . [4].
6

1. . - 1. z (z  x z  y)

x = y.
,
, .
2. . - 2. Set{z: y  x (z  y)}.

.
3. . 3. x (f(x)
x  y)

A
Set{x: f(x)}.
f
B = {x: x  A, f(x)}
A,
f.
, ,
, , , ,
.
4. . - 4. Set{y: y x}.

.
5.

. 5. y ! z f(y, z)

X , f(y, z)
Set{z: y  x f(y, z)}.
. y z,
f(y, z), z, y  X,
f(y, z) .
6. . 6. y (y  x)

/ x).

y  x z  y (z 
:

A1 A2 A3
.
7. . 7. x (( y  x z (z 
/ y)) 
,  y  x z  x (w  z
. . A, A w  y  w = y)).
A  {A}.
8. . ,
.
7


A B.
f A B ( f: A B) , A
B, . (
A
B, . 1, .)
f

)
. 1

f ,
B
A (. 1, ).
A B , f: A B. : ,
.
, {0, 1, 2} {, , } , {0, 1, 2} {, } 7 .
{}? 7
:
, {}
( {} , ,
, ).
1

P(A)

{}

{1}

{, {1}}

{1, 2}

{, {1}, {2}, {1, 2}}

1
2
3

1
+
+
+

2
+
+


3
+

+

4

+
+

5


+

6

+


7
+



8




N ( ) N  {1} ( ) :
, f: N N  {1}, f: n  n + 1, . N Z ( )
( ,
, ).
8

P(A) A.
P(A) A . 1. (E, A , A.)
A = {1, 2, 3}
( ), : i j,
i- j- , (. 2). , ,
, {1, 2, 3}.
n ,
n
( ), +, . 2n
. , A n , P(A) 2n ,
A.

, ? ,
, . ,
8 , , P(N)
, , N.
.
.

A, P(A) .
A.
.
. 8 .
, A P(A), . .
f: A P(A),
a
f(a)
f(a)
A a
f(a)
a
A.

)
)
,
. 2
,
, a , a  f(a)
(. 2, ), , a 
/ f(a) (. 2, ).  A
(, ). f
, x  A, f(x) = . : x ? , x
. x  f(x), f(x) = ,
9

, x . . x
, x 
/ f(x) = , x
, x . . ,
x, , ,
, .
, , . , , A P(A). , ,
. . A P(A) . .
,
: N  {1} N .
, , , *).
,

: , .
.

.
, 9 . ,
.
1 .
2 3 10 ,
1 11 . 9 ,
4, 5, 6

7, 2 3. 10 , ,
:
.
, ,
11

12

1
.
2n

2n , 2n + 1, , 2n+1  1,

2n1 , 2n1 + 1, , 2n  1,

*) , . , ,
.
10

. 12 .
?
.
? . ? : 13.
m- ? 2n1  m  2n  1,

1
.
2n

. ,
. 13 - ?
.
, ?
14 . ,
,

14 , ,
.
.

.
. : ,
, , ,
*).
, ,
, .

.
- ? : ,
, .
n ,
? :
- , . . ,

.
?
.
*) ,
, :
, . . ,
.
11

,
. , .
,
15 .
? , 3
1
2
...
. ? , ,
. 3
n
n,
(. 3). ,
. . ,
15
? ,
, .

{ }.
16
, ,
.
, , ,
,
.
.
16 ? ,
. ,
, (
), .
: . -
.
. [4, 5].

.
S1 , .
m(A) A , .
1. m(S1 ) = 1.
2. ( - .) A1 , A2 , , An ,
:





m
Ai =  m(Ai ).
i=1

i=1

3. ( .) m(A)  0.
12

, , , , .
.
4. ( ), :

m(A) = m(f(A)),
f .
1
2

, A , m(A) = .
, B = S1  A A,

m(A) + m(B) = m(A  B) = m(S1 ) = 1 m(B) = m(fp (A)) = m(A),


1
2

2m(A) = 1 m(A) = .
A ,
. . A m(A)?
, .

.
0 2p
0 2p.
a b ,
a  b = q  2p,

q Q

( a  b). ,
Ax , x , x.
Ax Ay ? u
, u  x x  Ax u  y
y  Ay .
u  x = q1  2p,
u  y = q2  2p,

q1  Q,
q2  Q,

x  y = (q2  q1 )  2p, . . x  y, q2  q1  Q. ,
Ax = Ay .
, (=), () : a  b, b  c, a  c.
, , : a  b, b  a; a  a
a.
, V.
V? m(V)
13

0,


q Q

f2pq (V) = S1

( f2pq (V) ),

 m(f2pq (V)) =

q Q

=  0  1. m(V)
q Q

0, ,

m(S1 ) =  m(f2pq (V)) = +.


q Q

14

M, a, b
, a  b (. . M
).
M2 = M  M: ,
M,

a b, a  b.
, ,
M  M, :
1) a  a a  M;
2) a  b b  c, a  c;
3) a  b b  a, a = b.
, ,
(), ( ),
(a  b a b).
, , , . . a b ,

,

.
.

.

, m(V) , . . V .

a  b, b  a, :
.
, ,
, , , :
,
, , ,
n , (n + 1)-.
,
.
: a11

a12
a21
*).
, , , a13
a31
,
.
a14
a41
.
a15
a51
0 . .
1 . {}.
. 4
2 . {, {}}.
, ( ). ,
:
3 . {, {}, {, {}}}.
..............................
n . {, {}, {, {}}, , (n  2) , (n  1) } n- n  1 .
. .
N.
,
(. . 7).
*) M ,
M. M: ,
M . , , M ,
. , , . . 4 a15 a51 .
15


M
Aa ,
a  M. :
1) Amin M ;
2) a  M Ab b  a*) , Aa .
Aa .
. , , , .
. , Aa
. E .
, .
( , E  M,
M ). 2).
.
. R3 ( ).
: , . .
,
.
.
.
: , . ,
.
,
.
R3 . R3 , , , . . a ( {b: b  a}) R3 ( ). . ,
. .
R3 , . . R3 .
, . a0
R3 (
*) , a b, a  b a b.
16

). . ,
b, a,
. a
.
1. a . .
2. a . . , a. . , , , ! . ,
p, a
. p
,
( T) . p ,

p
a

. 5

a (. 5). T ,
, , a , . ,
,
, R3 .
. ,
.
, , . ,
,
(. 6, ). . ,
, , , ,
( ,
, ,
. 6, ). . ?
( ) . Oz ( ).
xOy (. . )
Oz (. 6, ).
17


, ,
-.
, .

1. R R, *).
2. , .
)
z

1920-
, .
, , . ,
,

.
, .
f: X Y ,
X A1 , A2 , , An ,
f Ai ( )
i  j f(Ai ) f(Aj ) . ,
X Y , X  Y ( ,
)
).
. 6
,
.

, ,
. 17 , ,
,
.
,

, .
,
*)
.
18

,
( 1,
17 ) .
, ,
.

, .
1. A  B  C A  C, A  B.
, ,
:
A  B  C  A  =  C  ,  A  =  B  .
.
, :  A    B 
 B    A  ,  A  =  B  (  X    Y  , X  Y, X Y, ; ,
, ).
3. .
1
.
. f: C A. C C0 , B B0 ,
A C1 . f B, B1 A
C1 . f ,
:
C0  B0  C1  B1  C2  B2   Z,
Z Ci Bi . , B
C (. . B0 C0 )
:
C = (C0  B0 )  (B0  C1 )  (C1  B1 )   Z
(1)
B = (B0  C1 )  (C1  B1 )  (B1  C2 )   Z
(2)
C0  C1 B0  B1 , C0  B0  C1  B1 , B0  B1
C1  C2 , B0  C1  B1  C2 , . . , (1)
(2) .
:
, (C0  B0 ), (B0  C1 )
19

Z. 1 , B C
. . h: C B
(1) f,
Z , . .


f(x), x  (Ci  Bi ),
i

h(x) =
x,
x  Z  (Bi  Ci+1 ).
i

, , .
.
. , . ,
, , .

f y ,
, , ,
.
, f y, f1 y1
. , .
, , , ( , , -),
. , .
, ,
. . f,
y, f1 y1 . , .
ff1 , f1 f, yy1
y1 y. : . ,
, . . . ,
G = f, y (, f y) , f y (
, , f y
q  2p, q ;
).
. f y,
20

. ? G fg .
fg f y. G , fg g
.
x .
.
, x. x
x G. . 7. , G
, ,
, , - f, y, f1 y1 f y.
, ,
. , , fx

f y .
y1 x
x
,
yx
G.
,
f-1 x

, ,
. . 7

f y, f2 = 1, y3 = 1 (. . f
180 , y 120 ). x .
x (. 8),
, . .
, ,
.
A, B C, A  B  C
A  B  C. ,

f(A) = B  C,
(3)
y(A) = B,

2
y (A) = C.
. x
, . A.
21

fx
f2 x=x yfx

yx
y2 fx

fyx

y2 x

y2 x y3 x=x fy2 x y3 x=x y4 x=yx

fyfx y2 fx y3 fx=fx fy2 fx y3 fx=fx y4 fx=yfx


. 8

fx yx B, y2 x C.
. 3.
3

a y
a f

a A

a B

a C

fa  B

fa  A

fa  A

ya  B

ya  C

ya  A

y2 a  C

y2 a  A

y2 a  B

, . a x. a
gx, g f, y y2 . ,
x
A

fx
B
yfx C
A
fyfx

A fyx

A y2 fx
B
fy2 fx

y2 x
C

yx

B
yfyx

C
y2 fyx

B
yfy2 x

A fy2 x
C
y2 fy2 x

. 9

a y. fa,
- .
22

, fa , a. a  A, fa  B, a  B, fa  A,
a  C, fa  A. . 9 ,
x.
, , -, x A, B C
, -,
(3).
, ( S)
A, B, C Q1 ( Q1 ,
. . , f
y ), A  B  C A  B  C. , Q1
. , ( f y), Q1 Q2 , Q1  Q2 = , . . Q2  A  B  C
(, , i- , , , , Q1 , , ,
).
B  C  A  C, , Q2  C. S = A  B  C  Q1 , :
S = (A  Q1 )  (B  Q2 )  (C  Q2 ).
,
A  Q1  B  C  Q1  A  C  Q1  B  C  A  Q1  S,
B  Q2  A  Q1  S. , S S C  Q2 . 1
.
( D) . D (
O) O. ,
.
O . , , , ,
. ,
, .
. ,
- .
1 .
,
.
, ,
,
23

. ,
.
. A B
, A  B.
. A , . .
C1 . , A
, . . D1 . C2 D2 , C2  B  D2 . ,
C1 D1 . C1  A  D1  C1 , , 1 , A  C1 . B  C2 , C1  C2 ,
A  B.

. .
. ,
, , .
, ,
18 ,

, 0 1
18 . , .

, , .
, . . ,
(a  b f(a)  f(b)).
. A B,
, ,
.
. . A B. , a A,
a0 , B. B
,
a0 , B ,
B A. , A.
. . ( , ,
.) , . . A  B,
A B ( ,
).
24

.
. 1 19 .
2, 3, . . ,
w. (
19 , ,
),
{},
w + 1, . ., w + w ( 2w),
1,
. . . 3w, 4w . ., w  w.
1
n

: an = ,

(. 10).
0

...

1/ 1/
6 5

1/
4

1/
3

1/
2

. 10

w1 , , , . . .
w1 . .

, 1, 2, 3, , w, w + 1, w + 2, , w + w, 3w, , w  w, w3 , , w1 ,
?
, ,
. , .
( :
.) , ,
(
).
-
, ( ?),
(, ) . .,
: 2a a. , , 2w  w, ,
2w w1 . . ,

. 2w = c = [0, 1]
*).
*) c [0, 1].
25

- : ,
. ,
, :
. .
.
:

2a 
cb , cb  2a ,
ba

. . a a 2a . ,

. , , , ,
(. .
).
. , -:
2a = a+ ,
a+ a .
1930- , - , 1960- ,
-
, 1980- ,
.
, - , , ? . :
a+ 2a a, - .
.

- m a, 0, 1,
m() = 0, m(a) = 1. , m
d-, . .

1, a  A,
m(A) =
0, a 
/ A,
a .
-
, . .
4. a , a .
(, ;
, , ).
.
5. , ,
.
,
. , ,
. , .
.
, , - (, . .), . . .
, . ,
, . . .


: , .
.
a ,
b, a, b a. a ,

, , , . ,
, .
. , M
, (an )
(In ), M, Ik ak .

26

27

, .
, k ak .
. , ,
- .
, - ,
.
. , A
, U,
Q, A  U .
, Q . , U, Q, I2n a2n . I2n1 a2n1 .
,
.
. ,

.
, M
Q. , U , Q. U = R  U , ,
,
, -
U. , U  M ( M  U) .
.
.
? . , (. 1), . . {Fa : a  2w }
. , a
Fa .
- A1 , F1 . A2 , F1  F2 . ,

Fi . , Ab ,
ib

, 
Ai . A =
i 2 w

, {Fa } ,
Fa Fb , , 28

- .
(. 2), ,

Ab ,
Fi (
ib


). A , Ai ,
i  2w . , A
Fb Aa , a  b, . . ( , -
-)
. , A
.

20 ,
. A [0, 1]. 20 , , - , .
,
. . ,
. ,
A, ,
21 .
, 21 .
, A ,
.
. ,
, , , . . A
, . , A
( , ). A (
),
: , , . .
, A
. :
,
, . .,
, ,
. .
A ,
. ,
29

A  [0, 1] , .
, . ,
. ,
,
(
).
,
:
1) [0, 1] ;
2) ;
3) ;
4) .
, , , , . ,
.

. [2].

[1] . . : . . .: , 1974.
[2] . . . . .: , 1984.
[3] . . . . .: , 1969.
[4] . II.
: . . .: , 1982.
[5] T. J. J e c h. The axiom of choice. (Studies in Logic and the Foundations of Mathematics. Vol. 75). AmsterdamLondon: NorthHolland Publishing Co.; New York: American Elsevier Publishing
Co., Inc., 1973.
1.

M ,
. , (. . , , , ). , ,
, , , ,
30

. , , (, ). , , R (, ). ,
M , M ( R  M M R)
. , M ,
- m. m  M,
, m, M, . .
, M, , M . , , ,
M , M (!).
.
. M (. . ).
. U , . ,
. , m - M, (m1 , m2 )  M, m ( ,
M ). . (m1 , m) m3 , (m, m2 ) m4 .
m U, , (m3 , m4 ).
, , m M U. , U,
, M, U. , U M
.
, .
2.

.
A , a b [c, d]  [a, b],
A. , an =

, .
. .
. ,
 Ak , Ai = [a, b].
i

31

. I1
- , [a, b] A1 .
I1
, A2 . I2 . ,
I2 I3 , A3 , . . Ik
(
). Ak ,
, [a, b].
M , e Ik e, M*). ,
. , . , ,
.
0

00

01

10

11

000 001

010 011

100 101

110 111

)
)
)
. 11

[0, 1]. . (. 11, ).


2
.
3

2
4
2
(. 11, ). =
.
9
3

(. 11, ) , , , . . .
.
, 1, 0 (. 11, ). ,
*) . , .
32

, , :
, 1, 0, . . ( ), . 11, , . ,
. , , . ,
(. . 27). : an ,
. , , an =

1
n . ,
22

( !).
3.
*)

A B ,
A B, . :
A = B.
A B,
A B. : A  B.
1. , :
{1}, {1, 2}, {1, 2, 3}, {{1}, 2, 3}, {{1, 2}, 3}, {3, 2, 1}, {{2, 1}}.
2. , A B, , B, A.
3. , A, B C
) A  A;
) A  B B  C, A  C;
) A = B, A  B B  A.
,
. : .
4. :
, {1}, {1, 2}, {1, 2, 3}, {{1}, 2, 3}, {{1, 2}, 3}, {}, {{2, 1}}?
5. ?
*) ,
2002 57 . 8-, 10- 11- .
33

6. ) 0; *) 7; ) 16 ?
A B ,
x, x  A x  B. : A  B.
A B ,
x, x  A x  B. : A  B.
A B ,
x, x  A x 
/ B. : A  B.
7. A = {1, 3, 7, 137}, B = {3, 7, 23}, C = {0, 1, 3, 23},
D = {0, 7, 23, 1998}. :
) A  B;
) A  B;
) (A  B)  D;
) C  (D  B);
) (A  B)  (C  D);
) (A  (B  C))  D;
) (C  A)  ((A  (C  D))  B);
) (A  B)  (C  D);
) A  (B  (C  D));
) ((A  (B  D))  C)  B.
8. A , B ,
3. A  B.
9. , A, B, C
) A  B = B  A, A  B = B  A;
) A  (B  C) = (A  B)  C, A  (B  C) = (A  B)  C;
) A  (B  C) = (A  B)  (A  C), A  (B  C) = (A  B)  (A  C);
) A  (B  C) = (A  B)  (A  C), A  (B  C) = (A  B)  (A  C).
10. , A, B, C
) A  = , A  = A;
) A  A = A, A  A = A;
) A  B = A A  B;
) (A  B)  B = A;
) A  (A  B) = A  B;
) A  (B  C) = (A  B)  (A  C);
) (A  B)  (B  A) = A  B?

12. f: {0, 1, 3, 4} {2, 5, 7, 18}, , f({0, 3}), f({1, 3, 4}), f1 (2), f1 ({2, 5}), f1 ({5, 18}).
0

x X
f(x) Y, , f X Y. , f(x) = y,
y x f, x y f. : f: X Y.
11. {7, 8, 9}
{0, 1}.
f: X Y, y  Y, A  X, B  Y.
y f {x  X  f(x) = y}. : f1 (y). A  X f {f(x)  x  A}. : f(A). B  Y {x  X  f(x)  B}. : f1 (B).
34

18

18

18

13. f: X Y, A1 , A2  X, B1 , B2  Y. ,
) f(X) = Y;
) f1 (Y) = X;
) f(A1  A2 ) = f(A1 )  f(A2 );
) f(A1  A2 ) = f(A1 )  f(A2 );
) f1(B1B2)=f1(B1)f1(B2); ) f1 (B1  B2 ) = f1 (B1 )  f1 (B2 );
) f(A1 )  f(A2 ), A1  A2 ; ) f1(B1)f1(B2), B1B2?
f: X Y g: Y Z , x X g(f(x)) Z. : g f.
14. , f: X Y,
g: Y Z h: Z W : h (g f) = (h g) f.
15. f: {1, 2, 3, 5} {0, 1, 2}, g: {0, 1, 2} {3, 7, 37, 137},
h: {3, 7, 37, 137} {1, 2, 3, 5}, :
1

f:

37

37

137

137

g:
3

h:
2

:
) g f;
) h g;
) f h g;

) g h f.

f: X Y ,
y  Y x  X , f(x) = y.
16. f: X Y, g: Y Z. , f g ,
g f ?
17. f: {1, 2, 3} {1, 2, 3}, g: {1, 2, 3} {1, 2, 3}, , :

f:

g:

3
35

:
) g f g;
) f g f;
) f g f g f g.
18. , ( ,
):
a) ;
) ;
) 3.

g: Y X
f: X Y, g(f(x)) = x f(g(y)) = y x  X y  Y.
19. ,
) ;
) ;
) .
X Y , f: X Y. :  X  =  Y  .
20. ,
)  A  =  A  ;
)  A  =  B  ,  B  =  A  ;
)  A  =  B   B  =  C  ,  A  =  C  .
21. , :
) ; ) ;
) ; ) ;
)
;
) ; *) .
, .
22. ,
) ;
) ;
) ,
.
23. , :
) ;
) ;
) ;
*) T .
24. , :
) ;
) ;
36

)
;
) .
25*.
.
26. , :
) ;
) , ( )
;
) o , , , .

X r: X  X R, :
1) x, y  X r(x, y)  0, r(x, y) = 0, x = y
( );
2) x, y  X r(x, y) = r(y, x) ( );
3) x, y, z  X r(x, y) + r(y, z)  r(x, z)
(
).
27. , (X, r) :
) X = R, r(x, y) =  x  y  ;
) X = R2 , r2 ((x1 , y1 ), (x2 , y2 )) = (x1  x2 )2 + (y1  y2 )2 ;
) X = C[a, b] [a, b] ,
r(f, g) = sup  f(x)  g(x)  ;
x [a,b]

) X = S1

O, r(x, y) xOy;
) X ,
r(f, g) = max r2 (f(x), g(x)),
x D

D .
(, ) r
X x Ur (x) =
= {y  x: r(x, y)  r} (, Br (x) = {y  X: r(x, y)  r}).
U  X ,
U
.
37

, , . , ,
.
F  X ,

F.
, , ( ,
1).

34. X, Y f: X Y,
(. . f(x)  f(y) x  y )?
35*. , (. . x
f(x) U V, f U V).

28. ,
) ,
;
) ;
) .
29. ,
) ;
) A
( A) .

f: X Y ,
.
30. ,
.
31. ,
) rF (x) = inf r(x, y) y F

;
) ) F.
32. f: X Y . , ?
f: X Y, , . X, Y, , .
33. , :
) ;
) ;
) ;
) ;
) ;
) ;
) ;
) ;
) .
38

X . xn
,
e  0 n k, m  n r(xk , xm )  e.
36. , . ?
, .
37. , , , ?
38. , ; .
39. , , , .
40. ?
f X
,
c (0  c  1): x, y  X r(f(x), f(y))  cr(x, y).
41. , .
42. ) , .
) 1 : 5 000 000
1 : 20 000 000. , ,
.
43*. , 42, ?

, ;
39

( ,
2).
44. ) a, b, a, b  R a  a  b  b. ,
[a, b], [a, b],
[a, b] c
.
) a, b, c, e  R a  b, c  0, e  0. [a, b],
f(x)  f(y) 
 c,
x  [a, b]: y (0   x  y   e)

x y
  

[a, b]
c .
45. ( .) ,

.
46. , ,

, [0, 1], [0, 1] c .
47*. f [0, 1]. ,
.