Дифференциал (дифференциальная геометрия)

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

Это понятие тесно связано с понятием производной по направлению.

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

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

В общей алгебре, поле k называется совершенным если выполняется одно из следующих эквивалентных условий...

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

Индуци́рованная тополόгия — естественный способ задания топологии на подмножестве топологического пространства.

Бесконечномерное пространство — векторное пространство c бесконечно большой размерностью.

Ортонорми́рованная система — ортогональная система, у которой каждый элемент системы имеет единичную норму.

Упоминания в литературе

Методологическая и одновременно онтологическая идея прерывности получила в XX веке серьезную поддержку в связи с квантовой механикой и изучением микромира. В отличие от классических представлений, было выяснено, что энергия излучается квантами, электронные состояния образуют дискретную последовательность уровней, разрабатывались концепции квантованного пространства – времени. Хотя одновременно наряду с этим у микрочастиц были обнаружены и волновые свойства, что привело к формулировке тезиса о корпускулярно-волновом дуализме. Вообще физика и математика естествознания начиная с XVII столетия развивались в удивительной генетической близости. Уже с самого начала, как обсуждали мы выше, понятия дифференциала и касательной были специально выработаны для выражения интуиции мгновенной скорости, скорости в точке. Эта связь математики и физики оставалась прочной и в дальнейшем. Теоретико-множественная перестройка математики в XX веке оказывала характерное влияние и на физику, причем к концу столетия это влияние стало явно усиливаться. В отечественной физике появилась теория физических структур Ю. И. Кулакова, которая, по признанию самого автора, представляет собой «бурбакизацию» физики. В аналогичном же направлении разрабатывает свою теорию бинарных физических структур и Ю. С. Владимиров. Несмотря на то что философские и методологические установки этих двух авторов различны – Кулаков ориентирован на Платона, Владимиров – больше на Аристотеля, для первого важна непрерывность, а второй может обойтись и без нее, – исходная точка их рассуждений общая: некоторая теоретико-множественная конструкция[46].

В. Н. Катасонов, О границах науки, 2017

Связанные понятия (продолжение)

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

Подробнее: Максимальный идеал

Как и для криволинейных интегралов, существуют два рода поверхностных интегралов.

Подробнее: Поверхностные интегралы

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

Подробнее: Фундаментальное представление

Нормальная форма Чибрарио — нормальная форма дифференциального уравнения, не разрешённого относительно производной, в окрестности простейшей особой точки. Название предложено В. И. Арнольдом в честь итальянского математика Марии Чибрарио, установившей эту нормальную форму для одного класса уравнений.

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

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

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

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

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

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

Область главных идеалов — это область целостности, в которой любой идеал является главным. Более общее понятие — кольцо главных идеалов, от которого не требуется целостности (однако некоторые авторы, например Бурбаки, ссылаются на кольцо главных идеалов как на целостное кольцо).

Моноидальная категория (или тензорная категория) — категория C, снабженная бифунктором...

Направленное множество в математике — непустое множество A с заданным на нем рефлексивным транзитивным отношением ≤ (то есть предпорядком), обладающее дополнительным свойством: у любой пары элементов из A есть верхняя грань в A.

В математике, норма́льная фо́рма — простейший либо канонический вид, к которому объект приводится эквивалентными преобразованиями.

Вну́тренность множества в общей топологии — это совокупность всех внутренних точек. Обычно обозначается Int, вероятно, от англ. Interior. Иногда внутренность множества называют ядром.

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

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

Синглетон — множество с единственным элементом. Например, множество {0} является синглетоном.

Эрмитова форма — естественный аналог понятия симметричной билинейной формы для комплексных векторных пространств. Для эрмитовых форм верны аналоги многих свойств симметрических форм: приведение к каноническому виду, понятие положительной определенности и критерий Сильвестра.

Зада́ча Не́ймана, вторая краевая задача — в дифференциальных уравнениях краевая задача с заданными граничными условиями для производной искомой функции на границе области — так называемые граничные условия второго рода. По типу области задачи Неймана можно разделить на два типа: внутренние и внешние. Названа в честь Карла Неймана.

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

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

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

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

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

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

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

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

В математике константой Чигера (также числом Чигера или изопериметрическим числом) графа называется числовая характеристика графа, отражающая, есть ли у графа «узкое место» или нет. Константа Чигера как способ измерения наличия «узкого места» представляет интерес во многих областях, например, для создания сильно связанных компьютерных сетей, для тасования карт и в топологии малых размерностей (в частности, при изучении гиперболических 3-мерных многообразий). Названа в честь математика Джефа Чигера...

В теории категорий множества Hom (то есть множества морфизмов между двумя объектами) позволяют определить важные функторы в категорию множеств. Эти функторы называются функторами Hom и имеют многочисленные приложения в теории категорий и других областях математики.

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

Полурешётка (англ. semilattice, до 1960-х годов также использовался термин полуструктура) в общей алгебре — полугруппа, бинарная операция в которой коммутативна и идемпотентна.

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

Подробнее: Эллиптическое уравнение

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

Численное дифференцирование — совокупность методов вычисления значения производной дискретно заданной функции.

Недезаргова плоскость — это проективная плоскость, не удовлетворяющая теореме Дезарга, другими словами, не являющаяся дезарговой. Теорема Дезарга верна во всех проективных пространств размерности, не равной 2, то есть, для всех классических проективных геометрий над полем (или телом), но Гильберт обнаружил, что некоторые проективные плоскости не удовлетворяют теореме.

В математике степень простого числа — это простое число, возведённое в целую положительную степень.

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

Локальное поле — определённый тип полей с топологией, часто возникающих как пополнения полей.

Соверше́нная дизъюнкти́вная норма́льная фо́рма (СДНФ) — это такая ДНФ, которая удовлетворяет трём условиям...

Теорема о четырёх вершинах утверждает, что функция кривизны простой замкнутой гладкой плоской кривой имеет по меньшей мере четыре локальных экстремума (в частности, по меньшей мере два локальных максимума и по меньшей мере два локальных минимума). Название теоремы отражает соглашение называть экстремальные точки функции кривизны вершинами.

Теория кос — раздел топологии и алгебры, изучающий косы и группы кос, составленные из их классов эквивалентности.

Равноме́рная непреры́вность в математическом и функциональном анализе — это свойство функции быть одинаково непрерывной во всех точках области определения.

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

Петля в топологическом пространстве X — это непрерывное отображение f единичного отрезка I = в X, такое что f(0) = f(1). Другими словами, это путь, начальная точка которого совпадает с конечной.

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

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