Аксиоматика Гильберта¶

Аксиоматика Гильберта — это система аксиом евклидовой геометрии, предложенная немецким математиком Давидом Гильбертом в 1899 году в его фундаментальном труде «Основания геометрии» (нем. Grundlagen der Geometrie). Она представляет собой формальное описание евклидовой геометрии, призванное устранить логические пробелы и нестрогости, содержавшиеся в «Началах» Евклида, и установить непротиворечивую, полную и независимую систему аксиом. Аксиоматика Гильберта стала эталоном строгости в математике и оказала значительное влияние на развитие аксиоматического метода в целом.

¶История создания

До конца XIX века евклидова геометрия считалась образцом математической строгости. Однако развитие неевклидовых геометрий (Лобачевский, Бойяи, Риман) и анализ аксиом Евклида выявили в них логические недостатки. В частности, аксиомы Евклида не были явно сформулированы, многие доказательства опирались на интуитивные представления о чертежах, а не на строгие логические выводы. Немецкий математик Мориц Паш в 1882 году предпринял первую попытку формализации геометрии, введя понятие «порядка» точек на прямой.

Давид Гильберт, работая над проблемами оснований математики, поставил перед собой задачу создать полную и непротиворечивую систему аксиом для евклидовой геометрии. В 1899 году вышло первое издание его книги «Основания геометрии», которая содержала 21 аксиому, разделённую на пять групп. Книга многократно переиздавалась и дополнялась; в последующих изданиях количество аксиом варьировалось, а их формулировки уточнялись. Аксиоматика Гильберта стала общепринятой основой для изложения евклидовой геометрии в высшей школе.

¶Структура аксиоматики

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

Аксиомы разделены на пять групп, каждая из которых описывает определённые свойства геометрических объектов.

¶Группа I: Аксиомы принадлежности (связи)

Эти аксиомы описывают отношения между точками, прямыми и плоскостями. Всего их 8 (в разных редакциях — от 7 до 8). Основные положения:

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

¶Группа II: Аксиомы порядка

Эти аксиомы (всего 4) определяют понятие «между» для точек на прямой и на плоскости. Они позволяют упорядочить точки на прямой и ввести понятия отрезка, луча и полуплоскости. Ключевые аксиомы:

• Если точка B лежит между A и C, то A, B, C — различные точки одной прямой, и B лежит между C и A.
• Для любых двух различных точек A и C на прямой существует хотя бы одна точка B, такая что B лежит между A и C.
• Из трёх точек на прямой не более одной лежит между двумя другими.
• Аксиома Паша: Если прямая пересекает одну сторону треугольника и не проходит через его вершины, то она пересекает и другую сторону треугольника (эта аксиома устанавливает связь между порядком на прямой и на плоскости).

¶Группа III: Аксиомы конгруэнтности

Эти аксиомы (всего 5) определяют понятие равенства (конгруэнтности) отрезков и углов, а также переноса фигур. Они заменяют евклидово наложение движением. Основные положения:

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

¶Группа IV: Аксиома параллельности

В аксиоматике Гильберта используется не классическая формулировка Евклида, а более простая аксиома Плейфера (иногда называемая аксиомой параллельности):

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

Гильберт явно постулирует, что такая прямая существует (это следует из аксиом I и II), а аксиома IV утверждает её единственность. Замена этой аксиомы на противоположное утверждение приводит к геометрии Лобачевского.

¶Группа V: Аксиомы непрерывности

Эти аксиомы (две) связывают геометрию с арифметикой и обеспечивают возможность измерения отрезков и углов. Они включают:

• Аксиома Архимеда: Для любых двух отрезков AB и CD существует такое натуральное число n, что n-кратное откладывание отрезка CD на прямой AB превзойдёт отрезок AB. Эта аксиома исключает существование «бесконечно малых» или «бесконечно больших» отрезков.
• Аксиома полноты (линейной полноты): К системе точек на прямой нельзя добавить ни одной новой точки так, чтобы все аксиомы принадлежности, порядка и конгруэнтности, а также аксиома Архимеда остались выполненными. Эта аксиома гарантирует, что прямая изоморфна множеству действительных чисел (то есть является непрерывной).

¶Свойства системы аксиом

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

¶Непротиворечивость

Аксиоматика Гильберта непротиворечива, если непротиворечива арифметика действительных чисел. Гильберт показал, что любую геометрическую теорему можно интерпретировать как алгебраическое утверждение о числах. Таким образом, непротиворечивость геометрии сводится к непротиворечивости арифметики, что является более фундаментальной, но не решённой в рамках самой геометрии проблемой (вторая проблема Гильберта).

¶Независимость

Каждая из пяти групп аксиом независима от остальных. Это означает, что ни одну аксиому нельзя вывести из других. Для доказательства независимости Гильберт строил модели, в которых выполнялись все аксиомы, кроме одной. Например, модель, в которой не выполняется аксиома параллельности, даёт геометрию Лобачевского. Модель, где не выполняется аксиома Архимеда, приводит к неархимедовой геометрии.

¶Полнота

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

¶Значение и критика

Аксиоматика Гильберта сыграла революционную роль в математике. Она:

• Установила строгие логические основания для евклидовой геометрии.
• Продемонстрировала силу аксиоматического метода, который впоследствии был применён к другим разделам математики (теория множеств, топология, алгебра).
• Позволила чётко отделить геометрические понятия от интуитивных представлений о пространстве.
• Стала основой для формального изложения геометрии в университетских курсах.

Критика аксиоматики Гильберта в основном касалась её сложности и громоздкости по сравнению с более простыми системами (например, аксиоматикой Биркгофа, использующей действительные числа). Кроме того, аксиома полноты (V.2) была признана излишне сильной и не всегда необходимой для изложения элементарной геометрии. В некоторых современных учебниках геометрии предпочитают использовать более экономные системы, основанные на понятии движения или на векторном пространстве.

¶Источники

• Гильберт Д. Основания геометрии. — М.—Л.: Гостехиздат, 1948.
• Ефимов Н. В. Высшая геометрия. — М.: Наука, 1971.
• Погорелов А. В. Геометрия. — М.: Наука, 1983.
• Клайн М. Математика. Утрата определённости. — М.: Мир, 1984.