Основания геометрии - Ферран Ж.Л.
ISBN 5-03-001008-4
Скачать (прямая ссылка):
Полученная таким образом гомография ф называется элацией.
И здесь, полагая tf=Kerft, мы увидим, что задание Л, Р (Я) и образа Р' какой-либо не неподвижной точки Р позволяет построить образ М/ любой точки, по тем же правилам i), ii). Заметим, однако, что в этом случае Л е Р(Я).
Реализация гомологий и элаций как композиций перспектив
Гомологии и элации естественно появляются при изучении перспектив (см. § 1 и определение 4.2); обозначив через &, S' две различные гиперплоскости в
5*
132
ГЛ IV. ЭЛЕМЕНТЫ ПРОЕКТИВНОЕ! ГЕОМЕТРИИ
Р(?), выберем в Р (Е) также две различные точки 5, 5', не принадлежащие пи «??, ни 3\ и обозначим через р (соотв. р') перспективу с центром 5 (соотв. Я') гиперплоскости 3 на 3'. Тогда ф = //-1°р будет биекцией 3? на себя, имеющей в качестве неподвижных точек все точки пересечения 3[\3’ (образующие гиперплоскость в 3?), а также точку А пересечения прямой (55') с 3?. Более того, ср сохраняет все проективные прямые в 3, проходящие через А. Построение образа М' любой точки М выполняется
по правилам і), іі), которые называются по этой причине правилами перспективы. Отсюда выводится, что Ф = р'-1 о р есть элация или гомология гиперплоскости 3?, смотря то тому, принадлежит или нет точка А пересечению ЗП 35' (см. рис. 2). По поводу дальнейших подробностей см. упр. IV. 10.
Проективная группа
Гомографии Р (Е) на себя образуют группу, называемую проективной группой пространства Е и обозначаемую РОБ(?').
По предложению 3.1, при условии біт (Е) ^ 2 два элемента /, g^GL(E) индуцируют одну и ту же гомографию тогда и только тогда, когда существует элемент к ф 0 центра тела К, такой, что g = к[\ это эквивалентно тому, что = к 1АЕ принадлежит
центру СБ(?) (см. упр. 11.16). Сформулируем
Предложение 3.4. Проективная группа РСБ(?) изоморфна факторгруппе группы СЬ(?) по ее центру.
4. ПРОЕКТИВНОЕ ПОПОЛНЕНИЕ АФФИННОГО ПРОСТРАНСТВА 133
4. ПРОЕКТИВНОЕ ПОПОЛНЕНИЕ АФФИННОГО ПРОСТРАНСТВА
Как мы видели в § III. 6, всякое аффинное про--странство 8 допускает каноническую аффинную биекцию на собственно аффинную гиперплоскость1) векторного пространства 8, где 8 называлось век* торным продолжением 8. Теперь мы можем выска* зать
? Определение 4.1. Проективное пополнение аффинного пространства 8 есть проективное пространство Р (8) его векторного продолжения.
Забыв пока это абстрактное определение, предположим, что рассматриваемое аффинное пространство 8 есть собственно аффинная гиперплоскость векторного пространства Я, и пусть Е — векторная гиперплоскость Я, направляющая 8.
Ограничение на 8 канонической проекции р: Я*-*
Р(Я), обозначаемое pv есть инъекция 8 в Р(Я), образ которой дополнителен к Р (Я) (каждой точке M?8 отвечает векторная прямая (ОМ); обратно, векторная прямая в Я пересекает 8 тогда и только тогда, когда она не содержится в Я). Эта инъекция pg позволяет, таким образом, отождествить 8 g ;Р(Я)\Р(Я), и удобно называть Р (Я) «проективным пополнением» 8 ив том случае, когда Я не обязательно «каноническое» векторное продолжение 8. Эта «наивная» точка зрения оправдывается следующим предложением, которое выводится из предложения III. 7.2 и устанавливает изоморфизм между Р(Я) и Р (8).
? Предложение 4.1. Пусть Я, Я' —два векторных пространства над одним и тем же телом К и Ж (соотв. 36') есть собственно аффинная гиперплоскость в Я (соотв. Я').
!) Для краткости аффинную гиперплоскость векторного пространства мы называем собственно аффинщде, если она н$ проходит через начало.
134 ‘ гл. IV. Элементы проективной геометрии
Каждая аффинная биекция Ж на Ж' имеет продолжение до изоморфизма Р на Р\ индуцирующего гомографию Р(Е) на Р(Е/)1).
Мы можем, таким образом, полностью определить проективное пополнение аффинного пространства, не прибегая к конструкции § III. 6: достаточно построить аффинную биекцию Ж на собственно аффинную гиперплоскость векторного пространства Е, и тогда Р (Е) будет искомым пополнением (определенным с точностью до изоморфизма).
При любом Ж можно положить Р = Е X К, где Е — векторное пространство, ассоциированное с Ж. Мы получим аффинную биекцию / пространства Ж на аффинную гиперплоскость ?Х{1} В ?, если фиксируем некоторую точку А е Ж и положим
(V Мее Ж) !(М) = (АМ, 1).
Если Ж — аффинная гиперплоскость аффинного пространства ЗГ, то достаточно выбрать некоторую точку О в ёГ\Ж и снабдить ЗГ структурой векторного пространства с началом О. Тогда мы вернемся к случаю собственно аффинной гиперплоскости векторного пространства 0\ проективное пополнение Ж{ изоморфно Р(ЗГо) и отождествляется с Ж\]Р{Е), где Е — направляющее векторное пространство Ж. Мы вновь получим при этом конструкцию конца § 1 с Жос—Р(Е) (множеством направлений прямых ъЖ).
Для конкретизации понятия проективного пополнения используем следущие
Обозначения. Если Ж — аффинное пространство, ассоциированное с векторным пространством Е, то его проективное пополнение (определенное с точностью до изоморфизма) будет обозначаться Ж [} и Р (Е) или просто Ж; множество Р (Е) будет называться бесконечно удаленной гиперплоскостью в Ж \\ обозначаться Ж™. Элементы Р (Е) будут называться бесконечно удаленными точками Ж.
