Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Статистика
На русском, статей
Улучшено за 24 ч.
Добавлено за 24 ч.
Альтернативы
Недавние
Show all languages
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
.
Лео
Ньютон
Яркие
Мягкие

Аксиома детерминированности

Из Википедии — свободной энциклопедии

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

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

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

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

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

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

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

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

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

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

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

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

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

  • Аксиома вещественной детерминированности[en] — усиленный вариант для континуальных множеств.
  • Аксиома AD+[en] — ещё один усиленный вариант.
  • Аксиома проективной детерминированности[en] — специальный вариант для проективных множеств.

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

Далее всюду подразумевается общепринятая аксиоматика теории множеств Цермело — Френкеля (сокращённо обозначаемая 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.

Литература

Эта страница в последний раз была отредактирована 25 марта 2023 в 13:10.
Как только страница обновилась в Википедии она обновляется в Вики 2.
Обычно почти сразу, изредка в течении часа.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).