IV. Аксиомы непрерывности.

Здесь мы приводим изложение, принятое в учебной литературе, отличное от схемы Гильберта.

4.1. (Аксиома Архимеда). Пусть и– какие-либо два отрезка. На лучесуществует конечное множество точек.таких, что выполняются условия:

а) ;

б) отрезки конгруэнтны отрезку;

в) точка лежит междуи.

4.2. (Аксиома Кантора). Пусть на прямой дана бесконечная последовательность отрезков, удовлетворяющая условиям:

а) каждый последующий отрезок содержится в предыдущем;

б) для любого наперед заданного отрезка найдется, что.

Тогда существует точка , принадлежащая каждому из отрезков последовательности (можно доказать, что такая точка единственная).

Можно доказать, что аксиомы 4.1 и 4.2 при сохранении аксиом I и III групп эквивалентны предложению Дедекинда:

Пусть точки отрезка разбиты на два классаи, то естьи, так что выполняются условия:

1. точка принадлежит классу, точка– классу; классы содержат точки, отличные от и;

2. каждая точка класса, отличная от, лежит междуи любой точкойвторого класса.

Тогда существует единственная точка , такая, что точки, лежащие между и, принадлежат классу, а точки, лежащие междуи, – классу.

Относительно точки говорят, что онапроизводит сечение (дедекиндово сечение) отрезка, ее называют дедекиндовой точкой.

Теорию, построенную на аксиомах I-IV группы, называют абсолютной геометрией. К ней, в частности, относятся теория измерения отрезков и углов, теоремы о пересечении прямой и окружности, двух окружностей. Особо выделим следующие теоремы абсолютной геометрии.

Т е о р е м а. (Первая теорема Саккери-Лежандра). Сумма углов треугольника меньше или равна двум прямым углам.

Т е о р е м а. Через точку вне прямой можно провести прямую, не пресекающуюся с данной прямой.

V. Аксиома параллельных.

5.1. (Предложение Плейфера). Через точку вне прямой можно провести не более одной прямой, не пересекающейся с данной.

Две прямые плоскости, не имеющие общей точки, называются параллельными прямыми.

Из аксиомы параллельных и теоремы 12 следует, что через точку вне прямой проходит единственная прямая, параллельная данной.

Опираясь на аксиомы I-V группы можно установить существование подобных фигур, доказать теорему Пифагора, развить теорию измерения площадей и многое другое, что составляет содержание евклидовой геометрии плоскости.

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

лемм, теорем и следствий.

В теории этой аксиоматики достаточно сложно вводятся понятия расстояния между точками, длины отрезка, величины угла. Недостатком является и то обстоятельство, что она никак не связана с понятием векторного пространства, которое в наше время играет в математике важную роль. Немецкий математик Герман Вейль в 1918 году предложил аксиоматику евклидова пространства, основанную на широком применении понятия вектора. Можно доказать, что аксиоматики Гильберта иВейля эквивалентны, то есть, теории, определяемые ими, совпадают.