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

Аксиоматика Гильберта — система аксиом евклидовой геометрии. Разработана Гильбертом как более полная, нежели система аксиом Евклида.

Неопределяемые понятия

Неопределяемыми понятиями в системе аксиом Гильберта являются: точка, прямая линия, плоскость. Есть также 3 элементарных отношения:

• Лежать между, применимо к точкам;
• Принадлежать, применимо к точкам и прямым, точкам и плоскостям или прямым и плоскостям;
• Конгруэнтность (геометрическое равенство), применимо, например, к отрезкам, углам или треугольникам, и обозначается инфиксным символом $\cong$.

Все точки, прямые и плоскости предполагаются различными, если не оговорено иное.

Аксиомы

Система из 20 аксиом поделена на 5 групп:

• аксиомы принадлежности:
  • планиметрические:
    1. Каковы бы ни были две точки $A$ и $B$, существует прямая $a$, которой принадлежат эти точки.
    2. Каковы бы ни были две различные точки $A$ и $B$, существует не более одной прямой, которой принадлежат эти точки.
    3. Каждой прямой $a$ принадлежат, по крайней мере, две точки. Существуют, по крайней мере, три точки, не принадлежащие одной прямой.
  • cтереометрические:
    1. Каковы бы ни были три точки $A$, $B$ и $C$, не принадлежащие одной прямой, существует плоскость $\alpha$, которой принадлежат эти три точки. Каждой плоскости принадлежит хотя бы одна точка.
    2. Каковы бы ни были три точки $A$, $B$ и $C$, не принадлежащие одной прямой, существует не более одной плоскости, которой принадлежат эти три точки.
    3. Если две различные точки $A$ и $B$, принадлежащие прямой $a$, принадлежат некоторой плоскости $\alpha$, то каждая точка, принадлежащая прямой $a$, принадлежит указанной плоскости.
    4. Если существует одна точка $A$, принадлежащая двум плоскостям $\alpha$ и $\beta$, то существует, по крайней мере, ещё одна точка $B$, принадлежащая обеим этим плоскостям.
    5. Существуют, по крайней мере, четыре точки, не принадлежащие одной плоскости.
• аксиомы порядка:
  • линейные:
    1. Если точка $B$ прямой $a$ лежит между точками $A$ и $C$ той же прямой, то $A$, $B$ и $C$ — различные точки указанной прямой, причём $B$ лежит также и между $C$ и $A$.
    2. Каковы бы ни были две различные точки $A$ и $C$, на определяемой ими прямой существует, по крайней мере, одна точка $B$ такая, что $B$ лежит между $A$ и $C$, и, по крайней мере, одна точка $D$, такая, что $C$ лежит между $A$ и $D$.
    3. Среди любых трёх точек, лежащих на одной прямой, всегда одна и только одна точка лежит между двумя другими.
  • планиметрическая:
    1. Аксиома Паша. Пусть $A$, $B$ и $C$ — три точки, не лежащие на одной прямой, и $a$ — прямая в плоскости ($ABC$), не проходящая ни через одну из точек $A$, $B$, $C$. Если при этом прямая $a$ проходит через точку отрезка $AB$, то она непременно проходит через точку отрезка $AC$ или точку отрезка $BC$.
• аксиомы конгруэнтности:
  • линейные:
    1. Если $A$ и $B$ — две точки, лежащие на прямой $a$, $A^{\prime }$ — точка на той же прямой или на другой прямой $a^{\prime }$, то по данную от точки $A^{\prime }$ сторону прямой $a^{\prime }$ найдётся, и притом только одна, точка $B^{\prime }$ такая, что отрезок $A^{\prime }{B}^{\prime }$ конгруэнтен отрезку $AB$. Каждый отрезок $AB$ конгруэнтен отрезку $BA$.
    2. Если отрезки $A^{\prime }{B}^{\prime }$ и $A^{″}{B}^{″}$ конгруэнтны одному и тому же отрезку $AB$, то они конгруэнтны и между собой.
    3. Пусть $AB$ и $BC$ — два отрезка прямой $a$, не имеющие общих внутренних точек, $A^{\prime }{B}^{\prime }$ и $B^{\prime }{C}^{\prime }$ — два отрезка той же прямой, или другой прямой $a^{\prime }$, также не имеющие общих внутренних точек. Тогда если отрезок $AB$ конгруэнтен отрезку $A^{\prime }{B}^{\prime }$, а отрезок $BC$ конгруэнтен отрезку $B^{\prime }{C}^{\prime }$, то отрезок $AC$ конгруэнтен отрезку $A^{\prime }{C}^{\prime }$.
  • планиметрические:
    1. Если даны угол $\mathrm{\angle }ABC$ в плоскости $\alpha$ и луч $B^{\prime }{C}^{\prime }$ в плоскости $\beta$, тогда в плоскости $\beta$ существует ровно один луч $B^{\prime }D$ по определённую сторону от $B^{\prime }{C}^{\prime }$ (и соответственно второй луч $B^{\prime }E$ по другую сторону от $B^{\prime }{C}^{\prime }$), такой, что $\mathrm{\angle }D{B}^{\prime }{C}^{\prime }$ $\cong$ $\mathrm{\angle }ABC$ (и соответственно $\mathrm{\angle }E{B}^{\prime }{C}^{\prime }$ $\cong$ $\mathrm{\angle }ABC$). Следствие: Каждый угол конгруэнтен самому себе.
    2. Если для двух треугольников $ABC$ и $A^{\prime }{B}^{\prime }{C}^{\prime }$ имеют место конгруэнции: $AB\cong A^{\prime }{B}^{\prime }$, $AC\cong A^{\prime }{C}^{\prime }$, $\mathrm{\angle }BAC\cong \mathrm{\angle }{B}^{\prime }{A}^{\prime }{C}^{\prime }$, то всегда имеют место и конгруэнции: $\mathrm{\angle }ABC\cong \mathrm{\angle }{A}^{\prime }{B}^{\prime }{C}^{\prime }$, $\mathrm{\angle }ACB\cong \mathrm{\angle }{A}^{\prime }{C}^{\prime }{B}^{\prime }$.
• аксиома параллельности, для которой Гильберт выбрал не евклидову формулировку, а эквивалентную ей, но более простую аксиому Прокла:
  • планиметрические:
    1. Пусть $a$ — произвольная прямая, и $A$ — точка вне её; тогда в плоскости, определяемой точкой $A$ и прямой $a$, можно провести не более одной прямой, проходящей через $A$ и не пересекающей $a$.
• аксиомы непрерывности:
  • линейные:
    1. Аксиома Архимеда. Если даны отрезок $CD$ и луч $AB$, то существует число $n$ и $n$ точек $A_1,\mathrm{...},A_n$ на $AB$ таких, что $A_j{A}_{j+1}$ $\cong CD$, $0⩽j<n$, $A_0$ совпадает с $A$, и $B$ лежит между $A$ и $A_n$.
    2. «Полнота линии». Добавление хотя бы одной дополнительной точки в прямую линию вызовет противоречие с одной из аксиом принадлежности, порядка, первыми двумя аксиомами конгруэнтности или аксиомой Архимеда.

21-я аксиома

Гильберт изначально (1899) включил 21-ю аксиому:

«Любым четырём точкам на прямой можно присвоить имена $A,B,C$ и $D$ так, чтобы точка $B$ лежала между точками $A$ и $C$, а также между $A$ и $D$; точка $C$ — между $A$ и $D$, а также между $B$ и $D$».

Элиаким Гастингс Мур и Роберт Ли Мур в 1902 году независимо доказали, что эта аксиома избыточна.

Полнота и непротиворечивость

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

История

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

Другие системы аксиом

Создатели догильбертовских систем:

• Евклид
• Паш
• Шур
• Пеано (включает понятие «движение»)
• Веронезе
• М. Пиери (1899)

Родственные гильбертовой:

• В. Ф. Каган (1902)
• О. Веблен (1904)
• А. Колмогоров

Более современные аксиоматики:

• Аксиоматика Александрова
• Аксиоматика Бахмана
• аксиоматика Тарского
• аксиоматика Биркгофа — содержит «аксиому линейки» и «аксиому транспортира». Её варианты используются в большинстве американских школьных учебников, к ней близка аксиоматика Погорелова.
• Аксиоматика Вейля — оперирует неопределяемыми понятиями точки и свободного вектора. Прямая и плоскость определяются как множества точек.

Ссылки

• Д. Гильберт. Основания геометрии. Перевод с немецкого под редакцией А. В. Васильева. Л., «Сеятель», 1923—152 с.
• Герман Вейль. Давид Гильберт и его математические труды.
• Шаблон:Книга:Факультативный курс по математике. Никольская