WikiDer > Нестандартное исчисление

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

Нестрогие вычисления с бесконечно малыми широко использовались и раньше. Карл Вейерштрасс стремился заменить их (ε, δ) -определение предела начиная с 1870-х гг. (Увидеть история исчисления.) В течение почти ста лет после этого математики любили Ричард Курант считал бесконечно малые наивными, расплывчатыми или бессмысленными.^[1]

Вопреки таким взглядам, Авраам Робинсон показал в 1960 году, что бесконечно малые числа точны, ясны и значимы, основываясь на работе Эдвин Хьюитт и Ежи Лось. Согласно с Говард Кейслер«Робинсон решил проблему трехсотлетней давности, дав точную трактовку бесконечно малых величин. Достижение Робинсона, вероятно, будет считаться одним из главных математических достижений двадцатого века».^[2]

История

История нестандартного исчисления началась с использования бесконечно малых величин, называемых бесконечно малые в исчисление. Использование бесконечно малых можно найти в основах исчисления, независимо разработанных Готфрид Лейбниц и Исаак Ньютон начиная с 1660-х гг. Джон Уоллис усовершенствовал более ранние методы неделимые из Кавальери и другие, используя бесконечно малый количество, которое он обозначил ${ displaystyle { tfrac {1} { infty}}}$ в расчетах площадей, подготавливая почву для интегральных исчисление.^[3] Они опирались на работы таких математиков, как Пьер де Ферма, Исаак Барроу и Рене Декарт.

В раннем исчислении использование бесконечно малый количество подверглось критике со стороны ряда авторов, в первую очередь Мишель Ролль и Епископ Беркли в его книге Аналитик.

Несколько математиков, в том числе Маклорен и д'Аламбер, выступал за использование ограничений. Огюстен Луи Коши разработал широкий спектр основополагающих подходов, включая определение непрерывность в терминах бесконечно малых и (несколько неточного) прототипа ε, δ аргумент в работе с дифференциацией. Карл Вейерштрасс формализовала концепцию предел в контексте (реальной) системы счисления без бесконечно малых. После работы Вейерштрасса в конечном итоге стало обычным делом основывать исчисление на аргументах ε, δ вместо бесконечно малых.

Этот подход, формализованный Вейерштрассом, стал известен как стандарт исчисление. После многих лет, когда бесконечно малый подход к исчислению вышел из употребления, кроме как вводного педагогического инструмента, использование бесконечно малых величин наконец получило строгую основу. Авраам Робинсон в 1960-е гг. Подход Робинсона называется нестандартный анализ чтобы отличить его от стандартного использования пределов. В этом подходе использовалась техника от математическая логика создать теорию гиперреальные числа которые интерпретируют бесконечно малые величины таким образом, чтобы допускать развитие обычных правил исчисления в стиле Лейбница. Альтернативный подход, разработанный Эдвард Нельсон, находит бесконечно малые величины на самой обычной действительной прямой и включает в себя модификацию базовых параметров путем расширения ZFC посредством введения нового унарного предиката «стандарт».

Мотивация

Чтобы вычислить производную ${ displaystyle f '}$ функции ${ Displaystyle у = е (х) = х ^ {2}}$ в Икс, оба подхода согласуются с алгебраическими манипуляциями:

${ displaystyle { frac { Delta y} { Delta x}} = { frac {(x + Delta x) ^ {2} -x ^ {2}} { Delta x}} = { frac { 2x Delta x + ( Delta x) ^ {2}} { Delta x}} = 2x + Delta x приблизительно 2x}$

Это становится вычислением производных с использованием гиперреалы если ${ displaystyle Delta x}$ интерпретируется как бесконечно малое, а символ "${ Displaystyle приблизительно}$"это отношение" бесконечно близко к ".

Чтобы сделать f ' функция с действительным знаком, последний член ${ displaystyle Delta x}$ обходится без. В стандартном подходе, использующем только действительные числа, это достигается путем принятия предела как ${ displaystyle Delta x}$ стремится к нулю. в гиперреальный подход, количество ${ displaystyle Delta x}$ считается бесконечно малым, ненулевым числом, которое ближе к 0, чем к любому ненулевому действительному значению. Показанные выше манипуляции показывают, что ${ displaystyle Delta y / Delta x}$ бесконечно близко к 2Икс, поэтому производная от ж в Икс тогда 2Икс.

Отказ от «ошибки» осуществляется применением стандартная функция детали. Некоторые авторы исторически считали отказ от бесконечно малых ошибок в терминах парадоксальным, в первую очередь Джордж Беркли.

Когда существует гиперреальная система счисления (бесконечно обогащенный континуум), можно успешно интегрировать большую часть технических трудностей на фундаментальном уровне. Таким образом эпсилон, дельта-техника что, по мнению некоторых, суть анализа может быть реализована раз и навсегда на фундаментальном уровне, и учащимся не нужно «одеваться для выполнения логических трюков с множественными кванторами под предлогом того, что их учат исчисление бесконечно малых", если процитировать недавнее исследование.^[4] Более конкретно, основные концепции исчисления, такие как непрерывность, производная и интеграл, могут быть определены с использованием бесконечно малых без ссылки на эпсилон, дельта (см. Следующий раздел).

Учебник Кейслера

Кейслера Элементарное исчисление: бесконечно малый подход определяет непрерывность на странице 125 в терминах бесконечно малых, за исключением эпсилон, дельта-методов. Производная определяется на странице 45 с использованием бесконечно малых, а не эпсилон-дельта-подхода. Интеграл определяется на странице 183 в терминах бесконечно малых. Определения дельты представлены на странице 282.

Определение производной

В гиперреалы могут быть построены в рамках Теория множеств Цермело – Френкеля, стандартная аксиоматизация теории множеств, используемая где-то еще в математике. Чтобы дать интуитивное представление о гиперреальном подходе, отметим, что, наивно говоря, нестандартный анализ постулирует существование положительных чисел ε которые бесконечно малы, что означает, что ε меньше любого стандартного положительного действительного числа, но больше нуля. Каждое реальное число Икс окружен бесконечно малым «облаком» бесконечно близких гиперреальных чисел. Чтобы определить производную от ж по стандартному действительному числу Икс в этом подходе больше не нужен бесконечный предельный процесс, как в стандартном исчислении. Вместо этого устанавливается

${ displaystyle f '(x) = mathrm {st} left ({ frac {f ^ {*} (x + varepsilon) -f ^ {*} (x)} { varepsilon}} right), }$

где ул это стандартная функция детали, давая действительное число, бесконечно близкое к гиперреалистическому аргументу ул, и ${ displaystyle f ^ {*}}$ является естественным продолжением ${ displaystyle f}$ к гиперреалам.

Непрерывность

Настоящая функция ж непрерывно на стандартном действительном числе Икс если для каждого гиперреального Икс' бесконечно близко к Икс, Значение ж(Икс' ) также бесконечно близка к ж(Икс). Это захватывает Кошиопределение непрерывности, представленное в его учебнике 1821 г. Cours d'Analyse, п. 34.

Вот если быть точным, ж должен быть заменен его естественным гиперреальным расширением, обычно обозначаемым ж^* (см. обсуждение Принцип передачи в основной статье на нестандартный анализ).

Используя обозначения ${ Displaystyle приблизительно}$ для отношения бесконечной близости, как указано выше, определение может быть расширено на произвольные (стандартные или нестандартные) точки следующим образом:

Функция ж является микропрерывный в Икс если когда-нибудь ${ Displaystyle х ' приблизительно х}$, надо ${ displaystyle f ^ {*} (x ') приблизительно f ^ {*} (x)}$

Здесь предполагается, что точка x 'находится в области (естественного расширения) ж.

Вышеуказанное требует меньшего количества кванторов, чем (ε, δ)-определение знакомые из стандартного элементарного исчисления:

ж непрерывно на Икс если для каждого ε > 0 существует δ > 0 такое, что для каждого Икс' , всякий раз, когда |Икс − Икс'| < δ, есть |ж(Икс) − ж(Икс')| < ε.

Единая непрерывность

Функция ж на интервале я является равномерно непрерывный если его естественное продолжение ж* в я* обладает следующим свойством (см. Кейслер, Основы исчисления бесконечно малых ('07), стр. 45):

для каждой пары гиперреалов Икс и у в я*, если ${ Displaystyle х приблизительно у}$ тогда ${ Displaystyle е ^ {*} (х) приблизительно е ^ {*} (у)}$.

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

Это определение имеет меньшую сложность квантификатора по сравнению со стандартным (ε, δ) -определение. А именно, эпсилон-дельта-определение однородной непрерывности требует четырех кванторов, в то время как бесконечно малое определение требует только двух кванторов. Оно имеет ту же кванторную сложность, что и определение равномерной непрерывности в терминах последовательности в стандартном исчислении, что, однако, не выражается в язык первого порядка реальных чисел.

Гиперреальное определение можно проиллюстрировать следующими тремя примерами.

Пример 1: функция ж равномерно непрерывен на полуоткрытом интервале (0,1] тогда и только тогда, когда его естественное продолжение f * микропрерывно (в смысле формулы, приведенной выше) в каждой положительной бесконечно малой, в дополнение к непрерывности в стандартных точках интервал.

Пример 2: функция ж равномерно непрерывно на полуоткрытом интервале [0, ∞) тогда и только тогда, когда оно непрерывно в стандартных точках интервала, и, кроме того, естественное продолжение ж* микропрерывно в каждой положительной бесконечной гиперреальной точке.

Пример 3: аналогично нарушение равномерной непрерывности функции возведения в квадрат

${ displaystyle x ^ {2}}$

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

Относительно сложности кванторов следующие замечания были сделаны Кевин Хьюстон:^[5]

Количество кванторов в математическом утверждении дает приблизительную оценку сложности утверждения. Утверждения, содержащие три или более квантификаторов, могут быть трудными для понимания. Это основная причина, по которой трудно понять строгие определения предела, сходимости, непрерывности и дифференцируемости в анализе, поскольку они имеют много кванторов. По сути, это чередование ${ displaystyle forall}$ и ${ Displaystyle существует}$ что вызывает сложность.

Андреас Бласс написал следующее:

Часто ... нестандартное определение понятия проще, чем стандартное определение (интуитивно проще и проще в техническом смысле, например, кванторы над более низкими типами или меньшее количество чередований кванторов).^[6]

Компактность

Множество A компактно тогда и только тогда, когда его естественное расширение A * обладает следующим свойством: каждая точка в A * бесконечно близка к точке A. Таким образом, открытый интервал (0,1) не является компактным, поскольку его естественное расширение содержит положительные бесконечно малые числа, которые не бесконечно близки к любому положительному действительному числу.

Теорема Гейне – Кантора

Тот факт, что непрерывная функция на компактном интервале я обязательно равномерно непрерывно ( Теорема Гейне – Кантора) допускает лаконичное гиперреальное доказательство. Позволять Икс, у быть гиперреальными в естественном расширении Я* из я. поскольку я компактно, оба st (Икс) и st (у) принадлежит я. Если Икс и у были бесконечно близки, то по неравенству треугольника у них была бы одна и та же стандартная часть

${ displaystyle c = operatorname {st} (x) = operatorname {st} (y).}$

Поскольку функция считается непрерывной в точке c,

${ Displaystyle е (х) приблизительно е (с) приблизительно е (у),}$

и поэтому ж(Икс) и ж(у) бесконечно близки, что доказывает равномерную непрерывность ж.

Почему функция возведения в квадрат не является равномерно непрерывной?

Позволять ж(Икс) = Икс² определено на ${ Displaystyle mathbb {R}}$. Позволять ${ displaystyle N in mathbb {R} ^ {*}}$ быть бесконечным гиперреальным. Гиперреальное число ${ Displaystyle N + { tfrac {1} {N}}}$ бесконечно близок к N. Между тем разница

${ displaystyle f (N + { tfrac {1} {N}}) - f (N) = N ^ {2} +2 + { tfrac {1} {N ^ {2}}} - N ^ {2 } = 2 + { tfrac {1} {N ^ {2}}}}$

не является бесконечно малым. Следовательно, е * не может быть микропрерывным в гиперреальной точке N. Таким образом, функция возведения в квадрат не является равномерно непрерывной согласно определению в равномерная преемственность над.

Аналогичное доказательство может быть дано в стандартной настройке (Фицпатрик 2006, Пример 3.15).

Пример: функция Дирихле

Рассмотрим Функция Дирихле

${ displaystyle I_ {Q} (x): = { begin {cases} 1 & { text {if}} x { text {isrational}}, 0 & { text {if}} x { text {иррационально}}. end {cases}}}$

Хорошо известно, что под стандартное определение непрерывности, функция разрывна в каждой точке. Давайте проверим это в терминах гиперреального определения непрерывности, приведенного выше, например, покажем, что функция Дирихле не является непрерывной в π. Рассмотрим приближение цепной дроби a_п из π. Пусть теперь индекс n бесконечен. сверхъестественный количество. Посредством принцип передачи, естественное продолжение функции Дирихле принимает значение 1 в точке_п. Отметим, что гиперрациональная точка a_п бесконечно близко к π. Таким образом, естественное продолжение функции Дирихле принимает разные значения (0 и 1) в этих двух бесконечно близких точках, и, следовательно, функция Дирихле не является непрерывной вπ.

Предел

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

${ Displaystyle lim _ {х к а} е (х) = L}$

тогда и только тогда, когда разница Икс − а бесконечно мала, разница ж(Икс) − L бесконечно малая, либо в формулах:

если st (Икс) = а затем st (ж(Икс)) = L,

ср. (ε, δ) -определение предела.

Предел последовательности

Учитывая последовательность действительных чисел ${ Displaystyle {x_ {n} | п in mathbb {N} }}$, если ${ Displaystyle L in mathbb {R}}$ L является предел последовательности и

${ displaystyle L = lim _ {n to infty} x_ {n}}$

если для каждого бесконечного сверхъестественный п, st (x_п) = L (здесь принцип расширения используется для определения x_п для каждого гиперинтегрального числа n).

Это определение не имеет квантификатор чередования. Стандарт (ε, δ) -стиль определение, с другой стороны, имеет чередование кванторов:

${ displaystyle L = lim _ {n to infty} x_ {n} Longleftrightarrow forall epsilon> 0 ;, существует N in mathbb {N} ;, forall n in mathbb {N}: n> N rightarrow | x_ {n} -L | < epsilon.}$

Теорема об экстремальном значении

Чтобы показать, что действительная непрерывная функция ж на [0,1] имеет максимум, пусть N быть бесконечным гиперинтегральный. Интервал [0, 1] имеет естественное гиперреальное расширение. Функция ж также естественным образом распространяется на гиперреалы между 0 и 1. Рассмотрим разбиение гиперреального интервала [0,1] на N подынтервалы равных бесконечно малый длина 1 /N, с точками разбиения Икс_я = я /N так как я "бежит" от 0 до N. В стандартной настройке (когда N конечна) точка с максимальным значением ж всегда можно выбрать среди N+1 балл Икс_я, по индукции. Следовательно, по принцип передачи, есть гиперинтегральное число я₀ такое, что 0 ≤ я₀ ≤ N и ${ Displaystyle f (x_ {i_ {0}}) geq f (x_ {i})}$ для всех я = 0, …, N (альтернативное объяснение состоит в том, что каждый гиперконечное множество допускает максимум). Рассмотрим реальную точку

${ displaystyle c = { rm {st}} (x_ {i_ {0}})}$

где ул это стандартная функция детали. Произвольная действительная точка Икс лежит в подходящем подынтервале разбиения, а именно ${ Displaystyle х в [х_ {я}, х_ {я + 1}]}$, так что ул(Икс_я) = Икс. Применение ул к неравенству ${ Displaystyle f (x_ {i_ {0}}) geq f (x_ {i})}$, ${ Displaystyle { rm {st}} (е (x_ {i_ {0}})) geq { rm {st}} (f (x_ {i}))}$. По преемственности ж,

${ Displaystyle { rm {st}} (е (x_ {i_ {0}})) = f ({ rm {st}} (x_ {i_ {0}})) = f (c)}$.

Следовательно ж(c) ≥ ж(Икс), для всех Икс, доказывая c быть максимумом реальной функции ж. Увидеть Кейслер (1986, п. 164) Ошибка harvtxt: цель отсутствует: CITEREFKeisler1986 (Помогите).

Теорема о промежуточном значении

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

Позволять ж - непрерывная функция на [а, б] такой, что f (а) <0 в то время как f (b)> 0. Тогда существует точка c в [а, б] такой, что f (c) = 0.

Доказательство проводится следующим образом. Позволять N быть бесконечным гиперинтегральный. Рассмотрим раздел [а, б] в N интервалы равной длины, с точками разделения Икс_я так как я работает от 0 до N. Рассмотрим коллекцию я индексов таких, что f (x_я)>0. Позволять я₀ быть наименьшим элементом в я (такой элемент существует принцип передачи, так как я это гиперконечное множество). Тогда действительное число

${ displaystyle c = mathrm {st} (x_ {i_ {0}})}$

желаемый нуль жТакое доказательство снижает квантификатор сложность стандартного доказательства IVT.

Основные теоремы

Если ж является вещественной функцией, определенной на интервале [а, б], то оператор передачи обратился к ж, обозначаемый * f, является внутренний, гиперреальная функция, заданная на гиперреальном интервале [*а, *б].

Теорема: Позволять ж - функция с действительными значениями, определенная на интервале [а, б]. потом ж дифференцируема в а <х <б тогда и только тогда, когда для каждого ненулевой бесконечно малый час, Значение

${ displaystyle Delta _ {h} f: = operatorname {st} { frac {[{} ^ {*} ! f] (x + h) - [{} ^ {*} ! f] ( x)} {h}}}$

не зависит от час. В этом случае обычное значение является производной от ж в Икс.

Этот факт следует из принцип передачи нестандартного анализа и переливать.

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

Для второй теоремы интеграл Римана определяется как предел, если он существует, направленного семейства Суммы Римана; это суммы вида

${ Displaystyle сумма _ {к = 0} ^ {n-1} f ( xi _ {k}) (x_ {k + 1} -x_ {k})}$

где

${ displaystyle a = x_ {0} leq xi _ {0} leq x_ {1} leq ldots x_ {n-1} leq xi _ {n-1} leq x_ {n} = б.}$

Такая последовательность значений называется раздел или сетка и

${ displaystyle sup _ {k} (x_ {k + 1} -x_ {k})}$

ширина сетки. В определении интеграла Римана предел сумм Римана берется, когда ширина сетки стремится к 0.

Теорема: Позволять ж - функция с действительными значениями, определенная на интервале [а, б]. потом ж интегрируема по Риману на [а, б] тогда и только тогда, когда для каждой внутренней сетки бесконечно малой ширины величина

${ displaystyle S_ {M} = operatorname {st} sum _ {k = 0} ^ {n-1} [* f] ( xi _ {k}) (x_ {k + 1} -x_ {k })}$

не зависит от сетки. В этом случае обычным значением является интеграл Римана от ж над [а, б].

Приложения

Одно из непосредственных приложений - это расширение стандартных определений дифференциации и интеграции на внутренние функции на интервалах гиперреальных чисел.

Внутренняя гиперреалистическая функция ж на [а, б] является S-дифференцируемая на Икс, предоставлена

${ displaystyle Delta _ {h} f = operatorname {st} { frac {f (x + h) -f (x)} {h}}}$

существует и не зависит от бесконечно малых час. Ценность - это S производная на Икс.

Теорема: Предположим ж является S-дифференцируем в каждой точке [а, б] где б − а является ограниченным гиперреальным. Предположим, кроме того, что

${ Displaystyle | е '(х) | Leq M quad a leq x leq b.}$

Тогда для некоторого бесконечно малого ε

${ displaystyle | f (b) -f (a) | leq M (b-a) + epsilon.}$

Чтобы доказать это, пусть N нестандартное натуральное число. Разделите интервал [а, б] в N подынтервалы путем размещения N - 1 равномерно распределенные промежуточные точки:

${ displaystyle a = x_ {0}$

потом

${ Displaystyle | е (б) -f (а) | leq сумма _ {к = 1} ^ {N-1} | f (x_ {k + 1}) - f (x_ {k}) | leq sum _ {k = 1} ^ {N-1} left {| f '(x_ {k}) | + epsilon _ {k} right } | x_ {k + 1} -x_ { k} |.}$

Теперь максимум любого внутреннего набора бесконечно малых бесконечно мал. Таким образом, все ε_k's преобладает бесконечно малое ε. Следовательно,

${ Displaystyle | е (б) -f (а) | leq сумма _ {к = 1} ^ {N-1} (M + epsilon) (x_ {k + 1} -x_ {k}) = M (ба) + эпсилон (ба)}$

из чего следует результат.

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

• Адекватность
• Критика нестандартного анализа
• Использование архимедом бесконечно малых
• Элементарное исчисление: бесконечно малый подход
• Неклассический анализ

Заметки

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

• Фитцпатрик, Патрик (2006), Расширенный расчет, Брукс / Коул
• Х. Джером Кейслер: Элементарное исчисление: подход, использующий бесконечно малые. Первое издание 1976 г .; 2-е издание 1986 г. (Эта книга сейчас больше не издается. Издатель вернул авторские права автору, который предоставил 2-е издание в формате .pdf, доступное для загрузки по адресу http://www.math.wisc.edu/~keisler/calc.html.)
• Х. Джером Кейслер: Основы исчисления бесконечно малых, доступно для загрузки на http://www.math.wisc.edu/~keisler/foundations.html (10 янв '07)
• Бласс, Андреас (1978), "Обзор: Мартин Дэвис, Прикладной нестандартный анализ, и К. Д. Строян, В. А. Джексембург, Введение в теорию бесконечно малых, и Х. Джером Кейслер, Основы исчисления бесконечно малых", Бык. Амер. Математика. Soc., 84 (1): 34–41, Дои:10.1090 / S0002-9904-1978-14401-2
• Барон, Маргарет Э .: Истоки исчисления бесконечно малых. Dover Publications, Inc., Нью-Йорк, 1987.
• Барон, Маргарет Э .: Истоки исчисления бесконечно малых. Pergamon Press, Oxford-Edinburgh-New York, 1969. (Новое издание книги Барона появилось в 2004 году)
• «Исчисление бесконечно малых», Энциклопедия математики, EMS Press, 2001 [1994]

внешние ссылки

• Онлайн-версия книги «Элементарное исчисление: подход, использующий бесконечно малые»
• Текст онлайн-исчисления с использованием бесконечно малых