Основания геометрии

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

История развития

Древнегреческий период: «Начала» Евклида

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

Попытки доказательства пятого постулата

В течение античности и Средневековья математики (Птолемей, Прокл, аль-Джаухари, Омар Хайям, Насир ад-Дин ат-Туси) предлагали различные доказательства пятого постулата, но все они содержали скрытые допущения, равносильные самому постулату. В эпоху Возрождения и Нового времени эти попытки продолжили Джованни Джероламо Саккери, Иоганн Генрих Ламберт и Адриен Мари Лежандр. Саккери в 1733 году в работе «Евклид, очищенный от всех пятен» пытался доказать пятый постулат от противного, рассматривая гипотезы острого, прямого и тупого угла. Он отверг гипотезу острого угла как «противоречащую природе прямой линии», но фактически заложил основы неевклидовой геометрии.

Открытие неевклидовых геометрий

В первой половине XIX века трое математиков — Карл Фридрих Гаусс (не публиковавший результаты), Николай Иванович Лобачевский (1829, «О началах геометрии») и Янош Бойяи (1832) — независимо друг от друга пришли к выводу, что пятый постулат не зависит от остальных аксиом Евклида. Они построили геометрию, в которой через точку, не лежащую на данной прямой, можно провести более одной прямой, не пересекающей данную. Эта геометрия получила название гиперболической (или геометрии Лобачевского). В 1854 году Бернхард Риман предложил эллиптическую геометрию, в которой вообще нет параллельных прямых (через точку нельзя провести ни одной прямой, не пересекающей данную). Так родились неевклидовы геометрии, что потребовало пересмотра оснований всей геометрии.

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

В конце XIX века Давид Гильберт в книге «Основания геометрии» (1899) дал строгую аксиоматику евклидовой геометрии, устранившую логические пробелы «Начал» Евклида. Гильберт выделил 20 аксиом, разделённых на пять групп: аксиомы связи (принадлежности), аксиомы порядка, аксиомы конгруэнтности (равенства), аксиомы непрерывности и аксиома параллельности. Он также доказал непротиворечивость своей системы аксиом, сведя её к арифметике действительных чисел. Работа Гильберта стала образцом аксиоматического метода в математике.

Основные понятия и аксиоматика

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

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

Группы аксиом по Гильберту

1. Аксиомы связи (8 аксиом): описывают отношения принадлежности точек, прямых и плоскостей. Например: «Через две различные точки проходит одна и только одна прямая».
2. Аксиомы порядка (4 аксиомы): определяют понятие «между» и линейный порядок точек на прямой. Например: «Если точка B лежит между A и C, то A, B, C — различные точки одной прямой, и B лежит между C и A».
3. Аксиомы конгруэнтности (5 аксиом): задают свойства равенства отрезков и углов, а также возможность откладывания отрезков и углов. Например: «Если два отрезка конгруэнтны третьему, то они конгруэнтны между собой».
4. Аксиомы непрерывности (2 аксиомы): аксиома Архимеда (для любого отрезка можно отложить его конечное число раз, чтобы превзойти любой другой отрезок) и аксиома полноты (невозможно добавить новые точки к прямой, не нарушая остальных аксиом).
5. Аксиома параллельности (1 аксиома): в плоскости через точку, не лежащую на данной прямой, проходит не более одной прямой, не пересекающей данную.

Модели и непротиворечивость

Для доказательства непротиворечивости аксиоматики Гильберта строится модель — интерпретация первичных понятий в терминах другой теории (обычно арифметики действительных чисел). В декартовой модели точки отождествляются с упорядоченными парами (x, y) действительных чисел, прямые — с уравнениями вида ax + by + c = 0. Если арифметика действительных чисел непротиворечива, то и евклидова геометрия непротиворечива. Аналогично строятся модели неевклидовых геометрий: например, модель Пуанкаре для гиперболической геометрии (внутренность круга) или модель Римана (сфера с отождествлёнными противоположными точками).

Классификация геометрических систем

Евклидова геометрия

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

Гиперболическая геометрия (Лобачевского)

В этой геометрии через точку, не лежащую на данной прямой, проходит бесконечно много прямых, не пересекающих данную. Сумма углов треугольника меньше 180°, и она зависит от площади треугольника (чем больше площадь, тем меньше сумма). Кривизна пространства отрицательна. Модели: модель Пуанкаре в круге, модель Клейна, модель на псевдосфере. Применяется в теории относительности (пространство-время Минковского), в топологии, в теории чисел.

Эллиптическая геометрия (Римана)

В этой геометрии через точку, не лежащую на данной прямой, нельзя провести ни одной прямой, не пересекающей данную (все прямые пересекаются). Сумма углов треугольника больше 180°. Кривизна пространства положительна. Простейшая модель — сфера, где прямыми являются большие круги. Применяется в сферической навигации, астрономии, геодезии, а также в общей теории относительности (модели замкнутой Вселенной).

Абсолютная геометрия

Совокупность теорем, которые можно доказать без использования аксиомы параллельности. К ним относятся, например, теоремы о равенстве треугольников, о свойствах серединных перпендикуляров, о сумме углов треугольника (которая в абсолютной геометрии может быть ≤ 180°). Абсолютная геометрия является общей частью евклидовой и гиперболической геометрий.

Современные подходы и обобщения

Аксиоматика Тарского

Альфред Тарский в 1920-х годах предложил альтернативную аксиоматику евклидовой геометрии, основанную на одном отношении — «между» (тернарное отношение) и одном отношении — «конгруэнтность» (кватернарное отношение). Эта система аксиом является более экономной и допускает элиминацию кванторов, что важно для теории моделей и автоматического доказательства теорем.

Геометрия как часть топологии

В XX веке геометрия стала рассматриваться как часть топологии и теории многообразий. Риманова геометрия изучает многообразия с метрикой, задающей локальное расстояние. Общая теория относительности описывает гравитацию как искривление пространства-времени, которое является четырёхмерным псевдоримановым многообразием. В этом контексте основания геометрии включают понятия метрического тензора, связности, кривизны.

Категориальный подход

В современной математике основания геометрии могут быть изложены на языке теории категорий. Геометрические объекты (точки, прямые, плоскости) рассматриваются как объекты некоторой категории, а аксиомы — как свойства морфизмов и функторов. Этот подход позволяет унифицировать различные геометрические теории (алгебраическую, дифференциальную, проективную).

Критика и философские аспекты

Спор об очевидности аксиом

С античных времён до XIX века считалось, что аксиомы геометрии являются самоочевидными истинами, вытекающими из природы пространства. Открытие неевклидовых геометрий показало, что аксиомы — это не абсолютные истины, а произвольные соглашения, которые могут быть заменены другими. Это привело к конвенционализму (Анри Пуанкаре) и формализму (Давид Гильберт).

Проблема физического пространства

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

Логические парадоксы

В аксиоматике Гильберта, как и в любой формальной системе, существуют ограничения, вытекающие из теорем Гёделя о неполноте. Однако геометрия является достаточно простой теорией, чтобы её непротиворечивость могла быть доказана средствами арифметики. Тем не менее, попытки построить полную аксиоматику, включающую все возможные геометрические факты, сталкиваются с принципиальными ограничениями.

Применение оснований геометрии

• Математическое образование: изучение аксиоматического метода в средней и высшей школе.
• Компьютерная графика и геометрическое моделирование: построение трёхмерных сцен, расчёт освещения, трассировка лучей (используются как евклидовы, так и неевклидовы пространства).
• Физика и космология: описание пространства-времени в теории относительности, моделирование Вселенной.
• Архитектура и дизайн: проектирование зданий с неевклидовой геометрией (например, гиперболические параболоиды).
• Робототехника: планирование движений в искривлённых пространствах.

Источники

• Гильберт Д. Основания геометрии. — М.: Гостехиздат, 1948.
• Лобачевский Н. И. О началах геометрии. — Казань, 1829.
• Риман Б. О гипотезах, лежащих в основаниях геометрии. — 1854.
• Тарский А. Введение в логику и методологию дедуктивных наук. — М.: Иностранная литература, 1948.
• Ефимов Н. В. Высшая геометрия. — М.: Физматлит, 2004.
• Погорелов А. В. Геометрия. — М.: Наука, 1983.