86352 (612730), страница 5

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 5)

Аналогично определяются и гипердействительные ана­логи для функций нескольких аргументов. Пусть, напри­мер, f – функция двух действительных аргументов с дей­ствительными значениями. Определим ее гипердействительный аналог *f. Чтобы применить *f к двум гипердействительным числам х и y, возьмем по­следовательности x₀, x₁, x₂,… и y₀, y₁, y₂,… , им принадлежа­щие, и в качестве *f(х, у) рассмотрим класс последова­тельности f(x0,y0), f(x1,y1), f(x2,y2),… Определение корректно.

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

f(g(x,y),z)=z, h(x)h(y)

имеет гипердействительные решения x, y, z. Рассмотрим последовательности x0,x1,x2,…; y0,y1,y2,…; z0,z1,z2,…, при­надлежащие соответствующим классам эквивалентности. Тогда g(x0,y0), g(x1,y1),… принадлежит классу g(x,y), а f(g(x0,y0),z0), f(g(x1,y1),z1),… – классу f(g(x,y),z). Поскольку x,y,z по предположению являются решения­ми системы, то f(g(x_n,y_n),z_n)=z_n для большинства п. Поскольку h(x)h(y), последовательности h(x0),h(x1),… и h(y0),h(y1),… не эквивалентны и множе­ство тех п, при котором h(x_n)=h(y_n) малое. Тогда мно­жество тех п, при котором h(x_n)h(y_n) является боль­шим. Так как пересечение двух больших множеств является большим, то множество тех n, при котором

f(g(x_n,y_n),z_n)=z_n , h(x_n)h(y_n)

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

Осталось проверить, что среди гипердействительных чисел существуют бесконечно малые, отличные от нуля. Положительным бесконечно малым гипердействительным числом будет, например, класс последовательности 1, 1/2, 1/3, .,. (или любой другой последовательности положи­тельных действительных чисел, сходящейся к 0). Нам нужно проверить, что это гипердействительное число (обозначим его через ) положительно, но меньше любого стандартного положительного числа. Чтобы доказать это, мы должны вспомнить, как определяется порядок на мно­жестве гипердействительных чисел. Он определяется в со­ответствии с общей схемой построения гипердействительного аналога для любого отношения на множестве дей­ствительных чисел. Нужно взять функцию f двух дей­ствительных аргументов, для которой свойства f(x,y)=0 и х<у равносильны, и рассмотреть ее гипердействительный аналог *f. Гипердействительное число х называется меньшим гипердействительного числа у, если *f(x,y)=0. Посмотрим, что дает нам эта конструкция для построен­ной описанным способом системы гипердействительных чисел. Если х – класс последовательности x0,x1,x2,…, а y – класс последовательности y0,y1,y2,…, то *f(x,y) есть класс последовательности f(x0,y0), f(x1,y1), f(x2,y2), … Равенство этого класса нулю (т. е. классу последовательности 0, 0, 0, ...) означает, что f(xn,yn)=0 для большинства n, т. е. что xnп. Таким образом, чтобы выяс­нить, верно ли х<у для гипердействительных чисел х и y, нужно взять последовательности x0,x1,x2,…, и y0,y1,y2,… в классах х и у и выяснить, является ли множество тех п, при которых xn

Нам нужно было проверить, что 0< и что <р для любого стандартного положительного р ( —класс последовательности 1, 1/2, 1/3, ...). Это просто:

0<, так как 0<1/п при всех п (а множество N большое), <р, так как 1/n<р для всех натураль­ных n, кроме конечного числа, а всякое множество с ко­нечным дополнением малое (свойство 6 “системы подсче­та голосов”). Отметим, что здесь мы впервые воспользо­вались свойством 6, до сих пор все наши рассуждения были справедливы и в случае “диктатуры” (когда боль­шими считаются те и только те множества, которые со­держат некоторое натуральное число N). В этом случае две последовательности эквивалентны, если совпадают их N-е члены, и все гипердействительные числа стандартны (класс последовательности x0,x1,x2,… совпадает со стан­дартным числом x_N).

ЛИТЕРАТУРА

1. Успенский В.А. Что такое нестандартный анализ? – М., Наука, 1987. – 128с.

2. Девис М. Прикладной нестандартный анализ. – М., Мир, 1980.

3. Успенский В.А. Нестандартный, или неархимедов, анализ. – М., Знание, 1983. 61 с. (Новое в жизни, науке, технике. Сер. “Математика, кибернетика” № 8 ).

4. Успенский В.А. Нестандартный анализ // Наука и жизнь, 1984. – №1. – с. 45-50.

5. Робинсон А. Введение в теорию моделей и математику алгебры. пер. с англ. – М., Наука, 1967.

Характеристики

Список файлов курсовой работы