Математическая энциклопедия - гильберта система аксиом

евклидовой геометрии система аксиом, предложенная в 1899 Д. Гильбертом (см. [1]). Со времени первой публикации Г. с. а. Д. Гильберт внес в систему аксиом различные изменения и уточнения.

Основными (неопределяемыми) понятиями в Г. с. а. являются объекты: точки, прямые и плоскости и отношения между ними, выражаемые словами: "принадлежит", "между", "конгруэнтен". Природа основных объектов и отношений между ними может быть какой угодно, лишь бы эти объекты и отношения удовлетворяли указанным аксиомам.

Г. с. а. содержит 20 аксиом, к-рые разбиты на пять групп.

I группа состоит из восьми аксиом принадлежности (соединения), к-рые описывают отношение "принадлежит". I1. Для любых двух точек существует прямая, проходящая через каждую из этих двух точек. I2. Для двух различных точек существует не более одной прямой, проходящей через каждую из этих двух точек. I3. На каждой прямой лежат по крайней мере две точки. Существуют по крайней мере три точки, не лежащие на одной прямой. I4. Для любых трех точек, не лежащих на одной прямой, существует плоскость, проходящая через каждую из этих трех точек. На каждой плоскости лежит по крайней мере одна точка. I5. Для любых трех

точек, не лежащих на одной прямой, существует не более одной плоскости, проходящей через каждую из этих трех точек. I6. Если две точки А, В прямой алежат в плоскости , то всякая точка прямой а лежит в плоскости . I7. Если две плоскости имеют общую точку, то они имеют еще по крайней мере одну общую точку. I8. Существуют по крайней мере четыре точки, не лежащие в одной плоскости.

II группа содержит четыре аксиомы порядка, описывающие отношение "между". II1. Если точка Влежит между точкой Аи точкой С, то А, В, Сразличные точки одной прямой и Влежит также между Си А.II2. Для любых двух точек Аи Вна прямой АВ существует по крайней мере одна точка Стакая, что точка Влежит между Аи С. II3. Среди любых трех точек прямой существует не более одной точки, лежащей между двумя другими. II4 (аксиома Паша). Пусть А, В, Стри точки, не лежащие на одной прямой, и а - прямая в плоскости ABC, не проходящая ни через одну из точек А, В, С. Тогда, если прямая апроходит через внутреннюю точку отрезка АВ, то она проходит также через внутреннюю точку отрезка АС или через внутреннюю точку отрезка ВС.

III группа содержит пять аксиом конгруэнтности, к-рые описывают отношение "конгруэнтен" (это отношение Гильберт обозначает знаком ). III1. Если даны отрезок А В илуч ОХ, то на луче ОX существует точка В' такая, что отрезок А В конгруэнтен отрезку ОВ', то есть . III2. Если и , то . III3,. Пусть АВ и ВС- два отрезка на прямой, не имеющие общих внутренних точек, а и два отрезка на той же или на другой прямой, тоже не имеющие общих внутренних точек. Тогда, если и , то III4. Пусть даны угол АОВ, луч О'А' и полуплоскость П', ограниченная прямой О'А'. Тогда в полуплоскости П' существует один и только один луч О'В' такой, что . Кроме того, каждый угол конгруэнтен самому себе. III5. Если для двух треугольников ABC и А'В'С' имеем: , , , то