Дифференциальный (бесконечно малый) - Differential (infinitesimal)

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

Период, термин дифференциал используется в исчисление сослаться на бесконечно малый (бесконечно малое) изменение некоторых различное количество. Например, если Икс это переменная, то изменение значения Икс часто обозначают ΔИкс (произносится дельта Икс). Дифференциал dx представляет собой бесконечно малое изменение переменной Икс. Идея бесконечно малого или бесконечно медленного изменения интуитивно чрезвычайно полезна, и есть несколько способов сделать это понятие математически точным.

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

${displaystyle dy={frac {dy}{dx}},dx,}$

где dy/dx обозначает производная из у относительно Икс. Эта формула обобщает интуитивную идею о том, что производная от у относительно Икс - предел отношения разностей Δу/ ΔИкс как ΔИкс становится бесконечно малым.

Существует несколько подходов к математической точности понятия дифференциалов.

1. Дифференциалы как линейные карты. Этот подход лежит в основе определения производная и внешняя производная в дифференциальная геометрия.^[1]
2. Дифференциалы как нильпотентный элементы коммутативные кольца. Этот подход популярен в алгебраической геометрии.^[2]
3. Дифференциалы в гладких моделях теории множеств. Этот подход известен как синтетическая дифференциальная геометрия или гладкий анализ бесконечно малых и тесно связан с алгебро-геометрическим подходом, за исключением того, что идеи из теория топоса привыкли скрывать механизмы, с помощью которых вводятся нильпотентные бесконечно малые величины.^[3]
4. Дифференциалы как бесконечно малые в гиперреальное число системы, которые являются расширениями действительных чисел, которые содержат обратимые бесконечно малые и бесконечно большие числа. Это подход нестандартный анализ пионером Авраам Робинсон.^[4]

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

История и использование

Смотрите также: История исчисления

Бесконечно малый величины сыграли значительную роль в развитии математического анализа. Архимед использовал их, хотя не верил в строгость аргументов, касающихся бесконечно малых.^[5] Исаак Ньютон назвал их флюсии. Однако это было Готфрид Лейбниц кто придумал термин дифференциалы для бесконечно малых величин и ввел их обозначения, которые используются до сих пор.

В Обозначения Лейбница, если Икс величина переменная, то dx обозначает бесконечно малое изменение переменной Икс. Таким образом, если у является функцией Икс, то производная из у относительно Икс часто обозначается dy/dx, которые иначе обозначались бы (в обозначениях Ньютона или Лагранж ) ẏ или у′. Использование дифференциалов в этой форме вызвало много критики, например, в знаменитой брошюре Аналитик епископа Беркли. Тем не менее, эти обозначения остались популярными, поскольку они убедительно свидетельствуют о том, что производная от у в Икс это его мгновенная скорость изменения (в наклон графа касательная линия ), который можно получить, взяв предел отношения Δу/ ΔИкс изменения в у по изменению в Икс, как изменение Икс становится сколь угодно малым. Дифференциалы также совместимы с размерный анализ, где дифференциал, такой как dx имеет те же размеры, что и переменная Икс.

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

${displaystyle int f(x),dx,}$

знак интеграла (модифицированный длинные s ) обозначает бесконечную сумму, ж(Икс) обозначает «высоту» тонкой полосы, а дифференциал dx обозначает его бесконечно тонкую ширину.

Дифференциалы как линейные карты

Есть простой способ уточнить смысл дифференциалов, рассматривая их как линейные карты. Для иллюстрации предположим ж(Икс) - вещественная функция на р. Мы можем переосмыслить переменную Икс в ж(Икс) как функция, а не число, а именно карта идентичности на реальной строке, которая принимает действительное число п себе: Икс(п) = п. потом ж(Икс) является составной частью ж с участием Икс, значение которого при п является ж(Икс(п)) = ж(п). Дифференциал df (что, конечно, зависит от ж) - тогда функция, значение которой при п (обычно обозначается df_п) не число, а линейное отображение из р к р. Поскольку линейное отображение из р к р задается 1 × 1 матрица, по сути, это то же самое, что и число, но изменение точки зрения позволяет нам думать о df_п как бесконечно малое и сравнить это с стандартный бесконечно малый dx_п, который снова является картой идентичности из р к р (1 × 1 матрица с записью 1). Тождественное отображение обладает тем свойством, что если ε очень мало, то dx_п(ε) очень мала, что позволяет считать ее бесконечно малой. Дифференциал df_п имеет то же свойство, потому что это просто кратное dx_п, а это кратное - производная ж ′(п) по определению. Таким образом, получаем, что df_п = ж ′(п) dx_п, и, следовательно df = ж ′ dx. Таким образом, мы восстанавливаем идею, что ж ′ - отношение дифференциалов df и dx.

Это было бы просто уловкой, если бы не факт, что:

1. он отражает идею производной от ж в п как наилучшее линейное приближение к ж в п;
2. у него много обобщений.

Например, если ж это функция от р^п к р, то мы говорим, что ж является дифференцируемый^[6] в п ∈ р^п если есть линейная карта df_п от р^п к р такое, что для любого ε> 0 существует окрестности N из п так что для Икс ∈ N,

${displaystyle left|f(x)-f(p)-df_{p}(x-p)ight|<varepsilon left|x-pight|.}$

Теперь мы можем использовать тот же прием, что и в одномерном случае, и придумать выражение ж(Икс¹, Икс², ..., Икс^п) как совокупность ж со стандартными координатами Икс¹, Икс², ..., Икс^п на р^п (так что Икс^j(п) это j-й компонент п ∈ р^п). Тогда дифференциалы (dx¹)_п, (dx²)_п, (dx^п)_п в какой-то момент п сформировать основа для векторное пространство линейных карт из р^п к р а значит, если ж дифференцируема в п, мы можем написать df_п как линейная комбинация из этих базовых элементов:

${displaystyle df_{p}=sum _{j=1}^{n}D_{j}f(p),(dx^{j})_{p}.}$

Коэффициенты D_jж(п) являются (по определению) частные производные из ж в п относительно Икс¹, Икс², ..., Икс^п. Следовательно, если ж дифференцируема на всех р^п, мы можем написать более кратко:

${displaystyle df={frac {partial f}{partial x^{1}}},dx^{1}+{frac {partial f}{partial x^{2}}},dx^{2}+cdots +{frac {partial f}{partial x^{n}}},dx^{n}.}$

В одномерном случае это становится

${displaystyle df={frac {df}{dx}}dx}$

как прежде.

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

В сторону: обратите внимание, что существование всех частные производные из ж(Икс) в Икс это необходимое условие для существования дифференциала при Икс. Однако это не достаточное условие. Контрпримеры см. Производная Гато.

Алгебраическая геометрия

В алгебраическая геометрия, дифференциалы и другие бесконечно малые понятия обрабатываются очень явным образом, принимая, что координатное кольцо или структурный пучок пространства может содержать нильпотентные элементы. Самый простой пример - кольцо двойные числа р[ε], где ε² = 0.

Это может быть мотивировано алгебро-геометрической точкой зрения на производную функции ж от р к р в какой-то момент п. Для этого сначала отметим, что ж − ж(п) принадлежит идеальный я_п функций на р которые исчезают в п. Если производная ж исчезает в п, тогда ж − ж(п) принадлежит квадрату я_п² этого идеала. Следовательно, производная от ж в п может быть охвачен классом эквивалентности [ж − ж(п)] в факторное пространство я_п/я_п², а 1-струйный из ж (который кодирует его значение и его первую производную) является классом эквивалентности ж в пространстве всех функций по модулю я_п². Алгебраические геометры рассматривают этот класс эквивалентности как ограничение из ж к утолщенный версия точки п чье координатное кольцо не р (которое является фактор-пространством функций на р по модулю я_п) но р[ε] - факторпространство функций на р по модулю я_п². Такая утолщенная точка - простой пример схема.^[2]

Синтетическая дифференциальная геометрия

Третий подход к бесконечно малым - метод синтетическая дифференциальная геометрия^[7] или гладкий анализ бесконечно малых.^[8] Это тесно связано с алгебро-геометрическим подходом, за исключением того, что бесконечно малые величины более неявны и интуитивно понятны. Основная идея этого подхода - заменить категория наборов с другим категория из плавно меняющиеся множества который является топос. В этой категории можно определять действительные числа, гладкие функции и т. Д., Но действительные числа автоматически содержат нильпотентные бесконечно малые числа, поэтому их не нужно вводить вручную, как в алгебро-геометрическом подходе. Однако логика в этой новой категории не идентична известной логике категории множеств: в частности, закон исключенного среднего не держит. Это означает, что теоретико-множественные математические аргументы распространяются на гладкий инфинитезимальный анализ только в том случае, если они конструктивный (например, не используйте доказательство от противного ). Немного^{[кто? ]} расценивайте этот недостаток как положительный момент, поскольку он заставляет искать конструктивные аргументы везде, где они есть.

Нестандартный анализ

Последний подход к бесконечно малым снова включает расширение действительных чисел, но менее радикальным способом. в нестандартный анализ подхода нет нильпотентных бесконечно малых, только обратимые, которые можно рассматривать как взаимные бесконечно больших чисел.^[4] Такие расширения действительных чисел могут быть построены явно с использованием классов эквивалентности последовательностей действительные числа, так что, например, последовательность (1, 1/2, 1/3, ..., 1 /п, ...) представляет собой бесконечно малую величину. В логика первого порядка этого нового набора гиперреальные числа такая же, как и для обычных действительных чисел, но аксиома полноты (который включает логика второго порядка ) не выполняется. Тем не менее этого достаточно для разработки элементарного и довольно интуитивного подхода к исчислению с использованием бесконечно малых величин, см. принцип передачи.

Смотрите также

• Исчисление бесконечно малых
• Дифференциальное уравнение
• Дифференциальная форма
• Дифференциал функции

Заметки

1. Дорогая 1994.
2. Эйзенбуд и Харрис 1998.
3. Увидеть Кок 2006 и Мурдейк и Рейес 1991.
4. Увидеть Робинсон 1996 и Кейслер 1986.
5. Бойер 1991.
6. См., Например, Апостол 1967.
7. Увидеть Кок 2006 и Ловер 1968.
8. Увидеть Мурдейк и Рейес 1991 и Белл 1998.

использованная литература

• Апостол, Том М. (1967), Исчисление (2-е изд.), Wiley, ISBN  978-0-471-00005-1.
• Колокол, Джон Л. (1998), Приглашение к гладкому анализу бесконечно малых (PDF).
• Бойер, Карл Б. (1991), «Архимед Сиракузский», История математики (2-е изд.), John Wiley & Sons, Inc., ISBN  978-0-471-54397-8.
• Дарлинг, Р. В. Р. (1994), Дифференциальные формы и связи, Кембридж, Великобритания: Издательство Кембриджского университета, ISBN  978-0-521-46800-8.
• Эйзенбуд, Дэвид; Харрис, Джо (1998), Геометрия схем, Springer-Verlag, ISBN  978-0-387-98637-1
• Кейслер, Х. Джером (1986), Элементарное исчисление: бесконечно малый подход (2-е изд.).
• Кок, Андерс (2006), Синтетическая дифференциальная геометрия (PDF) (2-е изд.), Cambridge University Press.
• Лавер, Ф. (1968), Схема синтетической дифференциальной геометрии (PDF) (опубликовано в 1998 г.).
• Мурдейк, И.; Рейес, Г. (1991), Модели для гладкого инфинитезимального анализа, Springer-Verlag.
• Робинсон, Авраам (1996), Нестандартный анализ, Princeton University Press, ISBN  978-0-691-04490-3.