Сигнатура (матем.)

Смотреть что такое "Сигнатура (матем.)" в других словарях:

• Сигнатура (матем.) — Сигнатура (математическая) числовая характеристика квадратичной формы. Каждая квадратичная форма с действительными коэффициентом может быть приведена с помощью невырожденного линейного преобразования переменных с действительными коэффициентами к… …   Большая советская энциклопедия

• КОБОРДИЗМ — кобордизмов теория, обобщенная теория когомологий, определенная спектрами пространств Тома и связанная с различными структурами в стабильном касательном или нормальном расслоении к многообразию. Теория К. двойственна (в смысле 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). О.… …   Математическая энциклопедия