вложение
121ГОМОТОПИЧЕСКАЯ ГРУППА — обобщение фундаментальной группы, предложенное В. Гуревичем [1] в связи с задачей о классификации непрерывных отображений. Г. г. определены для любого . При Г. г. совпадает с фундаментальной группой. Определение Г. г. не конструктивно, и поэтому… …
122ГРАФА УКЛАДКА — графа вложение, отображение вершин и ребер графа соответственно в точки и непрерывные кривые нек рого пространства такое, что вершины, инцидентные ребру, отображаются в концы кривой, соответствующей этому ребру. Правильной укладкой наз. укладка,… …
123ГРОТЕНДИКА ФУНКТОР — функтор вложения (см. Вложение категорий).из категории Св категорию контравариантных функторов, определенных на С и принимающих значения в категории множеств (Ens). Пусть X объект [U категории С(где U фиксированное универсальное множество);… …
124КАНОНИЧЕСКОЕ ПОГРУЖЕНИЕ — отображение алгебраич. многообразия Xв проективное пространство с помощью степеней канонического класса Кх (см. Линейная система). Пусть X неособая проективная кривая рода g;отображение, определяемое классом пКу, будет вложением для нек рого… …
125КОБОРДИЗМ — кобордизмов теория, обобщенная теория когомологий, определенная спектрами пространств Тома и связанная с различными структурами в стабильном касательном или нормальном расслоении к многообразию. Теория К. двойственна (в смысле S двойственности… …
126НОРМАЛЬНЫЙ ПУЧОК — аналог нормального расслоения в теории пучков. Пусть морфизм окольцованных пространств такой, что гомоморфизм сюръективен, и пусть Тогда есть пучок идеалов в и поэтому является модулем. Пучок …
127ОБЛАСТЬ ЦЕЛОСТНОСТИ — целостное кольцо, коммутативное кольцо с единицей и без делителей нуля. Любое поле, а также любое кольцо с единицей, содержащееся в нек ром поле, является О. ц. Обратно, любая О. ц. может быть вложена в нек рое поле. Такое вложение дает… …
128ОБРАТИМЫЙ ПУЧОК — локально свободный пучок модулей ранга 1 на окольцованном пространстве . Эквивалентное определение О. п.: пучок модулей, локально изоморфный пучку . О. п. на X, рассматриваемые с точностью до изоморфизма, образуют абелеву группу относительно… …
