Jump to content

Теорема Бореля об определенности

(Перенаправлено из определения Бореля )

В описательной теории множеств утверждает теорема детерминированности Бореля , что любая игра Гейла-Стюарта , множество выигрышей которой является борелевским множеством , , определена а это означает, что один из двух игроков будет иметь выигрышную стратегию для игры. Игра Гейла-Стюарта — это, возможно, бесконечная игра для двух игроков, в которой оба игрока имеют полную информацию и случайность не задействована.

Эта теорема представляет собой далеко идущее обобщение теоремы Цермело об определенности конечных игр. Это было доказано Дональдом А. Мартином в 1975 году и применяется в дескриптивной теории множеств , чтобы показать, что борелевские множества в польских пространствах обладают свойствами регулярности, такими как свойство совершенного множества .

Теорема также известна своими метаматематическими свойствами. В 1971 году, прежде чем теорема была доказана, Харви Фридман показал, что любое доказательство теоремы в теории множеств Цермело-Френкеля должно многократно использовать аксиому замены . Более поздние результаты показали, что более сильные теоремы детерминированности не могут быть доказаны в теории множеств Цермело – Френкеля, хотя они относительно согласуются с ней, если некоторые большие кардиналы непротиворечивы.

Предыстория [ править ]

- Стюарта Игры Гейла

Игра Гейла–Стюарта — это игра для двух игроков с полной информацией. Игра определяется с использованием множества A и обозначается G A . Два игрока чередуют ходы, и каждый игрок знает обо всех ходах, прежде чем сделать следующий. один элемент A. На каждом ходу каждый игрок выбирает для игры Один и тот же элемент может быть выбран более одного раза без ограничений. Игру можно представить с помощью следующей диаграммы, на которой ходы выполняются слева направо, причем ходы игрока I вверху и ходы игрока II внизу.

Игра продолжается без конца, так что один ход игры определяет бесконечную последовательность. элементов A . Множество всех таких последовательностей обозначается A ой . С самого начала игры игроки знают о фиксированном наборе выигрышей (так называемом выигрышном наборе ), который определит, кто выиграет. Выигрышное множество подмножеством A является ой . Если бесконечная последовательность, созданная в ходе игры, входит в выигрышный набор, то выигрывает игрок I. В противном случае выигрывает игрок II; нет никаких связей.

Первоначально это определение не включает традиционные игры с идеальной информацией, такие как шахматы, поскольку набор ходов, доступных в таких играх, меняется каждый ход. Однако случай такого рода можно разрешить, объявив, что игрок, делающий незаконный ход, немедленно проигрывает, так что понятие игры Гейла-Стюарта фактически обобщает концепцию игры, определенную деревом игры .

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

Выигрышная стратегия для игрока — это функция, которая сообщает игроку, какой ход следует сделать из любой позиции в игре, так что, если игрок будет следовать этой функции, он обязательно выиграет. Более конкретно, выигрышная стратегия для игрока I — это функция f , которая принимает в качестве входных данных последовательности элементов A четной длины и возвращает элемент A , так что игрок I выиграет каждую игру вида

Выигрышная стратегия для игрока II — это функция g , которая принимает последовательности элементов A нечетной длины и возвращает элементы A , так что игрок II выиграет каждую игру вида

Выигрышная стратегия может быть максимум у одного игрока; если бы оба игрока имели выигрышные стратегии и использовали эти стратегии друг против друга, только одна из двух стратегий могла бы выиграть в этой игре. Если один из игроков имеет выигрышную стратегию для определенного набора выигрышей, то этот набор выигрышей называется определенным .

Топология [ править ]

Для данного набора A независимо от того, является ли подмножество A ой будет определен, зависит в некоторой степени от его топологической структуры. Для целей игр Гейла–Стюарта множество A наделено дискретной топологией , а A ой наделен результирующей топологией произведения , где A ой рассматривается как счетное бесконечное топологическое произведение A с самим собой . В частности, когда A представляет собой множество {0,1}, топология, определенная на A ой — это в точности обычная топология в пространстве Кантора , а когда A — набор натуральных чисел, это обычная топология в пространстве Бэра .

Набор А ой можно рассматривать как совокупность путей через определенное дерево , что приводит к второй характеристике его топологии. Дерево состоит из всех конечных последовательностей элементов A , а потомками конкретного узла σ дерева являются именно те последовательности, которые расширяют σ на один элемент. Таким образом, если A = { 0, 1 }, первый уровень дерева состоит из последовательностей ⟨ 0 ⟩ и ⟨ 1 ⟩; второй уровень состоит из четырех последовательностей ⟨ 0, 0 ⟩, ⟨ 0, 1 ⟩, ⟨ 1, 0 ⟩, ⟨ 1, 1 ⟩; и так далее. Для каждой из конечных последовательностей σ в дереве множество всех элементов A ой которые начинаются с σ, является базовым открытым множеством в топологии на A . Открытые множества A ой являются именно множествами, выражаемыми как объединения этих основных открытых множеств. , Закрытыми множествами как обычно, являются те, дополнение которых открыто.

Борелевские множества A ой являются наименьшим классом подмножеств A ой которое включает открытые множества и замкнуто относительно дополнения и счетного объединения. То есть борелевские множества — это наименьшая σ-алгебра подмножеств A ой содержащий все открытые множества. Множества Бореля классифицируются в иерархии Бореля в зависимости от того, сколько раз необходимо выполнить операции дополнения и счетного объединения для их создания из открытых множеств.

Предыдущие результаты [ изменить ]

Гейл и Стюарт (1953) доказали, что если выигрышное множество является открытым или закрытым подмножеством A ой тогда игра Гейла-Стюарта с этим набором выигрышей всегда определена. В течение следующих двадцати лет это было распространено на несколько более высокие уровни иерархии Бореля посредством еще более сложных доказательств. вопросу о том, должна ли игра определяться всякий раз, когда множество выигрышей является борелевским подмножеством A. Это привело к ой . Было известно, что с помощью аксиомы выбора можно построить подмножество {0,1} ой это не определено (Кехрис 1995, стр. 139).

Харви Фридман (1971) доказал, что любое доказательство того, что все борелевские подмножества канторова пространства ({0,1} ой ) были определены, потребует неоднократного использования аксиомы замены , аксиомы, которая обычно не требуется для доказательства теорем о «маленьких» объектах, таких как пространство Кантора.

Определенность Бореля [ править ]

Дональд А. Мартин (1975) доказал, что для любого множества A все борелевские подмножества A ой определены. Поскольку первоначальное доказательство было довольно сложным, в 1982 году Мартин опубликовал более короткое доказательство, не требующее такого большого количества технических средств. В своем обзоре статьи Мартина Дрейк описывает второе доказательство как «на удивление прямое».

Область дескриптивной теории множеств изучает свойства польских пространств (по сути, полных сепарабельных метрических пространств). Теорема Бореля об определенности использовалась для установления многих [ нужна ссылка ] свойства борелевских подмножеств этих пространств. Например, все аналитические подмножества польских пространств обладают свойством совершенного множества , свойством Бэра и измеримы по Лебегу . Однако последние два свойства легче доказать, не используя борелевскую детерминированность, показав, что σ-алгебры измеримых множеств или множеств со свойством Бэра замкнуты относительно операции Суслина. .

- Теоретико множественные аспекты

Теорема Бореля о детерминированности представляет интерес своими метаматематическими свойствами, а также своими следствиями в дескриптивной теории множеств.

Определенность замкнутых множеств A ой для произвольного A эквивалентно аксиоме выбора над ZF (Кехрис 1995, стр. 139). При работе в теоретико-множественных системах, где не предполагается аксиома выбора, этого можно обойти, рассматривая обобщенные стратегии, известные как квазистратегии (Кехрис 1995, стр. 139), или рассматривая только игры, в которых A представляет собой множество натуральных чисел, как в аксиоме определенности .

Теория множеств Цермело (Z) — это теория множеств Цермело–Френкеля без аксиомы замены. Он отличается от ZF тем, что Z не доказывает, что операцию над набором степеней можно повторять бесчисленное количество раз, начиная с произвольного набора. В частности, V ω + ω , конкретный счетный уровень кумулятивной иерархии , является моделью теории множеств Цермело. С другой стороны, аксиома замены удовлетворяется V κ только для значительно больших значений κ, например, когда κ является сильно недоступным кардиналом . Теорема Фридмана 1971 года показала, что существует модель теории множеств Цермело (с аксиомой выбора), в которой детерминированность Бореля неверна, и, таким образом, теория множеств Цермело не может доказать теорему Бореля об детерминированности. [1]

Существования всех чисел Бет счетного индекса достаточно для доказательства теоремы Бореля об определенности. [2]

определенности формы Более сильные

В дескриптивной теории множеств изучаются несколько теоретико-множественных принципов, касающихся детерминированности, более сильной, чем детерминированность по Борелю. Они тесно связаны с большими кардинальными аксиомами .

Аксиома проективной определенности гласит, что все проективные подмножества польского пространства определены. Известно, что оно недоказуемо в ZFC, но относительно согласуется с ним и подразумевается некоторыми важными кардинальными аксиомами. Существования измеримого кардинала достаточно, чтобы по ZFC подразумевать, что все аналитические подмножества польских пространств определены.

Аксиома детерминированности утверждает, что все подмножества всех польских пространств определены. Он несовместим с ZFC, но в ZF + DC (теория множеств Цермело – Френкеля плюс аксиома зависимого выбора ) он эквисовместим с некоторыми большими кардинальными аксиомами.

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

  1. ^ Х. Фридман, «Высшая теория множеств и математическая практика», Анналы математической логики 2 (1971). стр.326--357.
  2. ^ Ленстер, Том (23 июля 2021 г.). «Определенность Бореля не требует замены» . Кафе «Н-Категория» . Техасский университет в Остине . Проверено 25 августа 2021 г.

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

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