сигнатура
81Сигнатурный — I прил. соотн. с сущ. сигнатура I, связанный с ним II прил. соотн. с сущ. сигнатура II, связанный с ним Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 …
82ИНВАРИАНТ — отображение j рассматриваемой совокупности М математич. объектов, снабженной фиксированным отношением эквивалентности р, в другую совокупность Nматематич. объектов, постоянное на классах эквивалентности Мпо r(точнее: И. отношения эквивалентности… …
83КОБОРДИЗМ — кобордизмов теория, обобщенная теория когомологий, определенная спектрами пространств Тома и связанная с различными структурами в стабильном касательном или нормальном расслоении к многообразию. Теория К. двойственна (в смысле S двойственности… …
84МИЛНОРА СФЕРА — гладкое многообразие, гомео морфное (кусочно линейно изоморфное) сфере S", но не диффеоморфное ей. Впервые пример такого многообразия был построен Дж. Милнором в 1956 (см. [1]); этот же пример первый пример гомеоморфных, но не диффеоморфных… …
85МОДЕЛЕЙ ТЕОРИЯ — раздел математической логики, изучающий математические модели. Начало М. т. относится к 30 м гг. 20 в., когда были доказаны следующие две основные теоремы. Теорема 1 (теорема Гёделя Мальцева). Если каждая конечная подсовокупность совокупности… …
86ПОНТРЯГИНА ЧИСЛО — характеристическое число, определенное для действительных замкнутых многообразий и принимающее рациональные значения. Пусть произвольный (необязательно однородный) стабильный характеристический класс. Для замкнутого ориентированного многообразия… …
87СТАБИЛЬНЫЕ И НЕСТАБИЛЬНЫЕ ТЕОРИИ — раздел моделей теории, изучающий стабильность элементарных теорий. Пусть Т полная теория первого порядка сигнатуры А модель теории Ти Сигнатура получается из добавлением символов с а выделенных элементов для всех Система <А, X> имеет сигнатуру …
88УЗЛОВ КОБОРДИЗМ — (правильнее бордизм узлов, см. Бордизм) отношение эквивалентности на множестве узлов, более слабое, чем изотопич. тип. Два гладких n мерных узла и наз. кобордантными, если существует гладкое ориентированное (n+1) мерное подмногообразие V… …
89ЭЛЕМЕНТАРНАЯ ТЕОРИЯ — совокупность замкнутых формул логики предикатов 1 й ступени. Э. т. Th(К) класса К алгебраических систем сигнатуры наз. совокупность всех замкнутых формул логики предикатов 1 й ступени сигнатуры истинных на всех системах из класса К. Если класс… …
90ЛИТЕРА — [от лат. lit(t)era буква] прямоугольный брусок из типограф, сплава, дерева или пластмассы с рельефным (выпуклым) изображением (очком) буквы, цифры или знака на одном из его торцов (см. рис.). Применяется как печатающий элемент при ручном или… …
