обозначается символом («алеф-нуль»). Множество называетсябесконечным, если его мощность , таким образом, счётные множества — это «самые маленькие» из бесконечных множеств. Следующие кардинальные числа в порядке возрастания обозначаются .

Про множества, равномощные множеству всех вещественных чисел, говорят, что они имеют мощность континуума, и мощность таких множеств обозначается символом c. Континуум-гипотеза утверждает, что

.

Для мощностей, как и в случае конечных множеств, имеются понятия: равенство, больше, меньше. То есть для любых множеств A и B возможно только одно из трёх:

• 1. | A | = | B | или A и B равномощны;

  2. | A | > | B | или A мощнее B, т. е. A содержит подмножество, равномощное B, но A и B не равномощны;

  3. | A | < | B | или B мощнее A, в этом случае B содержит подмножество, равномощное A, но A и B не равномощны.

Ситуация, в которой A и B не равномощны и ни в одном из них нет части, равномощной другому, невозможна. Это следует из теоремы Цермело. Иначе это означало бы существование несравнимых между собой мощностей (что в принципе возможно, если не принимать аксиому выбора).

Ситуация, в которой | A | > | B | и | A | < | B | , невозможна по теореме Кантора — Бернштейна.

См. также

• Ординальное число

Литература

• • А. А. Болибрух, Проблемы Гильберта (100 лет спустя), Глава 2 Первая проблема Гильберта: континуум-гипотеза, Библиотека «Математическое просвещение», Выпуск 2

  • Р.Курант, Г.Роббинс, Что такое математика? Глава II, § 4.

  • Факультативный курс по математике. 7-9 / Сост. И. Л. Никольская. — М.: Просвещение, 1991. — С. 109-110. — 383 с. — ISBN 5-09-001287-3

Категория: Теория множеств