Аксиоматика Тарского (геометрия)

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Аксиоматика Тарского — система аксиом элементарной евклидовой геометрии, предложенная Альфредом Тарским. Замечательна тем, что формулируется в логике первого порядка с равенством и не требует теории множеств.

Альфред Тарский работал над своей аксиоматизацией с перерывами с 1926 до его смерти в 1983 году; первая публикация вышла в 1959 году[1]. В частности, Тарский доказал, что его аксиоматика полна и непротиворечива; более того, существует алгоритм позволяющий выяснить, верно или неверно любое утверждение. (Эта теорема не противоречит теореме Гёделя о неполноте, поскольку в аксиоматике Тарского для геометрии нет средств выразить арифметику.)

Основные труды Тарского и его учеников в этом направлении изложены в монографии 1983 года[2]. Аксиоматика, представленная в этой книге, состоит из 10 аксиом и одной схемы аксиом.

Неопределяемые понятия
  • Лежать междутернарное отношение Bxyz, означающее, что у «лежит между» х и z. Другими словами, что y является точкой на отрезке хz. (При этом концы включаются, то есть, как будет следовать из аксиом, Bxxz — истинно).
Аксиомы
Аксиома Паша
Схема аксиом непрерывности
Верхняя оценка размерности.
Аксиома о пятом отрезке
  • Рефлексивность конгруэнтности:
  • Тождественность конгруэнтности:
  • Транзитивность конгруэнтности:
  • Тождественность отношения лежать между:
То есть единственная точка на отрезке линии — это сама точка .
  • Аксиома Паша:
Две диагонали выпуклого четырехугольника должны пересекаться в некоторой точке.
  • Схема аксиом непрерывности. Пусть и суть формулы первого порядка без свободных переменных a или b. Пусть также нет свободных переменных в или в . Тогда все выражения следующего типа являются аксиомами:
То есть, если и описывают два множества точек луча с вершиной a, первое из которых левее второго, то найдётся точка b между этими множествами.
  • Нижняя оценка размерности:
То есть существуют три неколлинеарные точки. Без этой аксиомы теории могут быть смоделированы с помощью одномерной вещественной прямой, одной точки или даже пустого множества.
  • Верхняя оценка размерности:
То есть любые три точки, равноудаленные от двух различных точек, лежат на прямой. Без этой аксиомы теория может быть смоделирована в многомерном (в том числе трёхмерном) пространстве.
  • Аксиома о пятом отрезке:
То есть, если отрезки 4 отмеченных пар на двух чертежах справа равны, то и отрезки в пятой паре равны между собой.
  • Построение отрезка:
То есть от любой точки в любом направлении можно отложить отрезок данной длины.

Примечания

[править | править код]
  1. Tarski, Alfred (1959), "What is elementary geometry?", in Leon Henkin, Patrick Suppes and Alfred Tarski (ed.), The axiomatic method. With special reference to geometry and physics. Proceedings of an International Symposium held at the Univ. of Calif., Berkeley, Dec. 26, 1957-Jan. 4, 1958, Studies in Logic and the Foundations of Mathematics, Amsterdam: North-Holland, pp. 16—29, MR 0106185.
  2. Schwabhäuser, W., Szmielew, W., Alfred Tarski, 1983. Metamathematische Methoden in der Geometrie. Springer-Verlag.