Сигнатура (матем.) — … Википедия
КОБОРДИЗМ — кобордизмов теория, обобщенная теория когомологий, определенная спектрами пространств Тома и связанная с различными структурами в стабильном касательном или нормальном расслоении к многообразию. Теория К. двойственна (в смысле S двойственности… … Математическая энциклопедия
ДРЕВОВИДНОЕ МНОГООБРАЗИЕ — гладкое нечетномерное многообразие специального вида, являющееся краем четномерного многообразия, строящегося из расслоений над сферами с помощью склеек по схеме, задаваемой нек рым графом (деревом). Пусть pi: i= 1,2, ... расслоение над n сферами … Математическая энциклопедия
МАКСВЕЛЛА УРАВНЕНИЯ — фундаментальные ур ния классич. макроскопич. электродинамики, описывающие эл. магн. явления в любой среде (и в вакууме). Сформулированы в 60 х гг. 19 в. Дж. Максвеллом на основе обобщения эмпирич. законов электрич. и магн. явлений и развития идеи … Физическая энциклопедия
ДЕЙСТВИТЕЛЬНОЕ АЛГЕБРАИЧЕСКОЕ МНОГООБРАЗИЕ — множество A = X(R)действительных точек алгебраич. многообразия X, определенного над полем R действительных чисел. Д. а. м. наз. неособым, если X неособое алгебраич. многообразие. В этом случае Аявляется гладким многообразием, а его размерность… … Математическая энциклопедия
КВАДРАТИЧНЫХ ФОРМ ПРИВЕДЕНИЕ — выделение в каждом классе квадратичных форм (к. ф.)над данным кольцом Rприведенных форм стандартных форм класса (одной или нескольких). Основной целью К. ф. п. является решение проблемы эквивалентности к. ф.: установить, эквивалентны над Rданные… … Математическая энциклопедия
МОДЕЛЕЙ ТЕОРИЯ — раздел математической логики, изучающий математические модели. Начало М. т. относится к 30 м гг. 20 в., когда были доказаны следующие две основные теоремы. Теорема 1 (теорема Гёделя Мальцева). Если каждая конечная подсовокупность совокупности… … Математическая энциклопедия
ЭЛЕМЕНТАРНАЯ ТЕОРИЯ — совокупность замкнутых формул логики предикатов 1 й ступени. Э. т. Th(К) класса К алгебраических систем сигнатуры наз. совокупность всех замкнутых формул логики предикатов 1 й ступени сигнатуры истинных на всех системах из класса К. Если класс… … Математическая энциклопедия
КОНСТРУКТИВНЫХ МОДЕЛЕЙ ТЕОРИЯ — один из разделов математики, возникший на границе моделей теории, алгебры и теории рекурсивных функций и связанный с изучением вопросов эффективности в моделях и алгебрах. Статья А. И. Мальцева Конструктивные алгебры [1] явилась первой обзорной… … Математическая энциклопедия
ОРБИТА — точки хотносительно группы G, действующей на множестве X(слева), множество Множество является подгруппой в G и наз. стабилизатором, или стационарной подгруппой точки хотносительно G. Отображение индуцирует биекцию между G/Gx и орбитой G(x). О.… … Математическая энциклопедия
