бесконечно малый

В математике бесконечно малое число — это величина, которая ближе к , чем любое стандартное действительное число , но это не 0. Слово «бесконечно малое» происходит от современной латинской монеты 17-го века « infinitsimus» , которая первоначально относилась к « бесконечности - й ». элемент в последовательности .

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

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

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

Владимир Арнольд писал в 1990 году:

Сейчас при обучении анализу не очень популярно говорить о бесконечно малых величинах. Следовательно, современные студенты не в полной мере владеют этим языком. Тем не менее владеть им все же необходимо. ^[1]

Решающее понимание ^{[ чьё? ]} для того, чтобы сделать бесконечно малые математические объекты возможными, было то, что они все еще могли сохранять определенные свойства, такие как угол или наклон , даже если эти объекты были бесконечно малы. ^[2]

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

Понятие бесконечно малых было первоначально введено около 1670 года Николаем Меркатором или Готфридом Вильгельмом Лейбницем . ^[3] Архимед использовал то, что в конечном итоге стало известно как метод неделимых, в своей работе «Метод механических теорем» для определения площадей областей и объемов твердых тел. ^[4] В своих официальных опубликованных трактатах Архимед решил ту же проблему, используя метод истощения . В 15 веке появились работы Николая Кузанского , получившие дальнейшее развитие в 17 веке Иоганна Кеплера , в частности, вычисление площади круга путем представления последнего в виде многоугольника с бесконечными сторонами. Работа Саймона Стевина по десятичному представлению всех чисел в 16 веке подготовила почву для настоящего континуума. Метод неделимых Бонавентуры Кавальери привел к расширению результатов классических авторов. Метод неделимых, относящийся к геометрическим фигурам как состоящим из сущностей коразмерности 1. [ ^{необходимы разъяснения ] Бесконечно малые числа} Джона Уоллиса отличались от неделимых тем, что он разлагал геометрические фигуры на бесконечно тонкие строительные блоки того же измерения, что и фигура, готовя основа общих методов интегрального исчисления. Он использовал бесконечно малую величину, обозначаемую 1/∞ , при расчете площади.

Использование Лейбницем бесконечно малых чисел основывалось на эвристических принципах, таких как закон непрерывности: то, что успешно для конечных чисел, успешно и для бесконечных чисел, и наоборот; и трансцендентный закон однородности, который определяет процедуры замены выражений, включающих неназначаемые величины, выражениями, включающими только назначаемые величины. В 18 веке такие математики, как Леонард Эйлер и Жозеф-Луи Лагранж, регулярно использовали бесконечно малые числа . Огюстен-Луи Коши использовал бесконечно малые значения как при определении непрерывности в своем «Курсе анализа» , так и при определении ранней формы дельта-функции Дирака . Пока Кантор и Дедекинд разрабатывали более абстрактные версии континуума Стевина, Поль дю Буа-Реймон написал серию статей о бесконечно малых континуумах, основанных на скорости роста функций. Работы Дюбуа-Реймона вдохновили Эмиля Бореля и Торальфа Скулема . Борель явно связал работу Дюбуа-Реймона с работой Коши о скорости роста бесконечно малых величин. Скулем разработал первые нестандартные модели арифметики в 1934 году. Математическая реализация закона непрерывности и бесконечно малых была достигнута Абрахамом Робинсоном в 1961 году, который разработал нестандартный анализ на основе более ранних работ Эдвина Хьюитта в 1948 году и Ежи Лоша в 1955 году. Гиперреальные реалии реализуют бесконечно малый континуум, а принцип переноса реализует закон непрерывности Лейбница. Функция стандартной части реализует адекватность Ферма .

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

Идея бесконечно малых величин обсуждалась Элейской школой . Греческий математик Архимед (ок. 287 г. до н. э. – ок. 212 г. до н. э.) в « Методе механических теорем» первым предложил логически строгое определение бесконечно малых величин. ^[5] Его архимедово свойство определяет число x как бесконечное, если оно удовлетворяет условиям | х |>1, | х |>1+1, | x |>1+1+1, ... и бесконечно малый, если x ≠0 и аналогичный набор условий выполняется для x и обратных целых положительных чисел. Система счисления называется архимедовой, если она не содержит ни бесконечных, ни бесконечно малых членов.

Английский математик Джон Уоллис ввел выражение 1/∞ в своей книге 1655 года «Трактат о конических сечениях ». Символ, обозначающий обратную величину или инверсию ∞ , является символическим представлением математического понятия бесконечно малого. В своем «Трактате о конических сечениях» Уоллис также обсуждает концепцию связи между введенным им символическим представлением бесконечно малого 1/∞ и понятием бесконечности, для которого он ввел символ ∞. Концепция предполагает мысленный эксперимент по добавлению бесконечного числа параллелограммов бесконечно малой ширины для формирования конечной площади. Эта концепция была предшественником современного метода интегрирования, используемого в интегральном исчислении . Концептуальные истоки концепции бесконечно малого 1/∞ можно проследить еще у греческого философа Зенона Элейского , чей парадокс дихотомии Зенона был первой математической концепцией, рассматривающей связь между конечным интервалом и интервалом, приближающимся к интервалу бесконечно малый интервал.

Бесконечно малые были предметом политических и религиозных споров в Европе 17 века, включая запрет на бесконечно малые, изданный священнослужителями в Риме в 1632 году. ^[6]

До изобретения исчисления математики могли вычислять касательные, используя метод адекватности Пьера де Ферма и метод нормалей Рене Декарта . Среди ученых ведутся споры о том, был ли этот метод бесконечно малым или алгебраическим по своей природе. Когда Ньютон и Лейбниц изобрели исчисление , они использовали бесконечно малые, флюксии Ньютона и дифференциал Лейбница . Использование бесконечно малых было подвергнуто критике как неправильное епископом Беркли в его работе «Аналитик» . ^[7] Математики, ученые и инженеры продолжали использовать бесконечно малые величины для получения правильных результатов. Во второй половине девятнадцатого века исчисление было переформулировано Огюстеном-Луи Коши , Бернаром Больцано , Карлом Вейерштрассом , Кантором , Дедекиндом и другими с использованием (ε, δ)-определения предела и теории множеств . В то время как последователи Кантора, Дедекинда и Вейерштрасса стремились избавить анализ бесконечно малых величин, а их философские союзники, такие как Бертран Рассел и Рудольф Карнап , заявляли, что бесконечно малые величины являются псевдоконцепциями , Герман Коэн и его марбургская школа неокантианства стремились разработать рабочую логику бесконечно малые. ^[8] Математическое исследование систем, содержащих бесконечно малые числа, продолжалось в работах Леви-Чивита , Джузеппе Веронезе , Поля дю Буа-Реймона и других на протяжении конца девятнадцатого и двадцатого веков, как документально подтверждено Филипом Эрлихом (2006). В 20 веке было обнаружено, что бесконечно малые числа могут служить основой для исчисления и анализа (см. гипердействительные числа ).

Свойства первого порядка

Расширяя действительные числа, включив в них бесконечные и бесконечно малые величины, обычно хочется быть как можно более консервативными и не изменять ни одно из их элементарных свойств. Это гарантирует, что как можно больше знакомых результатов по-прежнему доступны. Обычно элементарность означает , что нет количественной оценки множеств , а только элементы. Это ограничение допускает утверждения вида «для любого числа x...». Например, аксиома, гласящая «для любого числа x , x + 0 = x », все равно будет применяться. То же самое справедливо и для количественной оценки нескольких чисел, например: «Для любых чисел x и y xy = yx ». Однако утверждения вида «для любого набора S чисел…» переноситься не могут. Логика с этим ограничением количественной оценки называется логикой первого порядка .

Полученная в результате расширенная система счисления не может согласовываться с действительными числами по всем свойствам, которые могут быть выражены путем количественной оценки множеств, поскольку цель состоит в том, чтобы построить неархимедову систему, а принцип Архимеда может быть выражен посредством количественной оценки множеств. Любую теорию, включая вещественные числа, включая теорию множеств, можно консервативно расширить, включив в нее бесконечно малые числа, просто добавив счетный бесконечный список аксиом, которые утверждают, что число меньше 1/2, 1/3, 1/4 и так далее. Точно так же нельзя ожидать, что свойство полноты сохранится, потому что действительные числа являются уникальным полным упорядоченным полем с точностью до изоморфизма.

Мы можем выделить три уровня, на которых неархимедова система счисления может иметь свойства первого порядка, совместимые со свойствами вещественных чисел:

Упорядоченное поле подчиняется всем обычным аксиомам действительной системы счисления, которые можно сформулировать в логике первого порядка. Например, справедлива аксиома коммутативности x + y = y + x .
Реальное замкнутое поле обладает всеми свойствами первого порядка действительной системы счисления, независимо от того, считаются ли они обычно аксиоматическими, для утверждений, включающих основные отношения упорядоченного поля +, × и ≤. Это более сильное условие, чем соблюдение аксиом упорядоченного поля. Более конкретно, один из них включает дополнительные свойства первого порядка, такие как существование корня для каждого многочлена нечетной степени. Например, каждое число должно иметь кубический корень .
Система может обладать всеми свойствами первого порядка системы действительных чисел для утверждений, включающих любые отношения (независимо от того, могут ли эти отношения быть выражены с помощью +, × и ≤). Например, должна быть функция синуса , которая четко определена для бесконечных входных данных; то же самое верно для каждой реальной функции.

Системы категории 1, находящиеся на слабом конце спектра, относительно легко построить, но не позволяют полностью провести классический анализ с использованием бесконечно малых в духе Ньютона и Лейбница. Например, трансцендентные функции определяются в терминах бесконечных предельных процессов, и поэтому обычно нет способа определить их в логике первого порядка. Повышая аналитическую силу системы за счет перехода к категориям 2 и 3, мы обнаруживаем, что трактовка имеет тенденцию становиться менее конструктивной и становится труднее сказать что-либо конкретное об иерархической структуре бесконечностей и бесконечно малых.

Системы счисления, включающие бесконечно малые числа

Формальная серия

Лоран серии

Примером из категории 1 выше является поле рядов Лорана с конечным числом членов отрицательной степени. Например, ряд Лорана, состоящий только из постоянного члена 1, отождествляется с действительным числом 1, а ряд, содержащий только линейный член x , считается простейшим бесконечно малым, из которого строятся другие бесконечно малые числа. Используется словарный порядок, что эквивалентно рассмотрению более высоких степеней x как незначительных по сравнению с более низкими степенями. Дэвид О. Талл ^[9] называет эту систему сверхдействительной, не путать со сверхдействительной системой счисления Дейлса и Вудина. Поскольку ряд Тейлора , вычисленный с помощью ряда Лорана в качестве аргумента, по-прежнему является рядом Лорана, систему можно использовать для расчета трансцендентных функций, если они аналитичны. Эти бесконечно малые числа обладают свойствами первого порядка, отличными от вещественных чисел, потому что, например, базовый бесконечно малый x не имеет квадратного корня.

Поле Леви-Чивита

Поле Леви -Чивита аналогично ряду Лорана, но алгебраически замкнуто. Например, базовый бесконечно малый x имеет квадратный корень. Это поле достаточно богато, чтобы можно было провести значительный объем анализа, но его элементы по-прежнему могут быть представлены на компьютере в том же смысле, в каком действительные числа могут быть представлены в формате с плавающей запятой. ^[10]

Транссериес

Поле транссерий больше поля Леви-Чивита. ^[11] Пример транссерии:

e^{\sqrt {\ln \ln x}}+\ln \ln x+\sum _ {j=0}^{\infty }e^{x}x^{-j},

где для целей упорядочивания x считается бесконечным.

Сюрреалистические цифры

Сюрреалистические числа Конвея попадают во вторую категорию, за исключением того, что сюрреалистические числа образуют собственный класс , а не множество. ^[12] Это система, разработанная так, чтобы быть как можно более богатой числами разного размера, но не обязательно для удобства проведения анализа, в том смысле, что каждое упорядоченное поле является подполем сюрреалистических чисел. ^[13] Существует естественное расширение показательной функции на сюрреалистические числа. ^[14]^{: гл. 10}

Гиперреалы

Самый распространенный метод работы с бесконечно малыми числами — это гиперреальность, разработанная Абрахамом Робинсоном в 1960-х годах. Они попадают в категорию 3, указанную выше, поскольку были разработаны таким образом, чтобы весь классический анализ можно было перенести из реальных событий. Это свойство способности переносить все отношения естественным образом известно как принцип переноса , доказанный Ежи Лосью в 1955 году. Например, трансцендентная функция sin имеет естественный аналог *sin, который принимает гиперреальные входные данные и дает гиперреальное значение. Аналогично, набор натуральных чисел имеет натуральный аналог , который содержит как конечные, так и бесконечные целые числа. Такое предложение, как , переносится на гиперреальные реальности как . $\mathbb {N}$ $^{*}\mathbb {N}$ $\forall n\in \mathbb {N},\sin n\pi =0$ $\forall n\in {}^{*}\mathbb {N}, {}^{*}\!\!\sin n\pi =0$

Суперреальные

Сверхреальная система счисления Дейлса и Вудина является обобщением гиперреальности. Она отличается от сверхреальной системы, определенной Дэвидом Таллом .

Двойные числа

В линейной алгебре двойственные числа расширяют действительные числа путем присоединения к одному бесконечно малому, новому элементу ε со свойством ε ² = 0 (т. е. ε нильпотентен ) . Каждое двойственное число имеет вид z = a + bε , где a и b — однозначно определенные действительные числа.

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

Гладкий бесконечно малый анализ

Синтетическая дифференциальная геометрия или гладкий бесконечно малый анализ имеют корни в теории категорий . Этот подход отходит от классической логики, используемой в традиционной математике, отрицая общую применимость закона исключенного третьего – т.е. не ( a ≠ b ) не обязательно означает a = b . Затем можно определить нильквадрат или нильпотентную бесконечно малую величину. Это число x , где x ² = 0 истинно, но x = 0 не обязательно одновременно истинно. Поскольку базовой логикой является интуиционистская логика , не сразу ясно, как классифицировать эту систему по отношению к классам 1, 2 и 3. Сначала необходимо разработать интуиционистские аналоги этих классов.

Бесконечно малые дельта-функции

Коши использовал бесконечно малую величину, чтобы записать единичный импульс, бесконечно высокую и узкую дельта-функцию типа Дирака, удовлетворяющую ряду статей в 1827 году, см. Лаугвиц (1989). Коши определил бесконечно малую величину в 1821 году (Кур д'Анализ) как последовательность, стремящуюся к нулю. А именно, такая нулевая последовательность становится бесконечно малой в терминологии Коши и Лазара Карно . $\альфа$ $\delta _ {\alpha }$ $\int F(x)\delta _ {\alpha }(x)=F(0)$

Современные теоретико-множественные подходы позволяют определять бесконечно малые числа с помощью сверхстепенной конструкции, где нулевая последовательность становится бесконечно малой в смысле класса эквивалентности по модулю отношения, определенного в терминах подходящего ультрафильтра . Статья Ямаситы (2007) содержит библиографию современных дельта-функций Дирака в контексте бесконечно малого континуума, обеспечиваемого гиперреальными объектами .

Логические свойства

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

В 1936 году Мальцев доказал теорему компактности . Эта теорема является фундаментальной для существования бесконечно малых чисел, поскольку она доказывает возможность их формализовать. Следствием этой теоремы является то, что если существует система счисления, в которой верно, что для любого положительного целого числа n существует положительное число x такое, что 0 < x < 1/ n , то существует расширение этой системы счисления в верно, что существует такое положительное число x , что для любого положительного целого числа n имеем 0 < x < 1/ n . Возможность переключения «на любой» и «существует» имеет решающее значение. Первое утверждение верно для действительных чисел, как указано в теории множеств ZFC : для любого положительного целого числа n можно найти действительное число между 1/ n и нулем, но это действительное число зависит от n . Здесь сначала выбирают n , затем находят соответствующий x . Во втором выражении утверждение говорит, что существует x (по крайней мере один), выбранный первым, который находится между 0 и 1/ n для любого n . В этом случае x бесконечно мало. Это неверно для действительных чисел ( R ), заданных ZFC. Тем не менее теорема доказывает, что существует модель (система счисления), в которой это верно. Вопрос: что это за модель? Каковы его свойства? Есть только одна такая модель?

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

1) Расширить систему счисления так, чтобы она содержала больше чисел, чем действительных чисел.

2) Расширить аксиомы (или расширить язык) так, чтобы различие между бесконечно малыми и небесконечно малыми числами можно было проводить в самих действительных числах.

В 1960 году Абрахам Робинсон дал ответ, основанный на первом подходе. Расширенный набор называется гипердействительными числами и содержит числа, меньшие по абсолютной величине, чем любое положительное действительное число. Этот метод можно считать относительно сложным, но он доказывает, что бесконечно малые существуют во вселенной теории множеств ZFC. Действительные числа называются стандартными числами, а новые невещественные гипердействительные числа называются нестандартными .

В 1977 году Эдвард Нельсон дал ответ, основанный на втором подходе. Расширенные аксиомы — это IST, что означает либо внутреннюю теорию множеств , либо инициалы трех дополнительных аксиом: идеализация, стандартизация, перенос. Мы считаем, что в этой системе язык расширен таким образом, что мы можем выражать факты о бесконечно малых величинах. Действительные числа бывают стандартными или нестандартными. Бесконечно малое — это нестандартное действительное число, которое по абсолютной величине меньше любого положительного стандартного действительного числа.

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

Бесконечно малые в обучении

Учебники по математическому анализу, основанные на бесконечно малых, включают классический « Легкий расчет» Сильвануса П. Томпсона (с девизом «То, что может сделать один дурак, другой может» ^[15] ) и немецкий текст «Mathematik für Mittlere Technische Fachschulen der Maschinenindustrie» Р. Нойендорфа. ^[16] Новаторские работы, основанные на бесконечно малых величинах Абрахама Робинсона , включают тексты Строяна (1972 года) и Говарда Джерома Кейслера ( «Элементарное исчисление: бесконечно малый подход »). Студенты легко понимают интуитивное понятие бесконечно малой разности 1-" 0,999... ", где "0,999..." отличается от своего стандартного значения как действительного числа 1 и переинтерпретируется как бесконечная завершающая расширенная десятичная дробь, которая строго менее 1. ^[17]^[18]

Еще один учебник по элементарному исчислению, в котором используется теория бесконечно малых, разработанная Робинсоном, - это « Исчисление бесконечно малых » Генле и Кляйнберга, первоначально опубликованный в 1979 году. ^[19] Авторы знакомят с языком логики первого порядка и демонстрируют построение модели первого порядка. гипердействительных чисел. Текст представляет собой введение в основы интегрального и дифференциального исчисления в одном измерении, включая последовательности и ряды функций. В Приложении они также рассматривают расширение своей модели на гипергиперреальные реальности и демонстрируют некоторые применения расширенной модели.

Текст по элементарному исчислению, основанный на гладком анализе бесконечно малых, — Bell, John L. (2008). Учебник бесконечно малого анализа, 2-е издание. Издательство Кембриджского университета. ISBN 9780521887182.

Более поздний текст по исчислению с использованием бесконечно малых - Доусон, К. Брайан (2022), Calculus Set Free: Infinitesimals to the Rescue, Oxford University Press. ISBN 9780192895608.

Функции, стремящиеся к нулю

В родственном, но несколько ином смысле, который развился из первоначального определения «бесконечно малой» как бесконечно малой величины, этот термин также использовался для обозначения функции, стремящейся к нулю. Точнее, «Расширенное исчисление» Лумиса и Штернберга определяет класс бесконечно малых функций как подмножество функций между нормированными векторными пространствами по формуле ${\mathfrak {I}}$ $f:V\to W$

${\mathfrak {I}}(V,W)=\{f:V\to W\ |\ f(0)=0,(\forall \epsilon >0)(\exists \delta >0) \ \backepsilon \ ||\xi ||<\delta \ подразумевает ||f(\xi )||<\epsilon \}$ ,

а также два родственных класса (см. обозначение Big-O ) по ${\mathfrak {O}}, {\mathfrak {o}}$

${\mathfrak {O}}(V,W)=\{f:V\to W\ |\ f(0)=0,\ (\exists r>0,c>0)\ \backepsilon \ ||\xi ||<r\подразумевает ||f(\xi )||\leq c||\xi ||\}$ , и

${\mathfrak {o}}(V,W)=\{f:V\to W\ |\ f(0)=0,\ \lim _{||\xi ||\to 0}| |f(\xi )||/||\xi ||=0\}$ . ^[20]

Включения множества, как правило, имеют место. Правильность включений демонстрируют вещественные функции действительной переменной , , и : ${\mathfrak {o}}(V,W)\subsetneq {\mathfrak {O}}(V,W)\subsetneq {\mathfrak {I}}(V,W)$ $f:x\mapsto |x|^{1/2}$ $g:x\mapsto x$ $h:x\mapsto x^{2}$

$f,g,h\in {\mathfrak {I}}(\mathbb {R},\mathbb {R}),\ g,h\in {\mathfrak {O}}(\mathbb {R} ,\mathbb {R}),\ h\in {\mathfrak {o}}(\mathbb {R},\mathbb {R})$ но и . $f,g\notin {\mathfrak {o}}(\mathbb {R},\mathbb {R})$ $f\notin {\mathfrak {O}}(\mathbb {R},\mathbb {R})$

В качестве применения этих определений отображение между нормированными векторными пространствами определяется как дифференцируемое в, если существует [т. е. ограниченное линейное отображение ] такое, что $F:V\to W$ $\alpha \in V$ $T\in \mathrm {Hom} (V,W)$ $V\to W$

$[F(\alpha +\xi)-F(\alpha)]-T(\xi)\in {\mathfrak {o}}(V,W)$

в окрестностях г. Если такое отображение существует, оно уникально; это отображение называется дифференциалом и обозначается , ^[21] что совпадает с традиционным обозначением классического (хотя и логически ошибочного) представления о дифференциале как о бесконечно малом «куске» F . Это определение представляет собой обобщение обычного определения дифференцируемости вектор-функций (открытых подмножеств) евклидовых пространств. $\альфа$ $dF_{\альфа }$

Массив случайных величин

Позвольте быть вероятностным пространством и пусть . Массив случайных величин называется бесконечно малым, если для каждого имеем: ^[22] $(\Omega, {\mathcal {F}},\mathbb {P})$ $n\in \mathbb {N}$ $\{X_{n,k}:\Omega \to \mathbb {R} \mid 1\leq k\leq k_{n}\}$ $\epsilon >0$

\max _{1\leq k\leq k_{n}}\mathbb {P} \{\omega \in \Omega \mid \vert X_{n,k}(\omega )\vert \geq \epsilon \}\to 0{\text{ as }}n\to \infty

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

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

Примечания

^ Арнольд, В.И. Гюйгенс и Барроу, Ньютон и Гук. Пионеры математического анализа и теории катастроф от эвольвент до квазикристаллов . Перевод с русского Эрика Дж. Ф. Примроуза. Birkhäuser Verlag, Базель, 1990. с. 27
↑ Белл, Джон Л. (6 сентября 2013 г.). «Непрерывность и бесконечно малые». Стэнфордская энциклопедия философии .
^ Кац, Михаил Г .; Шерри, Дэвид (2012), «Бесконечно малые Лейбница: их вымышленность, их современные реализации и их враги от Беркли до Рассела и за его пределами», Erkenntnis , 78 (3): 571–625, arXiv : 1205.0174 , doi : 10.1007/s10670- 012-9370-у, S2CID 119329569
^ Ревель, Нетц; Сайто, Кен; Чернецкая, Натали (2001). «Новое прочтение методического предложения 14: предварительные данные из Палимпсеста Архимеда (Часть 1)». Скиамвс . 2 : 9–29.
^ Архимед, Метод механических теорем ; см. Архимеда Палимпсеста
^ Александр, Амир (2014). Бесконечно малая: как опасная математическая теория сформировала современный мир . Scientific American / Фаррар, Штраус и Жиру. ISBN 978-0-374-17681-5.
^ Беркли, Джордж (1734). Аналитик: беседа, адресованная неверному математику. Лондон.
^ Морманн, Томас ; Кац, Михаил (осень 2013 г.). «Бесконечно малые как проблема неокантианской философии науки». HOPOS: Журнал Международного общества истории философии науки . 3 (2): 236–280. arXiv : 1304.1027 . дои : 10.1086/671348. JSTOR 10.1086/671348. S2CID 119128707.
^ «Бесконечно малые в современной математике». Джонхойл.com. Архивировано из оригинала 13 июля 2011 г. Проверено 11 марта 2011 г.
^ Шамседдин, Ходр. «Анализ поля Леви-Чивита, краткий обзор» (PDF) . Архивировано из оригинала (PDF) 8 июня 2011 г.
^ Эдгар, Джеральд А. (2010). «Транссерии для начинающих». Обмен реальным анализом . 35 (2): 253–310. arXiv : 0801.4877 . дои : 10.14321/realanalexch.35.2.0253. S2CID 14290638.
^ Аллинг, Норман (январь 1985 г.), «Поле сюрреалистических чисел Конвея» (PDF) , Trans. амер. Математика. Соц. , 287 (1): 365–386, doi : 10.1090/s0002-9947-1985-0766225-7 , получено 5 марта 2019 г.
^ Байнок, Бела (2013). Приглашение к абстрактной математике. ISBN 9781461466369. Теорема 24.29. Сюрреалистическая система счисления — самое большое упорядоченное поле
^ Гоншор, Гарри (1986). Введение в теорию сюрреалистических чисел . Серия лекций Лондонского математического общества. Том. 110. Издательство Кембриджского университета. дои : 10.1017/CBO9780511629143. ISBN 9780521312059.
^ Томпсон, Сильванус П. (1914). Исчисление стало проще (второе изд.). Нью-Йорк: Компания Macmillan.
^ Р. Нойендорф (1912) Lehrbuch der Mathematik Fur Mittlere Technische Fachschulen der Maschinenindustrie , Verlag Julius Springer, Берлин.
^ Эли, Роберт (2010). «Нестандартные студенческие представления о бесконечно малых» (PDF) . Журнал исследований в области математического образования . 41 (2): 117–146. doi : 10.5951/jresematheduc.41.2.0117. JSTOR 20720128. Архивировано (PDF) из оригинала 6 мая 2019 г.
^ Кац, Карин Усади; Кац, Михаил Георгиевич (2010). «Когда 0,999… меньше 1?» (PDF) . Энтузиаст математики из Монтаны . 7 (1): 3–30. arXiv : 1007.3018 . дои : 10.54870/1551-3440.1381. ISSN 1551-3440. S2CID 11544878. Архивировано из оригинала (PDF) 7 декабря 2012 г. Проверено 7 декабря 2012 г.
^ Хенле, Джеймс М.; Кляйнберг, Евгений (1979). Бесконечно-малое исчисление . MIT Press, переизданное Дувром. ISBN 978-0-262-08097-2.
^ Лумис, Линн Гарольд; Штернберг, Шломо (2014). Продвинутое исчисление. Хакенсак, Нью-Джерси: World Scientific. стр. 138–142. ISBN 978-981-4583-92-3.
^ Это обозначение не следует путать со многими другими различными вариантами использования d в исчислении , которые слабо связаны с классическим понятием дифференциала как «взятия бесконечно малого кусочка чего-либо»: (1) в выражении указывает на Римана -Стильтьесское интегрирование относительно функции интегратора ; (2) в выражении символизирует интегрирование Лебега по мере ; (3) в выражении dV означает интегрирование по объему ; (4) в выражении буква d обозначает внешний оператор производной и т. д. $\int f(x)\,d\alpha (x)$ $d\alpha (x)$ $\alpha$ $\int f\,d\mu$ $d\mu$ $\mu$ $\int _{\mathbf {R} ^{n}}f\;dV$ $dx^{i_{1}}\wedge \cdots \wedge dx^{i_{n}}$
^ Барчик, Адам; Янссен, Арнольд; Поли, Маркус (2011). «Асимптотика L-статистики для не-iid переменных с тяжелыми хвостами» (PDF) . Вероятность и математическая статистика . 31 (2): 285–299. Архивировано (PDF) из оригинала 21 августа 2019 г.