Новые требования к гипердействительным числам и основная гипотеза

Мы построили неархимедово расширение R(e) поля действительных чисел. Новым требованием к гипердействительным числам яляется следующее. Нужно уметь вычислять «значения» стандартных функций (заданных первоначально как функции с действительными аргументами и значениями) на гипердействительных аргументах. Другими словами, для каждой функции f: R®R необходимо иметь ее «гипердействптельный аналог» *f: R®R. При этом, значения *f на стандартных числах должны совпадать с соответствующими значениями функции f. Другими словами, *f должно быть продолжением f. Такие аналоги были у нас для операций сложения, вычитания, умножения и деления. Но этого мало: нужны такие аналоги и для других функций.

Итак, для каждой стандартной функции f (функции с действительными аргументами и значениями) нам нужно иметь ее гипердействительное продолжение *f. Если от *f ничего не требовать, то это тривиально: можно считать, что во всех действительных точках *f принимает те же значения, что и f, а в нестандартных точках *f имеет какие угодно значения (например, нули). Ясно, однако, что от такого продолжения никакого толку нет:

Нужно выделить некоторый класс свойств — класс тех свойств, которые мы хотим сохранить. Правильный выбор этого класса имеет решающее значение для успеха нашего построения системы гипердействительных чисел. Если этот класс будет слишком узок, то от наличия продолжений *f не будет пользы. Если же, напротив, он будет слишком широк, то сама возможность построения системы гипердействительпых чисел и определения продолжений окажется под угрозой.

Наша главная задача – описать, какие свойства стандартных функций мы хотим сохранить при переходе от действительных чисел к гипердействительным. Есть две возможности это сделать. Первая возможность состоит в применении методов математической логики. Можно сказать, что при переходе от действительных чисел к гипердействительным сохраняются все свойства, которые можно выразить на «языке первого порядка». Вторая возможность позволяет обойтись более «кустарными» средствами и не прибегать к сведениям из логики. Конечно, при этом мы будем испытывать некоторые неудобства, использовать обходные маневры и т. п., но зато не потребуется знакомство с математической логикой.

Мы предполагаем, что помимо поля R действительных чисел имеется более широкое упорядоченное поле *R гипердействительных чисел, включающее R как подмножество (еще раз подчеркнем, что существование *R с нужными свойствами является пока только гипотезой, а не доказанным фактом). Пусть для каждой функции f с действительными аргументами имеется ее естественное распространение, ее «гипердействительный аналог» — функция с гипердействительными аргументами и значениями. При этом функция f может быть функцией не только одного действительного аргумента, но и двух, трех и т. д.; функция *f, разумеется, должна иметь то же самое число аргументов. Для простоты мы пока не будем рассматривать частичных функций и будем считать, что f (соответственно *f) определена при всех действительных (соответственно гипердействительных) аргументах. Сформулируем теперь наше требование («аналоги обладают теми же свойствами, что и исходные функции») более точно.

Будем рассматривать системы уравнений вида t=s и неравенств вида t¹s, левые и правые части которых содержат какие-то действительные функции действительных аргументов, действительные константы и переменные — что-нибудь вроде

sin(cos(x))=y+exp(z), z¹y-2x, [z]=y

Эта система содержит переменные x, y, z, одноместные функции sin,cos,exp [ ] (целая часть), двуместные функции (сложение, вычитание, умножение) и константу 2 (константы для единообразия мы будем считать функциями нуля аргументов). Все входящие в систему функции имеют по нашему предположению гипердействительные аналоги. Обозначим их *sin, *cos, *exp, *[ ], *+, *–, и напишем систему

*sin(*cos(x))=y*+*exp(z), z¹y*–2*x, *[z]=y

которую естественно назвать «гипердействительным аналогом исходной».

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

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

Введем понятие терма. Выберем счетный набор символов, элементы которого будем называть переменными. Будем называть термом любую переменную, любое действительное число, а также любое выражение вида f(t1, ..., tn), где f – функция п действительных аргументов, а t1, ..., tn – построенные ранее термы.

Системой (точнее, системой уравнений и неравенств) назовем конечный набор записей вида t=s или t¹s, где t, s – термы. Определим теперь понятие решения системы. Еслп в терм подставить действительные числа вместо переменных, то он приобретет некоторое действительное значение. Решение системы – это такой набор значений переменных, при котором левая и правая части любою равенства I t=s, входящего в систему, приобретают одно и то же значение, а левая и правая части любого неравенства t¹s, входящего в систему,— разные.

По нашему предположению всякая функция с действительными аргументами н значениями имеет гппердействительный аналог («естественное продолжение»). Понятие гипердействительного аналога легко распространяется на термы — чтобы получить аналог терма t, надо просто заменить все входящие в него функции на их гипердействительпые аналоги. Проделав эту операцию со всеми термами, входящими в какую-то систему S, мы получим систему *S, которую естественно также назвать гипердействительным аналогом системы S. Поскольку в нее входят функции с гипердействительными аргументами и значениями, вместо переменных можно подставлять произвольные гипердействительные числа. Гппердейст-вительным решением системы *S назовем такой набор гипердействительпых значений переменных, при которых выполнены все входящие в нее уравнения и неравенства. Теперь можно сформулировать наше требование к системе гипердействительных чисел и к гипердействительным аналогам следующим образом.

Пусть S — произвольная система уравнений и неравенств, *S – ее гипердействительный аналог. Если *S имеет (гипердействительные} решения, то S должна иметь действительные решения.

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