Конструктивный Анализ

- множество, возникающее в описанном ниже процессе построения множеств. Пусть X- множество и X. Рассмотрим язык 1-й ступени L(R, X), содержащий один 2-местный предикатный символ, обозначающий отношение R, и индивидные константы, обозначающие элементы множества X(для каждого своя константа Суждение "формула j языка L(R, X )истинна в модели М=( Х, R)"записывается следующим образом. Множество наз. Определимым в модели М=( Х, R )(иначе М-о пределимым), если существует формула j(v)языка L(R, X )..

алгебраического многообразия - конечное объединение локально замкнутых (в Зариского топологии )подмножеств. Локально замкнутым подмножеством наз. Пересечение открытого и замкнутого подмножеств. К. П. Образуют булеву алгебру и могут быть определены как элементы булевой алгебры, порожденной алгебраич. Подмногообразиями. Роль К. П. В алгебраич. Геометрии объясняет следующая теорема ГОевалле. Если - морфизм алгебраич. Многообразий, то f(X)(и более того, образ любого К. П. Из X)является К. П. В У. ..

- название, установившееся за математич. Объектами, возникающими в результате развертывания так называемых конструктивных процессов. При описании того или иного конкретного конструктивного процесса обычно "...предполагается, что отчетливо охарактеризованы объекты, которые в данном рассмотрении фигурируют в качестве нерасчленяемых на части исходных объектов. Предполагается, что задан список тех правил образования новых объектов из ранее построенных, которые в данном рассмотрении фигурируют в каче..

..