Проєктивна модель — Вікіпедія

Проєктивна модель (модель Кляйна, модель Бельтрамі — Кляйна) — модель геометрії Лобачевского, запропонована італійським математиком Еудженіо Бельтрамі. Німецький математик Фелікс Кляйн розробив її незалежно.

За її допомогою доводиться несуперечливість геометрії Лобачевського в припущенні несуперечливості евклідової геометрії.

Історія[ред. | ред. код]

Цю модель запропонував Бельтрамі, поряд з моделлю Пуанкаре і моделлю псевдосфери^[1]

Ще раніше, 1859 року цю модель побудував Кейлі. Але він розглядав її лише як деяку конструкцію в проєктивній геометрії і, мабуть, не помітив зв'язку її з неевклідовою геометрією. 1869 року з його роботою ознайомився 20-річний Кляйн. Він згадує, що 1870 року виступив з доповіддю про роботи Кейлі на семінарі Веєрштрасса і, як він пише, «закінчив її питанням, чи не існує зв'язку між ідеями Кейлі і Лобачевського. Я отримав відповідь, що це — дві дуже віддалені за ідеєю системи». Як каже Кляйн «я дозволив переконати себе цими запереченнями і відклав убік вже дозрілу думку». Однак 1871 року він до цієї думки повернувся, оформив її математично і опублікував^[2].

Модель[ред. | ред. код]

Площину Лобачевського подано в цій моделі відкритим диском, обмеженим деяким колом — абсолютом. Точки абсолюту, так звані «ідеальні точки», площині Лобачевського вже не належать. Пряма площини Лобачевського — це хорда абсолюту, що з'єднує дві ідеальні точки.

Рухами геометрії Лобачевського в проєктивній моделі оголошуються проєктивні перетворення площини, що переводять внутрішність абсолюту в себе. Конгруентними вважаються фігури всередині абсолюту, що переводяться одна в одну такими рухами. Якщо точки ${\displaystyle A}$ і ${\displaystyle B}$ лежать на хорді ${\displaystyle PQ}$ так, що порядок їх проходження на прямій ${\displaystyle PABQ}$, тоді відстань ${\displaystyle \ell (A,B)}$ у площині Лобачевського визначається як

${\displaystyle \ell (A,B)={\frac {R}{2}}\,{\rm {ln}}(PQ;BA)}$

де ${\displaystyle (PQ;BA)}$ позначає подвійне відношення, ${\displaystyle R}$ — радіус кривини площини Лобачевського.

Зауваження[ред. | ред. код]

• Будь-який факт евклідової геометрії, описаний такою мовою, подає деякий факт геометрії Лобачевського. Іншими словами, будь-яке твердження неевклідової геометрії Лобачевського на площині є не що інше, як твердження евклідової геометрії на площині, що стосується фігур усередині кола, переказане в зазначених термінах.

• Евклідова аксіома про паралельні явно не виконується в цій моделі, оскільки через точку ${\displaystyle O}$, що не лежить на даній хорді ${\displaystyle a}$, проходить скільки завгодно хорд, що не перетинають її.

Властивість[ред. | ред. код]

• Хорди, які зустрічаються на граничному колі, відповідають асимптотично паралельним прямим.

• Дві хорди перпендикулярні, якщо, продовжені за межі диска, кожна проходить через полюс іншої (полюс хорди — це точка перетину дотичних до абсолюту в кінцевих точках хорди). Хорди, що проходять через центр диска, мають полюс на нескінченності, ортогональний до напрямку хорди (звідси випливає, що прямі кути на діаметрах не спотворені).

• Кола в моделі стають еліпсами;
• Орициклам відповідають еліпси, що мають з абсолютом дотик порядку 4.
• Еквідистанті прямої відповідають дуги еліпсів, дотичних до абсолюту в двох абсолютних точках цієї прямої.

Див. також[ред. | ред. код]

• Ідеальний трикутник

Примітки[ред. | ред. код]

Література[ред. | ред. код]

• Клейн Ф. О так называемой неевклидовой геометрии. [Архівовано 4 березня 2016 у Wayback Machine.] В сборнике: Основания геометрии, М., ГИТТЛ, 1956.
• Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия, гл. XII — Физматлит, Москва, 2009.

Це незавершена стаття з геометрії. Ви можете допомогти проєкту, виправивши або дописавши її.

В іншому мовному розділі є повніша стаття Beltrami–Klein model(англ.). Ви можете допомогти, розширивши поточну статтю за допомогою перекладу з англійської. Дивитись автоперекладену версію статті з мови «англійська». Перекладач повинен розуміти, що відповідальність за кінцевий вміст статті у Вікіпедії несе саме автор редагувань. Онлайн-переклад надається лише як корисний інструмент перегляду вмісту зрозумілою мовою. Не використовуйте невичитаний і невідкоригований машинний переклад у статтях української Вікіпедії! Машинний переклад Google є корисною відправною точкою для перекладу, але перекладачам необхідно виправляти помилки та підтверджувати точність перекладу, а не просто скопіювати машинний переклад до української Вікіпедії. Не перекладайте текст, який видається недостовірним або неякісним. Якщо можливо, перевірте текст за посиланнями, поданими в іншомовній статті. Докладні рекомендації: див. Вікіпедія:Переклад.