Дескриптивная теория множеств

Дескриптивная теория множеств — это раздел математической логики и теории множеств, изучающий свойства определённых классов подмножеств польских пространств (полных сепарабельных метрических пространств, таких как вещественная прямая ℝ, канторово множество, гильбертов куб) с точки зрения их сложности, измеримости и топологической структуры. Основное внимание уделяется описанию и классификации множеств, которые могут быть получены с помощью операций проекции, взятия дополнения и счётных объединений, начиная с борелевских множеств.

История

Истоки и классический период

Зарождение дескриптивной теории множеств связано с работами французских математиков конца XIX — начала XX века. В 1898 году Эмиль Борель ввёл понятие борелевских множеств, определив их как наименьший σ-алгебр, содержащий все открытые множества вещественной прямой. В 1905 году Анри Лебег в своей диссертации «О функциях, представимых аналитически» систематически изучил иерархию борелевских множеств, классифицируя их по сложности (классы Fσ, Gδ и т. д.). Лебег также ввёл понятие проективных множеств, но допустил ошибку, полагая, что проекция борелевского множества всегда является борелевским.

Развитие в XX веке

В 1917 году Николай Лузин и Мишель Суслин независимо открыли существование аналитических множеств (A-множеств) — проекций борелевских множеств. Суслин показал, что существуют аналитические множества, не являющиеся борелевскими, что опровергло утверждение Лебега. Лузин и его ученик Пётр Новиков заложили основы теории проективных множеств, введя иерархию из классов Σ¹ₙ, Π¹ₙ, Δ¹ₙ. В 1925 году Стефан Банах и Казимеж Твардовский доказали, что каждое аналитическое множество обладает свойством Бэра.

В 1930-х годах Курт Гёдель показал, что в конструкбельной вселенной L существуют неборелевские проективные множества, что привело к пониманию зависимости свойств дескриптивных множеств от аксиом теории множеств. В 1960-е годы Роберт Соловей и Дональд Мартин доказали, что существование больших кардиналов (например, измеримых кардиналов) влечёт определённые свойства проективных множеств, такие как измеримость по Лебегу и свойство Бэра.

Основные понятия

Польские пространства

Польским пространством называется полное сепарабельное метрическое пространство. Ключевые примеры:

• Вещественная прямая ℝ с обычной метрикой.
• Канторово множество {0,1}ℕ (множество всех бесконечных последовательностей нулей и единиц).
• Гильбертов куб [0,1]ℕ.
• Пространство непрерывных функций C([0,1]) с равномерной метрикой.

Борелевская иерархия

Борелевские множества образуют иерархию, индексированную счётными ординалами:

• Σ⁰₁ — открытые множества.
• Π⁰₁ — замкнутые множества (дополнения открытых).
• Σ⁰₂ — счётные объединения замкнутых множеств (Fσ-множества).
• Π⁰₂ — счётные пересечения открытых множеств (Gδ-множества).
• Для любого счётного ординала α: Σ⁰_α — счётные объединения множеств из ∪_{β<α} Π⁰_β; Π⁰_α — дополнения множеств из Σ⁰_α.
• Δ⁰_α = Σ⁰_α ∩ Π⁰_α.

Проективная иерархия

Проективные множества обобщают борелевские с помощью операции проекции:

• Σ¹₁ — аналитические множества (проекции борелевских множеств).
• Π¹₁ — коаналитические множества (дополнения аналитических).
• Σ¹₂ — проекции Π¹₁-множеств.
• Π¹₂ — дополнения Σ¹₂-множеств.
• Аналогично для всех натуральных n. Δ¹ₙ = Σ¹ₙ ∩ Π¹ₙ.

Классификация и свойства

Регулярность

Множество называется регулярным, если оно обладает определёнными «хорошими» свойствами:

• Измеримость по Лебегу: множество измеримо по Лебегу.
• Свойство Бэра: множество имеет свойство Бэра (открыто по модулю множеств первой категории).
• Свойство совершенного множества: либо множество не более чем счётно, либо содержит совершенное подмножество (гомеоморфное канторову множеству).

Теоремы о регулярности

• Теорема Лузина — Суслина: каждое аналитическое (Σ¹₁) множество измеримо по Лебегу и обладает свойством Бэра.
• Теорема Соловея: если существует измеримый кардинал, то каждое проективное множество измеримо по Лебегу и обладает свойством Бэра.
• Теорема Мартина: если существует измеримый кардинал, то каждое Σ¹₂-множество обладает свойством совершенного множества.

Аксиома выбора и парадоксы

Без аксиомы выбора (в теории ZF) можно доказать, что все борелевские множества регулярны. Однако с аксиомой выбора (ZFC) существуют нерегулярные множества, например, неизмеримое по Лебегу множество Витали. В дескриптивной теории множеств изучаются множества, которые можно определить без аксиомы выбора, что гарантирует их регулярность.

Применение

Математическая логика

Дескриптивная теория множеств тесно связана с теорией доказательств и теорией моделей. Например, понятие проективной определимости используется для анализа сложности математических утверждений. Иерархия проективных множеств позволяет классифицировать задачи по их логической сложности.

Теория меры и топология

В теории меры борелевские и проективные множества служат основой для построения измеримых функций и интегралов. В топологии результаты дескриптивной теории множеств применяются для изучения свойств непрерывных отображений и сепарабельных пространств.

Теория игр и детерминированность

В 1970-е годы Дональд Мартин и Ицхак Неш связали дескриптивную теорию множеств с теорией игр. Аксиома детерминированности (AD) утверждает, что для любого подмножества канторова пространства существует выигрышная стратегия в бесконечной игре. AD влечёт, что все проективные множества регулярны, но противоречит аксиоме выбора. В ZF + AD все множества вещественных чисел измеримы по Лебегу и обладают свойством Бэра.

Информатика и теория вычислимости

В теории вычислимости дескриптивная теория множеств используется для классификации вычислимых функций и множеств по степени неразрешимости. Понятия аналитических и коаналитических множеств применяются в теории сложности описаний (алгоритмической информации).

Интересные факты

• Парадокс Банаха — Тарского (1924) использует неизмеримые множества, существование которых доказывается с помощью аксиомы выбора. В дескриптивной теории множеств такие множества не могут быть построены эффективно.
• Теорема Лузина — Новикова (1935) утверждает, что существует Π¹₁-множество, не являющееся борелевским, но имеющее мощность континуума.
• Гипотеза континуума (CH) влияет на свойства проективных множеств: в модели Гёделя L (где CH истинна) существуют Δ¹₂-множества без свойства совершенного множества, а в модели Соловея (где CH ложна) все проективные множества регулярны.
• Аксиома проективной детерминированности (PD) — более слабая версия AD, которая доказывается из существования больших кардиналов и влечёт регулярность всех проективных множеств.

Критика и ограничения

Дескриптивная теория множеств сталкивается с рядом фундаментальных ограничений, связанных с неразрешимостью в ZFC. Например, вопрос о том, является ли каждое Σ¹₂-множество измеримым по Лебегу, не может быть решён в рамках ZFC (если ZFC непротиворечива). Это приводит к необходимости использования дополнительных аксиом, таких как аксиомы больших кардиналов или проективной детерминированности, что делает теорию зависимой от выбора аксиоматической системы.

Кроме того, конструкции в дескриптивной теории множеств часто требуют аксиомы выбора, что вызывает критику со стороны интуиционистов и конструктивистов. Однако в рамках классической математики она остаётся важным инструментом для анализа сложности множеств и функций.

Источники

• Лузин Н. Н. «Лекции об аналитических множествах и их приложениях» (1930).
• Кехрис А. С. «Классическая дескриптивная теория множеств» (1995, рус. пер. 2001).
• Мощовский А. «Дескриптивная теория множеств» (1987).
• Джех Т. «Теория множеств» (2003, 3-е изд.).
• Мартин Д. А. «Дескриптивная теория множеств» (в: «Справочная книга по математической логике», ч. II, 1982).