Конструктивное подмножество

алгебраического многообразия - конечное объединение локально замкнутых (в Зариского топологии)подмножеств. Локально замкнутым подмножеством наз. пересечение открытого и замкнутого подмножеств. К. п. образуют булеву алгебру и могут быть определены как элементы булевой алгебры, порожденной алгебраич. подмногообразиями. Роль К. п. в алгебраич. геометрии объясняет следующая теорема ГОевалле: если [img: http://localhost:8080/file/021236-53.jpg] - морфизм алгебраич. многообразий, то f(X)(и более того, образ любого К. п. из X)является К. п. в У. С этим фактом связано то, что "алгебраические" условия выделяют конструктивные подмножества алгебраич. многообразий. Отображение h: [img: http://localhost:8080/file/021236-54.jpg] наз. конструктивным, если h{X)конечно и для любой точки [img: http://localhost:8080/file/021236-55.jpg] прообраз A-1(i) есть К. п. в X.