Связанные понятия
Вложение Сегре используется в проективной геометрии для того, чтобы рассматривать прямое произведение двух проективных пространств как проективное многообразие. Названо в честь итальянского математика Беньямино Сегре.
Тео́рия поле́й — раздел математики, занимающийся изучением свойств полей, то есть структур, обобщающих свойства сложения, вычитания, умножения и деления чисел.
В теории представлений групп Ли и алгебр Ли, фундаментальное представление — это неприводимое конечномерное представление полупростой группы Ли или алгебры Ли, старший вес которого является фундаментальным весом. Например, определяющий модуль классической группы Ли является фундаментальным представлением. Любое конечномерное неприводимое представление полупростой группы Ли или алгебры Ли полностью определяется своим старшим весом (теорема Картана) и может быть построено из фундаментальных представлений...
Подробнее: Фундаментальное представление
Нормальная форма Чибрарио — нормальная форма дифференциального уравнения, не разрешённого относительно производной, в окрестности простейшей особой точки. Название предложено В. И. Арнольдом в честь итальянского математика Марии Чибрарио, установившей эту нормальную форму для одного класса уравнений.
Метод характеристик — метод решения дифференциальных уравнений в частных производных. Обычно применяется к решению уравнений в частных производных первого порядка, но он может быть применен и к решению гиперболических уравнений более высокого порядка.
Эллиптические уравнения — класс дифференциальных уравнений в частных производных, описывающих стационарные процессы.
Подробнее: Эллиптическое уравнение
Зада́ча Не́ймана , вторая краевая задача — в дифференциальных уравнениях краевая задача с заданными граничными условиями для производной искомой функции на границе области — так называемые граничные условия второго рода. По типу области задачи Неймана можно разделить на два типа: внутренние и внешние. Названа в честь Карла Неймана.
Сфера Блоха — способ представления чистых состояний кубита в виде точек на сфере.
Единичный отрезок — величина, принимаемая за единицу при геометрических построениях. При изображении декартовой системы координат, единичный отрезок обычно отмечается на каждой из осей.
Теоре́ма Тоне́лли — Фуби́ни в математическом анализе, теории вероятностей и смежных дисциплинах сводит вычисление двойного интеграла к повторным.
Фуксова модель — это представление гиперболической римановой поверхности R как факторповерхности верхней полуплоскости H по фуксовой группе. Любая гиперболическая риманова поверхность позволяет такое представление. Концепция названа именем Лазаря Фукса.
В теории категорий, представимый функтор — функтор специального типа из произвольной категории в категорию множеств. В некотором смысле, такие функторы задают представление категории в терминах множеств и функций.
Как и для криволинейных интегралов, существуют два рода поверхностных интегралов.
Подробнее: Поверхностные интегралы
Почти многоугольник — это геометрия инцидентности, предложенная Эрнестом Е. Шультом и Артуром Янушкой в 1980. Шульт и Янушка показали связь между так называемыми тетраэдрально замкнутыми системами прямых в евклидовых пространствах и классом геометрий точка/прямая, которые они назвали почти многоугольниками. Эти структуры обобщают нотацию обобщённых многоугольников, поскольку любой обобщённый 2n-угольник является почти 2n-угольником определённого вида. Почти многоугольники интенсивно изучались, а...
Производящий функционал — это расширение понятия производящей функции моментов для одномерного / конечномерного распределения Гаусса на континуальное распределение Гаусса.
Дифференциа́л (от лат. differentia — разность, различие) в математике — линейная часть приращения дифференцируемой функции или отображения.
Комплекс Кошуля был впервые введён в математике Жаном-Луи Кошулем, чтобы определить теорию когомологий алгебр Ли. Впоследствии он оказался полезной общей конструкцией гомологической алгебры. Его гомологии могут быть использованы для того, чтобы определить, является ли последовательность элементов кольца M-регулярной, и, как следствие, он может быть использован ля того, чтобы доказать базовые свойства глубины модуля или идеала.
Область главных идеалов — это область целостности, в которой любой идеал является главным. Более общее понятие — кольцо главных идеалов, от которого не требуется целостности (однако некоторые авторы, например Бурбаки, ссылаются на кольцо главных идеалов как на целостное кольцо).
Фо́рмула Кирхго́фа — аналитическое выражение для решения гиперболического уравнения в частных производных (т. н. «волнового уравнения») во всём трёхмерном пространстве. Методом спуска (то есть уменьшением размерности) из него можно получить решения двумерного (Формула Пуассона) и одномерного (Формула Д’Аламбера) уравнения.
Сигнату́ра — числовая характеристика квадратичной формы или псевдоевклидова пространства, в котором скалярное произведение задано с помощью соответствующей квадратичной формы.
Категория абелевых групп (обозначается Ab) — категория, объекты которой — абелевы группы, а морфизмы — гомоморфизмы групп. Является прототипом абелевой категории., в действительности, любая малая абелева категория может быть вложена в Ab.
Дискре́тное простра́нство в общей топологии и смежных областях математики — это пространство, все точки которого изолированы друг от друга в некотором смысле.
Максимальным идеалом коммутативного кольца называется всякий собственный идеал кольца, не содержащийся ни в каком другом собственном идеале.
Подробнее: Максимальный идеал
Слабая сходимость в функциональном анализе — вид сходимости в топологических векторных пространствах.
В математике константой
Чигера (также числом Чигера или изопериметрическим числом) графа называется числовая характеристика графа, отражающая, есть ли у графа «узкое место» или нет. Константа Чигера как способ измерения наличия «узкого места» представляет интерес во многих областях, например, для создания сильно связанных компьютерных сетей, для тасования карт и в топологии малых размерностей (в частности, при изучении гиперболических 3-мерных многообразий). Названа в честь математика Джефа Чигера...
Интеграл Даниеля — одно из обобщений интеграла Римана, альтернативное понятию интеграла Лебега.
Полупростые модули (вполне приводимые модули) — общеалгебраические модули, которые можно легко восстановить по их частям. Кольцо, являющееся полупростым модулем над самим собой, называется артиновым полупростым кольцом. Важный пример полупростого кольца — групповое кольцо конечной группы над полем характеристики ноль. Структура полупростых колец описывается теоремой Веддербёрна — Артина: все такие кольца являются прямыми произведениями колец матриц.
Подробнее: Полупростой модуль
Рекурсивное определение или индуктивное определение определяет сущность в терминах её самой (то есть рекурсивно), хотя и полезным способом. Для того, чтобы это было возможно, определение в любом данном случае должно быть хорошо-основанным, избегая бесконечной регрессии.
Псевдосфе́ра (поверхность Бельтра́ми) — поверхность постоянной отрицательной кривизны, образуемая вращением трактрисы около её асимптоты. Название подчёркивает сходство и различие со сферой, которая является примером поверхности с кривизной, также постоянной, но положительной.
Локальное поле — определённый тип полей с топологией, часто возникающих как пополнения полей.
Абстрактный клеточный компле́кс — множество с топологией Александрова, в котором неотрицательное целое число, называемое размерностью, присвоено каждой точке. Понятие используется в цифровой топологии для задач анализа двумерных и трёхмерных цифровых изображений. Комплекс называется «абстрактным» потому, что его точки, называемые «клетками», не являются подмножествами хаусдорфова пространства, как это требуется для клеточных комплексов, применяемых в алгебраической топологии и теории гомотопий.
В геометрии
домино замощение области в евклидовой плоскости — это мозаика области плитками домино, образованными объединением двух единичных квадратов, соединённых по ребру. Эквивалентно это паросочетание в графе решётки, образованное помещением вершины в центр каждого квадрата области и соединением двух вершин, если два соответствующих квадрата смежны.
В теории колец,
простой модуль (также используется название «неприводимый модуль») над кольцом R — это модуль над R, не имеющий ненулевых собственных подмодулей. Эквивалентно, модуль является простым тогда и только тогда, когда любой циклический модуль, порожденный одним его элементом (ненулевым элементом), совпадает со всем модулем. Простые модули служат для построения модулей конечной длины, в этом смысле они похожи на простые группы.
В общей алгебре,
поле k называется совершенным если выполняется одно из следующих эквивалентных условий...
Рациональная поверхность — это поверхность, бирационально эквивалентная проективной плоскости, или, другими словами, рациональное многообразие размерности два. Рациональные поверхности являются простейшими из примерно 10 классов поверхностей классицикации Энрикеса — Кодаиры комплексных поверхностей, и это были первые исследованные поверхности.
Доказательные вычисления — целенаправленные вычисления на ЭВМ, комбинируемые с аналитическими исследованиями, которые приводят к строгому установлению новых фактов и доказательству теорем.
Лемма о вложенных отрезках , или принцип вложенных отрезков Коши — Кантора, или принцип непрерывности Кантора — фундаментальное утверждение в математическом анализе, связанное с полнотой поля вещественных чисел.
Теорема Сарда — одна из теорем математического анализа, имеющих важные приложения в теории катастроф и теории динамических систем.Названа в честь американского математика Артура Сарда.
Теорема об обратной функции даёт достаточные условия для существования обратной функции в окрестности точки через производные от самой функции.
Метод простой итерации — один из простейших численных методов решения уравнений. Метод основан на принципе сжимающего отображения, который применительно к численным методам в общем виде также может называться методом простой итерации или методом последовательных приближений. В частности, для систем линейных алгебраических уравнений существует аналогичный метод итерации.
Теорема существования — утверждение, которое устанавливает, при каких условиях существует решение математической задачи или математический объект, например производная, неопределенный интеграл, определенный интеграл, решение уравнения и т. д. При доказательстве теорем существования используются сведения из теории множеств. Теоремы существования играют очень важную роль в различных приложениях математики, например при математическом моделировании различных явлений и процессов. Математическая модель...