Определение предела в терминах эпсилон и дельта

Определение предела в терминах и эпсилондельта-определение предела») — это формализация понятия предела. Концепция принадлежит Огюстену Луи Коши, который не дал формальное определение предела в терминах и в своём труде Cours d'Analyse[англ.], хотя использовал время от времени и в доказательствах. Первым дал формальное определение Бернард Больцано в 1817 году, а современную формулировку дал Карл Вейерштрасс[1][2]. Он дал точную формулировку следующему неформальному определению: зависимое выражение стремится к значению L при стремлении переменной x к значению c, если значение можно сделать сколь угодно близким к значению L путём выбора x достаточно близкого к c.

Если точка x отклоняется менее чем на от значения c, f(x) отклоняется не более чем на от L

История

править

Несмотря на то, что греки сталкивались со сходимостью, например, в вавилонском методе[англ.] вычисления квадратных корней, у них не было концепции, подобной современному понятию предела[3]. Необходимость концепции предела возникла в 1600-х годах, когда Пьер Ферма пытался найти угловой коэффициент касательной в точке   к графику функции, такой как  . Используя ненулевую, но очень малую, почти нулевую величину  , Ферма сделал следующие вычисления:

 

Ключевым фактом вышеприведённых вычислений является ненулевое значение  , а тогда можно делить   на  . Однако из-за того, что   близок к 0, выражение  , фактически, равно  [4]. Величины, подобные  , называются бесконечно малыми. Проблема в этом вычислении заключается в том, что математики той эпохи были не в состоянии точно определить величины со свойствами  [5], хотя общей практикой было пренебрегать высокими степенями бесконечно малых величин, и эта практика давала корректные результаты.

Проблема возникла в конце 1600-х годов при развитии математического анализа, когда вычисления, такие как у Ферма, становятся важными для вычисления производных. Исаак Ньютон первым разработал анализ с помощью бесконечно малых величин, которые называл флюксиями[англ.]. Он развивал свой метод, имея в виду идею «бесконечно маленького момента времени...»[6]. Позднее, Ньютон отказался от флюксий в пользу теории пропорций, которая ближе к современному определению предела  [6]․ Более того, Ньютон отдавал себе отчёт, что предел отношения стремящихся к нулю величин не является самим отношением пределов. Он писал:

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

Дополнительно, Ньютон время от времени объяснял предел в терминах, похожих на   определение[7]. Готфрид Вильгельм Лейбниц развивал собственные бесконечно малые и пытался обеспечить для них строгую основу, но его идеи были встречены с тревогой некоторыми математиками и философами[6].

Огюстен Луи Коши дал определение предела в терминах более примитивного понятия, которое он назвал переменной величиной. Он никогда не давал определение предела в терминах   (Grabiner 1981). Некоторые из доказательств Коши содержат признаки   метода. Может ли его подход считаться предвестником подхода Вейерштрасса — предмет научной дискуссии. Существует мнение , что Коши и Вейерштрасс дали одно и то же имя различным понятиям предела[8].

Со временем Вейерштрасс и Больцано были признаны как давшие твёрдую опору для математического анализа в виде современного   определения предела[1][2]. Необходимость ссылки на бесконечно малую величину   исчезла[6], и вычисления Ферма превратились в следующий предел:

 

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

Неформальное утверждение

править

Возможным неформальным (то есть интуитивным или приблизительным) определением является «функция   стремится к пределу L близ точки a (в символьном виде,  ), если можно сделать значение функции f(x) сколь угодно близким к L путём выбора x достаточно близко к (но исключая) a»[10].

Когда говорится, что две величины близки (как f(x) и L, или x и a), имеется в виду, что расстояние между ними мало. Если f(x), L, x и a являются вещественными числами, расстояние между двумя числами равны абсолютной величине разности двух величин. Таким образом, когда говорится, что f(x) близко к L, имеется в виду, что   мало. Когда говорится, что x и a близки, имеется в виду, что   мало[11].

Когда говорится, что можно сделать значение функции f(x) сколь угодно близким к L, имеется в виду, что для всех ненулевых расстояний   можно обеспечить расстояние между f(x) и L меньше, чем  [11].

Когда говорится, что можно сделать значение функции f(x) сколь угодно близким к L путём требования к x быть достаточно близким к a, но не равным a, имеется в виду, что для любого ненулевого расстояния   существует ненулевое расстояние  , такое, что если расстояние между x и a меньше  , то расстояние между f(x) и L меньше  [11].

Неформальный/интуитивный аспект, используемый здесь, заключается в том, что определение требует следующего внутреннего рассуждения (которое обычно перефразируется на языке например «когда противник/соперник атакует вас с  , вы защищаетесь величиной  »): кто-то даёт испытательную величину   для заданной функции  , точки a и предела L. Нужно ответить величиной  , такой что из   следует  . Если можно обеспечить ответ на любую испытательную величину, то предел существует[12].

Точное утверждение и связанные утверждения

править

Точное утверждение для вещественных функций

править

Определение в терминах   предела функции следующее[11]:

Пусть   будет вещественной функцией, определённой на подмножестве   вещественных чисел. Пусть   будет предельной точкой множества   и пусть   будет вещественным числом. Говорится, что

 

если для любого   существует  , такое, что для всех  , если  , то  [13].

В символическом виде:

 

Если   или  , условие, что   является предельной точкой, может быть заменено на более простое условие, что c принадлежит D, поскольку замкнутые вещественные интервалы и вся вещественная ось являются совершенными множествами.

Точное утверждение для функций между метрическими пространствами

править

Определение можно обобщить на функции, отображающие метрическое пространство в другое метрическое пространство. Эти пространства приходят с функцией, называемой метрикой, которая берёт две точки пространства и возвращает вещественное число, представляющее расстояние между этими двумя точками[14]. Обобщённое определение[15]:

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

Мы говорим, что

 

если для любого   существует  , такой что для всех   из   следует  .

Поскольку   является метрикой на вещественных числах, можно показать, что это определение обобщает первое определение для вещественных функций[16].

Отрицание точного утверждения

править

Логическое отрицание определения следующее[17]:

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

Мы говорим, что

 

если существует  , такой, что для всех   существует  , такой, что   и  .

Мы говорим что   не существует, если для всех  .

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

Точное утверждение для предела на бесконечности

править

Точное определение для предела на бесконечности следующее:

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

 

если для любого   существует вещественное число  , такое, что для всех   из условия   вытекает  [18].

Можно дать аналогичное определение и для произвольных метрических пространств.

Примеры

править

Пример 1

править

Покажем, что

 

Пусть значение   задано. Нам нужно найти  , такой, что из   следует  .

Поскольку синус ограничен сверху величиной 1, а снизу величиной −1,

 

Таким образом, если мы примем  , то из   следует  , что завершает доказательство.

Пример 2

править

Докажем, что

 

для любого вещественного числа  .

Пусть значение   задано. Мы найдём  , такой, что из   следует  .

Начнём с разложения на множители:

 

Понимаем, что множитель   ограничен величиной  , так что мы предполагаем границу 1 и впоследствии можем выбрать что-то меньшее  [19]

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

 

А тогда,

 

Согласно неравенству треугольника,

 

Если теперь предположить, что

 

получим

 

Выберем

 

Теперь, если  , получаем

 

Таким образом, мы нашли  , такой, что из   следует  . Тем самым мы показали, что

 

для любого вещественного числа  .

Пример 3

править

Докажем, что

 

Используя графическое понимание предела, можно подвести строгую основу для введения в доказательство. Так, согласно формальному определению, приведенному выше, утверждение о пределе верно тогда и только тогда, когда ограничение отклонения   на величину   от точки   неминуемо ограничивает отклонение   от   до величины   (см. иллюстрацию в начале статьи). В данном случае это означает, что утверждение верно тогда и только тогда, когда ограничиваем отклонение   на   от значения 5 неизбежно ограничивает

 

на   от значения 12. Чтобы показать это, нужно продемонстрировать, как   и   должны быть связаны, чтобы требование выполнялось. Мы хотим показать математически, что

 

Подводя общие члены, вынося константу 3 и деля на неё в правой части импликации, получаем

 

что немедленно даёт требуемый результат, если выберем

 

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

 

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

править

Говорят что функция f непрерывна в точке c, если она определена в c и её значение в c равно пределу f при стремлении x к c:

 

 -определение непрерывной функции можно получить из определения предела путём замены   на  , чтобы обеспечить, что f определена в c и это значение совпадает с пределом.

Говорят, что функция f непрерывна на интервале I, если она непрерывна в любой точке c интервала I.

Сравнение с определением через бесконечно малые

править

Ховард Джером Кейслер[англ.] доказал, что гипервещественное определение предела[англ.] уменьшает сложность по кванторам на два квантора[20]. А именно,   сходится к пределу L при стремлении   к a тогда и только тогда, когда значение   бесконечно близко к L для любого бесконечно малого e. (См. Микронепрерывность[англ.] для связанных определений непрерывности, фактически принадлежащих Коши.)

Учебники, по исчислению бесконечно малых, основанные на подходе Робинсона, дают определения непрерывности, производной и интеграла в терминах бесконечно малых величин. Когда понятия, такие как непрерывность, всесторонне объяснены через микронепрерывность, подход эпсилон–дельта также представляется. Карел Хрбачек считает, что определения непрерывности, производной и интегрирования в стиле нестандартного анализа Робинсона должны основываться на методе  , чтобы покрыть также нестандартные входные значения[21]. Блащик возражает, считая, что микронепрерывность[англ.] полезна при разработке прозрачного определения равномерной непрерывности и считает критицизм Хрбачека «неясными жалобами»[22]. Хрбачек предлагает альтернативный нестандартный анализ, который (в отличие от анализа Робинсона) имеет несколько «уровней» бесконечно малых величин, так что пределы на одном уровне могут быть определены в терминах бесконечно малых величин следующего уровня[23].

См. также

править

Примечания

править
  1. 1 2 Grabiner, 1983, с. 185–194.
  2. 1 2 Cauchy, 1823.
  3. Stillwell, 1989, с. 38–39.
  4. Stillwell, 1989, с. 104.
  5. Stillwell, 1989, с. 106.
  6. 1 2 3 4 5 Buckley, 2012, с. 31-35.
  7. Pourciau, 2001, с. 18–30.
  8. Nakane, 2014, с. 51–59.
  9. Tao, 2008, с. 95–110.
  10. Spivak, 2008, с. 90.
  11. 1 2 3 4 Spivak, 2008, с. 96.
  12. Epsilon-Delta Definition of a Limit | Brilliant Math & Science Wiki (амер. англ.). brilliant.org. Дата обращения: 18 августа 2020. Архивировано 29 сентября 2020 года.
  13. 1.2: Epsilon-Delta Definition of a Limit (англ.). Mathematics LibreTexts (21 апреля 2017). Дата обращения: 18 августа 2020. Архивировано 3 октября 2020 года.
  14. Rudin, 1976, с. 30.
  15. Rudin, 1976, с. 83.
  16. Rudin, 1976, с. 84.
  17. Spivak, 2008, с. 97.
  18. Stewart, 2016, с. Section 3.4.
  19. Spivak, 2008, с. 95.
  20. Keisler, 2008, с. 151–170.
  21. Hrbacek, 2007.
  22. Błaszczyk, Katz, Sherry, 2012, с. 43–74.
  23. Hrbacek, 2009.

Литература

править
  • Judith V. Grabiner. Who Gave You the Epsilon? Cauchy and the Origins of Rigorous Calculus // The American Mathematical Monthly. — 1983. — Март (т. 90, вып. 3). — С. 185–194. — doi:10.2307/2975545. — JSTOR 2975545.
  • A.-L. Cauchy. Résumé des leçons données à l'école royale polytechnique sur le calcul infinitésimal. — Paris, 1823.
  • John Stillwell. Mathematics and its history. — New York: Springer-Verlag, 1989. — С. 38–39. — ISBN 978-1-4899-0007-4.
    • Перевод:Джон Стилвелл. Математика и ее история. — Москва, Ижевск: Институт компьютерных исследований, 2004.
  • Benjamin Lee Buckley. The continuity debate : Dedekind, Cantor, du Bois-Reymond and Peirce on continuity and infinitesimals. — 2012. — ISBN 9780983700487.
  • B. Pourciau. Newton and the Notion of Limit // Historia Mathematica. — 2001. — Т. 28, вып. 1. — С. 18–30. — doi:10.1006/hmat.2000.2301.
  • Michiyo Nakane. Did Weierstrass's differential calculus have a limit-avoiding character? His definition of a limit in   style // BSHM Bull. — 2014. — Вып. 29.
  • Terence Tao. Structure and randomness : pages from year one of a mathematical blog. — Providence, R.I.: American Mathematical Society, 2008. — ISBN 978-0-8218-4695-7.
  • Michael Spivak. Calculus. — 4th. — Houston, Tex.: Publish or Perish, 2008. — С. 90. — ISBN 978-0914098911.
  • Walter Rudin. Principles of Mathematical Analysis. — McGraw-Hill Science/Engineering/Math, 1976. — С. 30. — ISBN 978-0070542358.
    • Перевод: Рудин У. Основы математического анализа. — Москва: «Мир», 1976.
  • James Stewart. Section 3.4 // Calculus. — 8. — Cengage, 2016.
  • H. Jerome Keisler. Andrzej Mostowski and foundational studies. — IOS, Amsterdam, 2008.
  • Piotr Błaszczyk, Mikhail Katz, David Sherry. Ten misconceptions from the history of analysis and their debunking // Foundations of Science. — 2012. — Т. 18. — С. 43–74. — doi:10.1007/s10699-012-9285-8. — Bibcode2012arXiv1202.4153B. — arXiv:1202.4153.
  • Hrbacek K. Stratified Analysis? // The Strength of Nonstandard Analysis / Van Den Berg. — Springer, 2007.
  • Hrbacek K. Relative set theory: Internal view // Journal of Logic and Analysis. — 2009. — Т. 1.

Дополнительная литература

править