Это не официальный сайт wikipedia.org 01.01.2023

Континуум-гипотеза — Википедия

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

(перенаправлено с «Первая проблема Гильберта»)

Конти́нуум-гипо́теза (проблема континуума, первая проблема Гильберта) — выдвинутое в 1877 году Георгом Кантором предположение о том, что любое бесконечное подмножество континуума является либо счётным, либо континуальным. Другими словами, гипотеза предполагает, что мощность континуума — наименьшая, превосходящая мощность счётного множества, и «промежуточных» мощностей между счетным множеством и континуумом нет. В частности, это предположение означает, что для любого бесконечного множества действительных чисел всегда можно установить взаимно-однозначное соответствие либо между элементами этого множества и множеством целых чисел, либо между элементами этого множества и множеством всех действительных чисел.

Континуум-гипотеза
Названо в честь континуум
Первооткрыватель или изобретатель Георг Кантор
Дата открытия 1877
Описывающая закон или теорему формула 0 κ 2 0 κ = 0 κ = 2 0
Обозначение в формуле 0 , κ , и 2 0
Кем решена Курт Гёдель и Пол Коэн

Если принять аксиому выбора, то континуум-гипотеза равносильна тому, что 2 0 = 1 .

Первые попытки доказательства этого утверждения средствами наивной теории множеств не увенчались успехом, в дальнейшем была показана невозможность доказать или опровергнуть гипотезу в аксиоматике Цермело — Френкеля (как с аксиомой выбора, так и без неё).

Континуум-гипотеза однозначно доказывается в системе Цермело — Френкеля с аксиомой детерминированности (ZF+AD).[1] При этом утверждение 2 0 = 1 в ней неверно; более того, мощность континуума и 1 в ней несравнимы.[2]

ИсторияПравить

Континуум-гипотеза стала первой из двадцати трёх математических проблем, о которых Гильберт доложил на II Международном Конгрессе математиков в Париже в 1900 году. Поэтому континуум-гипотеза известна также как первая проблема Гильберта.

В 1940 году Гёдель доказал, что отрицание континуум-гипотезы недоказуемо в ZFC — системе аксиом Цермело — Френкеля с аксиомой выбора, а в 1963 году Коэн с помощью разработанного им метода форсинга[en] доказал, что континуум-гипотеза также недоказуема в ZFC[3]. Оба эти результата опираются на предположение о непротиворечивости ZFC, причём оно является необходимым, так как в противоречивой теории любое утверждение является тривиально доказуемым. Таким образом, континуум-гипотеза является независимой от ZFC.

В предположении отрицания континуум-гипотезы Z F C + ¬ C H   имеет смысл задавать вопрос: для каких ординалов α   может выполняться равенство c = α  ? Ответ на этот вопрос даёт доказанная в 1970 году теорема Истона[en].

Эквивалентные формулировкиПравить

Известно несколько утверждений, эквивалентных континуум-гипотезе:

  • Прямая R   может быть раскрашена в счётное количество цветов так, что ни для какой одноцветной четвёрки чисел a , b , c , d   не выполняется условие a + b = c + d  [4].
  • Плоскость R 2   может быть полностью покрыта счётным семейством множеств, каждое из которых имеет вид y = f ( x )   (то есть имеет единственную точку пересечения с каждой вертикальной прямой) или x = f ( y )   (имеет единственную точку пересечения с каждой горизонтальной прямой)[5].
  • Пространство R 3   можно разбить на 3 множества так, что они пересекаются с любой прямой, параллельной осям O x  , O y   и O z  , соответственно, лишь в конечном числе точек (каждому множеству соответствует своя ось)[6].
  • Пространство R 3   можно разбить на 3 множества так, что для каждого из них существует такая точка P  , что это множество пересекается с любой прямой, проходящей через P  , лишь в конечном числе точек[7].

Вариации и обобщенияПравить

Обобщённая континуум-гипотеза заключается в предположении, что для любого бесконечного кардинала κ   выполняется равенство 2 κ = κ +  ; где κ +   обозначает следующий за κ   кардинал. Другими словами, в любом множестве, превосходящем по мощности некоторое бесконечное множество S  , найдётся подмножество, равномощное булеану P ( S )  [8].

Обобщённая континуум-гипотеза также не противоречит аксиоматике Цермело — Френкеля, и, как показали Серпинский в 1947 году и Шпеккер в 1952 году, из неё следует аксиома выбора.

См. такжеПравить

ПримечанияПравить

  1. Пахомов, с. 3.
  2. Jech, 1973, с. 176.
  3. Пол Дж. Коэн Теория множеств и континуум-гипотеза. — М.: Мир, 1969. — С. 347.
  4. Stephen Fenner, William Gasar. Statement in Combinatorics that is Independent of ZFC (An Exposition) Архивная копия от 27 ноября 2021 на Wayback Machine (англ.)
  5. Вацлав Серпинский. Cardinal And Ordinal Numbers. — Warszawa: Polish Scientific Publishers, 1965. (англ.)
  6. Вацлав Серпинский. О теории множеств. — М.: Просвещение, 1966.
  7. Архивированная копия  (неопр.). Дата обращения: 9 июля 2012. Архивировано 18 февраля 2013 года.
  8. Континуума проблема / А. Г. Драгалин // Большая советская энциклопедия : [в 30 т.] / гл. ред. А. М. Прохоров. — 3-е изд. — М. : Советская энциклопедия, 1969—1978.

ЛитератураПравить

  • Катин Ю. Е. Из истории проблемы континуума // История и методология естественных наук. — М.: МГУ, 1970. — Вып. 9. — С. 248—261.
  • Манин Ю. И. Проблема континуума // Итоги науки и техники. Серия «Современные проблемы математики. Новейшие достижения.». — 1975. — № 5. — С. 5—72. — ISSN 0202-747X.
  • Фёдор Пахомов. Аксиома детерминированности  (рус.) (2019). Дата обращения: 11 марта 2023.
  • Thomas Jech. The Axiom of Choice (англ.). — North-Holland Publishing Company, 1973. — 202 p.