Модель Клейна геометрии Лобачевского

(доказательство непротиворечивости å _Л)

Рассмотрим на евклидовой плоскости некоторую окружность w с центром O и радиусом r =1. Назовем ее абсолютом. W- круг с границей w, а -множество внутренних точек этого круга. Вот на этом объекте и будет построена модель.

L- точкой назовем любую евклидову точку МÎ .

L- прямой – любую хорду без концов окружности w. Отношения инцидентности и лежать между в обычном смысле.

Ясно, что аксиомы I и II групп Гильберта (для плоскости) имеют место. А значит, имеют место и следствия из них и можно ввести соответствующие понятия: луча (полухорды), полуплоскость (открытый сегмент), флаг, угол и т.д.

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

Напомним сложным отношением четырех точек прямой А, В, С и D называется число (АВ, СD)=

Забиваем Сайты В ТОП КУВАЛДОЙ - Уникальные возможности от SeoHammer

Каждая ссылка анализируется по трем пакетам оценки: SEO, Трафик и SMM. SeoHammer делает продвижение сайта прозрачным и простым занятием. Ссылки, вечные ссылки, статьи, упоминания, пресс-релизы - используйте по максимуму потенциал SeoHammer для продвижения вашего сайта.

Что умеет делать SeoHammer

— Продвижение в один клик, интеллектуальный подбор запросов, покупка самых лучших ссылок с высокой степенью качества у лучших бирж ссылок.
— Регулярная проверка качества ссылок по более чем 100 показателям и ежедневный пересчет показателей качества проекта.
— Все известные форматы ссылок: арендные ссылки, вечные ссылки, публикации (упоминания, мнения, отзывы, статьи, пресс-релизы).
— SeoHammer покажет, где рост или падение, а также запросы, на которые нужно обратить внимание.

SeoHammer еще предоставляет технологию Буст, она ускоряет продвижение в десятки раз, а первые результаты появляются уже в течение первых 7 дней.

Зарегистрироваться и Начать продвижение

Свойства: 1⁰. Если (АВ, СD)=(АВ, СD^/), то D=D^/

2⁰. (АВ, СD)=(СD, АВ)=(ВА, DС)=(DС, ВА)

3⁰. Если четыре точки прямой заданы своими координатами М₁(х₁, у₁), М₂(х₂, у₂), М₃ (х₃, у₃), М₄(х₄, у₄), то (М₁М₂, М₃М₄)=

Опр. 1 Биективное отображением f: W®W назовем L- преобразованием, если

а) внутренние точки круга W переходят во внутренние точки того же круга, а граничные – в граничные

б) Любая хорда окружности w переходит в некоторую хорду этой же окружности и при этом сохраняется сложное отношение соответственных точек.

Корректность. Множество таких преобразований не пусто, т.к. евклидовы повороты вокруг т. О и евклидовы симметрии относительно диаметров, удовлетворяют всем требованиям, поскольку сохраняется простое отношение трех, а значит и сложное отношение четырех точек прямой.

Но ими множество L-преобразований не исчерпывается, если бы исчерп., то о Лобачевском и речи бы не было. Рассмотрим следующие отображения f: W®W в системе координат Oху:

(1)

(2)

Каждая точка множества W имеет образ, т.к. 1- а х¹ 0 и т.к. -1£ х£ 1 проверим а)1-х^/2-у^/2= , ясно, если правая часть> 0, то и левая > 0 Þ , если правая часть =0, то и лева часть=0 Þ w®w.

Далее из вида формул (2) заключаем, что то же самое имеет место и для прообразов Þ f: W®W биективно и удовлетворяют условие а).

Отображение f - инволютивно, т.к. М^/=f(M), f(M^/)=MÞ f ^-1= f. Непосредственной подстановкой формул (2) в уравнение прямой Ах+Ву+С=0 убеждаемся в выполнении первой части свойства б). Чтобы убедится в том, что сохраняется сложное отношение четырех точек достаточно подставить формулу (2) в свойство 3⁰ сложного отношения (). Возможно, есть и другие L- преобразования (не все они инволютивны). Для доказательства аксиом III группы нам понадобятся свойства этих L- преобразований.

Сервис онлайн-записи на собственном Telegram-боте

Попробуйте сервис онлайн-записи VisitTime на основе вашего собственного Telegram-бота:
— Разгрузит мастера, специалиста или компанию;
— Позволит гибко управлять расписанием и загрузкой;
— Разошлет оповещения о новых услугах или акциях;
— Позволит принять оплату на карту/кошелек/счет;
— Позволит записываться на групповые и персональные посещения;
— Поможет получить от клиента отзывы о визите к вам;
— Включает в себя сервис чаевых.

Для новых пользователей первый месяц бесплатно.

Зарегистрироваться в сервисе

L1. Если f и g L- преобразования, то f °g и f ^-1 являются L- преобразованиями.

L2. Любое L- преобразование сохраняет отношение «лежать между» точек круга W.

Доказательство. Пусть А, В, СÎ W и А-В-С. А^/, В^/, С^/ - образы. А, В, СÎ uv, А^/, В^/, С^/Î u^/v^/: если А и С концы хорды, то утверждение очевидно. Пусть точка u не совпадает ни с А, ни с С. Тогда (АС, ВU)=(А^/С^/, В^/U^/), т. е. (АС, U)< 0, и т.к. граница ® в границу, то (А^/С^/, U^/)< 0, но (AC, B)> 0Þ (А^/С^/, В^/)> 0Þ B^/ лежит между А^/ и С^/. ч.т.д.

L3. При L- преобразовании отрезок, принадлежащий кругу W, переходит в отрезок, полухорда в полухорду, сегмент в сегмент, а если ввести понятие L-флага, то L-флаг ®L -флаг. (т.к. полупл. ® в полупл.)

L4. Какова бы ни была точка А круга , существует инволютивное L-преобразование, которое переводит точку А в центр О круга W, а точку О в точку А.

Доказательство: Пусть ОА=а(< 1) систему координат Оху выберем так, чтобы А имела координаты (а, 0) тогда L - преобразование, заданное формулами (1)-искомое. Ч.т.д.

L5. Каковы бы ни были флаги и $L- преобразование, которое I₁ переводит в I₂.

Доказательство: f₁(A₁) = О, f₂(A₂) = О, f₀- вращение с отражениями: f₁(I₁)=I₁^/, f₂(I₂)=I₂^/ Þ f₂ °f₀° f₁- искомое.

L6. Каковы бы ни были полухорды А₁U₁ и А₂U₂, существует L- преобразование, которое полухорду А₁U₁ переводит в полухорду А₂U₂.

L7. Если L-преобразование какой-нибудь L- флаг переводит в себя, то оно является тождественным преобразованием.

Теперь введем отношение конгруэнтности (равенства).

Отрезок АВ называется конгруэнтным (равным) отрезку А^/В^/, если $ такое L- преобразование, которое отрезок АВ переводит в отрезок А^/В^/. Угол Ð hk считается равным Ð h^/k^/, если $ Ù - преобразование f, которое угол hk переводит в h^/k^/ (т.е. h^/=f(h) и k^/=f(k) или k^/=f(h) и h^/=f(k)).

Замечание. Всегда можно считать, что h^/=f(h) и k^/=f(k), т.к. иначе по свойству L4 переведем его в угол с вершиной О и добавим симметрию с осью, совпадающей с биссектрисой.

Теперь мы готовы к доказательству H_III. Докажем выполнение III₁, III₂, III₃.

III₁. Пусть АВ данный отрезок на луче h, а h^/- луч, исходящий из т.А^/. Докажем, что $ В^/Î h^/, такая что А^/В^/=АВ. По L6, существует L- преобразование f: АU® А^/U^/. Тогда h^/=f(h) и В^/=f(В)Î h^/ - искомая точка и по df А^/В^/=АВ.

Замечание: В^/- единственна, самостоятельно.

III₂ Если АВ=А^/В^/ и АВ= А^//В^//, то А^/В^/= А^//В^//. Очевидно из L1.

III₃ А-В-С, А^/-В^/-С^/, если АВ=А^/В^/ и ВС=В^/С^/, то АС=А^/С^/. По L6 $ L- преобразование f: ВV®B^/V^/, и т.к. хорда ®хорду, то ВU®B^/V^/. Пусть А₁=f(А), С₁=f(С) т.к. ВА=B^/A^/ и ВА=B^/А₁Þ А₁=А^/, аналогично С₁=С^/Þ f: АС® А^/С^/, т.е. АС= А^/С^/.

III₄. Пусть дан угол hk и флаг (А^/, h^/, l^/). Докажем, что существует единственный луч k^/Ì l^/, так что Ð hk=h^/k^/. Рассмотрим L - флаги I=(АU, ) и I^/=(А^/U^/, l^/) по свойству 5 $ L- преобразование f: I^/=f (I). Луч k^/=f(k)-искомыйÞ Ð hk=Ð h^/k^/.

Единственность. Пусть k^// – луч, т. что Ð hk=Ð h^/k^// и k^// Î I^/, тогда Ð h^/k^/=Ð h^/k^//Þ $ L-преобразование g: h^/=g(k^/), k^//=g(k^/)Þ L- преобразование g L-флаг I^/ переводит в себя, значит оно тождественное Þ k^/и k^//-совпадают.

III₅. Пусть в DАВС и А^/В^/С^/ АВ=А^/В^/, АС=А^/C^/ и Ð ВАС=Ð В^/А^/С^/. Докажем, что Ð АВС=Ð А^/В^/С^/.

H_IV имеет место, т.к. она эквивалентна Th Дедекинда.

V^* тоже (см. картинку).

Значит, мы построили модель геометрии Лобачевского. Тем самым, доказав, что å _л непротиворечива, если непротиворечива å _Н, но å _Н непротиворечива, если непротиворечива арифметика действительных чисел.

Теорема 1. å _Л непротиворечива, если непротиворечива арифметика действительных чисел.

Теорема 2. V постулат не зависит от остальных четырех групп аксиом Гильберта евклидовой планиметрии.