Мощность множества. Счетные множества

Если множество X – конечное, то любое эквивалентное ему множество Y тоже конечное, причем оба эти множества равночисленные. С другой стороны, назвав какое-либо натуральное число, мы выражаем численность не одного какого-нибудь множества, а любого из множеств, принадлежащих одному и тому же классу эквивалентности из классов, определяемых отношением X ~ Y.

Если множество X бесконечное, то Y, такое что X ~ Y, тоже бесконечное. Чем же характеризуется класс бесконечных множеств, эквивалентных множеству Х? Возникла потребность в таком обобщении понятия «число элементов», чтобы это новое, более общее понятие служило характеристикой класса попарно эквивалентных множеств и в том случае, когда эти множества бесконечные. Таким обобщением явилось понятие «мощность» множества, введенное основоположником теории множеств Г. Кантором.

Определение. Множества имеют одну и ту же мощность, если они эквивалентны.

Исходя из определения ясно, что эквивалентные множества называют также равномощными.

Если X конечное множество, то его мощность воспринимается как число элементов этого множества и выражается целым неотрицательным числом (кардинальным числом).

Рассмотрим 2 бесконечных множества: N – множество всех натуральных чисел и В – множество положительных четных чисел
(B Ì N) и отображение F, состоящее из пар (х, у) таких, что у = 2 х,
x Î N, у Î В.

Нетрудно заметить, что F – биекция. Следовательно, N ~ B, т.е. эти множества равномощны. Равномощность множества своему подмножеству нам кажется парадоксальной потому, что это противоречит принципу «целое больше своей части» в привычной нам области конечных множеств.

Определение. Множество X называют счетным, если оно эквивалентно, а следовательно, равномощно множеству N всех натуральных чисел.

Из этого определения непосредственно следует, что любые два счетных множества равномощны. В самом деле, пусть X ~ N, Y ~ N, тогда X ~ N Ù N ~ Y Þ X ~ Y (в силу симметричности и транзитивности). Примером счетного множества является рассмотренное выше множество положительных четных чисел. Аналогично устанавливается, что и множество положительных нечетных чисел эквивалентно N, т.е. является счетным множеством. Легко доказать, что и множество всех целых чисел Z ~ N, хотя N Ì Z. Можно построить, например, следующую биекцию

N:						…	2 n	2 n +1	…
Z:			-1		-2	…	n	-n	…,

доказывающую эквивалентность Z ~ N, т.е. счетность множества Z.

Вопросы и задания для самопроверки

1.Соответствие R между множествами X = {1, 3, 5, 7} и Y = {2, 4, 6} задано перечислением пар:{(1, 2), (3, 2), (5, 2), (5, 4), (7, 4), (7, 6)}.Покажите, что R Ì X ´ Y. Задайте перечислением пар соответствия обратное и противоположное данному.

2. Какой частный случай соответствия называется отношением?

3. Определите свойства отношения «равно» в множестве N натуральных чисел.

4. Почему в математике среди отношений выделили два класса: отношения эквивалентности и отношения порядка?

5. Какой частный случай соответствия называется отображением?

6. С каким видом отображений связаны понятия равномощности и счетности множеств?

Дата добавления: 2015-07-18