Модели Пуанкаре плоскости Лобачевского

Рассматривается Е=С – плоскость комплексных чисел.

=С =СP^-1- комплексная проективная прямая.На каждая точка проходит через точку и становится замкнутой как окружность. Расширенные прямые = l и окружности входят в один класс линий окружности на .

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

ƺ-окружность.U- внутренность круга неевклид.прямые двух видов.

L₁ -диаметр ƺ.

L₂=S U, где S ƺ

Обе модели Пуанкаре явл. конформными,т.е. евклидовы и неевклидовы величины углов совпадают.