Математика
Advertisement

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

Мощность множества, как и другие основные конструкции традиционной теоретико-множественной математики, может достаточно плодотворно рассматриваться и под углом зрения, отличным от широко известной интуиционистской критики в рамках альтернативной теории множеств.

Определение[]

Пусть даны два множества и Тогда они называются равномощными, если между ними существует биекция . Из свойств биекции следует, что равномощность является отношением эквивалентности. Мощностью или кардинальным числом множества называется соответствующий ему класс эквивалентности. Мощность множества обозначается . Тот факт, что два множества равномощны, записывается:

Связанные определения[]

  • Множество называется конечным, если оно равномощно множеству для некоторого Мощность такого множества идентифицируют с количеством его элементов: Таким образом по определению два конечных множества равномощны тогда и только тогда, когда они имеют одно и то же количество элементов.
  • Множество называется бесконечным, если оно не является конечным.
  • Множество называется счётным, если оно равномощно множеству натуральных чисел . Мощность счётного множества обозначается
  • Множество называется не более чем счётным, если оно конечно или счётно.
  • Множество называется несчётным, если оно бесконечно и не является счётным.

Свойства[]

  • Если конечно, и - его булеан, то
  • Множество является бесконечным тогда и только тогда, когда оно содержит подмножество равномощное себе.
  • В предположении выполненности аксиомы выбора любое бесконечное множество содержит счётное подмножество.
  • Декартово произведение бесконечного множества с самим собой равномощно

Упорядочение кардинальных чисел[]

Будем предполагать, что выполнена аксиома выбора. Будем писать, что если существует инъекция Введённое таким образом бинарное отношение на мощностях множеств не зависит от выбора представителей обоих классов эквивалентности и обладает следующими свойствами:

Таким образом введённое отношение является полным порядком на семействе мощностей. Следуя общей практике, будем также использовать строгое неравенство:

Теорема Кантора[]

См. также основную статью: Теорема Кантора

Пусть - произвольное множество, а - его булеан. Тогда

В частности множество вещественных чисел, будучи равномощным множеству подмножеств натуральных чисел, является несчётным.

Континуум-гипотеза[]

См. также основную статью: Континуум-гипотеза

Обобщённая континуум-гипотеза утверждает, что неравенство в теореме Кантора плотное, то есть для любого бесконечного множества не существует множества такого, что

.

Это означает, что мощности множеств могут быть выписаны в виде возрастающей последовательности

где

и в частности

  • - мощность счётных множеств,
  • - мощность множества вещественных чисел.


Advertisement