3 Разбиение на классы.

Отношения эквивалентности
Если множество M представлено в виде суммы M = ∪ Mα своих попарно
α
непересекающихся подмножеств Mα , то говорят, что множество M разбито
на классы Mα .
Примеры разбиения на классы.
1. Множество точек (x, y) плоскости R2 можно, например, разбить на классы
прямых Mα = {(x, y) | x = α}, α ∈ R, параллельных оси ординат или на классы
концентрических окружностей Mr = {(x, y) | x2 + y 2 = r}, r > 0.
2. Множество всех интегрируемых
b на отрезке
 [a, b] функций можно, напри-
R
мер, разбить на классы Mα = f (x) dx = α , α ∈ R.
a
 Пусть заданы непустое множество M и множество Φ ∈ M × M . Говорят, что
элементы a, b ∈ M связаны отношением ϕ и пишут a ∼ b, если (a, b) ∈ Φ.
ϕ
Отношение ϕ называется отношением эквивалентности, если оно обладает
следующими тремя свойствами:
1) рефлексивность: a ∼ a для любого элемента a ∈ M ;
ϕ
2) симметричность: a ∼ b ⇔ b ∼ a;
ϕ ϕ
3) транзитивность: a ∼ b, b ∼ c ⇒ a ∼ c.
ϕ ϕ ϕ

Заметим, что каждое разбиение множества M на классы порождает некото-

рое отношение эквивалентности. Обратно, каждое отношение эквивалентности
порождает некоторое разбиение множества M на классы эквивалентных между
собой элементов.
Действительно, пусть M разбито на классы Mα . Тогда отношение эквива-
лентности ϕ можно ввести так: a ∼ b тогда и только тогда, когда a и b входят
ϕ
в один класс.
Пусть теперь в M введено отношение эквивалентности. Тогда объединим в
один класс Ma все элементы, эквивалентные a. Очевидно a ∈ Ma . Заметим,
что два класса Ma и Mb либо совпадают либо не пересекаются. Кроме того
объединение всех классов дает все множество M .
 Понятие разбиения множества на классы тесно связано с рассмотренным в
параграфе 2 понятием отображения. Например, всякое отображение f : M →
N , порождает следующее разбиение множества M на классы:

M = ∪ f −1 (y).
y∈N

Если же задано разбиение множества M на классы Mα , то, сопоставив эле-

менту x ∈ M отвечающий ему класс, мы получаем отображение f : M → N ,
где N = {Mα }.
4 Эквивалентность множеств. Счетные и несчетные мно-
жества
Опр. Говорят, что множество A эквивалентно множеству B, если существует
взаимно однозначное oтображение A на B. Это свойство записывают так:
A ∼ B.
Очевидно, что:
1) A ∼ A;
2) A ∼ B ⇒ B ∼ A;
3) A ∼ B, B ∼ C ⇒ A ∼ C.
Ясно, что конечные множества эквивалентны тогда и только тогда, когда они
состоят из одинакового числа элементов,
Простейшим среди бесконечных множеств является множество натуральных
чисел N.
Опр. Множество A называется счетным, если оно эквивалентно множеству
натуральных чисел. Множество A называется не более чем счетным, если оно
конечно либо счетно. Бесконечное множество, не являющееся счетным, назы-
вают несчетным.
 Пример 1. Множество целых чисел Z счетно.
Действительно, целые числа можно перенумеровать, например, следуюшим
образом:
0, −1, 1, −2, 2, −3, 3, . . .
Соответствующее отображение можно задать формулой
(
(n − 1)/2, если n нечетно,
f (n) =
−n/2, если n четно.

Пример 2. Множество рациональных чисел Q счетно.

Докажем это. Каждое рациональное число однозначно представляется в виде
p
несократимой дроби , где p - целое, q - натуральное. Назовем число h = |p| + q
q
высотой рационального числа.
Ясно, что число различных рациональных чисел одной высоты конечно. Бу-
дем нумеровать рациональные числа по возрастанию высоты.
Высота 1. 0/1.
Высота 2. -1/1, 1/1.
Высота 3. -1/2, 1/2, -2/1. 2/1.
........................
В этом процессе каждое рациональное число получит некоторый номер. Тем
самым будет установлено взаимно однозначное соответствие между множеством
рациональных чисел и множеством натуральных чисел.
Пример 3. Множество алгебраических чисел счетно.
Число x называется алгебраическим, если оно является корнем некоторого
n
ak xk с целыми коэффициентами.
P
многочлена Pn (x) =
k=0 √
Например число x = 2 алгебраическое, так как оно является корнем урав-
нения x2 − 2 = 0.
Теорема 4.1. Всякое подмножество счетного множества не более чем счет-
но.
Доказательство. Пусть A = {a1 , a2 , . . . , an , . . . } – счетное множество и B ⊂ A.
Пусть an1 , an2 , . . . , ank , . . . – те элементы множества A, которые входят в B. Если
B бесконечно, то B – счетное множество.
Теорема доказана.
Теорема 4.2. Объединение не более чем счетной совокупности счетных мно-
жеств также является счетным множеством.
∞ N
Доказательство. Пусть A = ∪ An либо A = ∪ An , где множества
n=1 n=1
An = {ank }∞
k=1 - счетные. Запишем элементы A в виде следующей таблицы

a11 a12 a13 . . . a1n ...

a21 a22 a23 . . . a2n ...
a31 a32 a33 . . . a3n ...
... ... ... ... ... ...
an1 an2 an3 . . . ann ...
... ... ... ... ... ...

и перенумеруем элементы "по диагоналям" следующим образом:

a11 , a12 , a21 , a13 , a22 , a31 , a14 , a23 , a32 , a41 , ...

При этом повторяющиеся элементы (то есть элементы, уже получившие но-
мер) нумеровать не будем. В этом процессе будут занумерованы все элементы
множества A, причем только один раз.
Теорема доказана.
Теорема 4.3. Всякое бесконечное множество содержит счетное подмноже-
ство.
Доказательство. Пусть M – бесконечное множество. Выберем в нем элемент
a1 ∈ M . Поскольку множество M бесконечно, то существует элемент a2 ∈ M ,
a2 6= a1 . Точно так же существует элемент a3 ∈ M , отличный от a1 и a2 , и т.д.
Таким образом, существует счетное подмножество

A = {a1 , a2 , . . . , an , . . . } ⊂ M.

Теорема доказана.
Замечание. Теорема 4.3 показывает, что среди бесконечных множеств счет-
ные множества являются "самыми маленькими".
Теорема 4.4. Множество действительных чисел из отрезка [0, 1] несчетно.
Доказательство. Предположим, что множество [0, 1] счетно, то есть
[0, 1] = {an }∞
n=1 . Выпишем последовательность соответствующих десятичных
дробей:
a1 = 0. α11 α12 α13 . . . α1n . . . ,
a2 = 0. α21 α22 α23 . . . α2n . . . ,
a3 = 0. α31 α32 α33 . . . α3n . . . ,
...........................
an = 0. αn1 αn2 αn3 . . . αnn . . . ,
...........................,
где αnk – десятичные цифры.
Построим вещественное число b = 0. β1 β3 . . . βn . . . , используя диагональный
процесс Кантора. Для каждого n > 1 за βn примем любую цифру, отличную
от αnn , 0 и 9. Ясно, что b ∈ [0, 1], но в то же время b не совпадает ни с одним
из чисел an . Полученное противоречие доказывает теорему.
Теорема доказана.

Замечание. Обратим внимание, что некоторые числа допускают две формы

записи в виде бесконечной десятичной дроби. Например,

0.10000 · · · = 0.09999 . . . 0.030000 · · · = 0.029999 . . .

Ясно, что таких ”плохих” чисел счетное множество. Для однозначности записи
обычно договариваются, какая из форм записи будет использоваться.