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

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

Перейти к: навигация, поиск

Абсолютная геометрия — часть классической геометрии, независимая от пятого постулата евклидовой аксиоматики. Другими словами, это общая часть евклидовой и неевклидовой геометрии.

Термин был предложен Яношем Бойяи в 1832 году. Правда, сам Бойяи вкладывал в него несколько иной смысл: он называл абсолютной геометрией специально разработанную им символику, которая позволяла объединять одной формулой теоремы как евклидовой, так и неевклидовой геометрий [1].

Первые 28 теорем «Начал» Евклида относятся к абсолютной геометрии. Приведём несколько примеров таких теорем:

  • У равнобедренных треугольников углы при основании равны.
  • При пересечении двух прямых вертикальные углы равны.
  • Большей из двух сторон треугольника противостоит и больший угол, и наоборот, большему углу противостоит бо́льшая сторона.

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

Примерами других теорем, недоказуемых в абсолютной геометрии, являются многочисленные эквиваленты V постулата.

[править] Примечания

  1. Колмогоров А.Н., Юшкевич А.П. (ред.) Математика XIX века. Геометрия. Теория аналитических функций. 1981. М.: Наука, том 2, С.64-65.

[править] Литература

  • Начала Евклида. Перевод с греческого и комментарии Д.Д.Мордухай-Болтовского при редакционном участии И.Н.Веселовского. М.-Л., ГТТИ, 1949. 510 с.