Проекционная линия
- Проективная прямая — это продолжение обычной прямой точкой, называемой точкой на бесконечности.
- Формулировка и доказательство многих теорем геометрии упрощаются за счет исключения частных случаев.
- Существует множество эквивалентных способов формального определения проективной прямой.
- Проективная линия над реалами является многообразием.
- Произвольная точка на проективной прямой может быть представлена классом эквивалентности однородных координат.
- Проекционная линия может быть отождествлена с линией K, продолженной точкой на бесконечность.
- В терминах теории групп мы можем взять частное от подгруппы {1, -1}.
- Проективная прямая над конечным полем Fq имеет q + 1 точек.
- Группа гомографий с коэффициентами в K действует на проективную прямую P1(K).
- Проективная прямая является фундаментальным примером алгебраической кривой.
Полный текст статьи: