Опубликован: 24.04.2007 | Доступ: свободный | Студентов: 721 / 35 | Оценка: 4.60 / 4.30 | Длительность: 25:56:00
Специальности: Программист
Лекция 14:

Ультрафильтры и компактность

< Лекция 13 || Лекция 14: 12345678

165. Покажите, что для счетного объединения аналогичное утверждение может не быть верным и *{(M_0\cup M_1\cup M_2\cup\dots)} может отличаться от (*{M_0}\cup*{M_1}\cup*{M_2}\cup\dots).

Нестандартные аналоги имеют не только множества, но и функции. Мы уже говорили о нестандартном аналоге синуса. Точно так же можно определить нестандартный аналог любой всюду определенной функции (любого числа аргументов). Для не всюду определенных функций (например, для функции квадратного корня) надо рассмотреть ее график как предикат (для корня это будет предикат двух аргументов) и взять его нестандартный аналог. Этот нестандартный аналог будет графиком частичной функции (ибо свойство "быть графиком частичной функции" записывается формулой). Соответствующая функция и будет нестандартным аналогом исходной.

166. Покажите, что (построенный по этой схеме) нестандартный квадратный корень имеет областью определения множество неотрицательных гипердействительных чисел и что (\sqrt{x})^2\hm=x для любого неотрицательного гипердействительного числа x.

167. Покажите, что для всюду определенной функции два способа ее продолжения (как функции и через график) дают одну и ту же функцию.

168. Покажите, что если множество A является областью определения частичной функции \varphi, то его нестандартный аналог *{A} совпадает с областью определения функции *{\varphi}.

Мы будем часто опускать звездочки в записях вида *{f}(x), пользуясь таким соглашением: если речь идет о значении функции на гипердействительном числе, то подразумевается нестандартный аналог этой функции. (Путаницы не будет, так как на стандартных числах значения функции и ее гипердействительного аналога совпадают.)

169. Абсолютную величину гипердействительного числа x можно определить как x при x\hm\ge0 и как (-x) при x\hm\le 0. С другой стороны, можно рассмотреть нестандартный аналог функции x\hm\mapsto |x|. Покажите, что получится одно и то же.

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

Любое гипердействительное число x можно представить в виде суммы гиперцелого числа n и некоторого гипердействительного числа \alpha, для которого 0\le\alpha>1. Чтобы убедиться в этом, достаточно рассмотреть нестандартные аналоги функций целой и дробной части. Принцип переноса гарантирует, что они сохранят свои свойства. В частности, в сумме они дают исходное число, а дробная часть всегда не меньше нуля и меньше единицы.

Целью расширения было получить возможность рассматривать бесконечно большие и бесконечно малые числа. Дадим соответствующие определения.

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

171. Докажите, что число \alpha является отрицательным бесконечно большим тогда и только тогда, когда -\alpha является положительным бесконечно большим. Докажите, что |\alpha| является положительным бесконечно большим тогда и только тогда, когда \alpha является либо положительным, либо отрицательным бесконечно большим.

Гипердействительные числа, не являющиеся бесконечно большими, называют конечными. Другими словами, гипердействительное число x называется конечным, если оно лежит в промежутке a\hm\le x\hm\le b со стандартными концами a и b.

Наконец, гипердействительное число называется бесконечно малым, если его абсолютная величина меньше любого стандартного положительного числа. (Согласно этому определению нуль тоже является бесконечно малым числом.) Легко проверить, что ненулевое число e является бесконечно малым тогда и только тогда, когда 1/e бесконечно велико. В самом деле, пусть, например, e>0 бесконечно мало. Тогда 1/e больше любого стандартного числа c>0, так как e\hm<1/c. Остальные случаи разбираются аналогично.

Сумма и произведение двух конечных чисел конечны. Если \alpha по модулю меньше стандартного числа a, а \beta — стандартного числа b, то \alpha+\beta по модулю меньше стандартного числа a+b, а \alpha\beta по модулю меньше ab. (Неравенства в гипердействительных числах можно складывать и умножать, так как обычные свойства неравенств записываются формулами и допускают перенос.)

В обычном курсе математического анализа аналогом этого рассуждения является утверждение о том, что сумма и произведение ограниченных последовательностей ограничены. Другое стандартное утверждение из курса анализа — о произведении ограниченных и бесконечно малых (сходящихся к нулю) последовательностей — также имеет естественный аналог: произведение конечного и бесконечно малого гипердействительных чисел является бесконечно малым гипердействительным числом. Доказательство также вполне традиционно: если \alpha не превосходит стандартного числа a, а |\beta| меньше любого стандартного положительного числа, то \alpha\beta меньше любого стандартного положительного e, так как |\beta|\hm<e/a.

Два гипердействительных числа \alpha,\beta называются бесконечно близкими, если их разность бесконечно мала. Обозначение: \alpha\approx\beta.

172. Докажите, что если \alpha\approx\beta, то \alpha+\gamma\hm\approx\beta+\gamma для любого гипердействительного \gamma, а \alpha\gamma\hm\approx\beta\gamma для любого конечного гипердействительного \gamma. Покажите, что условие конечности существенно.

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

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

< Лекция 13 || Лекция 14: 12345678