Аксиомы Тарского , принадлежащие Альфреду Тарскому , представляют собой набор аксиом для существенного фрагмента евклидовой геометрии, который формулируется в логике первого порядка с тождеством и не требует теории множеств ( Tarski 1959 ) (т. Е. Той части евклидовой геометрии, которая формулируется как элементарная теория ). Другое современное axiomizations евклидовой геометрии аксиома Гильберта и аксиомы Биркгоф .
Обзор
В начале своей карьеры Тарский преподавал геометрию и исследовал теорию множеств. Его коллега Стивен Гивант (1999) объяснил отправную точку Тарского:
- От Энрикеса Тарски узнал о работах Марио Пиери , итальянского геометра, на которого сильно повлиял Пеано. Тарский предпочитал систему Пиери [из его мемуаров « Точка и сфера» ], в которой логическая структура и сложность аксиом были более прозрачными.
Затем Гивант говорит, что «с типичной тщательностью» Тарский разработал свою систему:
- Чем отличался подход Тарского к геометрии? Во-первых, система аксиом была намного проще любой из существовавших до того времени систем аксиом. На самом деле длина всех аксиом Тарского, вместе взятых, не намного больше, чем просто одна из 24 аксиом Пиери. Это была первая система евклидовой геометрии, которая была достаточно простой, чтобы все аксиомы могли быть выражены в терминах только примитивных понятий , без помощи определенных понятий. Что еще более важно, впервые было проведено четкое различие между полной геометрией и ее элементарной, то есть ее частью первого порядка.
Как и другие современные аксиоматизации евклидовой геометрии, Тарский использует формальную систему, состоящую из цепочек символов, называемых предложениями , конструкция которых соблюдает формальные синтаксические правила , и правила доказательства, которые определяют разрешенные манипуляции с предложениями. В отличие от некоторых других современных аксиоматизаций, таких как аксиоматизация Биркгофа и Гильберта , аксиоматизация Тарского не имеет примитивных объектов, кроме точек , поэтому переменная или константа не могут относиться к линии или углу. Поскольку точки являются единственными примитивными объектами, и поскольку система Тарского является теорией первого порядка , невозможно даже определить линии как наборы точек. Единственными примитивными отношениями ( предикатами ) являются «промежуточность» и «соответствие» между точками.
Аксиоматизация Тарского короче, чем ее конкуренты, в том смысле, в котором Тарский и Гивант (1999) явно указывают на это. Он более краток, чем у Пиери, потому что у Пиери было только два примитивных понятия, в то время как Тарский ввел три: точка, промежуточность и конгруэнтность. Такая экономия примитивных и определенные понятия означают , что система Тарская не очень удобно для ведения евклидовой геометрии. Скорее, Тарский разработал свою систему, чтобы облегчить ее анализ с помощью инструментов математической логики , то есть облегчить вывод ее метаматематических свойств. Система Тарского обладает необычным свойством: все предложения могут быть записаны в универсально-экзистенциальной форме, частном случае пренексной нормальной формы . В этой форме есть все универсальные кванторы, предшествующие любым кванторам существования , так что все предложения могут быть преобразованы в формуЭтот факт позволил Тарскому доказать, что евклидова геометрия разрешима : существует алгоритм, который может определить истинность или ложность любого предложения. Аксиоматизация Тарского также завершена . Это не противоречит первой теореме Гёделя о неполноте , потому что теории Тарского не хватает выразительной силы, необходимой для интерпретации арифметики Робинсона ( Franzén 2005 : 25–26).
Аксиомы
Альфред Тарский работал над аксиоматизацией и метаматематикой евклидовой геометрии с перерывами с 1926 года до своей смерти в 1983 году, причем Тарский (1959) возвещал о его зрелом интересе к этому предмету. Работа Тарского и его учеников по евклидовой геометрии достигла высшей точки в монографии Schwabhäuser, Szmielew, and Tarski (1983), в которой изложены 10 аксиом и одна схема аксиом, показанные ниже, связанная с ними метаматематика и изрядная часть предмета. Гупта (1965) внес важный вклад, а Тарски и Гивант (1999) обсуждают историю.
Фундаментальные отношения
Эти аксиомы представляют собой более элегантную версию набора, разработанного Тарским в 1920-х годах в рамках своего исследования метаматематических свойств геометрии евклидовой плоскости . Эта цель потребовала переформулировать эту геометрию как теорию первого порядка . Тарский сделал это полагание на вселенную из точек , прописными буквами , обозначающими переменных , пробегающих этой вселенной. Равенство обеспечивается базовой логикой (см. Логика первого порядка # Равенство и ее аксиомы ). [1] Затем Тарский постулировал два примитивных отношения:
- Между , тройственное отношение . Атомарное предложение Bxyz означает , что у является «между» х и г , другими словами, что у есть точка на сегменте линии XZ . (Это отношение интерпретируется включительно, так что Bxyz тривиально истинно всякий раз, когда x = y или y = z ).
- Конгруэнтность (или «равноудаленность»), тетрадное отношение . Атомарное предложение WX ≡ уг можно интерпретировать как WX есть конгруэнтны с уг , другими словами, что длина отрезка линии Wx равна длине отрезка уг .
Промежуточность отражает аффинный аспект евклидовой геометрии; конгруэнтность, ее метрический аспект. Фоновая логика включает идентичность , бинарное отношение . Аксиомы вызывают идентичность (или ее отрицание) пять раз.
Приведенные ниже аксиомы сгруппированы по типам вызываемых ими отношений, а затем отсортированы сначала по количеству экзистенциальных кванторов, а затем по количеству элементарных предложений. Аксиомы следует рассматривать как универсальные замыкания ; следовательно, любые свободные переменные следует рассматривать как неявно универсально определяемые количественно .
Аксиомы конгруэнтности
- Рефлексивность конгруэнтности
- Идентичность конгруэнтности
- Транзитивность сравнения
Комментарий
В то время как отношение конгруэнтности формально является четырехсторонним отношением между точками, его также можно неформально рассматривать как бинарное отношение между двумя отрезками линии. а также . Приведенные выше аксиомы «Рефлексивности» и «Транзитивности», вместе взятые, доказывают оба:
- что это бинарное отношение на самом деле является отношением эквивалентности
- рефлексивно: .
- это симметрично .
- это переходный .
- и что порядок, в котором указаны точки линейного сегмента, не имеет значения.
- .
- .
- .
Аксиома «транзитивности» утверждает, что конгруэнтность евклидова , поскольку она уважает первое из « общих понятий » Евклида .
Аксиома «Тождество конгруэнтности» интуитивно утверждает, что если xy конгруэнтно отрезку, который начинается и заканчивается в одной и той же точке, x и y являются одной и той же точкой. Это тесно связано с понятием рефлексивности для бинарных отношений .
Аксиомы промежуточности
- Идентичность посредничества
Единственная точка на отрезке линии является сам.
- Аксиома Паши
- Схема аксиомы непрерывности
Пусть φ ( x ) и ψ ( y ) - формулы первого порядка, не содержащие свободных экземпляров ни a, ни b . Пусть также нет свободных экземпляров x в ψ ( y ) или y в φ ( x ). Тогда все экземпляры следующей схемы являются аксиомами:
Пусть r - луч с концом a . Пусть формулы первого порядка φ и ψ определяют подмножества X и Y в r , так что каждая точка в Y находится справа от каждой точки X (относительно a ). Тогда существует точка Ь в г , лежащую между X и Y . По сути, это конструкция разреза Дедекинда , выполняемая таким образом, чтобы избежать количественной оценки по множествам.
- Нижнее измерение
Существуют три неколлинеарные точки. Без этой аксиомы теория могла бы быть смоделирована одномерной действительной линией , единственной точкой или даже пустым множеством.
Конгруэнтность и промежуточность
- Верхнее измерение
Три точки, равноудаленные от двух разных точек, образуют линию. Без этой аксиомы теория могла бы быть смоделирована трехмерным или многомерным пространством.
- Аксиома Евклида
Каждый из трех вариантов этой аксиомы, эквивалентных по сравнению с остальными аксиомами Тарского параллельному постулату Евклида , имеет преимущество перед другими:
- А обходится без квантификаторов существования ;
- B имеет наименьшее количество переменных и элементарных предложений ;
- C требует только одного примитивного понятия - промежуточности. Этот вариант обычно приводится в литературе.
- А :
Пусть отрезок прямой соединяется с серединой двух сторон данного треугольника . Этот отрезок будет вдвое короче третьей стороны. Это эквивалентно суммированию внутренних углов любого треугольника с двумя прямыми углами .
- B :
Для любого треугольника существует круг , включающий все его вершины.
- C :
Для любого угла и любой точки v внутри существует отрезок прямой, включающий v , с конечными точками на каждой стороне угла.
- Пять сегментов
Начнем с двух треугольников , xuz и x'u'z. Нарисуйте отрезки yu и y'u ', соединяя вершину каждого треугольника с точкой на стороне, противоположной вершине. В результате получаются два разделенных треугольника, каждый из которых состоит из пяти сегментов. Если четыре сегмента одного треугольника конгруэнтны сегменту другого треугольника, то пятые сегменты обоих треугольников должны быть конгруэнтными.
Это эквивалентно правилу стороны-угла-стороны для определения конгруэнтности двух треугольников; если углы uxz и u'x'z ' конгруэнтны (существуют конгруэнтные треугольники xuz и x'u'z' ), и две пары инцидентных сторон конгруэнтны ( xu ≡ x'u ' и xz ≡ x'z ' ), то оставшаяся пара сторон также конгруэнтна ( uz ≡ u'z' ).
- Строительство сегмента
Для любой точки y можно провести в любом направлении (определяемом x ) линию, совпадающую с любым отрезком ab .
Обсуждение
Начиная с двух примитивных отношений , поля которых являются плотной вселенной из точек , Тарские построила геометрию сегментов линии . Согласно Тарски и Гиванту (1999: 192–93), ни одна из вышеперечисленных аксиом не является принципиально новой. Первые четыре аксиомы устанавливают некоторые элементарные свойства двух примитивных отношений. Например, рефлексивность и транзитивность конгруэнтности устанавливают, что конгруэнтность - это отношение эквивалентности на отрезках прямой. Тождество конгруэнтности и промежуточности управляет тривиальным случаем, когда эти отношения применяются к нечетким точкам. Теорема xy ≡ zz ↔ x = y ↔ Bxyx расширяет эти аксиомы тождества.
Ряд других свойств промежуточности можно вывести в виде теорем, в том числе:
- Рефлексивность : Bxxy ;
- Симметрия : Bxyz → Bzyx ;
- Транзитивность : ( Bxyw ∧ Byzw ) → Bxyz ;
- Связь : ( Bxyw ∧ Bxzw ) → ( Bxyz ∨ Bxzy ).
Последние два свойства полностью упорядочивают точки, составляющие линейный сегмент.
Верхний и нижний Dimension вместе требует , чтобы любая модель этих аксиом имеет конкретные конечную размерность . Соответствующие изменения в этих аксиомах дают наборы аксиом евклидовой геометрии для измерений 0, 1 и больше 2 (Tarski and Givant 1999: Axioms 8 (1) , 8 (n) , 9 (0) , 9 (1) , 9 ( Tarski and Givant 1999: Axioms 8 (1) , 8 (n) , 9 (0) , 9 (1) , 9 ( Tarski and Givant 1999: Axioms 8 (1) , 8 (n) , 9 (0) , 9 (1) , 9 ( п) ). Обратите внимание, что твердотельная геометрия не требует новых аксиом, в отличие от аксиом Гильберта . Более того, нижнее измерение для n измерений - это просто отрицание верхнего измерения для n - 1 измерений.
Когда количество измерений больше 1, промежуточность можно определить в терминах конгруэнтности (Tarski and Givant, 1999). Сначала определите отношение «≤» (где интерпретируется "длина отрезка линии меньше или равен длине отрезка линии "):
В случае двух измерений интуиция такова: для любого отрезка xy линии рассмотрите возможный диапазон длин xv , где v - любая точка на серединном перпендикуляре к xy . Очевидно, что хотя нет верхней границы длины xv , существует нижняя граница, которая возникает, когда v является средней точкой xy . Таким образом, если xy короче или равен zu , то диапазон возможных длин xv будет надмножеством диапазона возможных длин zw , где w - любая точка на серединном перпендикуляре к zu .
Тогда промежуточность можно определить, используя интуицию, что кратчайшее расстояние между любыми двумя точками - это прямая линия:
Схема аксиом непрерывности гарантирует, что порядок точек на прямой завершен (относительно определяемых свойств первого порядка). Аксиомы Паша и Евклида хорошо известны. Примечательно, что евклидова геометрия требует только следующих дополнительных аксиом:
- Строительство сегмента . Эта аксиома делает возможным измерение и декартову систему координат - просто присвойте значение 1 некоторому произвольному непустому отрезку линии; [ требуется разъяснение ]
Пусть wff обозначает правильно построенную формулу (или синтаксически правильную формулу) элементарной геометрии. Тарский и Гивант (1999: 175) доказали, что элементарная геометрия:
- Последовательно : не существует такого wff, что и оно, и его отрицание являются теоремами;
- Завершенность : каждое предложение или его отрицание - это теорема, доказываемая на основе аксиом;
- Разрешимость : существует алгоритм, который присваивает значение истинности каждому предложению. Это следует из Тарского:
- Процедура принятия решения для реального замкнутого поля , которую он нашел методом исключения квантора ( теорема Тарского – Зайденберга );
- Аксиомы, допускающие (многомерную) точную интерпретацию как реальное замкнутое поле .
Гупта (1965) доказал независимость вышеприведенных аксиом, за исключением Паша и Рефлексивности конгруэнтности .
Отрицание аксиомы Евклида дает гиперболическую геометрию , а полное ее исключение дает абсолютную геометрию . Полная (в отличие от элементарной) евклидова геометрия требует отказа от аксиоматизации первого порядка: замените φ ( x ) и ψ ( y ) в схеме аксиом Непрерывности на x ∈ A и y ∈ B , где A и B - переменные с универсальным количественным определением. ранжирование по наборам точек.
Сравнение с Гильбертом
Аксиомы Гильберта для плоской геометрии номер 16 и включают транзитивность сравнения и вариант аксиомы Паша. Единственное понятие интуитивной геометрии, упоминаемое в замечаниях к аксиомам Тарского, - это треугольник . (Версии B и C аксиомы Евклида относятся к «кругу» и «углу» соответственно.) Аксиомы Гильберта также требуют «луча», «угла» и понятия треугольника, «включающего в себя» угол. Помимо промежуточности и конгруэнтности, аксиомы Гильберта требуют примитивного бинарного отношения «on», связывающего точку и линию. Схема аксиом непрерывности играет роль, аналогичную двум аксиомам непрерывности Гильберта. Эта схема незаменима; Евклидова геометрия на языке Тарского (или эквивалентного ему) не может быть аксиоматизирована с конечной аксиоматизацией как теория первого порядка . Аксиомы Гильберта не составляют теорию первого порядка, потому что его аксиомы непрерывности требуют логики второго порядка .
Первые четыре группы аксиом аксиом Гильберта для плоской геометрии можно интерпретировать двояко с аксиомами Тарского минус непрерывность.
Смотрите также
- Евклидова геометрия
- Евклидово пространство
Заметки
- ^ Тарский и Givant, 1999, стр 177
Рекомендации
- Францен, Торкель (2005), Теорема Гёделя: неполное руководство по ее использованию и злоупотреблениям , AK Peters, ISBN 1-56881-238-8
- Гивант, Стивен (1999) «Объединение нитей в работе Альфреда Тарски», Mathematical Intelligencer 21: 47–58.
- Гупта, HN (1965) Вклад в аксиоматические основы геометрии . Кандидат наук. защитил диссертацию в Калифорнийском университете в Беркли.
- Тарский, Альфред (1959), «Что такое элементарная геометрия?», Леон Хенкин, Патрик Суппес и Альфред Тарский (ред.), Аксиоматический метод. Особое внимание уделяется геометрии и физике. Материалы международного симпозиума в Univ. из Калифорнии, Беркли, 26 декабря 1957 г. - янв. 4, 1958 , Исследования по логике и основам математики, Амстердам: Северная Голландия, стр. 16–29, MR 0106185. Доступно в виде переиздания 2007 г. , Brouwer Press, ISBN 1-4437-2812-8
- Тарский, Альфред ; Givant, Стивен (1999), "Система Тарского геометрии", Бюллетень символической логики , 5 (2): 175-214, CiteSeerX 10.1.1.27.9012 , DOI : 10,2307 / 421089 , ISSN 1079-8986 , JSTOR 421089 , Руководство по ремонту 1791303
- Швабхойзер В., Шмилев В. и Альфред Тарски , 1983. Metamat Mathematische Methoden in der Geometrie . Springer-Verlag.
- Щерба, LW (1986). «Тарский и геометрия». Журнал символической логики . 51 (4): 907–12. DOI : 10.2307 / 2273904 . JSTOR 2273904 .