Академический Документы
Профессиональный Документы
Культура Документы
238- Парадоксы теории множеств - Ященко - 2002 (вып 20)
238- Парадоксы теории множеств - Ященко - 2002 (вып 20)
.
.
. .
, , ,
.
.
:
. , ,
.
.
,
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 .: .
. . .
. . . .
- ,
, : ,
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
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,
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, ,
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
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
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]. ,
.