Проективная иерархия
-
Определение проективной иерархии
- Проективная иерархия — это система множеств, упорядоченных по возрастанию сложности.
- Множество A является проективным, если оно является Σ11 для некоторого натурального числа n.
-
Связь с аналитической иерархией
- Проективная иерархия тесно связана с релятивизированной аналитической иерархией.
- Множество, классифицируемое проективной иерархией, совпадает с множеством, классифицируемым релятивизированной аналитической иерархией.
-
Примеры и связь с эффективными пространствами поляка
- Множество вещественных чисел является проективным.
- Аналогичная связь сохраняется для подмножеств пространств Кантора и других эффективных пространств поляка.
-
Структура статьи
- В статье представлены определения, примеры и связь с другими иерархиями множеств.
- Статья содержит таблицы и ссылки для редактирования и просмотра информации.
Полный текст статьи: