http://ru.wikipedia.org/wiki/Кардинальное_число Мощность множества[править] Материал из Википедии — свободной энциклопедии(Перенаправлено с Кардинальное число) Мощность множества или кардинальное число множества — это обобщение понятия количества (числа элементов множества), которое имеет смысл для всех множеств, включая бесконечные. Одно бесконечное множество может быть больше или меньше другого. Среди бесконечных множеств, счётное множество является самым маленьким.
[править]ОпределениеДва множества называются равномощными, если между ними существует биекция. Существование биекции между множествами есть отношение эквивалентности, а мощность множества — это соответствующий ему класс эквивалентности. [править]ПримерМножество чётных целых чисел [править]Свойства
[править]Связанные определенияСледуя Кантору, мощность множества называется кардинальным числом. Мощность множества Aобозначается через | A | (сам Кантор использовал обозначение Мощность множества натуральных чисел Про множества, равномощные множеству всех вещественных чисел, говорят, что они имеют мощность континуума, и мощность таких множеств обозначается символом c. Континуум-гипотеза утверждает, что Для мощностей, как и в случае конечных множеств, имеются понятия: равенство, больше, меньше. То есть для любых множеств A и B возможно только одно из трёх:
Ситуация, в которой A и B не равномощны и ни в одном из них нет части, равномощной другому, невозможна. Это следует из теоремы Цермело. Иначе это означало бы существование несравнимых между собой мощностей (что в принципе возможно, если не принимать аксиому выбора). Ситуация, в которой | A | > | B | и | A | < | B | , невозможна по теореме Кантора — Бернштейна. [править]См. также[править]Литература
|
Math >