Jump to content

Бесчисленное множество

(Перенаправлено с «Бесконечная бесконечность »)

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

Характеристики [ править ]

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

Эквивалентность первых трех из этих характеристик можно доказать в теории множеств Цермело – Френкеля без аксиомы выбора , но эквивалентность третьей и четвертой не может быть доказана без дополнительных принципов выбора.

Свойства [ править ]

  • Если несчетное множество X является подмножеством множества Y , то Y несчетно.

Примеры [ править ]

Самый известный пример несчетного множества — это множество R всех действительных чисел ; Диагональный аргумент Кантора показывает, что это множество несчетно. Метод доказательства диагонализации также можно использовать, чтобы показать, что некоторые другие множества несчетны, например, набор всех бесконечных последовательностей натуральных чисел и набор всех подмножеств набора натуральных чисел. Мощность R часто называют мощностью континуума и обозначают , или , или ( бет-один ).

Множество Кантора это несчетное подмножество R. — Множество Кантора является фракталом и имеет размерность Хаусдорфа больше нуля, но меньше единицы ( R имеет размерность один). Это пример следующего факта: любое подмножество R хаусдорфовой размерности, строго больше нуля, должно быть несчетным.

множество всех функций от R до R. Другой пример несчетного множества — Это множество даже «более несчетно», чем R, в том смысле, что мощность этого множества равна ( beth-two ), что больше, чем .

Более абстрактный пример несчетного множества — это множество всех счетных порядковых чисел , обозначаемое Ω или ω 1 . [1] Мощность Ω обозначается ( алеф-один ). , можно показать Используя аксиому выбора , что наименьшее неисчисляемое кардинальное число. Таким образом, либо , мощность действительных чисел, равна или оно строго больше. Георг Кантор был первым, кто поставил вопрос о том, равно . В 1900 году Дэвид Гильберт поставил этот вопрос как первую из своих 23 задач . Заявление о том, что теперь называется гипотезой континуума и, как известно, не зависит от аксиом Цермело – Френкеля для теории множеств (включая аксиому выбора ).

Без аксиомы выбора [ править ]

Без аксиомы выбора могли бы существовать мощности, несравнимые с (а именно мощности дедекинд-конечных бесконечных множеств). Наборы этих мощностей удовлетворяют первым трем приведенным выше характеристикам, но не четвертой характеристике. Поскольку эти множества по мощности не превосходят натуральные числа, некоторые, возможно, не захотят называть их несчетными.

Если аксиома выбора верна, следующие условия на кардинал эквивалентны:

  • и
  • , где и наименьший начальный порядковый номер больше, чем

Однако все они могут быть разными, если аксиома выбора не работает. Поэтому не очевидно, какое из обобщений «несчетности» является подходящим, если аксиома неверна. Возможно, в данном случае лучше избегать использования этого слова и уточнить, какое из них оно означает.

См. также [ править ]

Ссылки [ править ]

  1. ^ Вайсштейн, Эрик В. «Бессчетно бесконечное» . mathworld.wolfram.com . Проверено 05 сентября 2020 г.

Библиография [ править ]

Внешние ссылки [ править ]

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 807219274ef070ba98b6cc84e64e6f19__1705019580
URL1:https://arc.ask3.ru/arc/aa/80/19/807219274ef070ba98b6cc84e64e6f19.html
Заголовок, (Title) документа по адресу, URL1:
Uncountable set - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)