CC BY
482010
ВЕСТНИК ПЕРМСКОГО УНИВЕРСИТЕТА_______________
Математика. Механика. Информатика Вып. 2(2)
ИСТОРИЯ ФИЗИКО-МАТЕМАТИЧЕСКИХ НАУК
УДК 51(09)
О развитии аксиоматического метода и его роли в построении математических теорий
А. Е. Малых
Пермский государственный педагогический университет, Россия, 614000, Пермь, ул. Пушкина, 42 [email protected]; (342) 223-30-55
Показана история аксиоматического метода построения научных теорий. Он использовался при создании неевклидовых геометрий. Одной из них является эллиптическая геометрия Римана, 155-летие которой отмечается в этом году.
Ключевые слова: основания геометрии; аксиоматика; метод; неевклидова геометрия.
Возникновение геометрии уходит корнями в глубь веков. Простейшие сведения и понятия были известны уже во втором тысячелетии до н.э. египтянам, позже — вавилонянам. С VII в. до н.э. развитие геометрии происходило главным образом в Древней Греции: формировалась метрическая составляющая, развивалось учение о пропорциях и подобии фигур, конических сечениях; формировались требования к решению задач на построение. III в. до н. э. считается "золотым веком" греческой математики. За сравнительно короткий срок - от Евдокса Книдского до Аполлония Пергского - была проделана исключительно плодотворная научная и творческая работа. Для математики этого периода, который называют эпохой эллинизма, характерен интерес к построению логически завершенных теорий. Уже в эпоху "золотого века" Афин (IV в. до н. э.) в Ликее Аристотеля была создана логика как дедуктивная наука. Аналогичную структуру имела впоследствии и геометрия.
В рассматриваемый период весьма популярной была игра, называемая "диалектикой", в которой участвовали два человека А и
В. Игрок А задавал вопросы В, а В мог отвечать на них только "да" или "нет". Цель игры состояла в том, что А должен принудить В согласиться с некоторыми положениями, которые В прежде отрицал. В начале спора А выдвигал некоторые предложения-постулаты (от латинского слова postulatum - требования), которые В должен был принять без доказательств. Если В не соглашался с ними, то спор не мог произойти. В противном случае он вынужден был согласиться и с другими положениями, выдвинутыми А.
В математике аксиоматический метод впервые появился в работах древнегреческих ученых. Имеются сведения о том, что Гиппократом Хиосским (V в. до н.э.) были написаны первые "Начала". Спустя почти полтора столетия Архимед предпринял попытку аксиоматически определить понятие площади и длины. Аполлоний предложил новую аксиоматику геометрии. Но особое место в этом ряду занимают "Начала" Евклида (13 книг), которые стали одной из важнейших составляющих геометрии эпохи эллинизма. В них автор придерживался аристотелевских принципов дедуктивного построения науки.
© А. Е. Малых, 2010
Согласно Аристотелю, всякое учение и основанная на рассуждениях наука возникают из предшествующих знаний, однако не всякое рассуждение можно считать доказательством. Доказательство (аподейктика), по Аристотелю, - это установление истинности суждения путем выведения его с необходимостью из истинности других. Доказательная наука должна строиться на истинных, первичных положениях, которые не доказываются.
К исходным положениям Аристотеля относятся:
- тезис (геа^) - недоказываемое положение, которое изучающему необходимо иметь заранее;
- аксиома (а£,шца) - недоказываемое, обладающее наивысшей степенью общности положение, отличающееся от тезиса тем, что ее необходимо иметь заранее каждому изучающему.
Тезисы разделяются на гипотезы и определения:
- гипотеза (ол^еагО - положение, в котором принимается или отвергается существование чего-то;
- определение (поризм) (оршцоО - положение, в котором не принимается и не отвергается существование чего-либо.
Определение отличается от гипотезы как положение, устанавливающее то, что именно есть нечто, от положения, устанавливающего, что нечто есть.
- Постулаты (аипцата) - положения, т.е. аксиомы геометрического характера.
Указанные выше положения, за исключением тезиса, совпадают с началами геометрии Евклида. Внешне "Начала" кажутся составленными так, будто Евклид поставил перед собой цель точно придерживаться правил игры "Диалектика": сначала выдвигались утверждения, которые нужно было принять без доказательства, после чего из них строго логическим путем выводились следствия - теоремы. Каждый, кто принимал аксиомы, должен принять и все теоремы.
Книги "Начал" представляют единое целое: ЫУ посвящены планиметрии, VII-IX -арифметике, X - несоизмеримым величинам и оперированию с иррациональностями, ХЬХШ
- стереометрии. Циркуль и линейка принципиально не употребляются как метрические средства, поэтому в книгах нет речи об измерении длин отрезков, площадей и объемов тел. Везде рассмотрено только их отношение.
В основе дедуктивного построения геометрии Евклида лежат неопределяемые понятия, определения, аксиомы и постулаты.
Неопределяемым понятиям Евклид дает пояснения - т. е. утверждения, при помощи которых они вводятся, например: точка есть то, что не имеет частей; линия же - длина без ширины; концы же линии - точки и др.
Затем Евклид вводит постулаты (требования) о возможности геометрических построений. Требуется:
Пі. Что от всякой точки до всякой точки "можно" провести прямую линию.
П2. И что ограниченную прямую "можно" непрерывно продолжать вдоль этой прямой.
Пз. И что из всякого центра и всяким раствором "может быть" описан круг.
П4. И что все прямые углы равны между собой.
П5. И если прямая, падающая на две прямые, образует внутренние и по одну сторону расположенные углы, меньшие двух прямых, то продолженные эти прямые неограниченно встретятся с той стороны, где углы меньше двух прямых.
Евклид ввел также и аксиомы, в переводе с греческого означающие уважение, достоинство, т. е. то, что вследствие своего авторитета не подвергается сомнению, а потому принимается без доказательства. Ими являются:
А1. Равные одному и тому же равны между собой.
А2. И если к равным прибавляются равные, то и целые будут равны.
А3. И если от равных отнимаются равные, то и остатки будут равны.
А4. И если к неравным прибавляются равные, то целые будут не равны.
А5. И удвоенные одного и того же равны между собой.
А6. И половины одного и того же равны между собой.
А7. И совмещающиеся друг с другом равны между собой.
А8. И целое больше своей части.
А9. И две прямые не содержат пространства.
Выбор постулатов и аксиом очень удачен. Почти все они вошли в современную аксиоматику. Однако их недостаточно для дедуктивного построения геометрии. В связи со строгими логическими принципами, развитыми в предыдущую эпоху и усовершенствованными отчасти самим Евклидом в его рабо-
те о ложных заключениях, самым важным была логическая неуязвимость. Но, кроме того, требовалось расположить - и в каждой книге, и во всем труде в целом - задачи и теоремы так, чтобы материалы для каждой новой теоремы (задачи) доставлялись предыдущими. Руководствуясь этим принципом, Евклид не позволял себе пользоваться даже серединой отрезка в каком-нибудь доказательстве, прежде чем не доказывал ранее его существование путем построения. Такую совокупность положений, при которой идут от известного к неизвестному, т.е. поднимаются от простого и частного к сложному и общему, называют синтетической системой. Она содержит исходный пункт и заключение.
Ясно, что теоремы, доказательства которых опираются на предшествующие теоремы и задачи, должны предполагать некоторые предварительные первичные построения, возможность выполнения которых считается известной, а также некоторые первичные утверждения, истинность которых считается очевидной. У Евклида роль таких построений играют постулаты, а аксиомы выполняют роль функции утверждений.
Метод рассуждений Евклида всегда синтетический. Для доказательства теоремы он исходит из заведомо справедливого утверждения, которое в конечном счете опирается на систему исходных высказываний. Из него он развивает последовательность следствий, приводящих к исходному утверждению. Обратный путь рассуждений в "Началах" не употребляется. В противоположность синтезу древние называли этот метод анализом.
Доказательства теорем строятся по единой схеме:
1) формулировка задачи или теоремы (предложение - лролааш);
2) введение чертежа для наглядного разъяснения постановки задачи или теоремы (изложение - 8%иеаш);
3) формулировка по чертежу искомого (определение - Зюршцоа);
4) проведение вспомогательных линий (построение - хахаохеип);
5) доказательство в собственном смысле (доказательство - аяоог^ю);
6) объявление того, что доказано и это доказанное решает задачу или же оно адекватно поставленной теореме (заключение -огцлераоца).
Долгое время считалось, что между постулатами и аксиомами нет различия. Однако первые предполагают возможность построения только геометрических объектов, а вторые используются для более широкого класса величин.
После этого все другие математические утверждения Евклид строго доказывает. Теорема в переводе с греческого означает "представление", "зрелище". В математике древних греков термин употребляется в смысле "истины, доступной созерцанию". Рассуждения, с помощью которых устанавливается справедливость теоремы, называются доказательством, т.е. проводится цепочка правильных умозаключений, идущих от исходных данных, признанных истинными к доказываемому утверждению.
"Начала" Евклида являлись уникальным образцом развертывания геометрии своей эпохи. Они оказывали огромнейшее влияние на жизнь многих выдающихся ученых. С томами Евклида не расставался Н.Коперник; тщательно изучал "Начала" Галилео Галилей; план своего основного сочинения "Этика" Спиноза целиком заимствовал у Евклида. Геометрией Евклида был очарован и Альберт Эйнштейн. Он говорил о том, что почитает Древнюю Грецию как колыбель западной науки, где была впервые создана геометрия Евклида - это чудо мысли, логическая система, выводы которой с точностью вытекают один из другого так, что ни один из них не был подвергнут какому-либо сомнению. Это удивительное произведение мысли дало человеческому разуму ту уверенность в себе, которая была необходима для его последующей деятельности. Об Евклиде Э.Кольман сказал: " Не может быть сомнения в том, что Евклид был великим геометром. Гигантская задача систематизации, которую он столь блестяще выполнил, сама по себе была под силу лишь крупнейшему ученому".
О личности Евклида сохранилось мало сведений. Известно, что он заведовал математическим отделом Александрийской библиотеки, был очень скромным человеком, не искал славы. Если верить древним авторам, то он отказался от всех земных утех и радостей. До нас дошли лишь два эпизода из жизни Евклида. Египетский царь Птолемей I, наслышавшись о необычайной мудрости ученого, пожелал лично познакомиться с выдающимся математиком и его не менее прослав-
ленными "Началами". В сопровождении придворных царь прибыл в библиотеку и попросил Евклида рассказать ему о рукописи. Он милостиво выслушал формулировку и доказательство двух первых теорем. Но уже в начале третьей, удивляясь тому, каких трудностей стоило усвоение истин, содержащихся в них, с ужасом воскликнул: "Неужели нет других путей для того, чтобы понять эти вещи? " На это Евклид с достоинством ответил: "Нет, в математике даже для царей нет других путей". Да, даже для царей! Мысль о том, что математика - это предмет, требующий напряжения всех сил от каждого, кто пожелает ее изучать, бесконечно повторялась в разных вариантах многими как до Евклида, так и после него.
Евклидовы "Начала" были такими сложными для усвоения, что о теоремах, помещенных в них, говорили: первые две являются теоремами, а третья - "эфелюгой", что означало "бегство ученика". Действительно, мало кто выдерживал то неимоверное напряжение мысли, которого требовало изучение теорем. Впоследствии возникла легенда, которую пересказывали в различных видоизменениях: один из учеников, обессиленный от попыток усвоить "Начала", обратился со слезной просьбой к своему скромному, но очень требовательному учителю: "А что я буду иметь, если все это выучу?" Евклид приказал одному из своих рабов: «Дай ему три обола (мелкая монета). Он заслужил их уже тем, что изучает "Начала"». Изучение математики
- это труд, который оценивается так же, если не больше, чем физическая работа. Однако, говорят, Евклид, приказав дать ученику три обола, проявил полное неуважение к нему, сказав: "Этот ученик думает не о науке, а о том, как извлечь из нее выгоду".
Итак, Евклид собрал воедино математические сведения своих предшественников и современников, дополнив их собственными исследованиями, дал их систематическое изложение в своих "Началах". Больше всего в этом труде ученых интересовал пятый постулат, который трудно было признать очевидным. Поэтому возникло стремление доказать его, вывести из других основных посылок. Однако все доказательства либо содержали ошибки, либо опирались на положения, которых не было среди постулатов и аксиом Евклида. При более тщательном анализе всегда оказывалось, что доказанное предложение равносильно V постулату. Так, еще греческий
комментатор "Начал" Прокл Диадох (V в) доказал его, исходя из того, что параллельные прямые расположены на одинаковом расстоянии друг от друга или, по крайней мере, на ограниченном.
Другими предложениями, равносильными
V постулату, являются:
1) через точку вне данной прямой проходит единственная прямая, параллельная ей;
2) две параллельные прямые при пересечении их третьей прямой образуют равные соответственные углы;
3) сумма внутренних углов треугольника равна 180°;
4) существуют подобные неравные треугольники и др.
Если любые из этих утверждений взять в качестве аксиомы, то V постулат можно доказать как следствие из прочих аксиом геометрии.
Многочисленные исследования, посвященные проблеме V постулата, сыграли существенную роль в развитии геометрии, так как в них прослеживалась система далеко идущих следствий.
Аксиоматический метод является одним из эффективных средств построения научной теории. Однако в нем есть и свои особенности. Часто система аксиом - логический фундамент обоснования математической теории — не является навсегда законченной и совершенной, как и сами аксиомы. Она изменяется и совершенствуется. Наглядный пример тому
- попытки заменить V постулат Евклида, которые привели к созданию новой геометрии.
При построении теории аксиоматическим методом всегда возникают три проблемы, которые необходимо решить: непротиворечивости, независимости и полноты той или иной системой аксиом.
Система аксиом называется противоречивой, если из нее по правилам логического вывода можно вывести два противоречащих друг другу утверждения. В противном случае система аксиом непротиворечива. Противоречивая система не может быть пригодной для обоснования научной дисциплины.
Непротиворечивая система аксиом
А1,1 = \,п называется независимой, если
никакая из ее аксиом не является следствием других. Иными словами, независимость системы аксиом сводится к минимальности числа ее аксиом. Это требование обязательно только при строгом аксиоматическом изложении
теории, удовлетворяется оно не всегда. В учебных целях для упрощения некоторые аксиомы системы оставляют зависимыми.
Система аксиом называется полной, если все ее интерпретации (реализации, модели) изоморфны друг другу. В такой системе любое утверждение, высказанное на языке построенной теории, может быть либо доказано, либо опровергнуто. Полные системы аксиом
Рис. 1
встречаются редко. Существует два способа проверки непротиворечивости и независимости систем аксиом: непосредственный, исходящий из самого построения теории, и опосредованный - с помощью построения модели. В ХУШ столетии геометры изобрели новый способ доказательства независимости V постулата: предположив, что он неверен, старались прийти к противоречию, как это происходит при доказательстве методом от противного. Действительно, если пятый постулат можно вывести из других постулатов и аксиом евклидовой геометрии (т.е. он является теоремой), то предположение о том, что он неверен, должно бы привести к противоречию. Такую попытку предпринял в 1733 г. итальянский математик Дж. Саккери (1667-1733). В его работе "Евклид, очищенный от всяких пятен, или опыт, устанавливаемый самые первые принципы универсальной геометрии", в центре построений лежит
четырехугольник АА'В'В (рис. 3) с двумя прямыми углами при основании АВ и равными боковыми сторонами АА' и В'В. Из симметрии АА'В'В относительно серединного перпендикуляра НН' вытекает, что углы при вершинах А' и В' равны. Предположив, что V постулат не включен в список исходных постулатов и аксиом, Саккери установил: если угол А' тупой, то это противоречит
аксиомам геометрии; если же ¿Л прямой, то утверждение равносильно V постулату.
Далее, допустив, что угол А' острый, после ряда логически верных рассуждений он получил выводы, в высшей степени странные с точки зрения обычной геометрии. Поэтому, апеллируя лишь к наглядному представлению, он ошибочно заключил, что такое допущение также противоречит остальным аксиомам.
Используя метод от противного, пытался доказать пятый постулат и швейцарский ученый И.Г.Ламберт (1728-1777). В сочинении "Теория параллельных линий" (1766) основой построений является прямоугольник с тремя прямыми углами (рис. 4). Относительно четвертого угла С могут быть сделаны три допущения: он тупой, прямой или острый. В ходе доказательства Ламберт установил: гипотеза о том, что АС тупой, противоречит остальным аксиомам евклидовой геометрии; если АС = 90°, то она равносильна V постулату. Из гипотезы же острого угла Ламберт развил целую систему далеко идущих следствий, многие из которых противоречили наглядному представлению о свойствах прямых.
, - ч с А □ Г 6
Л
1 н Л А э Г1 Ъ А
т
Рис. 2
В отличие от Саккери, он не сделал ошибки, благодаря которой можно было бы отвергнуть пятый постулат. Наоборот, ученый писал о том, что доказательства V постулата могут быть доведены "столь далеко", что для успеха остается ничтожная мелочь. Однако именно в ней и заключается вся суть вопроса; обыкновенно она содержит либо доказываемое предложение, либо равносильный ему постулат.
В работе А.М.Лежандра (1752-1833) выясняется связь между V постулатом и предложением о сумме углов треугольника. Он вводит три взаимно исключающие друг друга гипотезы: сумма углов треугольника больше, равна или меньше суммы двух прямых углов.
Ему принадлежит доказательство теорем: если сумма углов треугольника больше двух прямых, то это противоречит аксиомам геометрии; если для всех треугольников сумма углов равна двум прямым, то верен V по-
стулат, и наоборот: если сумма углов какого-либо треугольника равна двум прямым, то и для всех треугольников сумма углов равна двум прямым. Таким образом, утверждение о том, что сумма углов какого-либо треугольника меньше двух прямых, равносильно предложению, отрицающему V постулат.
Однако, как ни пытались геометры прийти к противоречию, им не удавалось этого сделать. Они получали все новые и новые следствия, некоторые выглядели парадоксально: сумма углов у различных треугольников различна, но всегда меньше или равна 180°; линия, отстоящая от некоторой прямой (эквидистанта), не является прямой; не существует подобных треугольников и вообще подобных фигур и др.
Попытки доказательства независимости
V постулата продолжались. В двадцатых годах XIX в. было получено неожиданное решение этой многовековой проблемы. Оно было связанно с совершенно новым взглядом на геометрию, к которому независимо друг от друга пришли три великих ученых: наш соотечественник Н.И.Лобачевский (1792-1856), немецкий математик К.Ф.Гаусс (1777-1855) и венгерский - Я.Бойяи (1802-1860). В результате своих исследований они пришли к убежденности в том, что при замене V постулата противоречия не будет, так как новое утверждение не относится к геометрии Евклида, а полученные результаты представляют факты новой геометрии.
Таким образом, если заменить V постулат другим и вывести из новой системы постулатов и аксиом возможные следствия, то они будут теоремами другой геометрии. Допущение отрицания утверждения: через точку А вне прямой а проходит только одна прямая, параллельная данной, означает, что:
- через А можно провести хотя бы две прямые, не пересекающие а;
- таких прямых не существует, т.е. вообще нет параллельных прямых.
Первым, кто допустил возможность существования геометрии, в которой V постулат заменяется его отрицанием, был К.Ф.Гаусс. Записи ученого обнаружились лишь после смерти при изучении его архива. Он не рискнул опубликовать свои результаты, опасаясь быть непонятым.
К открытию неевклидовой геометрии Н.И.Лобачевский пришел независимо от К.Ф.Гаусса. Вначале он пытался вывести раз-
личные следствия из отрицания V постулата, надеясь рано или поздно получить противоречие, а позже пришел к выводу, что таким путем построил новую геометрию и назвал ее воображаемой. Результаты исследований Лобачевский, начиная с 1829 г. изложил в ряде сочинений. Но ученые не приняли его новых идей, так как не мыслили существования геометрии, отличной от евклидовой. Он умер, так и не добившись признания результатов своих исследований.
Третьим ученым, разделяющим заслугу открытия неевклидовой геометрии, был Я.Бойяи. Его отец, известный венгерский математик Ф.Бойяи, всю жизнь работавший над теорией параллельных, считал, что решение этой проблемы выше человеческих сил, и хотел оградить сына от неудач и разочарования. Но Янош не внял предупреждениям. Вскоре он, независимо от Гаусса и Лобачевского, пришел к таким же результатам. В приложении к книге отца Я.Бойяи дал самостоятельное изложение неевклидовой геометрии (1832).
В геометрии Лобачевского теоремы имеют странные, непривычные нам формулировки: если через А вне данной прямой а можно провести две прямые, параллельные а, то их существуют бесконечное множество; существуют треугольники, стороны которых параллельны, а площади имеют конечную величину; сумма внутренних углов треугольника всегда меньше 180° и др.
Для доказательства непротиворечивости геометрии следовало построить модель. Н.И. Лобачевский это понимал и пытался найти либо ее, либо приложения своей геометрии. Он предпринял смелую попытку опытной проверки результатов при помощи астрономических наблюдений: рассматривал тре-
угольники, вершинами которых являются звезды, и путем измерений хотел убедиться в том, что сумма углов в них меньше 180°. Ученый стал исследовать "внутреннюю геометрию поверхности", изучавшую свойства фигур на поверхностях, которые сохраняются при изгибании последних. Поверхности постоянной положительной кривизны - это куски сферы. Для них были получены формулы сферической тригонометрии. Одновременно, но независимо друг от друга,
Н.И.Лобачевский и Ф.Г.Миндинг установили замечательный факт: в евклидовом пространстве на поверхности постоянной отрицатель-
ной кривизны геометрия геодезических линий совпадает с планиметрией Лобачевского.
В 1868 г. итальянский геометр Е.Бельтрами (1835-1900) провел строгие расчеты и построил модель геометрии Лобачевского. Интерпретацию для плоскости Лобачевского нашел через три года Ф.Клейн (1849-1905), а спустя еще 11 лет - А.Пуанкаре (1854-1912). Впоследствии предлагались и другие модели. Тем самым была окончательно установлена ее непротиворечивость и показано, что евклидова геометрия не является единственно возможной.
Сам Лобачевский использовал свою геометрию для вычисления определенных интегралов. Она нашла применение в геометрических методах теории чисел. Эта геометрия важна не только для абстрактной математики. Была установлена тесная связь ее с кинематикой частной теории относительности: согласно модели Ф.Клейна в пространстве скоростей внутри сферы радиуса с, т.е. для скоростей, меньших скорости света, имеет место геометрия Лобачевского. Сложение скоростей, например, интерпретируется как сложение отрезков этой геометрии. Ее формулы используются в расчетах современных ускорителей ядерных частиц. Интересное приложение нашла геометрия Лобачевского и в общей теории относительности. Если считать распределение масс материи во Вселенной равномерным (в космических масштабах это допустимое приближение), то оказывается, что пространство обладает свойствами геометрии Лобачевского. Этот факт оправдывает предложение ученого о его геометрии как возможной теории реального пространства.
Одним из первых дал высокую оценку значению открытия неевклидовой геометрии английский математик У.К.Клиффорд (18451879). Он писал о том, что чем Коперник был для Птолемея, тем был Лобачевский для Евклида. Между Коперником и Лобачевским существует интересная параллель: оба славяне по происхождению, каждый сделал революцию в научных идеях, взглядах...
Немецкий ученый Б.Риман (1826-1866) предложил новый метод построения всех неевклидовых геометрий, в которых можно выполнить измерение длин, площадей, углов, объемов. При этом он не ограничивался случаем трехмерного пространства, а строил геометрии пространств любого числа измерений. Свое первое сообщение Риман сделал в лекции "О гипотезах, лежащих в основании "гео-
метрии" (1854). Он построил геометрию "в малом", носящую его имя. Первоначальными понятиями в ней, как и в других, являлись "точка", "прямая" и "плоскость". Они характеризуются связывающими их аксиомами, в значительной степени отличными от требований евклидовой геометрии. Основными отношениями являются принадлежность (точки прямой, точки плоскости); порядок точек на прямой; прямых, проходящих через данную точку в данной плоскости и т.д.); конгруэнтность (фигур). Четыре группы аксиом Риман назвал соответственно: I - соединения; II - порядка; III - непрерывности; IV - конгруэнтности. Все остальные утверждения (теоремы) этой геометрии были получены логическим путем, с использованием неопределяемых понятий и аксиом.
Последовательно проводя дедуктивное построение своей теории, Риман также установил ряд утверждений, которые с позиции евклидовой геометрии выглядели нелепыми, например: не существует параллельных прямых, нет подобных фигур, зато сумма углов треугольника больше 180°, а длины прямых ограничены. В такой геометрии существуют треугольники с двумя и даже тремя прямыми углами и т.д.
Для доказательства непротиворечивости геометрии Римана следует построить модель, на которой выполнялись бы все аксиомы. В качестве одной из них можно взять эллипсоид вращения, где прямыми являются эллипсы на его поверхности с центром О (на оси), расположенном на одинаковом расстоянии от фокусов ^ и ^2 (рис. 3). Тогда отрезком прямой считается дуга эллипса с центром О. Далее можно определить "треугольник", "окруж-
Рис. 3
ность", ввести понятие равенства двух отрезков, треугольников. На этой модели действительно возможны треугольники, у которых два, а то и все три внутренних угла прямые, и т.д. В дальнейшем были предложены и другие
методы построения неевклидовой геометрии. Между собой геометрические пространства различаются по тому, насколько они отличаются от евклидова. Само это отличие называют "кривизной".
Неевклидовы геометрии не только открыли новую эру в математике, они стали незаменимым математическим аппаратом многих важнейших частей современной физики, особенно теории относительности.
Имеется интересный и простой признак, при помощи которого можно охарактеризовать отличие полученной геометрии от евклидовой, не перечисляя всех аксиом. Им является теорема о сумме внутренних углов треугольника о. Тогда можно положить, что величина кривизны характеризуется отношением разности А = <7 — 18О3 к площади треугольника. Значение А в разных геометриях может быть как больше, так и меньше нуля, в соответствии с чем говорят, что пространство имеет положительную или отрицательную кривизну. Евклидово геометрическое пространство тогда имеет нулевую кривизну.
С появлением неевклидовых геометрий возникли проблемы их обоснования. Так, геометрия Лобачевского отличается от евклидовой аксиомой параллельности. Что произойдет, если изменить и другие аксиомы? Всегда ли при этом будут получаться новые геометрические системы? В каких случаях они противоречивы? Для ответов на эти вопросы ученые прежде всего вновь обратились к исследованиям геометрии Евклида с тем, чтобы найти все аксиомы, нужные для ее построения, а затем уже изучить связи между ними, выяснить, что произойдет, если отбросить одну или несколько аксиом и заменить их другими. Эту проблему впервые удалось
решить Д.Гильберту (1862-1943). В "Основаниях геометрии" (1899) им была создана первая полная система аксиом геометрии Евклида и изучены вопросы, о которых говорилось выше.
Исследования Гильберта и других ученых способствовали развитию аксиоматического метода, а формирование геометрии как дедуктивной науки далеко не закончилось построением евклидовой геометрии. Это было только начало открытий, блестящее продолжение которых осуществлялось в дальнейшем.
Список литературы
1.Больяи Я. Аппендикс. Приложение, содержащее науку о пространстве, абсолютно истинную / пер. с лат., вступ. ст. и примеч. В.Ф.Кагана. М.; Л.: Гостехиздат, 1950.
2.Гильберт Д. Основания геометрии. М.; Л.: Гостехиздат, 1948.
3.Евклид. Начала / пер. Д.Д.Мордухай-Бол-товского; М.; Л.: ГТТИ, 1948-1950. Т. 1-3.
4.Ефимов Н.В. Высшая геометрия. М.: Физ-матгиз, 1961.
5. Кадомцев С.Б. Геометрия Лобачевского и физика. М.: Знание, 1984.
6.Клейн Ф. Лекции о развитии математики в XIX столетии. М.; Л.: ОНТИ, 1937.
7.Лаптев Б.Л. Геометрия Лобачевского, ее история и значение. М.: Знание, 1975.
8.Ливанова А. Три судьбы. М.: Знание, 1975.
9. Рашевский П.К. Риманова геометрия и тензорный анализ. М.: ГТТЛ, 1953.
10. РиманБ. Сочинения. М.: Гостехиздат, 1948.
11. Розенфельд Б.А. История неевклидовой геометрии. М.: Наука, 1976.
12. Фетисов А.Н. Очерки по евклидовой и неевклидовой геометрии. М.: Просвещение, 1965.
About development of axiomatical method and its role in construction of mathematical theories
A. E. Malykh
Perm State Pedagogical University, Russia, 614000, Pushkin st., 42 [email protected]; (342) 223-30-55
The history of axiomatic method in construction of scientific theories is shown. It was use in creation of the non-Euclidean geometries; one of them is Riemanns elliptical, its 155th anniversary is marked this year.
Key words: foundation of geometry; axiomatic; a method; non-Euclidean geometries.
