Разбиение единицы

Разбиение единицы — конструкция, используемая в топологии для удобства работы с многообразием как множеством карт.

С помощью разбиения единицы определяется, в частности, интеграл от дифференциальной формы на многообразии.

Связанные понятия

Произведение топологических пространств — это топологическое пространство, полученное, как множество, декартовым произведением исходных топологических пространств, и снабжённое естественной топологией, называемой топологией произведения или тихоновской топологией. Слово «естественная» здесь употребляется в смысле теории категорий и означает, что эта топология удовлетворяет некоторому универсальному свойству.

Непреры́вное отображе́ние (непрерывная функция) — отображение из одного пространства в другое, при котором близкие точки области определения переходят в близкие точки области значений.

Ультрапредел — конструкция, позволяющая определить предел для широкого класса математических объектов.

Интегра́л Ри́мана — одно из важнейших понятий математического анализа. Введён Бернхардом Риманом в 1854 году, и является одной из первых формализаций понятия интеграла.

Кэлеровы дифференциалы представляют собой адаптацию дифференциальных форм для произвольных коммутативных колец или схем. Это понятие было введено Эрихом Кэлером в 1930-х.

Подробнее: Кэлеров дифференциал

Симметрия встречается не только в геометрии, но и в других областях математики. Симметрия является видом инвариантности, свойством неизменности при некоторых преобразованиях.

В математике, когерентные пучки — это класс пучков, тесно связанных с геометрическими свойствами пространства-носителя. В определении когерентного пучка используется пучок колец, который хранит эту геометрическую информацию.

Подробнее: Когерентный пучок

Схе́ма — математическая абстракция, позволяющая связать алгебраическую геометрию, коммутативную алгебру и дифференциальную геометрию и переносить идеи из одной области в другую. В первую очередь понятие схемы позволяет перенести геометрическую интуицию и геометрические конструкции, такие как тензорные поля, расслоения и дифференциалы, в теорию колец. Исторически теория схем возникла с целью обобщения и упрощения классической алгебраической геометрии итальянской школы XIX века, занимавшейся исследованием...

Дифференциальное исчисление над коммутативными алгебрами — раздел коммутативной алгебры, возникший в семидесятых годах прошлого века.

Ко́мпле́ксный ана́лиз, тео́рия фу́нкций ко́мпле́ксного переме́нного (или ко́мпле́ксной переме́нной; сокращенно — ТФКП) — раздел математического анализа, в котором рассматриваются и изучаются функции комплексного аргумента.

В математике, матричная функция — это функция, отображающая матрицу в другую матрицу.

Производная — фундаментальное математическое понятие, используемое в различных вариациях (обобщениях) во многих разделах математики. Это базовая конструкция дифференциального исчисления, допускающая много вариантов обобщений, применяемых в математическом анализе, дифференциальной топологии и геометрии, алгебре.

Субдифференциал функции f, заданной на банаховом пространстве E — это один из способов обобщить понятие производной на произвольные функции. Хотя при его использовании приходится пожертвовать однозначностью отображения (значения субдифференциала в общем случае — множества, а не отдельные точки), он оказывается довольно удобным: любая выпуклая функция оказывается субдифференцируемой на всей области определения. В тех случаях, когда о дифференцируемости функции заранее ничего не известно, это оказывается...

Тополо́гия Зари́сского, или топология Зариского, — специальная топология, отражающая алгебраическую природу алгебраических многообразий. Названа в честь Оскара Зарисского и, начиная с 1950-х годов, занимает важное место в алгебраической геометрии.

Кватернионный анализ — это раздел математики, изучающий регулярные кватернионнозначные функции кватернионного переменного. Из-за некоммутативности алгебры кватернионов существуют различные неравносильные подходы к определению регулярных кватернионных функций. В данной статье будет рассматриваться, в основном, подход Фютера.

Кубический сплайн — гладкая функция, область определения которой разбита на конечное число отрезков, на каждом из которых она совпадает с некоторым кубическим многочленом (полиномом).

Лине́йная а́лгебра — раздел алгебры, изучающий объекты линейной природы: векторные (или линейные) пространства, линейные отображения, системы линейных уравнений, среди основных инструментов, используемых в линейной алгебре — определители, матрицы, сопряжение. Теория инвариантов и тензорное исчисление обычно (в целом или частично) также считаются составными частями линейной алгебры. Такие объекты как квадратичные и билинейные формы, тензоры и операции как тензорное произведение непосредственно вытекают...

Интеграл — одно из важнейших понятий математического анализа, которое возникает при решении задач о нахождении площади под кривой, пройденного пути при неравномерном движении, массы неоднородного тела, и тому подобных, а также в задаче о восстановлении функции по её производной (неопределённый интеграл). Упрощённо интеграл можно представить как аналог суммы для бесконечного числа бесконечно малых слагаемых. В зависимости от пространства, на котором задана подынтегральная функция, интеграл может быть...

Многомерный анализ (также известный как многомерное или многовариантное исчисление) является обобщением дифференциального и интегрального исчислений для случая нескольких переменных.

Самоподобный объект — объект, в точности или приближённо совпадающий с частью себя самого (то есть целое имеет ту же форму, что и одна или более частей).

Подробнее: Самоподобие

Обобщённая фу́нкция или распределе́ние — математическое понятие, обобщающее классическое понятие функции.

Пучок — структура, используемая для установления отношений между локальными и глобальными данными.

Ве́ктор (от лат. vector, «несущий») — в простейшем случае математический объект, характеризующийся величиной и направлением. Например, в геометрии и в естественных науках вектор есть направленный отрезок прямой в евклидовом пространстве (или на плоскости).

Многочлен Александера — это инвариант узла, который сопоставляет многочлен с целыми коэффициентами узлу любого типа. Джеймс Александер обнаружил его, первый многочлен узла, в 1923. В 1969 Джон Конвей представил версию этого многочлена, ныне носящую название многочлен Александера — Конвея. Этот многочлен можно вычислить с помощью скейн-соотношения, хотя важность этого не была осознана до открытия полинома Джонса в 1984. Вскоре после доработки Конвеем многочлена Александера стало понятно, что похожее...

Ве́кторное (или лине́йное) простра́нство — математическая структура, которая представляет собой набор элементов, называемых векторами, для которых определены операции сложения друг с другом и умножения на число — скаляр. Эти операции подчинены восьми аксиомам. Скаляры могут быть элементами вещественного, комплексного или любого другого поля чисел. Частным случаем подобного пространства является обычное трехмерное евклидово пространство, векторы которого используются, к примеру, для представления...

Ба́зис (др.-греч. βασις «основа») — упорядоченный (конечный или бесконечный) набор векторов в векторном пространстве, такой, что любой вектор этого пространства может быть единственным образом представлен в виде линейной комбинации векторов из этого набора. Векторы базиса называются базисными векторами.

Ковариа́нтность и контравариа́нтность — используемые в математике (линейной алгебре, дифференциальной геометрии, тензорном анализе) и в физике понятия, характеризующие то, как тензоры (скаляры, векторы, операторы, билинейные формы и т. д.) изменяются при преобразованиях базисов в соответствующих пространствах или многообразиях. Контравариантными называют «обычные» компоненты, которые при смене базиса пространства изменяются с помощью преобразования, обратного преобразованию базиса. Ковариантными...

Симплициальное множество (в ранних источниках — полусимплициальный компле́кс) — теоретико-категорная конструкция, обобщающая понятие симплициального комплекса и в определённом смысле моделирующая понятие топологического пространства с «хорошими» свойствами: теория гомотопий для симплициальных множеств эквивалентна классической теории гомотопий для топологических пространств. За счёт того, что является чисто алгебраической конструкцией, обеспечивает практически полный параллелизм с геометрическими...

Вычислительные (численные) методы — методы решения математических задач в численном видеПредставление как исходных данных в задаче, так и её решения — в виде числа или набора чисел.

Дифференци́руемая (в точке) фу́нкция — это функция, у которой существует дифференциал (в данной точке). Дифференцируемая на некотором множестве функция — это функция, дифференцируемая в каждой точке данного множества. Дифференцируемость является одним из фундаментальных понятий в математике и имеет значительное число приложений как в самой математике, так и в других естественных науках.

Ориента́ция, в классическом случае — выбор одного класса систем координат, связанных между собой «положительно» в некотором определённом смысле.

Сравнение топологий — это понятие, позволяющее «сравнивать» различные топологические структуры на одном и том же множестве. Множество всех топологий на фиксированном множестве образует частично упорядоченное множество относительно этого отношения.

В алгебраической геометрии дивизоры являются обобщением подмногообразий некоторого алгебраического многообразия коразмерности 1. Существуют два различных таких обобщения — дивизоры Вейля и дивизоры Картье (названы в честь Андре Вейля и Пьера Картье), эти понятия эквивалентны в случае многообразий (или схем) без особенностей.

Подробнее: Дивизор (алгебраическая геометрия)

В этой статье рассматривается математический базис общей теории относительности.

Подробнее: Математическая формулировка общей теории относительности

Факторизация целых чисел для больших чисел является задачей большой сложности. Не существует никакого известного способа, чтобы решить эту задачу быстро. Её сложность лежит в основе некоторых алгоритмов шифрования с открытым ключом, таких как RSA.

Вариация Фреше — одна из числовых характеристик функции нескольких переменных, которую можно рассматривать как многомерный аналог вариации функции одного переменного.

Метод опорных векторов (англ. SVM, support vector machine) — набор схожих алгоритмов обучения с учителем, использующихся для задач классификации и регрессионного анализа. Принадлежит семейству линейных классификаторов и может также рассматриваться как специальный случай регуляризации по Тихонову. Особым свойством метода опорных векторов является непрерывное уменьшение эмпирической ошибки классификации и увеличение зазора, поэтому метод также известен как метод классификатора с максимальным зазором...

Топологическая энтропия — в теории динамических систем неотрицательное вещественное число, которое является мерой сложности системы.

В данной статье приведен список различных квадратурных формул, для численного интегрирования.

Подробнее: Список квадратурных формул

Предел вдоль фильтра (предел по базису фильтра, предел по базе) — обобщение понятия предела.

Случайное компактное множество — это, по существу, случайная величина со значениями в компактных множествах. Случайные компактные множества используются при изучении аттракторов случайных динамических систем.

Компактификация — операция, которая преобразует топологические пространства в компактные.

Функторы Ext — производные функторы функтора Hom. Они впервые появились в гомологической алгебре, где они играют центральную роль, например, в теореме об универсальных коэффициентах, но теперь они используются во многих разных областях математики.

Подробнее: Функтор Ext

Кратномасштабный анализ (КМА) является инструментом построения базисов вейвлетов. Он был разработан в 1988/89 гг. Малла и И. Мейром. Идея кратномасштабного анализа заключается в том, что разложение сигнала производится по ортогональному базису, образованному сдвигами и кратномасштабными копиями вейвлетной функции. Свертка сигнала с вейвлетами позволяет выделить характерные особенности сигнала в области локализации этих вейвлетов.

Разделённая ра́зность — обобщение понятия производной для дискретного набора точек.

Абсолютная непрерывность — в математическом анализе, свойство функций и мер, состоящее, неформально говоря, в выполнении теоремы Ньютона — Лейбница о связи между интегрированием и дифференцированием.

Теорема об обратной функции даёт достаточные условия для существования обратной функции в окрестности точки через производные от самой функции.

Симплектическое многообразие — это многообразие с заданной на нём симплектической формой, то есть замкнутой невырожденной дифференциальной 2-формой.

Алгебраическая поверхность — это алгебраическое многообразие размерности два. В случае геометрии над полем комплексных чисел алгебраическая поверхность имеет комплексную размерность два (как комплексное многообразие, если оно неособо), а потому имеет размерность четыре как гладкое многообразие.

О дискретном эквиваленте преобразования Лапласа см. Z-преобразование.В математике дискретный оператор Лапласа — аналог непрерывного оператора Лапласа, определяемого как отношения на графе или дискретной сетке. В случае конечномерного графа (имеющего конечное число вершин и рёбер) дискретный оператор Лапласа имеет более общее название: матрица Лапласа.

Подробнее: Дискретный оператор Лапласа

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я