Теорема Куратовского и Рилла-Нардзевского об измеримом отборе Теорема Куратовского-Рилла-Нардзевского Теорема в теории меры, определяющая условия измеримости функции отбора. Названа в […]
Куратовски–Теорема Улама Теорема Куратовского-Улама Аналог теоремы Фубини для пространств Бэра Эквивалентность свойств скудности и принадлежности множества к категории Важность свойства
Заговор (теория множеств) Организация и деятельность группы “Клика” Группа “Клика” была сообществом теоретиков множеств в Южной Калифорнии. Точные сведения о
Точечный класс Основы дескриптивной теории множеств Дескриптивная теория множеств изучает свойства множеств, не зависящие от их элементов. Множество может быть
Универсально измеримый набор Определение и свойства измеримых множеств Множество называется измеримым, если его можно измерить с помощью вероятностной меры. Множество
Шкала (описательная теория множеств) Определение и применение шкал в описательной теории множеств Шкала – это упорядочение множества точек в пространстве
Точечный класс Основы дескриптивной теории множеств Дескриптивная теория множеств изучает свойства множеств, не зависящие от их элементов. Множество может быть
Точечный класс Основы дескриптивной теории множеств Дескриптивная теория множеств изучает свойства множеств, не зависящие от их элементов. Множество может быть
Аксиома проективной детерминированности Определение проективной детерминированности Проективная детерминированность – частный случай аксиомы детерминированности для проективных множеств. Аксиома PD утверждает, что
Дерево (описательная теория множеств) Определение и свойства деревьев Дерево – это структура данных, состоящая из узлов и связей между ними.
Аксиома проективной детерминированности Определение проективной детерминированности Проективная детерминированность – частный случай аксиомы детерминированности для проективных множеств. Аксиома PD утверждает, что
Униформизация (теория множеств) Аксиома униформизации в теории множеств Аксиома униформизации – это слабая форма аксиомы выбора, которая утверждает, что для
Проективная иерархия Определение проективной иерархии Проективная иерархия – это система множеств, в которой каждое множество является проективным подмножеством некоторого другого
Идеальное свойство набора Определение совершенного множества Подмножество поляризованного пространства является совершенным множеством, если оно либо счетное, либо имеет совершенное подмножество.
Бесконечностно-борелевский набор Определение и свойства ∞-борелевских множеств ∞-борелевские множества – это подмножества пространства Бэра, которые могут быть описаны с помощью
Аналитический набор Определение аналитических множеств Аналитические множества в описательной теории множеств являются непрерывными изображениями поляризованного пространства. Определены Лузиным и Суслиным
Иерархия Wadge Определение и свойства иерархии Вайджа Иерархия Вайджа – это порядок множеств в пространстве Бэра, основанный на непрерывных функциях.
Проективная иерархия Определение проективной иерархии Проективная иерархия – это система множеств, упорядоченных по возрастанию сложности. Множество A является проективным, если
Идеальное свойство набора Определение совершенного множества Подмножество поляризованного пространства является совершенным множеством, если оно либо счетное, либо имеет совершенное подмножество.
Точечный класс Pointclass – это совокупность множеств точек в совершенном поляризованном пространстве. Pointclass обычно характеризуется каким-либо свойством определяемости. Точечные классы
