Реальная проективная линия
- Проективная прямая — это множество всех классов эквивалентности векторов в векторном пространстве.
- Отношение эквивалентности определяет топологию и дифференциальную структуру на проективной прямой.
- Проективная прямая может рассматриваться как фактор-пространство окружности в соответствии с соотношением эквивалентности.
- Реальная проективная прямая является полным проективным диапазоном и имеет циклический порядок.
- Проективная линейная группа GL2(R) действует на P1(R) через матрично-векторное умножение.
- Группа PGL2(R) также называется группой линейных автоморфизмов P1(R).
- Действие PGL2(R) на R ∪ ∞ осуществляется через линейные дробные преобразования.
- Действие PGL2(R) является резко 3-транзитивным, и стабилизатор в PGL2(R) точки θ является аффинной группой вещественной прямой.
Полный текст статьи: