Нестандартный анализ
Один из создателей теории моделей, А.Робинсон, заметил, что с ее помощью можно придать точный смысл понятиям "бесконечно малых" и "бесконечно больших" величин, с которыми оперировали еще Ньютон и Лейбниц и которые затем были изгнаны и заменены рассуждениями с эпсилонами и дельтами.
Это направление получило название нестандартного анализа. Целей тут две: во-первых, упростить доказательства известных теорем, во-вторых, использовать методы нестандартного анализа для получения новых результатов. Насколько эти цели достигнуты за тридцать с лишним лет, прошедших с возникновения нестандартного анализа?
Простота доказательств — дело вкуса. Конечно, всякий преподаватель курса математического анализа мечтает избавиться от утомительных рассуждений с выбором достаточно малых эпсилонов. Но если вместо этого нужно постоянно переходить от модели к ее элементарному расширению и обратно, лекарство может оказаться страшнее болезни. Во всяком случае, " нестандартные" учебники математического анализа для нематематиков (один из них написан Кейслером [34]) большого распространения не получили.
Новые результаты действительно были получены; отметим, что многие из них (хотя и не все) впоследствии были передоказаны "стандартными" методами, так что и здесь революции не произошло.
Так или иначе, нестандартный анализ — интересное приложение теории моделей, и мы разберем несколько простых примеров. Более подробно об этом можно прочесть в книгах Дэвиса [11] и Успенского [27], а также в последней главе книги Робинсона [22].
Идея нестандартного анализа проста. Среди действительных чисел, увы, нет бесконечно малых (которые были бы меньше при всех ) — как говорят, поле вещественных чисел удовлетворяет аксиоме Архимеда. (Оригинальная формулировка этой аксиомы: каковы бы ни были два отрезка, можно отложить меньший из них столько раз, чтобы превзойти больший.) Но можно рассмотреть элементарное расширение поля , в котором такие бесконечно малые элементы есть, и использовать их для определения пределов, производных и прочего в исходном поле.
Перейдем к формальным определениям. Мы будет рассматривать вещественную прямую как модель очень богатой сигнатуры. Для каждого отношения на (c произвольным числом аргументов) введем свой предикатный символ. Получится
предикатных символов. Кроме того, для каждой функции из
в (при всех ) введем свой функциональный символ. Это даст еще символов.
Пусть — любая нормальная интерпретация этой сигнатуры, элементарно эквивалентная . Ее можно считать полем, расширяющим поле . В самом деле, среди функциональных символов есть двуместные символы для сложения и умножения. Они задают некоторые операции в и относительно этих операций множество будет полем, так как аксиомы поля можно записать в виде формул (эти формулы истинны в , а потому и в ). Аналогичное рассуждение с предикатом "меньше" показывает, что является упорядоченным полем.
Это поле можно считать расширением поля . В самом деле, для каждого действительного числа в сигнатуре имеется константа. Значения таких констант образуют подполе в , изоморфное . В самом деле, утверждения вида , и являются формулами, и переносятся из в . Аналогичным образом это вложение сохраняет порядок.
Если поле исчерпывается значениями констант из ,то ничего интересного не получается. Поэтому мы будем предполагать, что это не так. Возможность построить , не совпадающее с , следует (например) из теоремы Левенгейма- Сколема о повышении мощности. Другой способ: добавим в сигнатуру новую константу и рассмотрим теорию
где — множество всех истинных в
формул нашей сигнатуры, а — константа для числа . Совместность этой теории следует из теоремы компактности. Любая ее модель годится в качестве , поскольку значение константы больше всех элементов из .
164. Проведите это рассуждение подробно.
В дальнейшем мы предполагаем, что выбрана и зафиксирована некоторая интерпретация , являющаяся элементарным расширением и не совпадающая с . Ее элементы мы называем гипердействительными числами. Среди них есть и действительные числа, которые мы будем называть также стандартными элементами . Остальные элементы
будут нестандартными гипердействительными числами. (По нашему предположению таковые существуют.)
Утверждение об элементарной эквивалентности
и называют принципом переноса: он позволяет перенести истинность формулы из в (или наоборот).
Возможность переноса не ограничивается алгебраическими свойствами. Например, в нашей сигнатуре есть функция . В интерпретации ей соответствует функция, которую можно было бы назвать "гипердействительным синусом". Эта функция продолжает обычный синус (для стандартных аргументов), поскольку утверждения вида для конкретных стандартных и можно перенести в . Более того, она обладает обычными свойствами синуса: скажем, гипердействительный синус любого гипердействительного числа не превосходит единицы (в смысле порядка на ), поскольку формула выдерживает перенос. Аналогично можно поступать и с предикатами: например, предикат "быть натуральным числом" задает в некоторое подмножество, элементы которого естественно назвать гипернатуральными числами. Гипернатуральные числа делятся на стандартные (соответствующие обычным натуральным числам в ) и нестандартные. (Мы увидим, что нестандартные числа обязательно найдутся.) Множество гипернатуральных чисел обозначается .
Аналогично определяется множество гиперцелых чисел и вообще множество для любого множества
действительных чисел. (Множеству соответствует одноместный предикатный символ; — интерпретация этого символа в .) Множество называют нестандартным расширением . В нем содержатся те же стандартные числа, что и в (формулы вида для стандартных чисел переносятся), и, возможно, некоторые нестандартные числа.
Принцип переноса гарантирует, что для конечного
нестандартных элементов в не появится. В самом деле, пусть, скажем, в ровно три элемента , и . Тогда формула
в которой — предикат, соответствующий множеству , истинна в . По принципу переноса она истинна и в , так что и состоит из трех элементов, являющихся значениями констант , и
(отождествленных со стандартными действительными числами).
Впоследствии мы увидим, что бесконечное множество
обязательно приобретет новые нестандартные элементы при переходе к .
Несколько простых следствий принципа переноса:
-
(применяем принцип переноса к формуле );
- , (применяем принцип переноса к формуле , где — объединение и );
- аналогичные утверждения верны и для пересечения и разности множеств.
165. Покажите, что для счетного объединения аналогичное утверждение может не быть верным и
может отличаться от .
Нестандартные аналоги имеют не только множества, но и функции. Мы уже говорили о нестандартном аналоге синуса. Точно так же можно определить нестандартный аналог любой всюду определенной функции (любого числа аргументов). Для не всюду определенных функций (например, для функции квадратного корня) надо рассмотреть ее график как предикат (для корня это будет предикат двух аргументов) и взять его нестандартный аналог. Этот нестандартный аналог будет графиком частичной функции (ибо свойство "быть графиком частичной функции" записывается формулой). Соответствующая функция и будет нестандартным аналогом исходной.
166. Покажите, что (построенный по этой схеме) нестандартный квадратный корень имеет областью определения множество неотрицательных гипердействительных чисел и что для любого неотрицательного гипердействительного числа .
167. Покажите, что для всюду определенной функции два способа ее продолжения (как функции и через график) дают одну и ту же функцию.
168. Покажите, что если множество является областью определения частичной функции , то его нестандартный аналог совпадает с областью определения функции .
Мы будем часто опускать звездочки в записях вида , пользуясь таким соглашением: если речь идет о значении функции на гипердействительном числе, то подразумевается нестандартный аналог этой функции. (Путаницы не будет, так как на стандартных числах значения функции и ее гипердействительного аналога совпадают.)
169. Абсолютную величину гипердействительного числа можно определить как при и как при . С другой стороны, можно рассмотреть нестандартный аналог функции . Покажите, что получится одно и то же.
170. Покажите, что поле гипердействительных чисел является вещественно замкнутым.
Любое гипердействительное число можно представить в виде суммы гиперцелого числа и некоторого гипердействительного числа , для которого . Чтобы убедиться в этом, достаточно рассмотреть нестандартные аналоги функций целой и дробной части. Принцип переноса гарантирует, что они сохранят свои свойства. В частности, в сумме они дают исходное число, а дробная часть всегда не меньше нуля и меньше единицы.
Целью расширения было получить возможность рассматривать бесконечно большие и бесконечно малые числа. Дадим соответствующие определения.
Гипердействительное число , большее всех стандартных чисел, называется положительным бесконечно большим. Аналогично определяются отрицательные бесконечно большие числа.
171. Докажите, что число является отрицательным бесконечно большим тогда и только тогда, когда является положительным бесконечно большим. Докажите, что является положительным бесконечно большим тогда и только тогда, когда является либо положительным, либо отрицательным бесконечно большим.
Гипердействительные числа, не являющиеся бесконечно большими, называют конечными. Другими словами, гипердействительное число называется конечным, если оно лежит в промежутке со стандартными концами и .
Наконец, гипердействительное число называется бесконечно малым, если его абсолютная величина меньше любого стандартного положительного числа. (Согласно этому определению нуль тоже является бесконечно малым числом.) Легко проверить, что ненулевое число является бесконечно малым тогда и только тогда, когда бесконечно велико. В самом деле, пусть, например, бесконечно мало. Тогда больше любого стандартного числа , так как . Остальные случаи разбираются аналогично.
Сумма и произведение двух конечных чисел конечны. Если
по модулю меньше стандартного числа , а — стандартного числа , то по модулю меньше стандартного числа , а по модулю меньше . (Неравенства в гипердействительных числах можно складывать и умножать, так как обычные свойства неравенств записываются формулами и допускают перенос.)
В обычном курсе математического анализа аналогом этого рассуждения является утверждение о том, что сумма и произведение ограниченных последовательностей ограничены. Другое стандартное утверждение из курса анализа — о произведении ограниченных и бесконечно малых (сходящихся к нулю) последовательностей — также имеет естественный аналог: произведение конечного и бесконечно малого гипердействительных чисел является бесконечно малым гипердействительным числом. Доказательство также вполне традиционно: если не превосходит стандартного числа , а меньше любого стандартного положительного числа, то меньше любого стандартного положительного , так как .
Два гипердействительных числа называются бесконечно близкими, если их разность бесконечно мала. Обозначение: .
172. Докажите, что если , то для любого гипердействительного , а для любого конечного гипердействительного . Покажите, что условие конечности существенно.
173. Покажите, что два конечных гипердействительных числа бесконечно близки тогда и только тогда, когда между ними нельзя вставить двух разных стандартных чисел.
Легко проверить, что отношение бесконечной близости является отношением эквивалентности на множестве гипердействительных чисел. Классы эквивалентности этого отношения иногда называют монадами (термин, использовавшийся еще Лейбницем).
Теорема 78. Всякое конечное гипердействительное число бесконечно близко к некоторому стандартному числу.
(Заметим, что обратное утверждение очевидно: всякое гипердействительное число, бесконечно близкое к некоторому стандартному , конечно, поскольку содержится между стандартными числами и .)
Пусть — конечное гипердействительное число. Рассмотрим множество множество всех стандартных действительных чисел, меньших или равных , а также множество всех стандартных действительных чисел, больших или равных . Конечность числа гарантирует, что оба этих множества непусты (если бы, скажем, было пусто, то
было бы положительным бесконечно большим). Заметим, что и не пересекаются (если только само не является стандартным, и тогда доказывать нечего) и в объединении дают все .
По аксиоме полноты существует действительное число , для которого . Покажем, что
бесконечно мало. Проверим, например, что для любого стандартного выполнено неравенство , то есть . Это понятно: если , то , что противоречит свойству . По аналогичным причинам .
Стандартное число , бесконечно близкое к конечному гипердействительному , называется стандартной частью числа . Стандартная часть определена однозначно, так как два разных стандартных числа не могут быть бесконечно близки к одному и тому же гипердействительному числу (тогда бы они были близки друг к другу, что невозможно). Поэтому можно ввести обозначение для стандартной части конечного числа .
174. Докажите, что если и конечны, причем , то и .
Теорема 79. Среди гипердействительных чисел есть ненулевые бесконечно малые, а также бесконечно большие числа.
Напомним, что по нашему предположению не совпадает с , то есть существует некоторое нестандартное гипердействительное число . Если
бесконечно, то — искомое ненулевое бесконечно малое число. Если конечно, то — искомое ненулевое бесконечно малое число (а обратное к нему будет бесконечно большим).
Заметим, что при построении гипердействительных чисел с помощью формул (для новой константы и всех стандартных ) и теоремы компактности существование бесконечно больших элементов очевидно: таковым будет значение этой самой константы .
Теперь обратимся к натуральным и целым числам.
Теорема 80. Существуют нестандартные гипернатуральные числа, при этом все они бесконечно велики.
(Таким образом, для гипернатуральных чисел конечность и стандартность равносильны.)
Всякое положительное действительное число есть сумма натурального и числа из . Принцип переноса гарантирует, что всякое положительное гипердействительное число есть сумма гипернатурального и гипердействительного , для которого . Возьмем бесконечно большим, тогда и будет бесконечно большим. Первое утверждение доказано.
Пусть теперь — конечное гипернатуральное число. По определению конечности оно меньше некоторого стандартного числа , скажем, числа . Но в стандартной модели верна формула
По принципу переноса она верна и в , поэтому число совпадает с одним из стандартных чисел .
175. Покажите, что для всякого гипердействительного числа существует большее его гипернатуральное.
176. Рассмотрим гипернатуральные числа как упорядоченное множество. Покажите, что оно изоморфно , где — плотное линейно упорядоченное множество без первого и последнего элементов. (Порядок на : сравниваются сначала вторые элементы, а при равенстве — первые.)
Гипернатуральные числа позволяют говорить о бесконечно далеких членах (стандартных) последовательностей действительных чисел. Пусть — такая последовательность. Рассмотрим ее график, то есть множество пар , как двуместный предикат. Утверждение о том, что этот предикат задает график функции, определенной на натуральных числах, можно записать в виде формулы. Принцип переноса гарантирует, что гипердействительный аналог этого предиката будет функцией, определенной на гипернатуральных числах и принимающей гипердействительные значения. Значение этой функции на гипернатуральном числе можно обозначать , не опасаясь путаницы (при стандартных мы получаем одно и то же).
Таким образом, любая последовательность приобретает — помимо своего желания — бесконечный "хвост".
177. Покажите, что если две последовательности отличаются лишь в конечном числе членов, то их бесконечные хвосты одинаковы.
Сейчас мы используем продолжение последовательностей для доказательства такого факта:
Теорема 81. Нестандартный аналог множества
действительных чисел совпадает с тогда и только тогда, когда множество конечно.
Если конечно, и, скажем, состоит из трех элементов , то можно записать формулу
По принципу переноса эта формула остается истинной в , так что состоит из тех же трех элементов.
Пусть теперь бесконечно. Покажем, что
содержит элементы, не входящие в . Пусть — последовательность различных элементов множества . Напишем формулу, которая утверждает, что все элементы этой последовательности различны и принадлежат . По принципу переноса все бесконечные члены этой последовательности (точнее, ее гипердействительного аналога) также различны, принадлежат и отличаются от всех конечных членов последовательности. Они и будут искомыми нестандартными элементами . В самом деле, бесконечный член при бесконечном гипернатуральном не может совпасть с конечными членами, а также не может совпасть со стандартным элементом , не входящим в исходную последовательность (ибо утверждение " при всех " записывается формулой).
Галактикой гипердействительного числа называют множество всех гипердействительных , для которых разность конечна.
178. Покажите, что множество гипердействительных чисел разбивается на галактики. Определите на галактиках естественное отношение линейного порядка и покажите, что этот порядок плотный и не имеет наибольшего и наимен
179. Каждое действительное число , не являющееся двоично- рациональным, можно единственным образом записать в виде бесконечной двоичной дроби ; другими словами, ему соответствует последовательность нулей и единиц (нас будет интересовать лишь дробная часть после запятой). Фиксируем бесконечное гипернатуральное и рассмотрим те числа , у которых . Покажите, что множество таких чисел переходит в свое дополнение при симметрии относительно любой двоично-рациональной точки (другими словами, для двоично-рациональных ) и потому не может быть измеримым по Лебегу. \end{problem}
180. Докажите, что гиперрациональными числами являются отношения гиперцелых чисел и только они. Докажите, что каждое гипердействительное число бесконечно близко к некоторому гиперрациональному числу.
Покажем теперь, как можно ввести основные понятия математического анализа, используя бесконечно малые и бесконечно большие числа.
Теорема 82. Пусть . Множество ограничено (в обычном смысле) тогда и только тогда, когда все элементы его гипердействительного аналога конечны.
Таким образом, в курсе нестандартного анализа можно определять ограниченные множества как множества, не содержащие бесконечных элементов.
Если все элементы меньше некоторого стандартного
по модулю, то и все элементы меньше того же (принцип переноса), поэтому в одну сторону утверждение очевидно.
Пусть теперь не ограничено (скажем, сверху). Тогда в верно такое утверждение: для всякого найдется элемент множества , больший . Применим принцип переноса и возьмем бесконечно большое . Получим, что в есть бесконечно большой элемент.
181. Покажите, что если все элементы множества меньше некоторого гипердействительного , то ограничено.
182. Говорят, что множество гипердействительных чисел является внутренним, если оно есть гипердействительный аналог некоторого множества действительных чисел. Покажите, что множество конечных гипердействительных чисел не является внутренним.
183. Докажите, что множество выразимо (в рассматриваемой нами сигнатуре, содержащей символы для всех функций и предикатов на множестве ) тогда и только тогда, когда оно является внутренним.
Нестандартный анализ позволяет дать естественные определения предельной точки и предела.
Теорема 83. Число является предельной точкой последовательности действительных чисел тогда и только тогда, когда найдется бесконечно далекий член последовательности, бесконечно близкий к .
(Бесконечно далеким членом последовательности мы называем значение при бесконечном гипернатуральном .)
Если является предельной точкой, то для всякого положительного и всякого натурального
найдется натуральное , для которого . Применим принцип переноса, положив бесконечно малым и бесконечно большим. Получим искомый бесконечно близкий к член с бесконечно большим гипернатуральным номером.
Напротив, если для некоторого натурального и для некоторого все члены последовательности, начиная с -го, отстоят от более чем на , то по принципу переноса все бесконечно далекие члены последовательности также отстоят от более чем на .
184. Покажите, что число принадлежит замыканию множества тогда и только тогда, когда некоторый элемент множества бесконечно близок к .
185. Как определить в терминах нестандартного анализа понятие предельной точки множества (в любой окрестности которой бесконечно много членов множества)?
Теперь видно, что нестандартный анализ позволяет в два счета доказать теорему о том, что всякая ограниченная последовательность имеет предельную точку: в самом деле, любой бесконечно далекий член этой последовательности конечен, и его стандартная часть будет предельной точкой!
Теорем 84. Последовательность действительных чисел сходится к числу тогда и только тогда, когда все ее бесконечно далекие члены бесконечно близки к .
Пусть является пределом. Тогда для всякого найдется , начиная с которого все члены последовательности отстоят от менее чем на . В частности, все бесконечно далекие члены таковы и их расстояние до меньше любого стандартного .
Напротив, пусть не является пределом и для всякого найдется член с номером , отстоящий от более чем на (пока что все параметры стандартны). Применим принцип переноса, взяв бесконечно большим, и найдем бесконечно далекий член последовательности, отстоящий от более чем на стандартное .
Приведем теперь нестандартные критерии стандартных топологических понятий.
Теорема 85. Множество открыто тогда и только тогда, когда вместо со всякой точкой оно содержит и всю ее монаду, то есть все гипердействительные точки, бесконечно близкие к .
(Cтрого говоря, следовало бы сказать "его нестандартный аналог " вместо "оно"; напомним также, что и содержат одни и те же стандартные числа.)
Если открыто и содержит вместе с точкой
ее -окрестность, то монада точки по принципу переноса содержится в .
Если же некоторая точка не является внутренней и для всякого действительного
найдется точка вне на расстоянии меньше , применим принцип переноса и возьмем бесконечно малое . Мы получим число, бесконечно близкое к и не лежащее в .
Переходя к дополнениям, получаем, что множество
замкнуто тогда и только тогда, когда любая стандартная точка, бесконечно близкая к некоторой точке из , принадлежит .
На прямой компактными являются замкнутые ограниченные множества. Соединим нестандартные критерии замкнутости и ограниченности:
Теорема 86. Множество компактно тогда и только тогда, когда любой элемент множества бесконечно близок к некоторому (стандартному) элементу множества .
В самом деле, ограниченность означает, что любой элемент множества конечен, то есть бесконечно близок к стандартному числу, а замкнутость позволяет заключить, что это число принадлежит .
186. Используя полученные только что критерии, покажите, что любой отрезок действительной прямой компактен, а любой интервал открыт.
187. Покажите, используя нестандартный критерий открытости, что объединение любого числа открытых множеств открыто. (Напоминание: гипердействительный аналог объединения может не совпадать с объединением гипердействительных аналогов!)
188. Покажите, что пересечение двух (или любого конечного числа) открытых множеств открыто. (Где используется конечность?)
189. Докажите, что последовательность фундаментальна тогда и только тогда, когда любые два ее бесконечных члена бесконечно близки (предварительно уточнив формулировку этого утверждения).
190. Докажите, что всякая фундаментальная последовательность сходится, используя приведенный критерий фундаментальности. (Указание. Ограниченность приходится доказывать, исходя из стандартных определений.)
191. Докажите, что если последовательность ограничена и имеет единственную предельную точку, то она сходится (к этой точке).
192. Докажите, что ограниченная возрастающая последовательность имеет предел.
Перейдем к функциям действительного переменного и дадим нестандартное определение предела (аналогичное приведенному выше для последовательностей).
Теорема 87. Число есть предел функции в точке тогда и только тогда, когда для всех , бесконечно близких к , но отличных от .
Пусть функция имеет предел согласно - -определению и для всякого
найдется с нужными свойствами. Бесконечно близкое к
число попадает в -окрестность точки при любом стандартном , поэтому попадает в -окрестность точки .
Напротив, если при некотором для любого найдется точка , для которой , но , то можно применить принцип переноса (для данного стандартного ) и взять бесконечно малое .
Непосредственным следствием является нестандартный критерий непрерывности: функция непрерывна в (стандартной) точке тогда и только тогда, когда для всех , бесконечно близких к .
Для функции, определенной на некотором множестве , критерий непрерывности в точке выглядит так: для всякой точки , бесконечно близкой к .
193. Проверьте это.
Поучительно понять, чем это свойство отличается от равномерной непрерывности.
Теорема 88. Функция равномерно непрерывна на множестве тогда и только тогда, когда для всех выполнено .
Пусть выполнено обычное -- определение непрерывности. Бесконечно близкие точки отличаются менее чем на (стандартное) , а потому их образы отличаются менее чем на . Это верно для любого стандартного , поэтому .
Обратно, если функция не является равномерно непрерывной, то для некоторого и для любого найдутся точки, отстоящие менее чем на , образы которых отстоят более чем на . Остается применить при данном принцип переноса и взять бесконечно малое .
Чем это отличается от непрерывности во всех точках множества ? Непрерывность во всех точках
означает, что для любого стандартного и любого бесконечно близкого к нему мы имеем . Отсюда следует, что для любых , бесконечно близких к некоторому стандартному , выполнено . Но в множестве могут быть бесконечно близкие элементы, стандартная часть которых не лежит в (или вообще не имеющие стандартной части, то есть бесконечные). Легко понять, что для компактного такого быть не может (стандартная часть любого элемента
принадлежит согласно теореме 86). Тем самым мы получили (почти что тривиальное) нестандартное доказательство классической теоремы: непрерывная на компакте функция равномерно непрерывна.
Вот еще несколько "нестандартных" доказательств стандартных (во всех смыслах этого слова) теорем из курса математического анализа.
Теорема 89. Непрерывная на отрезке функция, принимающая значения разных знаков на концах отрезка, имеет нуль на этом отрезке.
Разделим отрезок на равных частей. Среди них найдется часть, на которой функция меняет знак. По принципу переноса и при делении отрезка на бесконечное гипернатуральное число частей найдется часть, на которой функция меняет знак. Но концы этой части бесконечно близки к некоторой стандартной точке отрезка. Эта точка будет нулем функции (если в ней функция, скажем, положительна, то по непрерывности в бесконечно близких к ней концах отрезка изменения знака функция будет положительной).
Теорема 90. Непрерывная во всех точках компакта функция ограничена на нем.
Пусть функция непрерывна на компакте . Следуя нестандартному критерию ограниченности, мы должны показать, что значения функции во всех точках
конечны. Но всякая точка бесконечно близка к некоторой стандартной точке (компактность), а потому (непрерывность), поэтому конечно.
Обратите внимание, что мы пользовались аксиомой полноты (для множества ) только один раз, при доказательстве теоремы 78. Это и не удивительно, поскольку из утверждения этой теоремы следует аксиома полноты.
194. Убедитесь в этом, следуя такой схеме. Пусть — произвольное ограниченное множество действительных чисел. Покажите (стандартными рассуждениями), что для любого
найдется число , являющееся верхней гранью, для которого не будет верхней гранью. Примените принцип переноса, взяв бесконечно малое и рассмотрев стандартную часть соответствующего числа .
195. Докажите, что производная стандартной функции в стандартной точке равна стандартному числу тогда и только тогда, когда для всех бесконечно малых .
196. Покажите, что согласно нестандартному определению производной (предыдущая задача).
197. Как использовать нестандартный анализ для определения понятия интеграла?
В наших примерах все рассмотрения были ограничены множеством гипердействительных чисел. Это ограничение кажется существенным — не вполне ясно, каким образом можно применить те же методы к произвольному топологическому пространству (в котором нет бесконечно больших чисел). Тем не менее это возможно, и об этом можно прочесть в книгах Дэвиса [11] или Успенского [27].
