, .
.
6.
, , , , , , , , , , , , , .
, :
;
;
4 ;
;
, ;
;
.
6.1.
() , , , . .
, a, b, x Î X. b (a x b), , a b. , a b, (a, b) .
(, b) , .. a b, [a, b]. a b , (a, b) . , ("xÎX)(x¹a Ù aÞx), .
, ("xÎX)(x¹a Ù Þ), .
, . , . .
:
x Þ y f(x) Þ f(y).
, - Y , .. y , f(x) f(y), xÎX, yÎY. . , .
. , .
4 .
1. (), (b). . (, b) .
|
|
2. , b.
3. , b. .
4. , b. .
.
= (), . 0Î , Î, , , , , .
, .
. ,
n.
P (n) . n = 1 ½, (1(1 + 1) / 4 ½. , P (1) .
, m.
m P (m) P (m +1) . , , P (n) n.
.
, , . , .
, , , .
.
, , .
, - . , .
- , , .. |A| = |B|.
.
, . , - N .
N 0, 1, 2, 3, 4, 5,...
N2 0, 1, 4, 9, 16, 25,...
.
6.2.
, , . , .
, , , .
. N . .
|
|
. |M| m. 2m.
, . . , .
, .. . 0, a1 a2 a3.... , . .
:
a=1, 2.
a¹1, 1.
. , 1, 1, 2. . , , .. 1, 2, n- n ..
, :
1) 0, 2 7 3 6 1...
2) 0, 4 1 1 2 2...
3) 0, 6 7 3 1 1...
4) 0, 7 1 1 4 4...
5) 0, 9 1 8 1 9...
, , 0,12111...
. , a0xn + a1xn-1 +... + akx + ak+1 = 0, .. . , , . p 3,14159...
, (.. ), ( ). . , , , , n- n! . 0,101000100000001...
, . , - . , , , , !
, , ( . ). .
: , , , , .
. |M| = m card M = m.
, |A| = m, |B| = n, N ( ), ().
, , .
1. m + n = n + m,
2. m + N = N,
3. N + N = N,
4. N + K = K,
5. K + K = K.
, . , . , . , .
|
|
6. m x n = n x m,
7. N x N = N,
8. N x K = K,
9. K x K = K.
, , . , . (9) , (, , , .. ).
, , , . , , .
1. m m < 2m.
2. m , m, m £ m.
(), . .
.
, Card M = m. 1, 2m 2m > m. , , . 2 2m £ m, .
.
= {a1, a2,..., a(p), a(k), a(p+1), a(p+2),..., a(t)}, (k) . :
1 = {a1, a2,..., a(p)} , .
2 = {a(p+1), a(p+2),..., a(t)} , . , .
: 1, 2 ( (k)). , , . , .. , .
.
.
1. , , .
2. .
3. .
4. .
5. .
6. (Z) (Q) .
7. (R) (C) .
. . (ZF). ZF - .
6.1. - N 2 A .
|
|
. G. N 2, A. . < n 2, - n > = <, N 2, A >, n = {1, 2, 3, }.
6.2. - [ a, b ] [ x, y ].
. , (. 6.1). - , [ a, b), [ x, y), (a, b ], (x, y ].
. 6.1. -
6.3. - [ a, b), [ x, y).
. - = < , (a, b), (x, y)> (a, b), (x, y) < a, x >. 1 = < È {< a, y >}, [ a, b), [ x, y)> .
6.4. A, , B, x 2 + (y 1) 2 = 1, y < 1 (0, 1) (. 6.2.). , y < 1, ( (1, 1) (-1, 1)) .
. 6.2. -
. - A B . ai bi , ai.
6.5. , Q .
. < a, b > a + b.
. , n 1 n (n > 1). :
< 1, n 1 >, < 2, n 2 >, , < n 1, 1 >
Qn n. , Q Qn, .. .
1. ?
2. .
3. .
4. ?
5. . .
6. .
7. ?
8. .
9. ?
10. , , .
11. .
12. .
13. ?
14. .
1. .
2. - .
3. . .
4. .
5. .
6. .
7. .
8. .
9. .
10. .
11. P (n):
, n Î N.
12. An , 1/ n, n .
13. , .
14. , M .
15. , .
16. , , .. , .
17. , .
18. , .
19. - N R.
20. - :
[ x, + ¥), [ y, + ¥);
|
|
(x, + ¥), (y, + ¥);
(- ¥, x), (- ¥, y).
21. - (- p, p) R.
22. , N [0, 1] - .
23. .
24. .
25. , A S Î N 2, MS .