Так Гамильтон убрал то, что он назвал «метафизическими камнями преткновения» в системе комплексных чисел.
В свою теорию пар Гамильтон включил и свойства вещественных чисел — пар вида (a, 0).В работе от 1837 г. он попытался логически обосновать систему вещественных чисел. Исходя из понятия времени, Гамильтон вывел свойства положительных целых чисел, а затем распространил эти свойства на рациональные (положительные и отрицательные целые числа и дроби) и иррациональные числа. Но развитая Гамильтоном теория была логически весьма несовершенна и особенно несостоятельна во всем, что касалось иррациональных чисел. Она была не только неясно изложена, но и неверна. Математический мир вполне справедливо просто не заметил эту работу Гамильтона. Интерес Гамильтона к обоснованию вещественных и комплексных чисел был ограниченным. Истинной целью его исследований были кватернионы. Но когда Гамильтону случалось работать в области математического анализа, он, подобно большинству своих современников, без малейших колебаний свободно оперировал свойствами вещественных и комплексных чисел.
Вейерштрасс первым понял, что обоснование математического анализа останется незавершенным, если не добиться более глубокого понимания системы вещественных чисел, и первым предложил строгое определение и вывод свойств иррациональных чисел на основе известных свойств рациональных чисел. Свои исследования Вейерштрасс начал еще в 40-х годах XIX в., но его результаты долгое время оставались неопубликованными; впервые они стали известны лишь из лекций, прочитанных Вейерштрассом в Берлинском университете в 60-е годы.
Некоторые другие математики, прежде всего Рихард Дедекинд и Георг Кантор, также правильно определили иррациональные числа и доказали их свойства, приняв за исходные свойства рациональных чисел. Работы этих математиков были опубликованы в 70-х годах XIX в. Дедекинд, как и в Вейерштрасс, отчетливо сознавал необходимость ясной теории иррациональных чисел для последовательного изложения математического анализа. В небольшой книге «Непрерывность и иррациональные числа» (1872) [46] Дедекинд писал, что начиная с 1858 г. он «острее, чем когда-либо, ощущал отсутствие строгого обоснования арифметики». В работе о теоремах анализа (гл. IX) Кантор также признавал необходимость последовательной теории иррациональных чисел. Работы Вейерштрасса, Дедекинда и Кантора позволили математикам наконец доказать, что √2∙√3 = √6.
Однако логическое обоснование рациональных чисел по-прежнему отсутствовало. Дедекинд понимал это и в работе «Что такое числа и для чего они служат» (1888) [47] описал основные свойства чисел, которые могли бы стать основой аксиоматического подхода к рациональным числам. Джузеппе Пеано (1858-1932), используя идеи Дедекинда и некоторые идеи, заимствованные из «Учебника арифметики» (1861) Германа Грассмана, построил в работе «Элементы арифметики» (1889) теорию рациональных чисел из аксиом, описывающих свойства положительных целых — (натуральных) чисел. {92}Наконец логическая структура систем вещественных и комплексных чисел была создана.
Как побочный результат обоснования числовой системы была решена проблема обоснования привычной всем алгебры. Почему, свободно манипулируя символами так, как если бы они были натуральными числами, мы получаем верные результаты и в том случае, если вместо символов подставляем вещественные или комплексные числа? Это происходит потому, что вещественные и комплексные числа обладают такими же формальными свойствами, что и натуральные числа. Если не гнаться за строгостью, то можно сказать,что верно не только равенство 2∙3 = 3∙2, но и равенство √2∙√3 = √3∙√2.
Иначе говоря, abможно заменить на baнезависимо от того, означают ли aи bнатуральные или иррациональные числа.
Весьма примечательна последовательность, в которой развивались события. Вместо того, чтобы, начав с целых чисел и дробей, перейти к иррациональным и комплексным числам, алгебре и математическому анализу, ученые решали проблему обоснования математики в обратном порядке. Они действовали так, будто крайне неохотно затрагивали проблемы, которые, как всем было ясно, можно было до поры до времени обходить стороной, и принимались за обоснование лишь в тех случаях, когда это вызывалось настоятельной необходимостью. Как бы то ни было, в 90-е годы XIX в., через каких-нибудь шесть тысяч лет (!) после того, как египтяне и вавилоняне «пустили в оборот» целые числа, дроби и иррациональные числа, математики смогли наконец доказать, что 2 + 2 = 4. Стало ясно, что даже великие математики должны заботиться о математической строгости.
В конце XIX в. была решена еще одна выдающаяся проблема. На протяжении 60 лет — с того времени, когда Гаусс выразил уверенность в непротиворечивости построенной им неевклидовой геометрии, вероятно, считая, что она может явиться геометрией реальной Вселенной, и вплоть до начала 70-х годов XIX в., когда были опубликованы работы Гаусса по неевклидовой геометрии и (впоследствии прославленная, а первоначально не оцененная) пробная лекция Римана на получение звания приват-доцента, — большинство математиков не принимали неевклидову геометрию всерьез (гл. IV). Выводы, напрашивающиеся из самого существования неевлидовой геометрии, настолько пугали своей непривычностью, что ученые предпочитали не задумываться над ними. У математиков все еще теплилась надежда, что в один прекрасный день в каждой из нескольких предложенных неевклидовых геометрий вскроются противоречия и эти странные творения человеческой фантазии можно будет предать забвению как бессмысленные.
К счастью, вопрос о непротиворечивости элементарных неевклидовых геометрий наконец удалось разрешить. Метод, которым была решена эта проблема, заслуживает — особенно в свете последующих событий — того, чтобы познакомиться с ним подробнее. Одна из неевклидовых геометрий — так называемая удвоенная эллиптическая геометрия, идея которой содержалась в лекции Римана 1854 г., — существенно отличается от евклидовой геометрии. В этой геометрии нет параллельных; любые две прямые пересекаются в двух точках; сумма внутренних углов треугольника больше 180°. Многие другие ее теоремы также отличаются от своих евклидовых аналогов. В 1868 г. Эудженио Бельтрами (1835-1900) обнаружил, что удвоенная эллиптическая геометрия плоскости применима к поверхности сферы, если прямые в удвоенной эллиптической геометрии интерпретировать как большие окружности на сфере (окружности, центры которых совпадают с центром сферы, например окружности, образуемые меридианами).
Может показаться, что предложенная Бельтрами интерпретация удвоенной эллиптической геометрии неприемлема. Создатели всех неевклидовых геометрий показали, что в их геометриях прямые ничем не отличаются от евклидовых прямых. Напомним, однако, что предложенные Евклидом определения прямой и других понятий (гл. V) были излишними. В любой области математики, как подчеркивал Аристотель, мы должны начинать наши построения с неопределяемых понятий. От прямых требуется лишь, чтобы они удовлетворяли аксиомам. Но большие окружности на сфере удовлетворяют всем аксиомам удвоенной эллиптической геометрии. А поскольку аксиомы удвоенной эллиптической геометрии применимы к большим окружностям на сфере, к этим окружностям должны быть применимы и теоремы удвоенной эллиптической геометрии, так как они логически вытекают из аксиом.
Если исходить из интерпретации прямой как большой окружности, то непротиворечивость удвоенной эллиптической геометрии устанавливается следующим образом. Если бы в удвоенной эллиптической геометрии существовали противоречивые теоремы, то должны были бы существовать противоречивые теоремы и в сферической геометрии— геометрии на поверхности сферы. Но сфера — один из объектов, изучаемых евклидовой геометрией. Следовательно, если евклидова геометрия непротиворечива,то должна быть непротиворечива и удвоенная эллиптическая геометрия.
