Элементарное исчисление: бесконечно малый подход - Elementary Calculus: An Infinitesimal Approach

Элементарное исчисление: бесконечно малый подход
АвторХ. Джером Кейслер
Языканглийский
ПредметМатематика
ИздательДувр

Элементарное исчисление: бесконечно малый подход это учебник Х. Джером Кейслер. Подзаголовок ссылается на бесконечно малый номера гиперреальное число система Авраам Робинсон и иногда дается как Подход с использованием бесконечно малых. Книга находится в свободном доступе в Интернете и в настоящее время издается Dover.[1]

Учебник

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

Кейслер определяет все основные понятия математического анализа, такие как непрерывность (математика), производная, и интеграл используя бесконечно малые. Обычные определения в терминах методов ε – δ приведены в конце главы 5, чтобы обеспечить переход к стандартной последовательности.

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

Когда кто-то изучает кривую, говорят, что график ƒпод увеличительным стеклом его кривизна уменьшается пропорционально увеличению линзы. Точно так же микроскоп с бесконечным увеличением преобразует бесконечно малую дугу графика ƒ, в прямую линию с точностью до бесконечно малой погрешности (видимой только при использовании «микроскопа» с большим увеличением). Производная от ƒ тогда (стандартная часть наклона этой линии (см. рисунок).

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

Таким образом, микроскоп используется как устройство для объяснения производной.

Прием

Книгу впервые рецензировал Эрретт Бишоп, известный своими работами в области конструктивной математики. Обзор Бишопа был резко критичен; видеть Критика нестандартного анализа. Вскоре после, Мартин Дэвис и Хауснер опубликовали подробный благоприятный обзор, как и Андреас Бласс и Кейт Строян.[2][3][4] Ученик Кейслера К. Салливан,[5] в рамках своей кандидатской диссертации провела контролируемый эксперимент с участием 5 школ, в результате которого Элементарное исчисление иметь преимущества перед стандартным методом обучения математическому анализу.[1][6] Несмотря на преимущества, описанные Салливаном, подавляющее большинство математиков не применяют бесконечно малых методов в своем обучении.[7] Недавно Katz & Katz[8] дать положительный отзыв о курсе математического анализа на основе книги Кейслера. О'Донован также описал свой опыт преподавания математического анализа с использованием бесконечно малых чисел. Его первоначальная точка зрения была положительной, [9] но позже он обнаружил педагогические трудности с подходом к нестандартному исчислению, использованным в этом и других текстах.[10]

Г. Р. Блэкли отметил в письме Prindle, Weber & Schmidt относительно Элементарное исчисление: подход с использованием бесконечно малых«Проблемы, которые могут возникнуть с книгой, будут политическими. Она революционная. Революции редко приветствуются авторитетной партией, хотя революционеры часто приветствуют».[11]

Грбачек пишет, что определения непрерывность, производная, и интеграл неявно должно быть основано на методе ε – δ в теоретической структуре Робинсона, чтобы расширить определения, чтобы включить нестандартные значения входных данных, утверждая, что надежда на то, что нестандартные вычисления могут быть выполнены без методов ε – δ, не может быть реализована в полной мере.[12] Błaszczyk et al. подробно описать полезность микропрерывность в разработке прозрачного определения равномерная преемственность, и охарактеризовать критику Хрбачека как «сомнительный плач».[13]

Принцип передачи

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

Во втором издании Кейслер вводит принцип расширения и принцип переноса в следующей форме:

Каждое действительное утверждение, которое выполняется для одной или нескольких конкретных действительных функций, выполняется для гиперреальных естественных расширений этих функций.

Затем Кейслер приводит несколько примеров реальные заявления к которому применяется принцип:

  • Закон закрытия для дополнения: для любого Икс и у, сумма Икс + у определено.
  • Коммутативный закон для сложения: Икс + у = у + Икс.
  • Правило для порядка: если 0 < Икс < у тогда 0 <1 /у < 1/Икс.
  • Деление на ноль никогда не допускается: Икс/ 0 не определено.
  • Алгебраическое тождество: .
  • Тригонометрическая идентичность: .
  • Правило для логарифмов: если Икс > 0 и у > 0, то .

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

Примечания

  1. ^ а б Кейслер 2011.
  2. ^ Дэвис и Хауснер 1978.
  3. ^ Бласс 1978.
  4. ^ Мэдисон и Строян 1977.
  5. ^ «Архивная копия». Архивировано из оригинал 7 июня 2012 г.. Получено 29 ноября 2011.CS1 maint: заархивированная копия как заголовок (связь)
  6. ^ Салливан 1976.
  7. ^ Высокий 1980.
  8. ^ Кац и Кац 2010.
  9. ^ О'Донован и Кимбер, 2006 г..
  10. ^ О'Донован 2007.
  11. ^ Салливан, Кэтлин (1976). «Математическое образование: обучение элементарному исчислению с использованием нестандартного подхода анализа». Амер. Математика. Ежемесячно. 83 (5): 370–375. Дои:10.2307/2318657. JSTOR  2318657.
  12. ^ Грбачек 2007.
  13. ^ Блащик, Петр; Кац, Михаил; Шерри, Дэвид (2012), «Десять заблуждений из истории анализа и их опровержение», Основы науки, 18: 43–74, arXiv:1202.4153, Дои:10.1007 / s10699-012-9285-8, S2CID  119134151

Рекомендации

Бласс пишет: «Я подозреваю, что многие математики где-то в глубине души скрывают формулу для длины дуги (и быстро dx перед записью) »(с. 35).
«Часто, как в приведенных выше примерах, нестандартное определение понятия проще, чем стандартное определение (интуитивно проще и проще в техническом смысле, например, кванторы над более низкими типами или меньшее количество чередований кванторов)» (стр. 37) .
«Относительная простота нестандартных определений некоторых понятий элементарного анализа предлагает педагогическое применение в исчислении первокурсников. Можно было бы использовать интуитивные идеи студентов о бесконечно малых (которые обычно очень расплывчаты, но их представления о действительных числах - тоже) развивать математический анализ на нестандартной основе »(с. 38).

внешняя ссылка