Вестник Сыктывкарского университета. Сер.1. Вып. 7. 2007
УДК 517.98+517.11
МОДЕЛИРОВАНИЕ ВЕЩЕСТВЕННОГО АНАЛИЗА В РАМКАХ АКСИОМАТИКИ ДЛЯ ГИПЕРНАТУРАЛЬНЫХ
ЧИСЕЛ
Е. В. Праздникова
В работе излагается формализованная теория для нестандартной теории чисел, формализованная теория для гиперрациональ-ных чисел. Моделированы основные теоремы классического дифференциального исчисления.
1. Введение.
Теорема компактности гласит, что если имеется некоторая теория, то она имеет модель тогда и только тогда, когда каждая ее конечная подтеория имеет модель. Чаще всего этот факт применяется для обоснования существования неархимедова расширения поля вещественных чисел и развития анализа в духе Лейбница. В настоящее время имеется много работ, посвященных применению методов нестандартного анализа к построению анализа вещественных функций (см., например, [3]-[5] и ссылки там). В большинстве работ применяется построение нестандартного расширения с помощью ультрапроизведения, либо идеи Нельсона [8] о консервативном расширении теории множеств Цермело-Френкеля путем добавления некоторых специфических аксиом, гарантирующих существование бесконечно малых. Пусть ГР теория упорядоченных полей в языке С (=, <;+,*; 0,1) и С расширение этого языка путем добавления нового константного символа из. Теория ЕР1 получается из РР путем добавления бесконечного списка аксиом {п<ги:п натуральное число}. Так как, очевидно, всякая конечная подтеория РР' содержит лишь конечное множество ’’новых” аксиом, моделью этой подтеории может служить множество М, в котором имя константы ъо есть наибольшее натуральное число, являющееся номером
© Праздникова Е.В., 2007.
пновой”аксиомы. Таким образом, существует модель для теории РР1^ являющаяся элементарным расширением М и обозначаемая *М. Ясно, что имя ги в модели *М есть бесконечно большое число и, следовательно, в поле *М имеются бесконечно малые числа. Более того, имеет место принцип переноса, согласно которому всякое утверждение о поле М, выразимое в языке С истинно тогда и только тогда, когда соответствующее ему утверждение в языке С истинно в поле *М.
Таким образом, пара М,*М дает возможность развивать анализ в духе посновоположниковпи, тем самым реабилитирует теорию бесконечно малых Лейбница. Но понятие вещественного числа в теории РР неаксиоматизируемо, ибо принцип Архимеда невыразим в логике первого порядка это и есть следствие теоремы компактности и существования *М. С другой стороны, само понятие вещественного числа базируется на понятии дедекиндова сечения в области рациональных чисел (или идее пополнения 0) как метрического пространства). То есть вещественное число мы должны понимать как набор его рациональных приближений, как это делается в конструктивном анализе А. А. Маркова [9]. Аналогично обстоит дело и в представлении вещественных чисел и в электронно-вычислительных машинах, точность которых предполагает задание вещественного числа его рациональным приближением.
Идеальной ситуацией является задание пабсолютнойпточности, при которой приближение отличается от истинного (абсолютного) значения на бесконечно малое количество. В этом аспекте возможно рассмотрение в качестве модели теории РР множества рациональных чисел (0 и его нестандартного расширения ^3, содержащее бесконечно малые числа. Доказательство существования такого поля аналогично приведенному для пары М, *М. Однако само построение поля 0) осуществляется на основе кольца целых чисел Ъ путем построения поля отношений, а само кольцо Ъ строится, исходя из множества натуральных чисел. Таким образом, вещественные числа ведут естественное происхождение из натуральных. Сами же натуральные числа могут быть получены либо в теории множеств как конечные ординалы, либо построены аксиоматически на основе аксиом Пеано.
Одним из применений варианта теоремы компактности является теорема Левенгейма-Скулема-Тарского о том, что всякая теория, имеющая бесконечные модели, имеет модель любой наперед заданной мощности. Тем самым, теория Пеано имеет так называемые нестандартные модели, в которых имеются числа, строго большие любого натурального числа. Отсюда один шаг до построения на аксиоматической основе теории так называемых гиперрациональных чисел, которые призваны мо-
делировать вещественные числа псо сколь угодно большой точностью”. Это обусловлено тем, что, рассматривая поле ^ мы можем доказать, что М получается как факторкольцо кольца конечных чисел из ^ по отношению бесконечной близости (см., например, [4]). Иными словами, для каждого вещественного числа существует гиперрациональное, бесконечно близкое к нему. Такое число определено неоднозначно, однако дает возможность судить о вычисляемом вещественном числе.
В настоящей работе мы предлагаем моделировать вещественные числа на основе понятия гиперрационального числа. Мы рассмотрим построение формализованной теории гиперрациональных чисел на основе консервативного расширения арифметики. В качестве приложений мы приводим ряд результатов о функциях, моделирующих вещественные функции.
2. Гиперарифметика
Рассмотрим язык С (=; +, *, 5; 0) и формализованную теорию в нем:
1.
УхУу (Б(х) = %)эх = ?/);
2.
Ух-* (б1(ж) = 0);
3.
Ух(х + 0 = х), УхУу (х + Б {у) = Б(х + у));
4.
Ух(х -0 = 0), УхУу (х ■ Б(у) = х ■ у + х);
5. схема аксиом индукции (для любой формулы Л) со свободной переменной х
А(0)&(Ух(А(х) Э А(3(х))) э УхА(х)).
Эта теория, которую мы будем обозначать АР, называется формальной арифметикой или арифметикой Пеано.
Кроме того, мы принимаем аксиомы равенства и аксиомы согласования с равенством:
1. Ух(х = х);
2. УхУу(х = у Э у = х);
3. УхУуУх(х = ук,у = г Э х = г);
4. УхУу (х = у э 5(я) = Б (у));
5. УхУуУх'Уу1 (х = х'&,у = у' Э х + у = х1 + у1);
6. УхУуУх'Уу' (х = х'&,у = у' Э х + у = х' • у');
Понятие терма, формулы, высказываний заимствованы из [10].
Определение 2.1. Натуральными числами называются термы в теории АР вида п = ББ... Б0, точнее, 1 = 50, 2 = й! = Й'Й'О,....
Определение 2.2. Введем бинарный предикатный символ <:
х < у ^ Зг(х + г = у).
Тогда имеет место легко доказываемая
Теорема 2.1. Введенное отношение обладает следующими свойствами:
1.
Ух(х < х);
2.
УхУуУг(х < у&,у < г Э х < г);
3.
УхУу(х < уку < х Э х = у);
4-
УхУу(х < у V у < х);
5.
X = у Э X < у&,у < X.
Определение 2.3.
X < у ^ X < у&£->(х = у).
Рассмотрим теперь теорию НАР в языке С, получающуюся путем добавления новой константы О и бесконечного списка аксиом:
0 < Г2,1 < Г2,..., гг < Г2,...
Определение 2.4. Теорию НАР назовем гиперарифметикой. Соответствующие числа будем называть гипернатуральными.
Имеет место теорема, доказательство которой можно найти в [1].
Теорема 2.2. Теория НАР является консервативным расширением теории АР.
Таким образом, любое утверждение, выводимое в арифметике, выводимо и в гиперарифметике. Наоборот, всякое утверждение о гипер-натуральных числах, содержащее лишь конечное количество аксиом, в которые входит константа выводимо и в арифметике Пеано.
3. Гиперрациональные числа
Будем рассматривать тройки гипернатуральных чисел. Для них введем специальное обозначение. Точнее, упорядоченная тройка гипернатуральных чисел определяется некоторым предикатом (3, добавленным к теории НАР. Такие тройки будем называть гиперрациональными числами. Неформально, всякая тройка (я, у, г) определяет число
Формально, упорядоченная тройка есть трехместный предикат вместе с алгорифмом, выделяющим левый, центральный и правый терм. Рассмотрим теперь язык Сд, являющийся расширением языка гиперарифметики путем добавления предиката пбыть гиперрациональ-
ным числом”.
Определение 3.1. q есть гиперрациональное число, если
НАР Ь ЗхЗуЗг (д = (х, у, г)!к(^(х, у, г)).
Определение 3.2. Гиперрациональные числа р = (я, у, г) и q — (и,у,ио) равны между собой, если
х{ио + 1) + + 1) = и(г + 1) + у(и) + 1).
Записываем это отношение как р = ц1.
Теорема 3.1. Введенный предикат есть предикат равенства. То есть верны аксиомы равенства и согласованности с равенством.
1. Гефлексивность равенства \/р(р = р)\
1 Новый предикат отличен от имеющегося в языке, но мы сохраняем за ним то же обозначение, что не должно привести к недоразумениям.
2. Симметричность равенства УрУд(р = дЭд=р);
3. Транзитивность равенства УрУдУг(р = д&,д = г Р = г);
4■ Согласованность с предикатными символами
Ур1... рпУя 1 • • • Яп{Р1 = 91 & • • • &Рп = дп^> (Р(Р1, ...рп) =
= Р(дъ...дп)));
5. Согласованность с функциональными символами
Урх . . .pnУq 1 . . . д„(р1 = §1 & . . . &рп = Э /(рь ...рп) =
= /(?ъ •••9п))-
Доказательство.
1. Рассмотрим р = (ж, у, г), тогда верно + 1) + + 1) = х(г +
1) + у (г + 1), поэтому = р). Ч.т.д
2. Рассмотрим р = (х,у,г) и д = (и,ь,ю). Тогда, если р = д, то
ж (ад + 1) + и(,г + 1) = и(,г + 1) + у(ии + 1), отсюда у(т + 1) + и(г + 1) = + 1) + х(и> + 1), т.е. д = р. Обратно аналогично. Значит
УрУд(р = д Э д = р). Ч.т.д.
3. Рассмотрим р = (х,у, г), д = (и, V, ю) и г(а, Ь, с). Тогда, если р = д
и д = г, то гс(ги + 1) + + 1) = «(г + 1) + ?/(гу + 1) и и(с + 1) +
Ъ(ги + 1) = а(ги + 1) + г>(с + 1), отсюда (ги + 1)(х — у) = (г + 1 )(и — ь) и (ги + 1)(Ь — а) = (с + 1) (г> — и), выразим (ю + 1) и приравняем, получим (г + 1 )(Ь — а) = (с+ 1 )(у — х), отсюда х(с+ 1) + Ь(г + 1) = а(г + 1) + у (с + 1). Значит р = г. Ч.т.д.
4. Согласованность с предикатными символами верна, т.к. верны аксиомы равенства (согласованность с равенством).
5. Согласованность с функциональными символами верна, так как сумма и произведение гиперрациональных чисел определены корректно (см. ниже).
Определение 3.3. Предикат N определяет гипернатуральное число р вида (х, 0,0), т.е. М(р) = 3хр = (х, 0,0). Предикат Z выделяет ги-перцелое число вида (х,у,0), т.е. Z{p) = ЗхЗур = (х,у, 0).
Определение 3.4. Суммой гиперрационалъных чисел р = (х, у, г) и 5 = (и, V, ги) будем называть гиперрационалъное число з вида з = (х(ги+ 1) + и(г + 1), у(ги + 1) + + 1), гги + г + ги).
Произведением гиперрационалъных чисел р = (х, у, £) и д = (и, V, ги) будем называть гиперрационалъное число г вида г = (хи + уу,уи +
XV, хт + х + т).
Теорема 3.2. Сумма и произведение гиперрационалъных чисел определены корректно: еслирі = д\ ир2 = 52, торі+р2 = 51+52 ир\-р2 = 51-52-
Доказательство.
Рассмотрим рі = (а,Ъ,с), р2 = [х,у,г), 51 = (с?, е,/), 52 = (и,и,и)), причем
Рі = 5і -ФФ- a(f + 1) + е(с + 1) = с1(с + 1) + Ь(/ + 1) обозначим за (1) и Р2 = Я.2 ^ х(ъи + 1) + у(г + 1) = у(ги + 1) + и(г + 1) обозначим за (2). Тогда
Рі + Р2 = (а(г + 1) + х(с + 1), Ь(г + 1) + у (с + 1), сг + с = г), а 5і + 52 = + 1) + м(/ + 1), е(и) + 1) + "у(/ + 1), /ги + / + иі), тогда
~{Чі + Ч2) = (е(ги + 1) + г>(/ + 1), сі(и) + 1) + м(/ + 1), /го + / + «;).
Рі + Р2 + (—(<7і + Я.2)) = («, /5,7),
где а = (а(;г + 1)+ж(с+1))(/ + 1)(«; + 1) + (е(«; + 1) + г>(/ + 1))(с+1)(;г + 1), /5 = (Ь(г + 1) + у(с + 1))(/ + 1)(«; + 1) + ((/(«; + 1) + м(/ + 1))(с+1)(^+1),
7 = (сг + с + г)(/ги + / + ги) + (сг + с + г) + (/ги + / + ги).
Перегруппировывая слагаемые в первом элементе тройки, получаем а = {а(/ +1) + е(с+ 1))(г + 1)(ги +1) + (х(ги +1) + + !))(/ + 1)(с+1) =
{используя (1) и (2)}
= (с?(с + 1) + Ь(/ + 1))(^ + 1)(ги + 1) + (у(ги + 1) + и(г + 1))(/ + 1)(с + 1) ={перегруппировываем слагаемые}= (Ь(г + 1) + у(с+ 1))(/ + 1)(го + 1) + (б?(«; + 1)+и(/ + 1))(с+1)(;г + 1) = /5. Отсюда р± + р2 + (-(<7і + 92)) = (а, а, 7) = (0, 0, 0), так как ск(0 + 1) + 0 • (0 + 1) = 0 • (0 + 1) + ск(0 + 1). Значит рі + р2 = 5і + 52.
Произведение рассматривается аналогично сложению.
Теорема доказана.
Теорема 3.3. Для любых гиперрационалъных чисел верны следующие утверждения:
1. Ассоциативность сложения
УрУдУг ((р + д) + г = р + (д + г)),
2. Существование нуля
30 Ур(р + 0 = р),
3. Существование обратного элемента по сложению
УрЗ— р(р + (— р) = 0),
4- Коммутативность сложения
УрУд(р + Я = Я + Р),
5. Дистрибутивность
УрУдУг((р + д) • г = р ■ г + 5 • г),
6. Ассоциативность умножения
УрУф/г((р • д) • г = р ■ (д • г)),
7. Существование единицы
31 Ур(р ■ 1 = р),
8. Существование обратного элемента по умножению
Vр(р фО)Э 3р~1(р-р~1 = 1),
9. Коммутативность умножения
УpУq(p ■ Я = Я ' р)-
Доказательство.
1. Рассмотрим р = (х,у,г), д = (и, ь,ги) и г = (а, 5, с), обозначим (р + я) + г = а, а р + (д + г) = /3, тогда по определению 3.4
а = (р + ?) + г = (х(и) + 1) + и(г +1), у(из + 1) + г>(^ + 1), гии + го + £) +г = ((х(и) + 1) + и(г + 1))(с + 1) + а(г + 1)(т + 1), (у(т + 1) + и(г + 1))(с + 1) + Ь(г + 1)(гу + 1), ггис + гс + из с + гги + г + ги + с)) = х(уо + 1)(с + 1) + и(с + 1)(^ + 1) + я(.2 + 1)(го + 1), у(и> + 1)(с + 1) + и{с + 1)(,г + 1) + Ь(г + !)(«; + 1), ггис + гс + гос + гги + £ + го + с).
(3 = р + (д +г) = р + (и(с +1) + а(го + 1), г>(с+ 1) + Ь(ю + 1 ),гис + 1и + с)) = (х(ю + 1)(с+ 1) + (и(с+ 1) + а(го + 1))(г + 1), у(ь) + 1)(с+ 1) + (г>(с + 1) + 5(го + 1))(,г + 1) , ггос + гго + гс + г + юс + го + с) =
ж(го + 1)(с+ 1) + и(с + 1)(г + 1) + а(г + 1)(го + 1), у(ю + 1)(с + 1) + у (с + 1)(г + 1) + Ь(г + 1)(го + 1), гюс + гс + гос + гю + г + го + с).
По свойствам сложения и умножения гипернатуральных чисел следует, что а = /3. Ч.т.д.
2. Для любого р = (х, у, г) будем искать ноль в виде (а, /3, 7). Тогда по определению 3.4
р + 0 = (#(7 + 1) + «(г + 1), у(7 + 1) + (3(г + 1), .27 + г + 7) и это должно быть равно р = (ж, у, г). Чтобы это было верно, возьмем а, 7 любыми, а /3 = а. Значит, для любого р = (х, у, г) существует гиперрациональный ноль 0 = (а, а, 7) = (0, 0, 0), такой что р + 0 = р. Ч.т.д.
3. Для любого р = (х, у, г) будем искать противоположный ему элемент —р в виде (а, /3,7). Тогда по определению 3.4
Р + (~Р) = (ж(7 + 1) + а(г + 1); 2/(7 + 1) + /3(-г + 1), ^7 + г + 7) и это должно быть равно 0 = (а,а,Ь). Чтобы это было верно, возьмем а = у, /3 = х, 'у = х. Значит, для любого р = (х, у, г) существует обратный по сложению элемент — р = (у, х, г), такой что р + (—р) = 0. Ч.т.д.
4. Рассмотрим р = (х, у, £) и 5 = (и, V, го), р + д = (ж(го + 1) + и(г +
1), у(ъи + 1) + у(г + 1), гго + г + го). По свойствам сложения и умножения гипернатуральных чисел следует, что р + = (г«(г + 1) + ж(го + 1), у (г +
1) + у(ю + 1), гго + г + го) = д + р. Ч.т.д.
5. Рассмотрим р = (х,у,г), д = (и, V, го) и г = (а, Ь, с), обозначим (р + 5) • г = «, а р • г + 5 • г = /3, тогда по определению 3.4
а = (р + о)' г = (х(ги + 1) + и(г + 1), у (го + 1) + г>(г + 1), гго + го + £) • г = (ах(\и -\~ 1) аи(г 1) Ьу(и) 1) Ьу (г 1), Ьх(у) + 1)4“ Ьи^ + 1)4“ ау(и) -\~
1) + ау(г + 1), агго + сх + его + гго + г + го + с) = ((ах + Ьу)(ю + 1) + (аи + Ьу)(г + 1), (Ьх + ау) (ю +1) + (6г/ + аг>)(г + 1), егю + сг + сю + хю + х + го + с).
(3 = р-г + д-г = (ха + уЬ, хЬ + уа, .гс+г + с) + (гш + иЬ, г<6 + г>а, гг>с+го + с) = ((ж<2-Ь?/6)(го-Ь1)(с-Ь1)-Ь(г^Ч-г^6)(г_Ь1)(с_Ь1), (ж6~Ь?/б^)(го-Ь1)(с-Ь1)-Ь(гАб~Ь г>а)(г + 1)(с + 1), (^(с + 1) + с)(го (с +1) + с) + 2;(с-|-1)+с-|-го(с-|-1) + с) = ((ха + уЬ)(ъи 1)(с + 1) (иа + уЪ)(г -Ь 1) (с ~Ь 1), (хЬ у а) (и) 1)(с~Ь 1)
(иЬ + уа)(г + 1)(с + 1), (с + 1 )(сги + ги + си + сг + г + и + с) + с) =
{ так как Ух, у, г, с((жс, ус, (г + 1)с) = (х, у, г)) то }
= ((ха уЪ)(ги -\~ 1) (иа уЬ)^ 1), (хЪ -\~ уа)(и 1) (иЪ -\~ усь)(х
1), сгги + ги + сги + сг + г + и + с).
По свойствам сложения и умножения гипернатуральных чисел следует, что а = /3. Ч.т.д.
6. Доказывается аналогично п 5.
7. Рассмотрим р = (х,у,х), д = (и, V, ю) и г = (а,Ь,с), обозначим (р • я) • г = а, а, р • (я • г) = /3, тогда по определению 3.4
а = (р • я) • г = (хи + уу, ху + уи, ги + г + ги) ■ г = (ахи + ауу + Ьху + Ьуи, Ъхи + Ъуу + ахь + ауи, схги + гс + гис + ги> + г + и> + с).
/3 = р ■ (я ■ г) = р ■ (иа + уЬ, иЬ + уа, ис + и + с) = (хиа + хуЬ + уиЬ + уш, уиа + уу& + хиЪ + жг>а, ггос + + ,гс + г + «;с + «; + с).
По свойствам сложения и умножения гипернатуральных чисел следует, что а = /3. Ч.т.д.
8. Для любого р = (х,у,г) будем искать единицу в виде (а, /3,7). Необходимо, чтобы р ■ 1 = р, то есть р • 1 = (:т + у(3,х(3 + уа, 2:7 + г + 7) = (х,у,х). С другой стороны число р соответствует (х — у)/(г + 1), а число (а, /3,7) соответствует (а — /3)/(7 + 1). Тогда нам надо, чтобы (х — у)/(г + 1) • (а — /3)/(7 + 1) = (ж — у)/(г + 1). Для этого возьмем а — /3 = 1 & 7 = 0. Тогда для любого р = (х,у, г) существует гиперраци-ональная единица 1 = (а + 1, а, 0) = (1, 0,0), такая что р • 1 = р. Ч.т.д.
9. Для любого р = (х, у, г) будем искать обратный по умножению к нему элемент р-1 в виде (а, /3,7). Необходимо, чтобы р • р-1 = 1, то есть р • р-1 = (жа + у/3, ж/3 + уа, гу + г + 7) = (1, 0, 0). С другой стороны число р соответствует (х — у)/(г + 1), а число (а, /3,7) соответствует (а — /3)/(7 + 1). Тогда нам надо, чтобы (ж-у)/(г + 1)-(а-/3)/(7 + 1) = 1. Для этого возьмем а = г & /3 = — 1 &7 = х — у — 1. Это можно сделать, если р ф 0, что эквивалентно тому, что х ф у. Тогда для любого р = (х,у,г) существует обратный по умножению к нему элемент р~1 = (г, —1, х — у — 1), такой что р • р~1 = 1. Ч.т.д.
10. Рассмотрим р = (я, у, 2:), q — (гл, г;,ги). обозначим р • д — а, а
q • р = /3, тогда по определению
a = р ■ q = (жм + yv, xv + ум, zw + z + w).
(З = q ■ p = (ux + vy, vx + uy, wz + w + z).
По свойству коммутативности сложения и умножения гипернатураль-ных чисел следует, что a = (3. Ч.т.д.
Замечание 3.1. Теорема 3.3 говорит о том, что гиперрационалъные числа образуют поле.
Теорема 3.4.
\/p\/q (3u3v(p = (и, 0, 0)&5 = (v, 0, 0) D (р = q = и = v))). Доказательство.
Рассмотрим р = (и, 0, 0) и q = (v, 0, 0), тогда по определению р = q если м(0 + 1) + 0(0 + 1) = г>(0 + 1) + 0(0 + 1) = и = v, отсюдар = q = и = v.
Ч.т.д.
Теорема 3.5.
\/p\/q (3u3v(p = (и, 0,0)kq = (v, 0, 0) D (р + q = и + v)&z(p ■ q = и - v))). Доказательство.
Рассмотрим р = (и, 0, 0) и q = (v, 0, 0), тогда по определению р + q = (и(0 “Ь 1) “Ь 1), 0(0 “Ь 1) “Ь 0(0 -Ь1),0‘0_Ь0_Ь0) = (к v, 0, 0). Тогда N(p + q), значит тройка (и + v, 0, 0) соответствует гипернатуральному числу и + V. Отсюда можно считать, что р + q = и + v.
Рассмотрим произведение р • q = (и-г> + 0-0,0-и + г>-0,0-0 + 0 +
0) = (и • v, 0, 0). Тогда N(p ■ q), значит тройка (и ■ v, 0, 0) соответствует гипернатуральному числу и • v. Отсюда можно считать, что р • q = и • v.
Ч.т.д.
Теоремы 3.4 и 3.5 показывают, что операции над гиперрациональны-ми числами являются продолжением соответствующих операций над гипернатуральными числами в НАР. Таким образом, формализованная теория гиперрациональных чисел является расширением НАР.
Теорема 3.6. Рассмотрим расширение теории АР, которое получается тем же способом, что и теория гиперрациональных чисел. Тогда теория гиперрациональных чисел является консервативным расширением теории рациональных чисел.
Доказательство легко получается из того факта, что по сравнению с рациональными числами в теории гиперрациональных чисел имеется терм дающий бесконечно большие числа.
Приведенная теорема показывает, что для теорий гиперрациональ-ных и рациональных чисел справедлив принцип переноса.
Таким образом, если мы имеем стандартную рациональную функцию, то она имеет продолжение на гиперрациональные числа, которое обладает теми же свойствами 1го порядка (которые можно выразить в языке теории рациональных чисел).
Определение 3.5. Гиперрациональное число р = (х, у, £) будем называть положительным (обозначим это отношение как р > 0), если
Эи (ІУ(и)&(и ф О)&ж = у + и),
и будем называть его отрицательным, если —р > 0 (обозначим это как р < 0).
Определение 3.6. Будем говорить, что гиперрациональное число р больше гиперрационального числа д (обозначим это отношение символом >), если
р+(-я) > о,
и будем говорить, что гиперрациональное число р меньше гиперрационального числа д, если д > р (обозначим это как р < д).
Определение 3.7. Будем говорить, что гиперрациональное число р „не меньше “ гиперрационального числа д (обозначим это отношение как >), если
{р > д) V (р = д),
и будем говорить, что гиперрациональное число р „не больше“ гиперрационального числа д, если д > р (обозначим это как р < д).
Справедлива следующая теорема.
Теорема 3.7. Для гиперрациональных чисел верны следующие утверждения:
1. УрУд (р > д&,д > г I) р > г),
2. УрУд (р>дэУг(р + г>д + г))7
3. УрУд (р>дэУг(г>ОЭр-г>д- г)),
4■ УрУд (р > д Э Уг (г < О Э р ■ г < д • г)).
Определение 3.8. Модулем гиперрационального числа р назовем наибольшее из двух чисел р и —р.
Определение 3.9. Гиперрациональное число р будем называть конечным, если оно не больше (меньше или равно) по модулю некоторого положительного рационального числа. Т.е. р —конечно, если существует рациональное п, такое что \р\ < п.
Определение 3.10. Гиперрациональное число р будем называть бесконечно большим, если для всех положительных рациональных п верно \р\ > п.
Определение 3.11. Гиперрациональное число р будем называть бесконечно малым (и обозначать как р и 0), если р = 0 или существует бесконечно большое IV такое, что р = 1¥~г.
Замечание 3.2. Понятия бесконечно малого и бесконечно большого числа, а так же отношение бесконечной близости не выразимы в теории гиперрациональных чисел, так как в языке этой теории нет предиката, выделяющего одно из этих понятий. Понятия, не выразимые в языке теории, называют внешними, в противовес внутренним, выразимых в теории. Таким образом, понятия, связанные с бесконечной малостью являются внешними по отношению к теории гиперрациональных чисел. Рассуждая формально, мы должны рассматривать некоторую метатеорию для теории гиперрациональных чисел, которая содержит предикатный символ для свойства "быть бесконечно малым "(или "бесконечно большим"), или отношения бесконечной близости. Мы, однако, не будем формализовать эту метатеорию, предпочитая ее неформальную форму. Формализация этой метатеории приводит к аналогу теории внешних множеств Нельсона.
Теорема 3.8. Для гиперрациональных чисел верны следующие утверждения:
1. Сумма бесконечно больших чисел одного знака является бесконечно большим, и произведение бесконечно больших является бесконечно большим.
2. Произведение бесконечно большого на конечное дает бесконечно большое.
3. Сумма и произведение бесконечно малых является бесконечно малыми.
4. Произведение конечного на бесконечно малое дает бесконечно малое.
5. Сумма и произведение конечных чисел является конечным числом.
6. Отношение конечных чисел конечно, если знаменатель не бесконечно мал.
Доказательство.
1. 1) Рассмотрим сумму бесконечно больших чисел одного знака.
Пусть УУ2 — положительные бесконечно большие числа. По оп-
ределению для любых положительных рациональных п\, п2 | =
> пь \1¥2\ = И^2 > п2. Рассмотрим |Н^1 + И^| = + \¥2 =
|И^| + |И^| > Щ + п2, П1 + п2 обозначим за п3. Тогда для любого положительного рационального п3 > Щ, по определению
IV! + 1¥2 бесконечно большое.
Пусть И^,1¥2 отрицательные бесконечно большие числа. По определению для любых положительных рациональных щ, п2 \ W\ \ — —И7! > \1¥2\ = — И^2 > ^2- Рассмотрим |Н^1 + }¥2\ = — (И^ +
]¥2) — (—И^) + (—И^) > п\ + п2, п\ + п2 обозначим за п3. Тогда для любого положительного рационального п3 \]У1 + И^| > Щ, но определению И^1 + \¥2 бесконечно большое.
2) Рассмотрим произведение бесконечно больших чисел. Пусть ^2 бесконечно большие числа. По определению для любых положительных рациональных п\,п2 \\№\\ > п\, |И^| > Щ- Рассмотрим | • \У21 = | 1 • | ТУ21 > п\ • п2, П1 * п2 обозначим за п3. То-
гда для любого положительного рационального п3 1И7! • \¥2\ > п3, ПО определению W\ * И^2 бесконечно большое.
2. Рассмотрим произведение бесконечно большого и конечного р. Для любого рационального положительного гг по определению
<п
бесконечно большого IV > — , где т рациональное число та-
т
кое, что \р\ < т. Следовательно, |ТУ -р\ = |И^| • |р| > п для любого рационального положительного п.
Тогда по определению }¥-р бесконечно большое.
Лемма 3.1. £ ^ 0 тогда и только тогда, когда для любого положительного рационального числа г верно \е\ < г.
Доказательство очевидно.
3. Пусть £,8 бесконечно малые. Тогда по определению существует
бесконечно большие 1У1, УУ2 такие, что е — или е — 0 и
8 = И7^1 или ^ = 0. Случай, если е — 0 или 5 = 0 тривиален, т.к. £ + 0 = 0, £*0 = 0и(5 + 0 = 0, <5*0 = 0, а ноль бесконечно мал. Если е Ф 0&5 ф 0, то воспользуемся леммой 3.1.
1) Рассмотрим сумму е + 5, е ~ 0, 8 ~ 0, по лемме 3.1. для любых положительных рациональных чисел гиг верно \е\ < г, 8 < г, тогда \е + 8\ < \е\ + \8\ < г + г, пусть п = г + г, тогда для любого положительного рационального п верно \е + 8\ < п.
Отсюда по лемме 3.1 . заключаем, что е + 8 бесконечно малое.
2) Рассмотрим произведение е • 5, е ~ 0, 8 ~ 0, по лемме 3.1. для любых положительных рациональных чисел гиг верно \е\ < г, 8 < г, тогда |е • 5| = \е\ + |5| < г • г, пусть гг = г • г, тогда для любого положительного рационального п верно \е • 6\ < п.
Отсюда по лемме 3.1. заключаем, что е • 8 бесконечно малое.
4. Пусть р конечное гиперрациональное число, а £ бесконечно
малое. Тогда по определению существует положительное рациональное гг, такое что \р\ < гг, и существует бесконечно большое такое что е = или 6 = 0. Если £ = 0, то случай тривиален, так как р-0 = 0, а ноль — бесконечно мал. Если £ ф 0, то р-е — р-< \р\ • ИТ1 < п • 1 = (гг 1 • И^х) \ так как п — положительное
рациональное число, то существует бесконечно большое такое что (гг-1 • — И^2, тогда по определению р • £ = 7, где 7
бесконечно малое.
5. Пусть р, </ — конечные гиперрациональные числа, тогда по определению существуют положительные рациональные п\, тг2, такие что \р\ < пъ |д| < п2. Рассмотрим модуль суммы \p-\-q\ < |р| + |?| < п\ + гг2 = гг3, где гг3 некоторое положительное рациональное число. Тогда по определению р + q конечно.
Рассмотрим модуль произведения \р • д| = |р| • |д| < щ • п2 = п3, где гг3 — некоторое положительное рациональное число. Тогда по определению р • q конечно.
6. Пусть р, q — конечные гиперрациональные числа и § 56 0, тогда по определению существуют положительные рациональные п\, тг2,
р
такие что \р\ < П1, \д\ < тг2. Рассмотрим модуль четного |-| =
\рI . Пх
— < — = щ, где щ — некоторое положительное рациональное \Q\ п2
Р
число. Тогда по определению - конечно.
Q
Теорема доказана.
Определение 3.12. Гиперрациональные числа р и q будем называть “бесконечно близкими11 (и обозначать как р ~ q), если р + (—q) ~ 0.
Лемма 3.2. Пусть р — гиперрациональное число, не являющееся бесконечно малым. Тогда для любого бесконечно малого є р + є > 0 тогда и только тогда, когда р > 0.
Доказательство.
Достаточность. Пусть сначала є > 0. Тогда, очевидно, что р + є > 0. Если же є < 0, то в силу того, что р не является бесконечно малым,
р > —є, то есть р + є > 0.
Необходимость. Если є > 0, то р + є > £ и, следовательно, р > 0.
Если же є < 0, то — є > 0. Тогда р = р + є — £> 0.
Лемма 3.2 доказана.
Определение 3.13. Будем говорить, что гиперрациональное число р „не меньше с точностью до бесконечно малой“ гиперрационального числа q (обозначим это отношение символом >), если
(Р> 9) V (р « q),
и будем говорить, что гиперрациональное число р „не больше с точностью до бесконечно малой “ гиперрационального числа q, если q > р (обозначим это символом р < q).
Определение 3.14. Монада числа р — совокупность всех гиперрацио-нальных чисел бесконечно близких к р. Обозначается ц(р). Будем писать х Є ц(р), если х ~ р.
Теорема 3.9. Для любых гиперрациональных чисел p,q и г
1.
(р~р);
5.
(р ~ q^kq ~ г Э р ~ г).
Доказательство.
1. Рассмотрим р = (я, у, £), тогда —р = (у,х,г). р+ (~р) — (х(г +
1) +2/(г + 1), 2/(2; + 1) +х(г + 1), г(г + 1)) = (х + у,у + х, г) = (0,0,0)
и, следовательно, бесконечно мало, поэтому \/р(р & р). Ч.т.д.
2.
Лемма 3.3. г ^ 0 тогда и только тогда, когда —г « 0. Доказательство.
г ~ 0 т.к. произведение конечного на бесконечно малое дает бесконечно малое, то (—1) • г ~ 0. Обратное доказывается аналогично.
Лемма доказана.
Обозначим р + (—q) = г, домножим обе части на —1, тогда q + (— р) — —г. Если г ~ 0. то —г ~ 0 и наоборот. Отсюда для всех р и q (р ж q влечет q & р). Ч.т.д.
3. р ж q&zq ж г, тогда р + (—q) ~ 0 и § + (—г) « 0, складывая,
получаем (сложим последние два равенства, получим) р+(—г) ~ 0 влечет р ж г. Отсюда для всех р и q (р ж q&zq Зр^г). Ч.т.д.
Данная теорема показывает, что отношение бесконечной близости является отношением эквивалентности. И следовательно все конечные гиперрациональные числа разбиваются на непересекающиеся монады.
Монада не может содержать более одного рационального числа. Мы рассматриваем конечные гиперрациональные числа и их монады, так как именно их монады дают аналоги вещественных чисел. Некоторые монады содержат рациональное число, а некоторые нет. Монада, не содержащая рационального числа, по существу определяет иррациональное число с точностью до бесконечно малой. Таким образом, мы имеем вещественные числа с погрешностью: каждое вещественное число определяется с точностью до бесконечно малой.
4. Гиперрациональные функции
Определение 4.1. Р — формула с двумя свободными переменными для гиперрационалъных чисел. Если VctV/З7 (Р(а, /3)к,Р(а,,у) Э f3 = 7), и УаЗ(ЗР(а, (3), то говорят, что Р определяет гиперрациональную функцию.
Функции будем обозначать f, g и т.д.
Пусть а, b — гиперрациональные числа, а (а, Ь) — промежуток любого из следующих видов: (а,Ь), (а, Ь\, [а, 6), [а, Ь].
Определение 4.2. Функция / называется равномерно непрерывной на промежутке (а, 6), если для всех р и q из промежутка (а, b) из р « q следует, что f(p) « /(9).
Определение 4.3. Пусть Р — формула в теории гиперрационалъных чисел с единственной свободной переменной. Будем говорить, что р € {ж : Р(ж)}, если р — гиперрациональное число и Ь Р(р).
Приведенное определение позволяет в теории гиперрациональных чисел рассматривать множества, точнее не все, а только внутренние — определимые в этой теории. Отметим, что монады являются внешними множествами.
Определение 4.4. Пусть ц — некоторая монада2. Функция / называется непрерывной в монаде /л, если для всех элементов этой монады значения функции бесконечно близки.
Определение 4.5. Функция / называется равномерно непрерывной на множестве Е, если она непрерывна в монаде каждого элемента множества Е.
Теория равномерно непрерывных функций на промежутках гиперрациональных чисел изложена в [2].
Теорема 4.1. Если функции fug равномерно непрерывны на промежутке (а,Ь), где а,Ь — гиперрациональные числа, то на этом промежутке равномерно непрерывны функции hi и h2, определяемые равенствами
h\(x) = f(x) + g(x) и h2{x) = f(x) - g(x).
2то есть /1 = fi{p) для некоторого числа p.
Теорема 4.2. Если функции fug равномерно непрерывны на промежутке {а,Ь), где а,Ь — гиперрационалъные числа, и принимают на нем только конечные гиперрационалъные значения, то на этом промежутке будет равномерно непрерывна функция hi, определяемая равенством hi(x) = f(x) х g(x), и, если функция g не принимает на (а, b) бесконечно малых значений, то функция h2, определяемая равенством h2(x) = будет также равномерно непрерывна на промежутке
{а, Ъ).
Теорема 4.3. Если функция / определена и равномерно непрерывна на промежутке (а,Ь), где а,Ь — гиперрационалъные числа и функция g определена и равномерно непрерывна на промежутке с гиперрацио-налъными концами, содержащем значения функции / на промежутке {а,Ь), то функция h, определяемая равенством h(x) = g(f(x)), равномерно непрерывна на промежутке (а,Ь).
Теорема 4.4. Пусть функция / определена и равномерно непрерывна на отрезке [а, Ь\, где а,Ь — рациональные числа и f(a)f(b) < 0. Тогда существует гиперрационалъное число с, такое что a<c<buf(c)xi 0.
Теорема 4.5. Пусть функция / определена и равномерно непрерывна на некотором промежутке, задаваемом двумя рациональными числами а и Ь, такими что, а < Ь, и на его концах принимает неравные значения А и В, такие что f(a) = А и f(b) = В. Тогда, каково бы ни было число С, лежащее между А и В, найдется такое число с, лежащее между а и Ь, что /(с) и С.
Определение 4.6. Будем говорить, что функция / имеет размытый максимум в точке р на промежутке (а, Ь), если для любой точки q из промежутка (а,Ь) верно f(q) < f(p)- Функция / имеет размытый минимум в точке р на промежутке (а, Ъ), если для любой точки q из промежутка (а,Ь) верно f(q) > f(p).
Теорема 4.6 (Вейерштрасса). Если функция / определена и равномерно непрерывна на отрезке [а,Ь], где а,Ь — рациональные числа, то она достигает своего размытого максимума и минимума на [а, Ь]. Т.е. найдется число С на отрезке [а, Ь\, такое что Ух £ [а, b] (f(C) < f(x)) и найдется число с из промежутка [а, Ъ\, такое что Ух G [а, Ь] (/(с) >
f(%))-
Доказательство этих утверждений имеется в [2].
Определение 4.7. Функция / дифференцируема в монаде точки с, если для всех р, д £ ц{с) существует конечное число А, такое что 1{р) ~ /(<?) = А' (р ~ о) + °{Р ~ Я)> г^е °(х) = е'х, £ ~ 0. Число А назовем производной функции / в //(с).
Пусть А — производная функции / в монаде ц. Тогда А «
1^1—1^-. Введем обозначение ^ {Л + £, £ « 0} — монада про-
р — д ацус)
изводной функции / в ц{с), то есть — класс производных. Таким образом, производная функции определяется с точность до бесконечно
В$
малой и /(р) — /(а) = -г~—г • (р — д) + о(р — д). Дальше будем работать
а 1л[с)
не с классом производных а с представителем класса /'(с).
ацус)
Определение 4.8. Функция / равномерно дифференцируема на (а,Ь), если она дифференцируема в монаде каждой точки (а, Ь).
Замечание 4.1. Согласно данному определению, функция равномерно дифференцируема во всей монаде, то есть бесконечно близким точкам соответствуют бесконечно близкие значения производной. С точки зрения теории вещественных функций это означает непрерывную дифференцируемость.
Теорема 4.7. Дифференцируемая функция является равномерно непрерывной, но не обратно.
Доказательство.
Необходимость:
Пусть функция / дифференцируема на (а, Ь) в монаде точки с //(с), тогда Ур, д £ ц(с) существует конечное число А, такое что /(р) — /(д) = А • (р — д) + о(р — д), где о(х) = е ■ х, е и 0. Если р — д « 0, то /(р) к f(g). Значит для любых р « д /(р) « /(<?), /(х) равномерно непрерывна на (а, Ь).
Достаточность: Приведем контр-пример. Рассмотрим функцию / = \р\. В монаде нуля / не дифференцируема, но / равномерно непрерывна на любом промежутке (а, Ь), содержащем ноль. Ч.т.д.
Теорема 4.8 (Простейшие свойства дифференцируемых функций). Рассмотрим функции и, V дифференцируемые на гиперрацио-нальных числах в монаде любого числа хо ц(хо), х$ из промежутка (а, Ъ) где а,Ь — гиперрациональные числа.
1. Производная постоянной функции равна нулю. Действительно, если и = с, где с = const для всех х из (а, Ъ), тогда для всех х0 из (а, Ь) для любого х £ ц(х0) существует и'(х) = 0.
2. Производная постоянной с точностью до бесконечно малой функции бесконечно мала (почти ноль). Действительно, пусть и « с, где с = const для всех х из (а, Ъ). Тогда для всех х^ из (а, Ь) для любого х € ц(хо) существует и'{х) ~ 0.
3. Производная суммы(разности) функций почти равна сумме (разности) производных функций: для всех хо из (а,Ь) для любого х £ h(xq) существует (и ± v)'(x) « и'(х) ± v'(x).
4■ Производная произведения функций почти равна сумме произведения производной
первой функции на вторую функцию и производной второй функции на первую функцию: для всех х^ из (а, Ь) для любого х £ ц{хц) существует (u-v)'(x) ~ u'-v(x)+v'-и(х), в частности (с-и)'(х) ~ с • и'(х), где с = const в/л,(хо).
5. Производная частного функций: для всех хо из (а, b) и для лю-
и
бого х е ц(хо), если v(x) ф Ое^(:со) существует (—)'(х) ~
с = const вц(хо).
Доказательство.
1. Пусть функция и = с, где с = const для всех х из (a, b), функция и дифференцируема на гиперрациональных числах в монаде любого числа жо Мхо)> тогда для любых p,q е ц(хо) верно и(р) — u(q) = и'(xq) ■ (р—q)+а- (р—q), а ~ 0, u(p) — u(q) = 0, тогда (для удобства) положим и'(хо) = 0, а = 0 Следовательно, и' = 0 ч.т.д
2. Пусть функция и ~ с, где с = const для всех х из (а, Ь), функция и дифференцируема на гиперрациональных числах в монаде любого числа Xq/j,(xq), тогда для любых p,q £ р*(хо) верно и(р) — u(q) = и'(хо) • (р—q) +а - (р—q), а ~ 0, u(p) — u(q) ~ 0 влечет u'(xo)-(p—q) + a-(p — q) ~ 0. Домножим обе части равенства на {p — q^^p — q ф 0. Тогда получим и'[хо) ~ —а « 0, то есть и' « 0 ч.т.д
и'(х) • v(x) — v'(x) ■ и(х)
, в частности
с
V
с • v'(x)
где
v2(x)
Пусть для любой точки хо для всех х из (а, Ь) у(х) = (и ± г>)(ж), у,и, У — дифференцируемы В X £ ц(Хо). Для всех р, д £ //(Жо) верно у(р) — у(д) = у'(хо) • (р — д) + а • (р — д), а « 0. Подставим у(х) = (и±у)(х), тогда (и±у)(р) — (м±г>)(9) = и(р) ±у(р) — «(#) =р г;(<?) = и(р) -«(?) ± (у(р) -у(д)) = и'(х0) ■ (р-д) ±у'(х0) ■ (р-д)+ £ • (р-д)+8-(р—д) = {г, 8 ~ 0} = (и,±г>/)(жо) ■ (р—д)+а - (р—д), а ~ 0.
Таким образом, (и ± у)1 к и' ± у' ч.т.д
Пусть для любой точки Хо для всех х из (а, Ь) у(х) = (и ■ у)(х), У,и, V — дифференцируемы В /л(Хо). Для всех р, д £ ц(Хо) верно у(р) ~ У (я) = У'(х о) • (р — д) + сх • (р — д), а & 0. Подставим у(х) = (и • г>)(ж), тогда (и • у)(р) — (и • у)(д) = и(р) • у(р) — и(д) ■ у(д) = и(р) ■ у(р) — и(д) • у(д) ± и(д) ■ у(р) = (и(р) — и(д)) • у(р) + и(д) ■ (у(р) - у(д)) = (и'(хо) • (р - д) + е ■ (р - д)) ■ у(р) + (г/(ж0) -(р~д) + 8-(р-д))- и(д) = и'(х0) ■ (р-д) ■ у(р) + ё ■ (р - д) + ь'(х0) ■ (р - д) ■ и(д) + 8 ■ (р - д) = и'{х0) -{р-д)- у{р) + у'{х0) ■ (р - д) • и(д) + а ■ (р - д) = (и'(х0) • у(р) + у'(х0) • и(д)) ■ (р - д) + а ■ (р - д) ж { так как и, у равномерно непрерывныр й д й х0 влечет у(р) й и(^) й г;(ж0), и(р) « и(д) & и(ж0))} ^ ((и' ■ у){х0) + (у' • и)(х0) ■ (р - д)) + а-(р-д)
Следовательно, (и • у)' ~ и' • у + у' • и ч.т.д.
Пусть для любой точки хо для всех х из (а, Ь) у(х) ф Ов^(жо)
и
у(х) = —(х), у,и, У — дифференцируемы В ц(хо). Для всех р, д £
У
ц{хо) верно у(р) - у(д) = у'(х0) • (р - д) + а • (р - д), а и 0.
/ч и/ \ и ( \ и( \ и(р) и{я)
Подставим у(х) = — (х), тогда —(р) — —(5) = —— — —— =
V V V у(р) у[д)
и(р) • у(о) — и{я) • у(р) и(р) • у(о) — и{я) • у(р) =ь и{я) * г>{я)
у(р) • у(д) у(р) • у(д)
= (и(р) ~ и(д)) • у(д) - и(д) • (у(р) - у(д)) = у(р) • у(д)
= [и'{хо) ■ {р-д)+е ■ (р-д)\- у{д) _ у(р) ■ у(д)
_ Ь;(д0)' (р ~ я) + ' (р ~ д)] • и(я) _
у(р) • у(д)
(и'(хо) • у(д) - у'(хо) • и(д)) • (р - д) + 7 • (р - д) ^ у(р) ■ у(д) ~
{ так как и, у равномерно непрерывны р « д « Жо влечет г>(р) « и(д) ~ у(хо), и(р) ~ и(д) ~ и(жо))} ~
и (ж0) • V (яо) - V (ж0) • м(х0)1 , , , , ,
-----------Г—------------- • (р - q) + a ■ (р - q)
v \хо) \
Теорема доказана.
5. Французские теоремы
В этом параграфе мы приведем теоремы о свойствах равномерно дифференцируемых функциях, являющиеся аналогами классических французских теорем.
Теорема 5.1 (Ферма). Пусть функция / определена и равномерно непрерывна на отрезке [а, Ь], где а,Ь — гиперрациональные числа, дифференцируема в монаде гиперрациональной точки с из (а,Ь), т.е. существует /, . Пусть, далее, / имеет размытый максимум(или ми-ац{с)
нимум) в точке с.
Пусть, далее в ц(с) функция не является строго возрастающей, то есть существует интервал (с — е, с + е) бесконечно малой длины в котором функция имеет наибольшее значение или постоянна.
Df
Тогда для любого представителя класса Г (с) £ , . , верно
ацус)
Г(с) « 0.
Доказательство.
/ имеет размытый максимум в точке с, то для любого q £ ц(с) f(q) < Df
/(с). Существует , поэтому для любого q £ fj,(c) f(c) — f(q) =
dn(c)
№ ■ (с - q) + o(c - q). Так как /(с) > f(q) f'(c) • (c-q) + o(c - q) > 0. Если с — q = 0 то верно 0 > 0, если с — q > 0, то f'(c) + £ > 0, по лемме 3.2 f(c) > 0. Если с — q < 0, то f(c) + £ < 0, по лемме 3.2 /'(с) < 0. Значит /'(с) ~ 0.
Теорема Ферма доказана.
Теорема 5.2 (Ролля). Если функция / определена и равномерно непрерывна на отрезке [а,Ь\, где а,Ь — рациональные числа, равномерно дифференцируема на (а,Ь), не имеет монад роста, f(a) « f(b), то существует с из (а, b) так что, для любого представителя класса Df
f(c) £ ——- верно /'(с) « 0. а/л(с)
Доказательство.
По теореме Вейерштрасса / имеет размытый максимум на [а, Ь\, тогда для любой р из [а, Ь] верно f(C) > f(p).
Случай 1. a < С < Ь.
/ дифференцируема в ц{С)} для р, q G fi(C) f(p) - f{q) = f(C) ■ (p -q) + s • (p - q), £ « 0.
Тогда по теореме Ферма f'(C) ~ 0.
Случай 2. С — a. Точка размытого максимума совпадает с одним из концов промежутка.
Тогда рассмотрим точку размытого минимума с, которая существует по Теореме Вейерштрасса. 1. Если точка минимума с лежит строго в промежутке (а, 6), то функция / дифференцируема в //(с), для p,q Е Мс) Др) - /(<?) = /'(с) • (р - я) + £ • (р - ?)> £ ~ 0. Тогда по Теореме Ферма f (с) « 0.
2. Если точка минимума с совпадает с 6 (если совпадает с а, то функция / почти постоянна, и ее производная почти ноль), и по условию /(а) ~ f(b), а значит /(С) ~ /(с), то функция / почти постоянна. Тогда по свойству 2 дифференцируемых функций f'(C) ~ 0.
Случай 3. с = b рассматривается аналогично случаю 2.
Получаем, что существует с из (а, 6) такая что, для любого предста-Df
вителя класса /Чс) G -г~гт верно f'ic) к 0.
ац(с)
Теорема Ролля доказана.
Теорема 5.3 (Лагранжа). Если функция / определена и равномерно
непрерывна на отрезке [а, Ь], где а,Ь — рациональные числа, равномерно
дифференцируема на (а, b). Тогда, если функция не имеет монад роста,
то существует гиперрациональная точка с из (а, Ь) такая что, для
/- 1 ли \ Df . fib) — f(a)
любого представителя класса / (с) € , . . верно / (с) ~-----------.
ац(с) о — а
Доказательство.
Так как / равномерно непрерывна на отрезке [а, 6], то для любых точек р, q из [а, b\, р « q f(p) « /(5). Для любой точки с из (а, 5) существу-Df
еТ d/Mcj' Т°гДадлялюбыхР,9 £ „(с) /(р)-/(<?) = //(с)-Ь-?)+£-(р-?)-
f(b) f ( cl)
Введем функцию <р(х) = f(x) — f(a)------ ------(х — а). Тогда (р(х)
0 CL
— равномерно непрерывна на [а, Ь] и равномерно дифференцируема на (а, Ь). Имеем <р(а) = 0, <р(Ь) = 0 =>- <р(а) ~ <р(Ь). Тогда по Теореме Ролля существует точка с из (а, b) такая что ip'{с) ~ 0, а (р'(х) №) -
f(b) — f(a) и ч ч /(&) — /(а)
----------, отсюда (р (с) « / (с)----------« 0.
b — a b — а
Следовательно, f'ic) « ^—7—^ ^.
о — a
Теорема Лагранжа доказана.
Литература
1. Косовский Н. К., Тишков А. В. Логики конечнозначных предикатов на основе неравенств: Учеб.пособие. СПб.: Издательство С.-Петерб.университета. 2000. 268 с.
2. Сегаль И. Ф. Доказательство равномерной непрерывности функций на гиперрациональных числах в аксиоматике арифметики./ Косовский Н.К. Тишков А.В. Логики конечнозначных предикатов на основе неравенств: Учеб.пособие. СПб.: Издательство С.-Петерб.университета. 2000. С. 232 - 240.
3. Ловягин Ю. Н. Исчисление бесконечно малых Г. В. Лейбница в современном изложении, или Введение в нестандартный анализ А.Робинсона. Сыктывкар: СЛИ. 2001. 161с.
4. Девис М. Прикладной нестандартный анализ. М.: Мир. 1980. 236 с.
5. Успенский В. А. Что такое нестандартный анализ? М.: Наука. 1987. 128 с.
6. Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. В Зт. М.: Наука. 1969. T.I. 607 с.
7. Варден Б. Л. Ван дер Алгебра. М.: Наука. 1979. 623с.
8. Nelson Е. Internal set theory. A new approach to non standard analysis // Bull. amer. Math. Soc. 1977. V. 83. Ms6. P. 1165 - 1198.
9. Марков А. А., Нагорный H. М. Теория алгорифмов. М.: Наука. 1984. 320 с.
10. Кейслер X. Дж., Чэн 4. Ч. Теория моделей. М.:Мир. 1977. 614 с.
Summary
Prazdnikova E1.W1. Modelling the real analysis in the framework of axiomatic of hypernatural numbers
In the paper formalized theory of Non-Standard theory of numbers and formalized theory of hyperrational numbers are stated. The main theorems of classical differential calculus are modelled.
Санкт-Петербургский университет
Поступила 24-11.2007