Аксиома детерминированности (Gtvnkbg ;ymyjbnunjkfguukvmn)

Перейти к навигации Перейти к поиску

Аксиома детерминированности — аксиома теории множеств, обычно обозначаемая AD. Эту аксиому предложили в 1962 году польские математики Ян Мычельский и Гуго Штейнгауз[1] в качестве замены для аксиомы выбора (введённой в 1904 году, обозначается AC). Причиной поиска альтернативы аксиоме выбора стали необычные следствия из этой аксиомы, которые вызывали и продолжают вызывать критику со стороны части математиков. Например, в случае применения аксиомы выбора возникают парадоксальные конструкции вроде «парадокса удвоения шара». Многие математики отмечали, что множества, существование которых доказывается с помощью аксиомы выбора, лишены индивидуальности в том смысле, что мы не можем исчерпывающе описать их состав из-за отсутствия ясного алгоритма выбора[2].

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

Аксиома детерминированности уже самим своим существованием вызвала большой интерес у специалистов по основаниям математики, ей посвящено немало публикаций[3], особенно в области дескриптивной теории множеств. По мнению сторонников этой аксиомы, ситуация в теории множеств сейчас напоминает положение после открытия неевклидовой геометрии — можно признать, что существует не одна теория множеств, а по крайней мере две, и вопрос о том, какая из них правильная, лишён смысла. Сторонники отмечают также, что теория множеств на основе аксиомы детерминированности более согласована с математической интуицией, чем на основе аксиомы выбора[2][4].

Детерминированные игры

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

Аксиому детерминированности проще всего определить в терминах не теории множеств, а теории игр[5]. Рассмотрим некоторое (фиксированное) множество A, состоящее из бесконечных последовательностей натуральных чисел (такие последовательности образуют топологическое пространство Бэра[англ.]).

Определим игру для двух человек со следующими правилами. Игрок I, начиная игру, пишет натуральное число Игрок II, зная этот ход, пишет число Далее они продолжают по очереди формировать некоторую последовательность — игрок I выбирает чётные её элементы, игрок II — нечётные. Игра длится бесконечно, но результат её объявляется согласно следующему правилу: если сформированная последовательность содержится в заданном множестве A, то выиграл игрок I, иначе — игрок II.

Нетрудно видеть, что если множество A конечное или счётное, то у игрока II есть простая выигрывающая стратегия — на -м ходу (где нечётно, ) выбирать число, не совпадающее с -м элементом -й последовательности множества A («диагональный метод»). Тогда результирующая последовательность заведомо не совпадёт ни с каким элементом множества A. Далее предполагается, что в общем случае каждый игрок имеет свою стратегию, то есть существует чёткий алгоритм, который для каждого фрагмента формируемой последовательности (включая начальный, пустой) указывает следующее число.

Стратегия игрока I называется выигрывающей, если для любого начального фрагмента (если фрагмент не пуст, то нечётное), в котором каждый член с чётным индексом был определён этой стратегией, она способна найти такое , что итоговая бесконечная последовательность (сформированная при любых ответах игрока II) принадлежит множеству A. Аналогично определяется выигрывающая стратегия для игрока II — она должна подсказывать числа, которые в итоге не дадут противнику сформировать результат, входящий во множество A.

Множество A (и соответствующая игра ) называются детерминированными, если у одного из игроков существует выигрывающая стратегия.

Из правил игры понятно, что ситуация, когда у обоих игроков существует выигрывающая стратегия, невозможна. Ясно также, что наличие свойства детерминированности зависит от множества A. Выше приведён пример, когда игра заведомо детерминирована (если множество A конечное или счётное). Таким образом, свойство детерминированности фактически имеет не игровой, а теоретико-множественный характер[6].

Формулировка аксиомы детерминированности

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

Любое множество A детерминировано.

В ходе исследования данной аксиомы появились модифицированные её версии:

Сравнение аксиомы детерминированности и аксиомы выбора

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

Далее всюду подразумевается общепринятая аксиоматика теории множеств Цермело — Френкеля (сокращённо обозначаемая ZF). Из аксиомы детерминированности следует (для поля вещественных чисел) аксиома счётного выбора, на которую опираются базовые теоремы математического анализа. Поэтому новая аксиома совместима с классической математикой. Однако с полной аксиомой выбора она не совместима — доказано[6], что с помощью аксиомы выбора можно построить недетерминированное множество A, что прямо противоречит аксиоме детерминированности.

Многие следствия конкурирующих аксиом в теории множеств и топологии противоположны друг другу. С помощью аксиомы выбора доказано, что существуют множества вещественных чисел, неизмеримые по Лебегу; из аксиомы детерминированности следует, что таких множеств не существует — все множества вещественных чисел измеримы. По-разному решается проблема континуума (существование промежуточных мощностей между счётной и континуальной) — аксиоматика Цермело — Френкеля допускает любой из двух вариантов решения этой проблемы (то есть, она не может быть ни доказана, ни опровергнута), в то время как из аксиомы детерминированности выводится однозначное решение: любое бесконечное несчётное множество вещественных чисел континуально. Имеются и многочисленные иные отличия: вполне упорядочить аксиома детерминированности разрешает не любые, а лишь только конечные и счётные множества, лишается основания нестандартный анализ[7]. Упомянутая выше дескриптивная теория множеств особенно плохо согласуется с аксиомой выбора — многие выдвинутые в этой теории гипотезы, подобно континуум-гипотезе, оказались неразрешимы, в то время как аксиома детерминированности позволяет эти гипотезы строго доказать; это объясняет большой интерес к данной аксиоме математиков, исследующих дескриптивную теорию множеств[8].

Примечания

[править | править код]
  1. Mycielski, Jan; Steinhaus, Hugo. (1962). A mathematical axiom contradicting the axiom of choice. Bulletin de l’Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques 10: 1-3. ISSN 0001-4117. MR 0140430.
  2. 1 2 Кановей В. Г., 1984, с. 3, 4.
  3. Кановей В. Г., 1985, с. 5, 15.
  4. Кановей В. Г., 1984, с. 29.
  5. Кановей В. Г., 1984, с. 30—33.
  6. 1 2 Кановей В. Г., 1984, с. 33—35.
  7. Кановей В. Г., 1984, с. 51.
  8. Кановей В. Г., 1985, с. 4.

Литература

[править | править код]
  • Александров П. С. Введение в теорию множеств и общую топологию. — М.: Наука, 1977. — 368 с. — Глава 3, § 4.
  • Кановей В. Г. Аксиома выбора и аксиома детерминированности. — М.: Наука, 1984. — 64 с. — (Проблемы науки и технического прогресса).
  • Кановей В. Г. Аксиома детерминированности и современное развитие дескриптивной теории множеств // Итоги науки и техники. Серия: Алгебра. Топология. Геометрия. — М.: ВИНИТИ, 1985. — Т. 23. — С. 3—60.
  • Справочная книга по математической логике. Часть II. Теория множеств = Handbook of Mathematical Logic / Барвайс Дж.. — М.: Наука, 1983. — 392 с.
  • Пахомов Ф. Н., ст. науч. сотр. Аксиома детерминированности, цикл лекций. Занятие 1. Дата обращения: 25 марта 2023.
  • Пахомов Ф. Н.. Аксиома детерминированности. Заметки к курсу в летней школе “Современная математика”, Дубна, 2019 год. Дата обращения: 25 марта 2023.
  • Kleinberg E. M. Infinitary combinatorics and the axiom of determinateness. — Berlin: Springer, 1977.
  • Martin D. A. The axiom of determinateness and reduction principles in the analytical hierarchy // Bull. Amer. Math. Soc,. — 1968. — Vol. 74, № 4. — P. 687—689.
  • Moschovakis Y. M. Descriptive set theory. — Amsterdam: North Holland, 1980.