Показать меню

Бесконечное множество

02.10.2021
13

Бесконечное множество — множество, не являющееся конечным. Можно дать ещё несколько эквивалентных определений бесконечного множества:

  • Множество, в котором для любого натурального числа n {displaystyle n} найдётся конечное подмножество из n {displaystyle n} элементов.
  • Множество, в котором найдётся счётное подмножество.
  • Множество, в котором найдётся подмножество, равномощное некоторому (ненулевому) предельному ординалу.
  • Множество, для которого существует биекция с некоторым его собственным подмножеством.

Для любого бесконечного множества существует множество с ещё большей мощностью — таким образом, не существует бесконечного множества наибольшей мощности. Мощности бесконечных множеств называются алефами («алеф», א — первая буква еврейского алфавита) и обозначаются ℵ α , {displaystyle aleph _{alpha },} где индекс α {displaystyle alpha } пробегает все порядковые числа. Мощности бесконечных множеств составляют вполне упорядоченный класс — наименьшей мощностью бесконечного множества является ℵ 0 {displaystyle aleph _{0}} (алеф-0, мощность множества натуральных чисел), за ним следуют ℵ 1 , ℵ 2 , … ℵ ω , ℵ ω + 1 , … ℵ ω 1 , … ℵ ω ω 1 , … {displaystyle aleph _{1},aleph _{2},dots aleph _{omega },aleph _{omega +1},dots aleph _{omega _{1}},dots aleph _{omega _{omega _{1}}},dots }

Примеры

  • Множества натуральных чисел N , {displaystyle mathbb {N} ,} целых чисел Z , {displaystyle mathbb {Z} ,} рациональных чисел Q , {displaystyle mathbb {Q} ,} действительных чисел R , {displaystyle mathbb {R} ,} комплексных чисел C {displaystyle mathbb {C} } — являются бесконечными множествами.
  • Множество функций N → N {displaystyle mathbb {N} o mathbb {N} } является бесконечным.
  • Упорядоченное бесконечное множество может иметь "концы" (минимальный и максимальный элементы) — например, множество рациональных чисел на отрезке [ 0 , 1 ] . {displaystyle [0,1].}
  • Совокупность всех бесконечных подмножеств счётного множества является несчётным бесконечным множеством.
Еще по этой теме:
Инвариант (математика)
13:00, 12 май
Инвариант (математика)
Инвариант — это свойство некоторого класса (множества) математических объектов, остающееся неизменным при преобразованиях определённого типа. Определение Пусть A
Множество Смита — Вольтерры — Кантора
09:07, 13 декабрь
Множество Смита — Вольтерры — Кантора
Множество Смита — Вольтерры — Кантора (СВК, толстое множество Кантора, ε {displaystyle varepsilon } -множество Кантора) — пример множества точек на
Конечное кольцо
21:26, 07 декабрь
Конечное кольцо
Конечное кольцо в общей алгебре — это кольцо, содержащее конечное число элементов (которое называется порядком кольца). Другими словами, это (непустое) конечное множество R
Глоссарий общей топологии
15:51, 07 декабрь
Глоссарий общей топологии
В этом глоссарии приведены определения основных терминов, используемых в общей топологии. Курсивом выделены ссылки внутри глоссария. А Антидискретная топология Топология на пространстве
Носитель (кооперативная игра)
03:46, 05 декабрь
Носитель (кооперативная игра)
Носитель — подмножество множества игроков в кооперативной игре, которые вносят ненулевой вклад в некоторую коалицию. Формально носитель кооперативной игры определяется как: S
Категория множеств
10:38, 02 декабрь
Категория множеств
Категория множеств — категория, объекты которой — множества, а морфизмы между множествами A и B — все функции из A в B. Обозначается Set. В аксиоматике Цермело — Френкеля «множества всех множеств» не
Комментарии:
Добавить комментарий
Ваше Имя:
Ваш E-Mail: