Теорема Цермело

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Теорема Цермело — теорема теории множеств, утверждающая, что на всяком множестве можно ввести такое отношение порядка, что множество будет вполне упорядоченным. Одна из важнейших теорем в теории множеств. Названа в честь немецкого математика Эрнста Цермело. Теорема Цермело эквивалентна аксиоме выбора, а следовательно, и лемме Цорна.

Георг Кантор считал, что утверждение этой теоремы является «фундаментальным принципом мысли».[1] Действительно, любое счётное множество можно тривиально вполне упорядочить, например, перенеся порядок с множества натуральных чисел. Однако большинству математиков трудно представить себе полный порядок уже, например, множества действительных чисел. В 1904 году Дьюла Кёниг[англ.] сообщил, что доказал, что такого упорядочения не может существовать. Несколько недель спустя Феликс Хаусдорф обнаружил ошибку в доказательстве.[2] Однако вскорости Эрнст Цермело опубликовал свою известнейшую работу,[3] в которой доказал, что любое множество можно вполне упорядочить. Его доказательство опиралось на впервые сформулированную в этой же работе аксиому выбора. Вызванная этим фактом дискуссия побудила Цермело впоследствии вплотную заняться аксиоматизацией теории множеств, что привело к созданию аксиоматики Цермело — Френкеля.

Доказательство

[править | править код]

Доказательство см. в статье Утверждения, эквивалентные аксиоме выбора.

Литература

[править | править код]
  • Верещагин Н. Шень А. Начала теории множеств. — 4-е изд. — М.: МЦНМО, 2012. — 112 с. — ISBN 978-5-4439-0012-4.

Примечания

[править | править код]
  1. Georg Cantor (1883), “Ueber unendliche, lineare Punktmannichfaltigkeiten”, Mathematische Annalen 21, стр. 545–591.
  2. Plotkin, J. M. (2005), "Introduction to "The Concept of Power in Set Theory"", Hausdorff on Ordered Sets, History of Mathematics, vol. 25, American Mathematical Society, pp. 23—30, ISBN 9780821890516, Архивировано из оригинала 21 ноября 2021, Дата обращения: 15 июля 2017
  3. Beweis, dass jede Menge wohlgeordnet werden kann. Архивная копия от 7 марта 2016 на Wayback Machine Mathematische Annalen, 1904.