Иерархия Уэджа
Иерархия Wadge Определение и свойства иерархии Вайджа Иерархия Вайджа – это порядок множеств в пространстве Бэра, основанный на непрерывных функциях. […]
Вики
Descriptive set theory
Вики
Проективная иерархия
Проективная иерархия Определение проективной иерархии Проективная иерархия – это система множеств, упорядоченных по возрастанию сложности. Множество A является проективным, если
Вики
Идеальная недвижимость
Идеальное свойство набора Определение совершенного множества Подмножество поляризованного пространства является совершенным множеством, если оно либо счетное, либо имеет совершенное подмножество.
Вики
Пойнткласс
Точечный класс Pointclass – это совокупность множеств точек в совершенном поляризованном пространстве. Pointclass обычно характеризуется каким-либо свойством определяемости. Точечные классы
Вики
Гиперконечное отношение эквивалентности
Отношение гиперконечной эквивалентности Борелевские отношения эквивалентности играют важную роль в эргодической теории и теории меры. Примеры борелевских действий “ручных” счетных
Вики
Предварительный заказ
Предварительный заказ Предварительное упорядочивание – свойство класса pointclass, определяющее порядок элементов. Свойство сокращения позволяет разделить набор элементов на непересекающиеся подмножества.
Вики
Канторово пространство
Пространство Кантора Пространство Кантора является топологической абстракцией классического множества Кантора. В теории множеств топологическое пространство 2ω называется “пространством Кантора”. Множество
Вики
Иерархия Бореля
Иерархия Бореля Иерархия Бореля – это система кодирования множеств, основанная на ординалах. Иерархия Бореля имеет три уровня: lightface, Borel и
Вики
Пространство Бэра (теория множеств)
Пространство Бэра (теория множеств) Пространство Бэра – это идеальное полированное пространство без изолированных точек, имеющее ту же мощность, что и
Вики
Универсально измеримое множество
Универсально измеримый набор Универсально измеримое множество – множество, измеримое относительно каждой сигма-конечной меры. Мера Лебега не является вероятностной мерой, но
Вики
Стандартное борелевское пространство
Стандартное пространство Бореля Стандартное борелевское пространство связано с пространством поляка и уникально с точностью до изоморфизма измеримых пространств. Измеримое пространство
Вики
Отношение борелевской эквивалентности
Соотношение борелевской эквивалентности Отношение борелевской эквивалентности в польском пространстве X является борелевским подмножеством X × X. Если E является борелевским
Вики
Польский космос
Польское пространство Польские пространства – отделимые, полностью метризуемые топологические пространства. Польские пространства изучаются из-за их связи с описательной теорией множеств
Вики
Собственность Байре
Собственность Бэра Подмножество A из топологического пространства X обладает свойством Бэра, если существует открытое множество U такое, что A△U является
Вики
Набор Бореля
Набор Бореля Борелевская алгебра – это σ-алгебра подмножеств топологического пространства. Она может быть сгенерирована из класса открытых множеств путем повторения
Вики
Множество Gδ
Набор Gδ Множество Gδ в топологии представляет собой счетное пересечение открытых множеств. Множества Gδ и их двойственные множества Fσ являются
Вики
Описательная теория множеств
Описательная теория множеств Описательная теория множеств изучает свойства множеств и их отношения. Иерархия Бореля и проективная иерархия являются важными понятиями
Вики
Скудный набор
Скудный набор Скудное множество – это множество, которое не является плотным и не является открытым. В топологическом пространстве, скудное множество