Проекционно расширенная реальная линия
- Теорема Дезарга утверждает, что прямая, проходящая через две точки, является проективной линией.
- Прямая, проходящая через три точки, является проективной плоскостью.
- Теорема Дезарга имеет следствия в контексте реальной проективной плоскости.
- Проективности сохраняют гармоническое соотношение и образуют автоморфизмы действительной проективной прямой.
- Проективности описываются алгебраически как гомографии и образуют группу PGL(2, R).
- Гиперболическая инволюция имеет две фиксированные точки, соответствующие элементарным арифметическим операциям.
Полный текст статьи: