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

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

Источник: Википедия

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

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

Подробнее: Когерентный пучок
Тополо́гия Зари́сского, или топология Зариского, — специальная топология, отражающая алгебраическую природу алгебраических многообразий. Названа в честь Оскара Зарисского и, начиная с 1950-х годов, занимает важное место в алгебраической геометрии.
Производная — фундаментальное математическое понятие, используемое в различных вариациях (обобщениях) во многих разделах математики. Это базовая конструкция дифференциального исчисления, допускающая много вариантов обобщений, применяемых в математическом анализе, дифференциальной топологии и геометрии, алгебре.
В математике, матричная функция — это функция, отображающая матрицу в другую матрицу.
Комплекс Кошуля был впервые введён в математике Жаном-Луи Кошулем, чтобы определить теорию когомологий алгебр Ли. Впоследствии он оказался полезной общей конструкцией гомологической алгебры. Его гомологии могут быть использованы для того, чтобы определить, является ли последовательность элементов кольца M-регулярной, и, как следствие, он может быть использован ля того, чтобы доказать базовые свойства глубины модуля или идеала.
В математике централизатор подмножества S группы G — это множество элементов G, которые коммутируют с каждым элементом S, а нормализатор S — это множество элементов G, которые коммутируют с S «в целом». Централизатор и нормализатор S являются подгруппами G и могут пролить свет на структуру G.
Пучок — структура, используемая для установления отношений между локальными и глобальными данными.
Обобщённая фу́нкция или распределе́ние — математическое понятие, обобщающее классическое понятие функции.
В этой статье рассматривается математический базис общей теории относительности.

Подробнее: Математическая формулировка общей теории относительности
Лемма о змее — это инструмент, используемый в математике, особенно в гомологической алгебре, для построения длинных точных последовательностей. Лемма о змее верна в любой абелевой категории и играет ключевую роль в гомологической алгебре и её приложениях, например в алгебраической топологии. Гомоморфизмы, построенные с её помощью, обычно называют связывающими гомоморфизмами.
Кватернионный анализ — это раздел математики, изучающий регулярные кватернионнозначные функции кватернионного переменного. Из-за некоммутативности алгебры кватернионов существуют различные неравносильные подходы к определению регулярных кватернионных функций. В данной статье будет рассматриваться, в основном, подход Фютера.
Ве́ктор (от лат. vector, «несущий») — в простейшем случае математический объект, характеризующийся величиной и направлением. Например, в геометрии и в естественных науках вектор есть направленный отрезок прямой в евклидовом пространстве (или на плоскости).
Коммутативное кольцо — кольцо, в котором операция умножения коммутативна (обычно также подразумевается её ассоциативность и существование единицы). Изучением свойств коммутативных колец занимается коммутативная алгебра.
В математике, норма́льная фо́рма — простейший либо канонический вид, к которому объект приводится эквивалентными преобразованиями.
В теории категорий есте́ственное преобразова́ние предоставляет способ перевести один функтор в другой, сохраняя внутреннюю структуру (например, композиции морфизмов). Поэтому естественное преобразование можно понимать как «морфизм функторов». Эта интуиция может быть строго формализована в определении категории функторов. Естественные преобразования — наиболее базовое определение в теории категорий наряду с функторами, поэтому оно появляется в большинстве её приложений.

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

Подробнее: Тангенциальнозначная форма
Лине́йная комбина́ция — выражение, построенное на множестве элементов путём умножения каждого элемента на коэффициенты с последующим сложением результатов (например, линейной комбинацией x и y будет выражение вида ax + by, где a и b — коэффициенты).
Ба́зис (др.-греч. βασις «основа») — упорядоченный (конечный или бесконечный) набор векторов в векторном пространстве, такой, что любой вектор этого пространства может быть единственным образом представлен в виде линейной комбинации векторов из этого набора. Векторы базиса называются базисными векторами.
Кольцо многочленов — кольцо, образованное многочленами от одной или нескольких переменных с коэффициентами из другого кольца. Изучение свойств колец многочленов оказало большое влияние на многие области современной математики; можно привести примеры теоремы Гильберта о базисе, конструкции поля разложения и изучения свойств линейных операторов.
Многочлен Александера — это инвариант узла, который сопоставляет многочлен с целыми коэффициентами узлу любого типа. Джеймс Александер обнаружил его, первый многочлен узла, в 1923. В 1969 Джон Конвей представил версию этого многочлена, ныне носящую название многочлен Александера — Конвея. Этот многочлен можно вычислить с помощью скейн-соотношения, хотя важность этого не была осознана до открытия полинома Джонса в 1984. Вскоре после доработки Конвеем многочлена Александера стало понятно, что похожее...
В алгебраической геометрии дивизоры являются обобщением подмногообразий некоторого алгебраического многообразия коразмерности 1. Существуют два различных таких обобщения — дивизоры Вейля и дивизоры Картье (названы в честь Андре Вейля и Пьера Картье), эти понятия эквивалентны в случае многообразий (или схем) без особенностей.

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

Подробнее: Монодромия
В квантовой механике, преобразование Вигнера — Вейля (названо в честь Германа Вейля и Юджина Вигнера) — обратимое отображение функций в представлении фазового пространства на операторы гильбертова пространства в представлении Шредингера.
Ве́кторное (или лине́йное) простра́нство — математическая структура, которая представляет собой набор элементов, называемых векторами, для которых определены операции сложения друг с другом и умножения на число — скаляр. Эти операции подчинены восьми аксиомам. Скаляры могут быть элементами вещественного, комплексного или любого другого поля чисел. Частным случаем подобного пространства является обычное трехмерное евклидово пространство, векторы которого используются, к примеру, для представления...
Ковариа́нтность и контравариа́нтность — используемые в математике (линейной алгебре, дифференциальной геометрии, тензорном анализе) и в физике понятия, характеризующие то, как тензоры (скаляры, векторы, операторы, билинейные формы и т. д.) изменяются при преобразованиях базисов в соответствующих пространствах или многообразиях. Контравариантными называют «обычные» компоненты, которые при смене базиса пространства изменяются с помощью преобразования, обратного преобразованию базиса. Ковариантными...
Дифференциа́л (от лат. differentia «разность, различие») — линейная часть приращения функции.
В математике вектором Витта называется бесконечная последовательность элементов коммутативного кольца.
Непреры́вное отображе́ние (непрерывная функция) — отображение из одного пространства в другое, при котором близкие точки области определения переходят в близкие точки области значений.
Произведение топологических пространств — это топологическое пространство, полученное, как множество, декартовым произведением исходных топологических пространств, и снабжённое естественной топологией, называемой топологией произведения или тихоновской топологией. Слово «естественная» здесь употребляется в смысле теории категорий и означает, что эта топология удовлетворяет некоторому универсальному свойству.
Интеграл Даниеля — одно из обобщений интеграла Римана, альтернативное понятию интеграла Лебега.
Формальное дифференцирование — операция над элементами кольца многочленов или кольцом формальных степенных рядов, повторяющая форму производных из математического анализа. Алгебраическое преимущество формального дифференцирования состоит в том, что оно не опирается на понятие предела, которое в общем случае невозможно определить для кольца. Многие свойства производной верны для формального дифференцирования, но некоторые, особенно касающиеся утверждений, содержащих числа, не верны. В основном формальное...
Свобо́дный мо́дуль — модуль F над кольцом R (как правило, считаемым ассоциативным c единичным элементом), если он либо является нулевым, либо обладает базисом, то есть непустой системой S элементов e1,…ei…, которая является линейно независимой и порождает F. Само кольцо R, рассматриваемое как левый модуль над собой, очевидно обладает базисом, состоящим из одного единичного элемента кольца, а каждый модуль с конечным базисом из n элементов изоморфен прямой сумме Rn колец R, рассматриваемых как модули...
Вычислительные (численные) методы — методы решения математических задач в численном видеПредставление как исходных данных в задаче, так и её решения — в виде числа или набора чисел.
По́ле в общей алгебре — множество, для элементов которого определены операции сложения, взятия противоположного значения, умножения и деления (кроме деления на нуль), причём свойства этих операций близки к свойствам обычных числовых операций. Простейшим полем является поле рациональных чисел (дробей). Хотя названия операций поля взяты из арифметики, следует иметь в виду, что элементы поля не обязательно являются числами, и определения операций могут быть далеки от арифметических.
Ко́мпле́ксный ана́лиз, тео́рия фу́нкций ко́мпле́ксного переме́нного (или ко́мпле́ксной переме́нной; сокращенно — ТФКП) — раздел математического анализа, в котором рассматриваются и изучаются функции комплексного аргумента.
Метод опорных векторов (англ. SVM, support vector machine) — набор схожих алгоритмов обучения с учителем, использующихся для задач классификации и регрессионного анализа. Принадлежит семейству линейных классификаторов и может также рассматриваться как специальный случай регуляризации по Тихонову. Особым свойством метода опорных векторов является непрерывное уменьшение эмпирической ошибки классификации и увеличение зазора, поэтому метод также известен как метод классификатора с максимальным зазором...
Ориента́ция, в классическом случае — выбор одного класса систем координат, связанных между собой «положительно» в некотором определённом смысле.
Дифференци́руемая (в точке) фу́нкция — это функция, у которой существует дифференциал (в данной точке). Дифференцируемая на некотором множестве функция — это функция, дифференцируемая в каждой точке данного множества. Дифференцируемость является одним из фундаментальных понятий в математике и имеет значительное число приложений как в самой математике, так и в других естественных науках.
Кратномасштабный анализ (КМА) является инструментом построения базисов вейвлетов. Он был разработан в 1988/89 гг. Малла и И. Мейром. Идея кратномасштабного анализа заключается в том, что разложение сигнала производится по ортогональному базису, образованному сдвигами и кратномасштабными копиями вейвлетной функции. Свертка сигнала с вейвлетами позволяет выделить характерные особенности сигнала в области локализации этих вейвлетов.
Симплектическое многообразие — это многообразие с заданной на нём симплектической формой, то есть замкнутой невырожденной дифференциальной 2-формой.
Интеграл — одно из важнейших понятий математического анализа, которое возникает при решении задач о нахождении площади под кривой, пройденного пути при неравномерном движении, массы неоднородного тела, и тому подобных, а также в задаче о восстановлении функции по её производной (неопределённый интеграл). Упрощённо интеграл можно представить как аналог суммы для бесконечного числа бесконечно малых слагаемых. В зависимости от пространства, на котором задана подынтегральная функция, интеграл может быть...
Скаля́р (от лат. scalaris — ступенчатый) — величина, полностью определяемая в любой координатной системе одним числом или функцией, которое не меняется при изменении пространственной системы координат. В математике под «числами» могут подразумеваться элементы произвольного поля, тогда как в физике имеются в виду действительные или комплексные числа. О функции, принимающей скалярные значения, говорят как о скалярной функции.
Квазианалити́ческие фу́нкции в математическом анализе — класс функций, которые, нестрого говоря, можно полностью реконструировать по их значениям на небольшом участке (например, на границе области). Такое свойство значительно облегчает решение дифференциальных уравнений и исследование других задач анализа. Поскольку это свойство выполняется для аналитических функций (см. Комплексный анализ), то класс квазианалитических функций содержит класс обычных аналитических функций и может рассматриваться как...

Подробнее: Квазианалитическая функция
Смешанные частные производные одной и той же функции, отличающиеся лишь порядком (очерёдностью) дифференцирования, равны между собой при условии их непрерывности. Такое свойство называется равенством смешанных производных.

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

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