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

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

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

Пример 2. Пусть f и g – функции одного действительного аргумента, причем множества их нулей совпа­дают. (Множество нулей функции – множество тех зна-чений аргумента, при которых значение функции равно 0) В этом случае и множества гипердействительных чисел, являющиеся множествами нулей функций *f и *g, совпадают. Докажем это. В самом деле, каждая из си­стем

(1) f(x)=0, g(x)0,

(2) g(x)=0, f(x)0,

не имеет действительных решений. Следовательно, не имеют гииердействительных решений и их аналоги. По­тому любой гипердействительный нуль функции *f обя-зан (чтобы не быть решением аналога системы (1)) быть нулем и для *g и наоборот.

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

Пусть А – произвольное множество действительных чисел. Рассмотрим произвольную функцию f, для которой А – множество нулей. (Такая есть: достаточно положить, например, f(x)=0 при хА и f(x)=1 при xA). Рассмотрим теперь гипердействительный аналог *f функции f и множество *А его (гипердействительных) нулей. Как мы видим, множество *А не зависит от выбора функ­ции f. Его мы и назовем гипердействительным аналогом множества А.

Пример 3. Мы можем теперь разрешить включать системы наряду с равенствами t=s и неравенст­вами ts и записи вида sA, где s представляет собой терм, а А – множество действительных чисел. При этом решениями будут такие наборы (действительных или гипердействительных) значений переменных, при ко­торых выполнены все равенства и неравенства, а значе­ние s принадлежит множеству А. Гипердействительным аналогом sA будет *s*A, где *s – гипердей-ствительный аналог терма s, а *A — аналог множества А (в указанном смысле). Таким образом, у всякой си­стемы равенств, неравенств и включений (т. е. записей вида sA) появляется гипердействительный аналог. Для таких систем остается в силе свойство одновременной разрешимости: если гипердействительный аналог систе­мы имеет (гипердействительные) решения, то исходная система имеет (действительные) решения. Чтобы уви­деть это, достаточно заменить sA на a(s)=0, где a – функция с действительными аргументами и значениями, множеством нулей которой является A. Аналогичным об­разом можно добавлять в систему и утверждения вида sA (что заменяется на a(s)0).

Пример 4. Пусть А – пустое множество. Докажем, что *A – пустое множество.

В самом деле, система

хА

не имеет действительных решений, поэтому и система х*А не имеет (гипердействительных) решений. Рас­смотрев систему хА, получаем аналогичным образом, что если А содержит все действительные числа, то *А содержит все гипердействительные числа. Таким обра­зом, гипердействительным аналогом множества R будет множество *R, так что наши обозначения согласованы.

Вдальнейшем, вместо того чтобы говорить о системе S и ее действительных решениях, а также о системе *S и ее гипердействительных решениях, будем говорить о дейст­вительных и гипердействительных решениях системы S (говоря о гипердойствительных решениях системы S, мы на самом деле будем иметь в виду гипердействительные решения системы *S).

Пример 5. Если A=BC, то *A=*B*C. В самом деле, каждая из систем

хB, хС, хА;

хA, хB;

хA, хС.

не имеет действительных, и, следовательно, гипердейст­вительных решений. (Точнее, следовало бы говорить об аналогах этих систем) Отсюда получаем, что *В *С *A (первая система), *А*С (вторая) и *A*C (третья), откуда вытекает, что *A*B*C.

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

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

8. ПОСТРОЕНИЕ СИСТЕМЫ ГИПЕРДЕЙСТВИТЕЛЬНЫХ ЧИСЕЛ

Рассмотрим вопрос о существовании гипердействительных чисел. Точнее этот вопрос следует сфор­мулировать так: можно ли построить расширение множества действительных чисел, для которого выполнялась бы Основная гипотеза. Основная гипотеза требует, чтобы:

(1) имелось некоторое множество R, для которого R*R;

(2) для каждой функции f: RⁿR имелась некото­рая функция *f: *Rⁿ*R являющаяся продол­жением исходной;

(3) любая система уравнений и неравенств, гипердействительный аналог который имеет (гипердействительные) решения, имела действительные решения;

(4) *R содержало бесконечно малые элементы, отлич­ные от нуля.

Покажем, каким образом этим требованиям можно удовлетворить. Рассмотрим один из возможных вариантов перехода от Q (множества рациональных чисел) к R (множеству действительных чисел). Рассматриваются всевозможные фундаментальные последовательности рациональных чисел, т. е. такие последовательности, что для любого > 0 существует отре­зок длины , содержащий все члены последовательности, кроме конечного числа. Две такие последовательности x_n и y_n называют эквивалентными, если x_n–y_n стремится к 0 при п. Это отношение эквивалентности разбивает фундаментальные последовательности на классы, которые и называются действительными числами.

Мы достигнем цели, если от последовательностей перейдем к классам последо­вательностей, считая, что две последовательности x₀,x₁,x₂,…. и y₀,y₁,y₂,… задают одно и то же гипердействительное чис­ло, если x_n=y_n “для большинства натуральных чисел n”.

Для наглядности будем представлять себе, что прово­дится голосование по вопросу “считать ли последователь­ности x_n и y_n совпадающими”. В нем голосующими явля­ются натуральные числа, причем число п голосует “за”, если

x_n =y_n , и “против”, если x_ny_n . Будем считать по­следовательности x_nи y_n совпадающими, если большин­ство натуральных чисел голосуют за это. Нужно объяс­нить лишь, какова система подсчета голосов, т. е. какие множества натуральных чисел мы считаем “большими” (содержащими “большинство” натуральных чисел), а ка­кие “малыми” (содержащими “меньшинство” натураль­ных чисел). Перечислим те свойства, которым должна удовлетворять система подсчета голосов, т. с. деление множеств натуральных чисел на большие и малые.

1. Любое множество натуральных чисел является либо большим, либо малым. Ни одно множество не является большим и малым одновременно. (Голосование должно всегда давать ответ.)

2. Множество всех натуральных чисел большое, пустое множество малое. (Предложение, за которое голосуют все, принимается.)

3. Дополнение (до N) любого малого множества явля­ется большим, дополнение любого большого множества – малым. (Из двух противоположных законопроектов полу­чает большинство голосов ровно одни.)

4. Любое подмножество малого множества является малым, любое надмножество большого множества – боль­шим. (Утратив часть голосов, отвергнутый законопроект не может стать принятым.)

5. Объединение двух малых множеств является малым, пересечение двух больших множеств является большим. (Если каждая из двух групп голосующих не образует большинства, то они и вместе не образуют большинства (“невозможность коалиции”); если каждая из групп со­ставляет большинство, то голосующие, входящие одновре­менно в обе группы, уже составляют большинство.)

Эти требования весьма сильны. Чтобы понять это, рас­смотрим случай конечного множества голосующих (получающийся заменой N на некоторое конечное множест­во М). Можно ли тогда удовлетворить этим требованиям? Один способ почти очевиден. Выберем одного из “голосую­щих” т М и назовем большими все множества, содер­жащие m, а малыми – все множества, не содержащие т (“диктатура” m). При таком определении легко проверить все свойства 1–5. Оказывается, что этим исчерпываются все возможности удовлетворить требованиям 1–5 для случая конечного множества M. В самом деле, , пусть име­ется разбиение всех множеств на большие и малые, удов­летворяющее требованиям 1–5. Рассмотрим тогда все большие множества и выберем из них множество M0, со­держащее наименьшее возможное число элементов (среди больших множеств). Множество M0 непусто. Если оно содержит ровно один элемент m, то в силу свойства 4 все множества, содержащие т, будут большими, а в силу свойства 3 все множества, не содержащие m, будут малы­ми. Осталось показать, что M0 не может содержать более одного элемента. В самом деле, в этом случае его можно было бы разбить на две непустые непересекающиеся части M1 и M2. Эти части должны быть малыми (так как содержат меньше элементов, чем M0), а их объединение M0 является большим, что противоречит требо­ванию 5.

Оказывается, однако, что при счетном числе голосующих возможны системы голосования, удовлетворяющие требованиям 1–5 и не сводящиеся к упомянутому три­виальному случаю. Другими словами, можно так разбить все подмножества натурального ряда на большие и малые, чтобы выполнялись свойства 1–5 и любое одноэлементное множество было малым. Тогда (в силу свойства 5) и любое конечное множество будет малым, а (в силу свой­ства 3) всякое множество с конечным дополнением (до N) – большим. Таким образом, к требованиям 1–5 можно без противоречия добавить и такое:

6. Всякое конечное множество является малым, всякое множество с конечным

дополнением — большим. (При го­лосовании мнение конечного числа голосующих несущест­венно.)

Разбиение всех подмножеств натурального ряда на большие и малые, удовлетворяющее требованиям 1–6, называется нетривиальным ультрафильтром на множестве натуральных чисел.

Покажем теперь, что такое разбиение позволяет по­строить систему гипердействительных чисел, удовлетво­ряющую требованиям Основной гипотезы. Итак, пусть фиксировано разбиение, удовлетворяющее требованиям 1–6. Назовем две последовательности x_n и y_n эквивалентными, если множество тех n, при кото­рых x_n =y_n является большим. В силу требования 2 вся­кая последовательность эквивалентна самой себе.

Мы видим, что введенное отношение рефлексивно, сим­метрично (это очевидно из определения) и транзитивно и, следовательно, разбивает все последовательности действи­тельных чисел на классы эквивалентности, т. е. такие классы, что любые две последовательности одного класса эквивалентны, а любые две последовательности из разных классов – нет. Эти классы мы и назовем гипердействительными числами. Что еще нам нужно? Нужно, чтобы множество действительных чисел было подмножеством множества гипердействительных. Нужно уметь для каж­дой функции с действительными аргументами и значения­ми строить ее гипердействительный аналог. Нужно про­верить, что любая система уравнений и неравенств, гипердействительный аналог которой имеет гипердействительные решения, имеет действительные решения. И, на­конец, нужно убедиться, что среди гипердействительных чисел (рассматриваемых как упорядоченное поле) существуют бесконечно малые, отличные от нуля.

Чтобы сделать R подмножеством *R, отождествим каждое действительное число х с последовательностью х, х, х, ..., точнее, с содержащим ее классом. При этом разным действительным числам соответствуют разные классы: х,x,х … не эквивалентно у,у,y ... (множество тех n, при которых n-е члены совпадают, пусто и, следо­вательно, является малым).

Пусть f: RR – функция с действительными аргу­ментами и значениями. Определим ее гипердействительный аналог *f: *R *R. Пусть x – произвольное гипердействительное число, т.е. класс эквивалентных после­довательностей действительных чисел. Рассмотрим про­извольную последовательность x₀, x₁, x₂,… из этого класса и применим f ко всем ее членам. Класс, содержащий по­лученную последоваетльность f(x0), f(x1), f(x2), … и будем считать значением f на х. Полученный класс не зависит от выбора последовательности x₀, x₁, x₂,… в классе x (определение корректно).

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

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