(ε, δ) -определение предела - (ε, δ)-definition of limit

Всякий раз, когда точка Икс внутри δ единицы c, ж(Икс) находится в пределах ε единиц от L

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

История

Хотя греки исследовали ограничивающий процесс, например, Вавилонский метод, вероятно, у них не было концепции, аналогичной современному пределу.^[3] Потребность в концепции предела возникла в 1600-х годах, когда Пьер де Ферма пытался найти склон из касательная линия в точке ${\displaystyle x}$ графику функции, такой как ${\displaystyle f(x)=x^{2}}$. Используя ненулевое, но почти нулевое количество ${\displaystyle E}$, Ферма произвел следующий расчет:

${\displaystyle {\begin{aligned}{\text{slope}}&={\frac {f(x+E)-f(x)}{E}}\\&={\frac {(x+E)^{2}-x^{2}}{E}}\\&={\frac {x^{2}+2xE+E^{2}-x^{2}}{E}}\\&={\frac {2xE+E^{2}}{E}}=2x+E=2x.\end{aligned}}}$

Ключ к приведенному выше расчету заключается в том, что, поскольку ${\displaystyle E}$ не равно нулю, можно разделить ${\displaystyle f(x+E)-f(x)}$ от ${\displaystyle E}$, но с тех пор ${\displaystyle E}$ близко к 0, ${\displaystyle 2x+E}$ по существу ${\displaystyle 2x}$.^[4] Такие количества, как ${\displaystyle E}$ называются бесконечно малые. Проблема с этим вычислением заключается в том, что математики того времени не могли строго определить величину со свойствами ${\displaystyle E}$,^[5] хотя было обычной практикой «пренебрегать» бесконечно малыми величинами более высокой мощности, и это, казалось, давало правильные результаты.

Эта проблема снова возникла позже, в 1600-х годах в центре развития исчисление, где расчеты, подобные расчетам Ферма, важны для расчета производные. Исаак Ньютон впервые разработал исчисление с помощью бесконечно малой величины, называемой текучесть. Он развил их в связи с идеей «бесконечно малого момента времени ...»^[6] Однако позже Ньютон отверг флюксии в пользу теории соотношений, близкой к современной. ${\displaystyle \varepsilon {\text{–}}\delta }$ определение лимита.^[6] Более того, Ньютон знал, что предел отношения исчезающих величин был не само соотношение, как он писал:

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

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

Огюстен-Луи Коши дал определение предела в терминах более примитивного понятия, которое он назвал переменное количество. Он никогда не давал определения предела эпсилон-дельта (Grabiner 1981). Некоторые доказательства Коши содержат указания на эпсилон-дельта-метод. Можно ли считать его основополагающий подход предвестником подхода Вейерштрасса - предмет научных споров. Грабинер считает, что это так, а Шубринг (2005) с этим не согласен.^{[сомнительный ][1]} Накане заключает, что Коши и Вейерштрасс дали одно и то же название разным понятиям предела.^{[9][ненадежный источник? ]}

В конце концов, Вейерштрассу и Больцано приписывают обеспечение строгой основы для исчисления в форме современного ${\displaystyle \varepsilon {\text{–}}\delta }$ определение лимита.^[1][10] Необходимость ссылки на бесконечно малое ${\displaystyle E}$ затем был удален,^[11] и вычисление Ферма превратилось в вычисление следующего предела:

${\displaystyle \lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}.}$

Это не означает, что предельное определение было свободным от проблем, поскольку, хотя оно устраняло необходимость в бесконечно малых, оно требовало построения действительные числа от Ричард Дедекинд.^[12] Это также не означает, что бесконечно малым нет места в современной математике, поскольку более поздние математики смогли строго создавать бесконечно малые величины как часть гиперреальное число или сюрреалистический номер системы. Более того, с этими величинами можно строго разрабатывать исчисления, и они имеют другие математические применения.^[13]

Неофициальное заявление

Жизнеспособное неформальное (то есть интуитивное или предварительное) определение таково: "функция ж приближается к пределу L около а (символически, ${\displaystyle \lim _{x\to a}f(x)=L\,}$) если мы можем сделать ж(Икс) так близко, как нам нравится L требуя, чтобы Икс быть достаточно близким, но не равным а."^[14]

Когда мы говорим, что две вещи близки (например, ж(Икс) и L или Икс и а), мы имеем в виду, что разница (или расстояние ) между ними мало. Когда ж(Икс), L, Икс, и а находятся действительные числа, разница / расстояние между двумя числами - это абсолютная величина из разница из двух. Таким образом, когда мы говорим ж(Икс) близко к L, мы имеем в виду, что |ж(Икс) − L| маленький. Когда мы говорим это Икс и а близки, мы имеем в виду, что |Икс − а| маленький.^[15]

Когда мы говорим, что можем сделать ж(Икс) так близко, как нам нравится L, мы имеем в виду, что для все ненулевые расстояния, ε, мы можем сделать расстояние между ж(Икс) и L меньше чем ε.^[15]

Когда мы говорим, что можем сделать ж(Икс) так близко, как нам нравится L требуя, чтобы Икс быть достаточно близким, но не равным а, мы имеем в виду, что для любого ненулевого расстояния ε, есть ненулевое расстояние δ так что если расстояние между Икс и а меньше чем δ тогда расстояние между ж(Икс) и L меньше чем ε.^[15]

Неформальный / интуитивный аспект, который следует усвоить, заключается в том, что определение требует следующего внутреннего разговора (который обычно перефразируется таким языком, как «ваш враг / противник атакует вас с помощью ε, и вы защищаете / защищаете себя δ"): Можно решить любую задачу ε > 0 для данного ж, а, и L. Надо ответить δ > 0 такой, что 0 < |Икс − а| < δ подразумевает, что |ж(Икс) − L| < ε. Если можно дать ответ на любой вызов, значит, предел существует.^[16]

Точное заявление и связанные заявления

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

В ${\displaystyle (\varepsilon ,\delta )}$ определение предел функции составляет:^[15]

Позволять ${\displaystyle f}$ быть функция с действительным знаком определено на подмножестве ${\displaystyle D}$ из действительные числа. Позволять ${\displaystyle c}$ быть предельная точка из ${\displaystyle D}$ и разреши ${\displaystyle L}$ быть реальным числом. Мы говорим что

${\displaystyle \lim _{x\to c}f(x)=L}$

если для каждого ${\displaystyle \varepsilon >0}$ существует ${\displaystyle \delta >0}$ такое, что для всех ${\displaystyle x\in D}$, если ${\displaystyle 0<|x-c|<\delta }$, тогда ${\displaystyle |f(x)-L|<\varepsilon }$.^[17]

Символически:

${\displaystyle \lim _{x\to c}f(x)=L\iff (\forall \varepsilon >0,\,\exists \ \delta >0,\,\forall x\in D,\,0<|x-c|<\delta \ \Rightarrow \ |f(x)-L|<\varepsilon )}$

Если ${\displaystyle D=[a,b]}$ или ${\displaystyle D=\mathbb {R} }$, то условие, что ${\displaystyle c}$ является предельной точкой, можно заменить более простым условием, что c принадлежит D, так как закрыто реальные интервалы и вся реальная линия идеальные наборы.

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

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

Предполагать ${\displaystyle f}$ определяется на подмножестве ${\displaystyle D}$ метрического пространства ${\displaystyle X}$ с метрикой ${\displaystyle d_{X}(x,y)}$ и отображается в метрическое пространство ${\displaystyle Y}$ с метрикой ${\displaystyle d_{Y}(x,y)}$. Позволять ${\displaystyle c}$ быть предельной точкой ${\displaystyle D}$ и разреши ${\displaystyle L}$ быть точкой ${\displaystyle Y}$.

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

${\displaystyle \lim _{x\to c}f(x)=L}$

если для каждого ${\displaystyle \varepsilon >0}$, существует ${\displaystyle \delta }$ такое, что для всех ${\displaystyle x\in D}$, если ${\displaystyle 0<d_{X}(x,c)<\delta }$, тогда ${\displaystyle d_{Y}(f(x),L)<\varepsilon }$.

поскольку ${\displaystyle d(x,y)=|x-y|}$ является метрикой действительных чисел, можно показать, что это определение обобщает первое определение для вещественных функций.^[20]

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

В логическое отрицание из определение составляет:^[21]

Предполагать ${\displaystyle f}$ определяется на подмножестве ${\displaystyle D}$ метрического пространства ${\displaystyle X}$ с метрикой ${\displaystyle d_{X}(x,y)}$ и отображается в метрическое пространство ${\displaystyle Y}$ с метрикой ${\displaystyle d_{Y}(x,y)}$. Позволять ${\displaystyle c}$ быть предельной точкой ${\displaystyle D}$ и разреши ${\displaystyle L}$ быть точкой ${\displaystyle Y}$.

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

${\displaystyle \lim _{x\to c}f(x)\neq L}$

если существует ${\displaystyle \varepsilon >0}$ такое, что для всех ${\displaystyle \delta >0}$ существует ${\displaystyle x\in D}$ такой, что ${\displaystyle 0<d_{X}(x,c)<\delta }$ и ${\displaystyle d_{Y}(f(x),L)>\varepsilon }$.

Мы говорим что ${\displaystyle \lim _{x\to c}f(x)}$ не существует, если для всех ${\displaystyle L\in Y}$, ${\displaystyle \lim _{x\to c}f(x)\neq L}$.

Для отрицания действительной функции, определенной на действительных числах, просто установите ${\displaystyle d_{Y}(x,y)=d_{X}(x,y)=|x-y|}$.

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

Точная формулировка пределов на бесконечности выглядит следующим образом:

Предполагать ${\displaystyle f}$ является вещественным, что определено на подмножестве ${\displaystyle D}$ действительных чисел, которые содержат сколь угодно большие значения. Мы говорим что

${\displaystyle \lim _{x\to \infty }f(x)=L}$

если для каждого ${\displaystyle \varepsilon >0}$, есть реальное число ${\displaystyle N>0}$ такое, что для всех ${\displaystyle x\in D}$, если ${\displaystyle x>N}$ тогда ${\displaystyle |f(x)-L|<\varepsilon }$.^[22]

Также возможно дать определение в общих метрических пространствах.^{[нужна цитата ]}

Примеры работ

Пример 1

Мы покажем, что

${\displaystyle \lim _{x\to 0}x\sin {\left({\frac {1}{x}}\right)}=0}$.

Мы позволяем ${\displaystyle \varepsilon >0}$ быть данным. Нам нужно найти ${\displaystyle \delta >0}$ такой, что ${\displaystyle |x-0|<\delta }$ подразумевает ${\displaystyle \left|x\sin \left({\frac {1}{x}}\right)-0\right|<\varepsilon }$.

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

${\displaystyle {\begin{aligned}\left|x\sin {\left({\frac {1}{x}}\right)}-0\right|&=\left|x\sin {\left({\frac {1}{x}}\right)}\right|\\&=|x|\left|\sin {\left({\frac {1}{x}}\right)}\right|\\&\leq |x|.\end{aligned}}}$

Таким образом, если взять ${\displaystyle \delta =\varepsilon }$, тогда ${\displaystyle |x|=|x-0|<\delta }$ подразумевает ${\displaystyle \left|x\sin {\left({\frac {1}{x}}\right)}-0\right|\leq |x|<\varepsilon }$, что завершает доказательство.

Пример 2

Докажем утверждение, что

${\displaystyle \lim _{x\to a}x^{2}=a^{2}}$

для любого реального числа ${\displaystyle a}$.

Позволять ${\displaystyle \varepsilon >0}$ быть данным. Мы найдем ${\displaystyle \delta >0}$ такой, что ${\displaystyle |x-a|<\delta }$ подразумевает ${\displaystyle |x^{2}-a^{2}|<\varepsilon }$.

Начнем с факторинга:

${\displaystyle |x^{2}-a^{2}|=|(x-a)(x+a)|=|x-a||x+a|.}$

Мы признаем это ${\displaystyle |x-a|}$ это член, ограниченный ${\displaystyle \delta }$ поэтому мы можем предположить, что оценка равна 1, а затем выбрать что-то меньшее, чем это, для ${\displaystyle \delta }$.^[23]

Итак, мы полагаем ${\displaystyle |x-a|<1}$. поскольку ${\displaystyle |x|-|y|\leq |x-y|}$ в целом справедливо для действительных чисел ${\displaystyle x}$ и ${\displaystyle y}$, у нас есть

${\displaystyle |x|-|a|\leq |x-a|<1.}$

Таким образом,

${\displaystyle |x|<1+|a|.}$

Таким образом, через неравенство треугольника,

${\displaystyle |x+a|\leq |x|+|a|<2|a|+1.}$

Таким образом, если мы далее предположим, что

${\displaystyle |x-a|<{\frac {\varepsilon }{2|a|+1}}}$

тогда

${\displaystyle |x^{2}-a^{2}|<\varepsilon .}$

Таким образом, мы установили

${\displaystyle \delta =\min {\left\{1,{\frac {\varepsilon }{2|a|+1}}\right\}}.}$

Так что если ${\displaystyle |x-a|<\delta }$, тогда

${\displaystyle {\begin{aligned}|x^{2}-a^{2}|&=|x-a||x+a|\\&<{\frac {\varepsilon }{2|a|+1}}(|x+a|)\\&<{\frac {\varepsilon }{2|a|+1}}(2|a|+1)\\&=\varepsilon .\end{aligned}}}$

Таким образом, мы нашли ${\displaystyle \delta }$ такой, что ${\displaystyle |x-a|<\delta }$ подразумевает ${\displaystyle |x^{2}-a^{2}|<\varepsilon }$. Таким образом, мы показали, что

${\displaystyle \lim _{x\to a}x^{2}=a^{2}}$

для любого реального числа ${\displaystyle a}$.

Пример 3

Докажем утверждение, что

${\displaystyle \lim _{x\to 5}(3x-3)=12.}$

Это легко показать с помощью графического понимания предела, и как таковое служит прочной основой для введения в доказательство. Согласно формальному определению, приведенному выше, предельное выражение является правильным тогда и только тогда, когда ограничение ${\displaystyle x}$ к ${\displaystyle \delta }$ единицы ${\displaystyle c}$ неизбежно ограничит ${\displaystyle f(x)}$ к ${\displaystyle \varepsilon }$ единицы ${\displaystyle L}$. В данном конкретном случае это означает, что утверждение истинно тогда и только тогда, когда ограничение ${\displaystyle x}$ к ${\displaystyle \delta }$ единицы из 5 неизбежно ограничат

${\displaystyle 3x-3}$

к ${\displaystyle \varepsilon }$ единиц 12. Общий ключ к демонстрации этого значения - продемонстрировать, как ${\displaystyle \delta }$ и ${\displaystyle \varepsilon }$ должны быть связаны друг с другом таким образом, чтобы иметь место импликация. Математически мы хотим показать, что

${\displaystyle 0<|x-5|<\delta \ \Rightarrow \ |(3x-3)-12|<\varepsilon .}$

Упрощение, факторинг и деление 3 в правой части импликации дает

${\displaystyle |x-5|<\varepsilon /3,}$

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

${\displaystyle \delta =\varepsilon /3.}$

На этом доказательство завершено. Ключ к доказательству заключается в способности человека выбирать границы в ${\displaystyle x}$, а затем заключить соответствующие границы в ${\displaystyle f(x)}$, которые в данном случае связаны с коэффициентом 3, что полностью связано с наклоном 3 в строке

${\displaystyle y=3x-3.}$

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

Функция ж как говорят непрерывный в c если они оба определены в c и его стоимость в c равняется пределу ж так как Икс подходы c:

${\displaystyle \lim _{x\to c}f(x)=f(c).}$

В ${\displaystyle (\varepsilon ,\delta )}$ определение для непрерывной функции может быть получено из определения предела заменой ${\displaystyle 0<|x-c|<\delta }$ с участием ${\displaystyle |x-c|<\delta }$, чтобы гарантировать, что ж определяется в c и равняется пределу.

Функция ж называется непрерывным на интервале я если он непрерывен в каждой точке c из я.

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

Кейслер доказал, что гиперреальный определение лимита уменьшает логический квантификатор сложность двумя кванторами.^[24] А именно, ${\displaystyle f(x)}$ сходится к пределу L так как ${\displaystyle x}$ как правило а если и только если Значение ${\displaystyle f(x+e)}$ бесконечно близок к L для каждого бесконечно малый е. (Видеть Микропрерывность для связанного определения непрерывности, в основном из-за Коши.)

Учебники по исчислению бесконечно малых на основе Робинсон Этот подход дает определения непрерывности, производной и интеграла в стандартных точках в терминах бесконечно малых. После того, как такие понятия, как непрерывность, были подробно объяснены с помощью подхода, использующего микропрерывность, также представлен эпсилон-дельта-подход. Карел Хрбачек утверждает, что определения непрерывности, производной и интеграции в нестандартном анализе в стиле Робинсона должны основываться на ε–δ метод, чтобы охватить также нестандартные значения ввода.^[25] Błaszczyk et al. утверждает, что микропрерывность полезен для разработки прозрачного определения единообразной преемственности и характеризует критику Грбачека как «сомнительное причитание».^[26] Грбачек предлагает альтернативный нестандартный анализ, который (в отличие от Робинсона) имеет множество «уровней» бесконечно малых, так что пределы на одном уровне могут быть определены в терминах бесконечно малых на следующем уровне.^[27]

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

• Непрерывная функция
• Предел последовательности
• Список тем по математике
• Теорема сжатия

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

1. Грабинер, Джудит В. (март 1983 г.), «Кто дал вам эпсилон? Коши и истоки строгого исчисления» (PDF), Американский математический ежемесячник, 90 (3): 185–194, Дои:10.2307/2975545, JSTOR  2975545, в архиве (PDF) из оригинала от 04.05.2009, получено 2009-05-01
2. Коши, А.-Л. (1823), "Septième Leçon - Valeurs de quelques выражения qui se présentent sous les formes indéterminées ${\displaystyle {\frac {\infty }{\infty }},\infty ^{0},\ldots }$ Relation qui existe entre le rapport aux différences finies et la fonction dérivée ", Résumé des leçons données à l'école royale polytechnique sur le Calcul infinitésimal, Париж, архив из оригинал на 2009-05-04, получено 2009-05-01, п. 44.. Проверено 01.05.2009.
3. Стиллвелл, Джон (1989). Математика и ее история. Нью-Йорк: Springer-Verlag. стр.38–39. ISBN  978-1-4899-0007-4.
4. Стиллвелл, Джон (1989). Математика и ее история. Нью-Йорк: Springer-Verlag. стр.104. ISBN  978-1-4899-0007-4.
5. Стиллвелл, Джон (1989). Математика и ее история. Нью-Йорк: Springer-Verlag. стр.106. ISBN  978-1-4899-0007-4.
6. Бакли, Бенджамин Ли (2012). Споры о непрерывности: Дедекинд, Кантор, дю Буа-Реймон и Пирс о непрерывности и бесконечно малых. п. 31. ISBN  9780983700487.
7. Pourciau, B. (2001), "Ньютон и понятие предела", Historia Mathematica, 28 (1): 18–30, Дои:10.1006 / hmat.2000.2301
8. Бакли, Бенджамин Ли (2012). Споры о непрерывности: Дедекинд, Кантор, дю Буа-Реймон и Пирс о непрерывности и бесконечно малых. п. 32. ISBN  9780983700487.
9. Накане, Мичие. Имело ли дифференциальное исчисление Вейерштрасса избегающий пределов характер? Его определение предела в ε−δ стиль. БШМ Бык. 29 (2014), нет. 1, 51–59.
10. Коши, А.-Л. (1823), "Septième Leçon - Valeurs de quelques выражения qui se présentent sous les formes indéterminées ${\displaystyle {\frac {\infty }{\infty }},\infty ^{0},\ldots }$ Relation qui existe entre le rapport aux différences finies et la fonction dérivée ", Résumé des leçons données à l'école royale polytechnique sur le Calcul infinitésimal, Париж, архив из оригинал на 2009-05-04, получено 2009-05-01, п. 44..
11. Бакли, Бенджамин Ли (2012). Споры о непрерывности: Дедекинд, Кантор, дю Буа-Реймон и Пирс о непрерывности и бесконечно малых. п. 33. ISBN  9780983700487.
12. Бакли, Бенджамин Ли (2012). Споры о непрерывности: Дедекинд, Кантор, дю Буа-Реймон и Пирс о непрерывности и бесконечно малых. С. 32–35. ISBN  9780983700487.
13. Тао, Теренс (2008). Структура и случайность: страницы первого года математического блога. Провиденс, Р.И .: Американское математическое общество. С. 95–110. ISBN  978-0-8218-4695-7.
14. Спивак, Михаил (2008). Исчисление (4-е изд.). Хьюстон, Техас: Опубликовать или погибнуть. п.90. ISBN  978-0914098911.
15. Спивак, Михаил (2008). Исчисление (4-е изд.). Хьюстон, Техас: Опубликовать или погибнуть. п.96. ISBN  978-0914098911.
16. "Эпсилон-дельта-определение предела | Великолепная вики по математике и науке". brilliant.org. Получено 2020-08-18.
17. «1.2: Определение предела эпсилон-дельта». Математика LibreTexts. 2017-04-21. Получено 2020-08-18.
18. Рудин, Вальтер (1976). Принципы математического анализа. McGraw-Hill Наука / Инженерия / Математика. п.30. ISBN  978-0070542358.
19. Рудин, Вальтер (1976). Принципы математического анализа. McGraw-Hill Наука / Инженерия / Математика. п.83. ISBN  978-0070542358.
20. Рудин, Вальтер (1976). Принципы математического анализа. McGraw-Hill Наука / Инженерия / Математика. п.84. ISBN  978-0070542358.
21. Спивак, Михаил (2008). Исчисление (4-е изд.). Хьюстон, Техас: Опубликовать или погибнуть. п.97. ISBN  978-0914098911.
22. Стюарт, Джеймс (2016), «Раздел 3.4», Исчисление (8-е изд.), Cengage
23. Спивак, Михаил (2008). Исчисление (4-е изд.). Хьюстон, Техас: Опубликовать или погибнуть. п.95. ISBN  978-0914098911.
24. Кейслер, Х. Джером (2008), «Квантификаторы в пределах» (PDF), Анджей Мостовский и фундаментальные исследования, IOS, Амстердам, стр. 151–170.
25. Hrbacek, K. (2007), «Стратифицированный анализ?», В Van Den Berg, I .; Невес В. (ред.), Сила нестандартного анализа, Springer
26. Блащик, Петр; Кац, Михаил; Шерри, Дэвид (2012), «Десять заблуждений из истории анализа и их опровержение», Основы науки, 18: 43–74, arXiv:1202.4153, Bibcode:2012arXiv1202.4153B, Дои:10.1007 / s10699-012-9285-8, S2CID  119134151
27. Хрбачек, К. (2009). «Теория относительных множеств: внутренний взгляд». Журнал логики и анализа. 1.

дальнейшее чтение

• Грабинер, Джудит В. (1982). Истоки строгого исчисления Коши. Курьерская корпорация. ISBN  978-0-486-14374-3.
• Шубринг, Герт (2005). Конфликты между обобщением, строгостью и интуицией: числовые концепции, лежащие в основе развития анализа во Франции и Германии 17-19 веков (Иллюстрированный ред.). Springer. ISBN  978-0-387-22836-5.