Гіперболічна геометрія

Матеріал з Вікіпедії — вільної енциклопедії.
(Перенаправлено з Геометрія Лобачевського)
Перейти до навігації Перейти до пошуку
Трикутник, занурений у сідлоподібну площину (гіперболічний параболоїд), разом з двома розбіжними ультрапаралельними прямими

Гіперболічна геометрія (інколи геометрія Бояї-Лобачевського) — одна з неевклідових геометрій, геометрична теорія, що базується на тих же основних міркуваннях, що і звичайна евклідова геометрія, за винятком аксіоми про паралельність.

Евклідова аксіома про паралельні твердить:

через точку, що не лежить на даній прямій, проходить тільки одна пряма, що лежить з даною прямою в одній площині і не перетинає її.

Дві прямі через задану точку P, асимптотично паралельні прямий R.

У гіперболічній геометрії замість неї приймається наступна аксіома:

через точку, що не лежить на даній прямій, проходять щонайменше дві прямі, що лежать з даною прямою в одній площині і не перетинають її.

Гіперболічна геометрія має широке застосування як у математиці, так і у фізиці. Її поява ознаменувала нову епоху в розвитку геометрії та математики загалом.

Коли геометри вперше зрозуміли, що вони працюють із чимось іншим, ніж стандартна евклідова геометрія, вони описували свою геометрію під різними назвами. Врешті Фелікс Кляйн дав цій галузі назву гіперболічна геометрія, аби включити його у нині рідко вживану послідовність еліптичної геометрії (сферична геометрія), параболічної геометрії (евклідова геометрія) та гіперболічної геометрії. У колишньому Радянському Союзі її часто називають геометрією Лобачевського, аби вшанувати пам'ять російського геометра Миколи Лобачевського, який був одним з її відкривачів.

Історія

[ред. | ред. код]
Порівняння еліптичної, евклідової та гіперболічної геометрій

Джерелом гіперболічної геометрії слугувало питання аксіоми про паралельні прямі, котра відома також як п'ятий постулат Евкліда (під цим номером у списку постулатів із «Начал» Евкліда знаходиться твердження, еквівалентне до наведеної аксіоми про паралельні прямі). Цей постулат, складніший порівняно з іншими, довгий час викликав спроби довести його на основі інших постулатів.

Ось неповний список учених, що займались доведенням V постулату до XIX ст.:

Доведення вказаних вчених зводились до заміни V постулату іншими припущеннями, що здавались очевиднішими.

Моделі гіперболічної геометрії

[ред. | ред. код]

Моделлю гіперболічної геометрії називається поверхня або простір, в якому виконуються аксіоми гіперболічної геометрії.

Оскільки всі реалізації гіперболічної геометрії ізоморфні[1], твердження, доведене в одній моделі гіперболічної геометрії, буде дійсне в будь-якій іншій моделі. Тим самим для проведення міркувань можна щоразу вибирати найбільш «зручну» модель. Наприклад, в конформних моделях Пуанкаре, кут між кривими дорівнює евклідовому куту.

Модель Кляйна

[ред. | ред. код]
Докладніше: Проєктивна модель
Прямі в моделі Кляйна. Через точку P проходить нескінченно багато прямих, які не перетинають пряму a.

Точками моделі Кляйна є внутрішні точки круга одиничного радіуса з центром у початку координат. Відстань між точками і визначається за допомогою подвійного відношення, а саме як

для інтервалу , де і  — точки перетину прямої з граничним колом круга.

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

У моделі Кляйна прямими є хорди кола[2]. Тому в цій моделі зручно розглядати питання пов'язані з опуклими множинами гіперболічної геометрії.

Перша фундаментальна форма гіперболічної площини в моделі Кляйна має вигляд[3]

Аналогічним чином влаштована модель багатовимірного гіперболічного простору. Точками простору будуть внутрішні точки кулі одиничного радіуса, та точно так само, як і на площині, задається відстань подвійним відношенням.

Модель Пуанкаре в кулі

[ред. | ред. код]
Через точку площини проходять прямі, паралельні заданій прямій

Точками в моделі Пуанкаре в кулі будуть внутрішні точки кулі, а множиною нескінченно віддалених точок (абсолютом) буде гранична сфера. Прямими в цій моделі будуть дуги кіл та відрізки, ортогональні абсолюту. Метричними сферами в цієї моделі будуть евклідові сфери, які лежать в кулі (зауважимо, що взагалі центри сфер зміщені відносно центрів евклідових сфер).

Це конформна модель гіперболічної геометрії, тобто кут між кривими в цій моделі збігається з евклідовим кутом.

Перша фундаментальна форма гіперболічного простору в моделі Пуанкаре в кулі має вигляд[3]

Модель Пуанкаре у півпросторі

[ред. | ред. код]

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

Перша фундаментальна форма гіперболічного простору в моделі Пуанкаре у верхній півплощині має вигляд[4]

Як і модель Пуанкаре в кулі, це також конформна модель гіперболічної геометрії. Існує конформне перетворення, яке перетворює одну модель в іншу.

Див. також

[ред. | ред. код]

Примітки

[ред. | ред. код]
  1. Погорелов А. В., с. 84
  2. Прасолов В. В., Тихомиров В. М., с. 184
  3. а б Ефимов Н. В., с. 525
  4. Бердон А., с. 118

Література

[ред. | ред. код]
  • A'Campo, Norbert and Papadopoulos, Athanase, (2012) Notes on hyperbolic geometry, in: Strasbourg Master class on Geometry, pp. 1–182, IRMA Lectures in Mathematics and Theoretical Physics, Vol. 18, Zürich: European Mathematical Society (EMS), 461 pages, SBN ISBN 978-3-03719-105-7, DOI 10.4171–105.
  • Coxeter, H. S. M., (1942) Non-Euclidean geometry, University of Toronto Press, Toronto
  • Fenchel, Werner (1989). Elementary geometry in hyperbolic space. De Gruyter Studies in mathematics. Т. 11. Berlin-New York: Walter de Gruyter & Co.
  • Fenchel, Werner; Nielsen, Jakob (2003). Asmus L. Schmidt (ред.). Discontinuous groups of isometries in the hyperbolic plane. De Gruyter Studies in mathematics. Т. 29. Berlin: Walter de Gruyter & Co.
  • Lobachevsky, Nikolai I., (2010) Pangeometry, Edited and translated by Athanase Papadopoulos, Heritage of European Mathematics, Vol. 4. Zürich: European Mathematical Society (EMS). xii, 310~p, ISBN 978-3-03719-087-6/hbk
  • Milnor, John W., (1982) Hyperbolic geometry: The first 150 years, Bull. Amer. Math. Soc. (N.S.) Volume 6, Number 1, pp. 9–24.
  • Reynolds, William F., (1993) Hyperbolic Geometry on a Hyperboloid, American Mathematical Monthly 100:442–455.
  • Stillwell, John (1996). Sources of hyperbolic geometry. History of Mathematics. Т. 10. Providence, R.I.: American Mathematical Society. ISBN 978-0-8218-0529-9. MR 1402697.
  • Samuels, David, (March 2006) Knit Theory Discover Magazine, volume 27, Number 3.
  • James W. Anderson, Hyperbolic Geometry, Springer 2005, ISBN 1-85233-934-9
  • James W. Cannon, William J. Floyd, Richard Kenyon, and Walter R. Parry (1997) Hyperbolic Geometry, MSRI Publications, volume 31.
  • Лаптев Борис Лукич. Геометрия Лобачевского, её история и значение. — Москва : «Знание», 1976. — Т. 9. — 64 с. — (Новое в жизни, науке, технике. Серия «Математика, кибернетика») — 45 250 прим. (рос.)

Джерела

[ред. | ред. код]
  • Бердон А. Геометрія дискретних груп = Геометрия дискретных групп: Пер. з англ.. — Москва : Наука, 1986. — 304 с.
  • Ефимов Н.В. Вища геометрія = Высшая геометрия. — Москва : Наука, 1978. — 576 с.
  • Погорелов А.В. Лекції з основ геометрії = Лекции по основаниям геометрии. — Харків : ХДУ, 1964. — 138 с.
  • Прасолов В.В., Тихомиров В.М. Геометрія = Геометрия. — Москва : МЦНМО, 1997. — 352 с. (Книга в *.pdf та *.ps форматі. [Архівовано 9 січня 2015 у Wayback Machine.])

Посилання

[ред. | ред. код]