Конструктивный набор (топология)
- Конструктивные множества играют важную роль в алгебраической геометрии.
- Они являются булевой алгеброй, порожденной ретрокомпактными открытыми подмножествами.
- Большинство схем в алгебраической геометрии являются локально нетеровыми, но есть и более общие конструкции.
- Образ конструктивного множества также является конструктивным множеством для большого класса отображений.
- Теорема Шевалле утверждает, что если морфизм схем является конечно представленным, то его образ также локально конструируется.
- Локально конструируемые множества обладают множеством локальных свойств морфизмов схем и квазикогерентных пучков.
- Результаты конструктивности играют важную роль в большинстве случаев, предполагая, что морфизмы также являются конструктивными.
Полный текст статьи: