rdfs:comment
| - Модель Клейна, или модель Кэли–Клейна, модель диска Клейна, модель Бельтрами–Клейна, проективная модель — первая модель геометрии Лобачевского; с её помощью удалось доказать непротиворечивость геометрии Лобачевского в предположении непротиворечивости Евклидовой геометрии. Пусть на проективной плоскости введены проективные координаты и задана некоторая овальная линия второго порядка, обозначаемая дальше буквой k, например
|
abstract
| - Модель Клейна, или модель Кэли–Клейна, модель диска Клейна, модель Бельтрами–Клейна, проективная модель — первая модель геометрии Лобачевского; с её помощью удалось доказать непротиворечивость геометрии Лобачевского в предположении непротиворечивости Евклидовой геометрии. Пусть на проективной плоскости введены проективные координаты и задана некоторая овальная линия второго порядка, обозначаемая дальше буквой k, например Каждое проективное отображение проективной плоскости на себя, которое оставляет на месте линию k, называется автоморфизмом относительно k. Каждый автоморфизм отображает внутренние точки линии k также во внутренние её точки. Множество всех автоморфизмов относительно линии k составляет группу. Пусть рассматриваются только точки проективной плоскости, лежащие внутри k; хорды линии k называются «прямыми». Две фигуры пусть считаются равными, если одна из них переводится в другую некоторым автоморфизмом. Так как автоморфизмы составляют группу, то имеют место основные свойства равенства фигур: если фигура А равна фигуре В, то В равна А; если фигура А равна фигуре В, а В равна фигуре С, то А. равна С. В получаемой т. о. геометрические теории будут соблюдены требования всех аксиом евклидовой геометрии, кроме аксиомы о параллельных: вместо этой последней аксиомы соблюдается аксиома о параллельных Лобачевского (см. рисунок). Тем самым получается истолкование (двумерной) геометрии Лобачевского при помощи объектов проективной плоскости или, как говорят, проективная модель геометрии Лобачевского; линию k называют абсолютом этой модели. Автоморфизмы относительно k играют роль движений. Поэтому геометрию Лобачевского можно рассматривать как теорию, изучающую свойства фигур и связанные с фигурами величины, которые остаются неизменными при автоморфизмах; короче говоря, геометрию Лобачевского можно рассматривать как теорию инвариантов группы автоморфизмов относительно овального абсолюта. Эта страница использует содержимое раздела Википедии на русском языке. Оригинальная статья находится по адресу: Модель Клейна. Список первоначальных авторов статьи можно посмотреть в [ истории правок]. Так же, как и в этом проекте, тексты, размещённые в Википедии, доступны на условиях GNU FDL.
|