Аксиоматика Бахмана

Аксиоматика Бахмана — система аксиом нейтральной и Евклидовой геометрий, построенная на понятии групп движений. Предложенная Фридрихом Бахманом.[1]

Обозначения

Переместительность двух элементов в группе, то есть выполнение тождества будет обозначаться ; при этом означает одновременное выполнение , , и .

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

Нейтральная геометрия

Аксиома 1. Для любых , найдется такой, что .

Аксиома 2. Из следует, что или .

Аксиома 3. Если , то существует элемент такой,что .

Аксиома 4. Если , то существует элемент такой,что .

Аксиома D. Существуют такие, что , и не имеет места ни одно из соотношений , , .

Связь с обычными аксиомами

Этой системе аксиом удовлетворяют группы евклидовой и неевклидовых плоскостей, если принять за множество осевых симметрии. При этом те инволютивные элементы группы, которые представимы как произведение двух элементов из , окажутся при этом центральными симметриями.

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

При этом,

  • соотношение означает то что точка лежит на прямой .
  • соотношение означает то что прямая перпендикулярна прямой ;
    • в этом случае есть точка пересечения и .

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

Система для евклидовой геометрии пополняется двумя аксиомами

Аксиома R. Из и следует .

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

Примечания

  1. Фридрих Бахман. Построение геометрии на основе понятия симметрии. — 1969.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.