Связанные понятия
Теорема о монотонной сходимости (теорема Беппо́ Ле́ви) — это теорема из теории интегрирования Лебега, имеющая фундаментальное значение для функционального анализа и теории вероятностей, где служит инструментом для доказательства многих положений. Даёт одно из условий при которых можно переходить к пределу под знаком интеграла Лебега, теорема позволяет доказать существование суммируемого предела у некоторых ограниченных функциональных последовательностей.
Интеграл Лебе́га — это обобщение интеграла Римана на более широкий класс функций.
Интеграл Даниеля — одно из обобщений интеграла Римана, альтернативное понятию интеграла Лебега.
Определённый интеграл — аддитивный монотонный функционал, заданный на множестве пар, первая компонента которых есть интегрируемая функция или функционал, а вторая — область в множестве задания этой функции (функционала).
Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию. Главным предметом изучения классической алгебраической геометрии, а также в широком смысле и современной алгебраической геометрии, являются множества решений систем алгебраических уравнений. Современная алгебраическая геометрия во многом основана на методах общей алгебры (особенно коммутативной) для решения задач, возникающих в геометрии.
Алгебраическое многообразие — центральный объект изучения алгебраической геометрии. Классическое определение алгебраического многообразия — множество решений системы алгебраических уравнений над действительными или комплексными числами. Современные определения обобщают его различными способами, но стараются сохранить геометрическую интуицию, соответствующую этому определению.
Теория амёб — раздел комплексного анализа, изучающий геометрию алгебраических множеств. Находит широкое применение в алгебраической и тропической геометрии.
Теоре́ма Лебе́га о мажори́руемой сходи́мости в функциональном анализе, теории вероятностей и смежных дисциплинах — это теорема, утверждающая, что если сходящаяся почти всюду последовательность измеримых функций может быть ограничена по модулю сверху интегрируемой функцией, то все члены последовательности, а также предельная функция тоже интегрируемы. Более того, интеграл последовательности сходится к интегралу её предела.
Точное нахождение первообразной (или интеграла) произвольных функций — процедура более сложная, чем «дифференцирование», то есть нахождение производной. Зачастую, выразить интеграл в элементарных функциях невозможно.
Подробнее: Методы интегрирования
Элементарные функции — функции, которые можно получить с помощью конечного числа арифметических действий и композиций из следующих основных элементарных функций...
Тополо́гия Зари́сского , или топология Зариского, — специальная топология, отражающая алгебраическую природу алгебраических многообразий. Названа в честь Оскара Зарисского и, начиная с 1950-х годов, занимает важное место в алгебраической геометрии.
Теоре́ма Тоне́лли — Фуби́ни в математическом анализе, теории вероятностей и смежных дисциплинах сводит вычисление двойного интеграла к повторным.
А́лгебра Ли — объект общей алгебры. Естественно появляется при изучении инфинитезимальных свойств групп Ли.
Дифференцирование в алгебре — операция, обобщающая свойства различных классических производных и позволяющая ввести дифференциально-геометрические идеи в алгебраическую геометрию. Изначально это понятие было введено для исследования интегрируемости выражений в элементарных функциях алгебраическими методами.
Подмногообразие ― термин, используемый для нескольких схожих понятий в общей топологии, дифференциальной геометрии и алгебраической геометрии.
Многомерный
анализ (также известный как многомерное или многовариантное исчисление) является обобщением дифференциального и интегрального исчислений для случая нескольких переменных.
Интеграл Пуанкаре — Картана - относительный интегральный инвариант первого порядка для классической динамической системы в потенциальном поле (интегральный инвариант Пуанкаре-Картана).
Интеграл — одно из важнейших понятий математического анализа, которое возникает при решении задач о нахождении площади под кривой, пройденного пути при неравномерном движении, массы неоднородного тела, и тому подобных, а также в задаче о восстановлении функции по её производной (неопределённый интеграл). Упрощённо интеграл можно представить как аналог суммы для бесконечного числа бесконечно малых слагаемых. В зависимости от пространства, на котором задана подынтегральная функция, интеграл может быть...
Вы́сшая симме́трия (обобщённая симметрия) — одно из фундаментальных понятий раздела математики — группового анализа.
Теорема Квиллена — Суслина (проблема Серра, гипотеза Серра) — утверждение о тривиальности произвольного векторного расслоения над аффинным пространством произвольной размерности. Сформулировано как гипотеза в 1955 году Жан-Пьером Серром, доказательство получено в 1976 году Андреем Суслиным и Даниелем Квилленом.
Гипотезы Вейля — математические гипотезы о локальных дзета-функциях проективных многообразий над конечными полями.
В математике (общей алгебре) многочлен от нескольких переменных над полем называется гармоническим, если лапласиан этого многочлена равен нулю.
Подробнее: Гармонический многочлен
Алгебра над полем — это векторное пространство, снабженное билинейным произведением. Это значит, что алгебра над полем является одновременно векторным пространством и кольцом, причём эти структуры согласованы. Обобщением этого понятия является алгебра над кольцом, которая, вообще говоря, является не векторным пространством, а модулем над некоторым кольцом.
Риманов
тензор кривизны представляет собой стандартный способ выражения кривизны римановых многообразий, а в общем случае — произвольных многообразий аффинной связности, без кручения или с кручением.
Симметрия встречается не только в геометрии, но и в других областях математики. Симметрия является видом инвариантности, свойством неизменности при некоторых преобразованиях.
Лине́йная а́лгебра — раздел алгебры, изучающий объекты линейной природы: векторные (или линейные) пространства, линейные отображения, системы линейных уравнений, среди основных инструментов, используемых в линейной алгебре — определители, матрицы, сопряжение. Теория инвариантов и тензорное исчисление обычно (в целом или частично) также считаются составными частями линейной алгебры. Такие объекты как квадратичные и билинейные формы, тензоры и операции как тензорное произведение непосредственно вытекают...
Коалгебра — математическая структура, которая двойственна (в смысле обращения стрелок) к ассоциативной алгебре с единицей. Аксиомы унитарной ассоциативной алгебры могут быть сформулированы в терминах коммутативных диаграмм. Аксиомы коалгебры получаются путём обращения стрелок. Каждая коалгебра c дуальностью (векторного пространства) порождает алгебру, но не наоборот. В конечномерном случае дуальность есть в обоих направлениях. Коалгебры встречаются в разных случаях (например, в универсальных обёртывающих...
Вложение Сегре используется в проективной геометрии для того, чтобы рассматривать прямое произведение двух проективных пространств как проективное многообразие. Названо в честь итальянского математика Беньямино Сегре.
Фуксова модель — это представление гиперболической римановой поверхности R как факторповерхности верхней полуплоскости H по фуксовой группе. Любая гиперболическая риманова поверхность позволяет такое представление. Концепция названа именем Лазаря Фукса.
Алгебраи́ческая тополо́гия (устаревшее название: комбинаторная топология) — раздел топологии, изучающий топологические пространства путём сопоставления им алгебраических объектов (групп, колец и т. д.), а также поведение этих объектов под действием различных топологических операций.
Гиперболи́ческие фу́нкции — семейство элементарных функций, выражающихся через экспоненту и тесно связанных с тригонометрическими функциями.
В алгебраической геометрии дивизоры являются обобщением подмногообразий некоторого алгебраического многообразия коразмерности 1. Существуют два различных таких обобщения — дивизоры Вейля и дивизоры Картье (названы в честь Андре Вейля и Пьера Картье), эти понятия эквивалентны в случае многообразий (или схем) без особенностей.
Подробнее: Дивизор (алгебраическая геометрия)
Абелево многообразие — это проективное алгебраическое многообразие, являющееся алгебраической группой (это значит, что закон композиции задаётся регулярной функцией).
Свя́зность Ле́ви-Чиви́ты или связность, ассоциированная с метрикой — одна из основных структур на римановом многообразии.
Алгебра Клини — в теоретической информатике, специальная алгебраическая структура, введённая американским математиком Стивеном Клини, являющаяся обобщением алгебры регулярных выражений.
Ба́зис (др.-греч. βασις «основа») — упорядоченный (конечный или бесконечный) набор векторов в векторном пространстве, такой, что любой вектор этого пространства может быть единственным образом представлен в виде линейной комбинации векторов из этого набора. Векторы базиса называются базисными векторами.
В математике инвариант Парри — Салливана (или число Парри — Салливана) — это числовое значение, представляющее интерес при изучении матриц инцидентности в теории графов и некоторых одномерных динамических систем. Инвариант даёт частичную классификацию нетривиальных неприводимых матриц инцидентности.
Проекти́вный мо́дуль — одно из основных понятий гомологической алгебры. С точки зрения теории категорий, проективные модули являются частным случаем проективных объектов.
Разложение Риччи — это разложение тензора кривизны Римана на неприводимые относительно ортогональной группы тензорные части.
Алгебра Хопфа — ассоциативная алгебра над полем, имеющая единицу, и являющаяся также коассоциативной коалгеброй с коединицей и, таким образом, биалгеброй c антигомоморфизмом специального вида. Названа в честь Х. Хопфа.
Алгебраическая комбинаторика — это область математики, использующая методы общей алгебры, в особенности теории групп и теории представлений, в различных комбинаторных контекстах и, наоборот, применяющая комбинаторные техники к задачам в алгебре.
Интеграл Курцвейля — Хенстока — обобщение интеграла Римана, позволяет полностью решить задачу о восстановлении дифференцируемой функции по её производной. Ни интеграл Римана (в том числе и несобственный), ни интеграл Лебега не дают решения этой задачи в общем случае.
Теорема о промежуточном значении (или Теоре́ма Больца́но — Коши́) утверждает, что если непрерывная функция, определённая на вещественном промежутке, принимает два значения, то она принимает и любое значение между ними.
Жёсткость Мостова утверждает, что геометрия гиперболического многообразия конечного объёма в размерностях, начиная с трёх, полностью определяется его фундаментальной группой.
Прострáнством называется математическое множество, имеющее структуру, определяемую аксиоматикой свойств его элементов (например, точек в геометрии, векторов в линейной алгебре, событий в теории вероятностей и так далее).Подмножество пространства называется «подпространством», если структура пространства индуцирует на этом подмножестве структуру такого же типа (точное определение зависит от типа пространства).
Подробнее: Пространство (математика)
Формула Вика — формула теории вероятностей, выражающая математическое ожидание многочлена от координат гауссовского вектора через элементы матрицы ковариаций. Одним из её применений является связь между средним значением полинома от следов степеней случайной матрицы большого размера и родами поверхностей, получаемыми склейкой заданных многоугольников при различных отождествлениях сторон.