Структура аффинного пространства над телом
1. Введение
Чтобы лучше понимать аффинную структуру и не теряться от ее кажущейся
сложности, можно обратиться к более общему понятию однородного
пространства. Это даст также повод вспомнить, что понятие группы возникло
путем абстракции из понятия группы преобразований, и, более того, оно
полностью проявляет себя, когда мы рассматриваем действие группы на
некотором множестве.
Считая хорошо известным понятие абстрактной группы, введем
Определение 1.1. Пусть [pic]- некоторая группа (с мультипликативным
обозначением операции) и [pic]- ее нейтральный элемент.
Говорят, что [pic] действует слева на множестве [pic], если
определенно отображение [pic], [pic], такое, что набор отображений [pic],
[pic] удовлетворяет условиям
[pic] и [pic] [pic].
(1)
Аналогично говорят, что [pic] действует на [pic] справа, если
определено отображение [pic], [pic], такое, что набор отображений [pic],
[pic] удовлетворяет условиям
[pic] и [pic] [pic].
(1/)
Соотношения (1) (соответственно (1/)) показывают, что [pic](
соответственно [pic])- это биекции [pic] на [pic]и что [pic]
(соответственно [pic]).
Например, любая группа [pic] действует сама на себе слева левыми
сдвигами: [pic] и справа правыми сдвигами: [pic].
Группа [pic] действует на себе слева также внутренними автоморфизмами:
[pic].
Условимся считать, если иное не оговорено, что действие группы на
множестве понимается как действие слева.
Понятно, что для коммутативной группы [pic]оба действия совпадают;
следует, однако, отметить, что одна и та же группа может действовать на
множестве, в том числе и на себе, разными способами.
Определение 1.2. Пусть группа [pic] действует слева на множестве [pic]
с законом действия [pic]. Говорят, что [pic] действует на [pic]
транзитивно, если для любой пары [pic] элементов [pic] существует хотя бы
один элемент [pic], такой, что [pic]; далее, говорят, что действие [pic]
просто транзитивно, если этот элемент [pic] всегда единственный.
Пример. Линейная группа [pic] автоморфизмов [pic] действует транзитивно
на [pic], но это действие не является просто транзитивным, кроме случая
[pic].
Определение 1.3. Пусть группа [pic] действует слева на множестве [pic].
Стабилизатором подмножества [pic] множества [pic] называется множество
[pic].
Непосредственно ясно, что [pic]- подгруппа группы[pic]. Если множество
[pic] состоит из одного элемента [pic], то это подгруппа называется группой
изотропии элемента [pic].
Замечание. Стабилизатор [pic] является пересечением двух множеств [pic]
и [pic], которые не обязаны быть подгруппами [pic]. Например, если [pic]
действует на себе трансляциями и [pic]- положительная полуось, то [pic] не
является подгруппой, а [pic].
Определение 1.4. Пусть [pic]- группа, действующая слева на [pic];
орбитой элемента [pic] называется образ [pic] при отображении [pic].
Если [pic] действует на [pic] транзитивно, то орбиты всех элементов
совпадают с [pic].
Замечание. На [pic]можно определить отношение эквивалентности, полагая
[pic], если существует элемент [pic], такой, что [pic]; классы
эквивалентности являются орбитами элементов [pic]; фактормножество по этому
отношению назовем пространством орбит.
Однородные пространства
Определение 1.5. Однородным пространством, ассоциированным с группой
[pic], называется множество [pic], на котором определено транзитивное
действие группы [pic].
Пример (типовой). Пространство смежных классов группы по ее подгруппе.
Пусть [pic]- группа, [pic]- ее подгруппа, [pic]- фактормножество,
образованное левыми смежными классами относительно [pic]: элементы [pic] из
[pic] объявляются эквивалентными, если существует элемент [pic], такой, что
[pic]; класс эквивалентности элемента [pic] есть множество [pic] элементов
вида [pic], где [pic].
Действие слева группы [pic] на [pic] определяется с помощью [pic]; это
действие, очевидно, транзитивно. Фактормножество [pic] является однородным
пространством относительно этого действия.
Мы увидим, что всякое однородное пространство приводится (при помощи
биекции) к пространству такого вида.
Теорема 1.1. Пусть [pic]- однородное пространство, ассоциированное с
группой [pic], и для любого [pic] пусть [pic]- группа изотропии [pic].
Тогда существует единственная биекция [pic] факторпространства [pic] на
[pic], такая, что для всех [pic] выполнено [pic], где [pic]- каноническая
проекция и [pic]- действие [pic] на [pic].
Доказательство. Соотношение [pic] равносильно [pic] и, значит, [pic]
или [pic]; следовательно, отображение [pic], [pic] переносится на
фактормножество и представляется в виде [pic], где [pic]- биекция.
Специальный случай
Если группа [pic] действует на [pic] просто транзитивно, то группы
изотропии [pic] тривиальны; для каждой точки [pic] отображение [pic], [pic]
является биекцией, удовлетворяющей условию [pic].
Эта биекция [pic] позволяет перенести на [pic]структуру группы [pic],
которая, однако, будет зависеть от выбора точки [pic], т. е. образа
нейтрального элемента. Говоря нестрого, [pic] допускает структуру группы,
изоморфной [pic], при произвольном выборе нейтрального элемента.
Так и будет обстоять дело в случае ”аффинной структуры”.
2.Аффинные пространства
Определение 2.1. Пусть [pic]- векторное пространство над произвольным
телом [pic]. Аффинным пространством, ассоциированным с [pic], называется
множество ?, на котором определено просто транзитивное действие абелевой
группы [pic].
Это действие записывается обычно в виде
[pic]?[pic]?, [pic].
Для любого [pic] биекция [pic]?[pic] ?,[pic] называется трансляцией на
вектор [pic]; далее, для некоторой пары [pic] элементов ? единственный
вектор [pic], такой, что [pic], обозначается [pic].
Чтобы отличить элементы ? (называемые точками) от элементов [pic]
(называемых векторами), мы будем преимущественно обозначать ”точки”
прописными буквами латинского алфавита, такими, как [pic], а ”векторы
-строчными, например [pic]; греческие буквы предназначаются для ”скаляров”.
Можно привести два равносильных данному определению 2.1. обычных
определения, не опирающихся на понятие действия группы.
Определение 2.2. Аффинным пространством, ассоциированным с [pic],
называется множество ?, снабженное семейством биекций [pic], таких, что a) [pic]? и [pic][pic]; b) для любой пары [pic]?[pic]? существует единственный вектор [pic],
такой, что [pic].
Определение 2.3. Аффинным пространством, ассоциированным с [pic],
называется множество ?, снабженное отображением ?[pic]?[pic], обозначаемым
[pic], таким, что a) для каждого [pic]? отображение ?[pic], [pic] биективно; b) для любых точек [pic] из ? выполнено соотношение Шаля
[pic].
Заметим, что из этих условий следует, что для любой точки [pic]? мы
имеем [pic].
От определения 2.3. к определению 2.2. можно перейти, обозначив через
[pic] единственную точку [pic], такую, что [pic], и заметив, что
соотношение Шаля равносильно [pic]. Переход от определения 2.2. к
определению 2.1. непосредственно ясен.
Из какого бы определения мы ни исходили, существенным остается тот
факт, что для любой точки [pic]? отображение [pic]?, [pic] есть биекция;
эта биекция позволяет перенести на ? векторную структуру [pic].
Обозначения. Полученная таким путем векторная структура на ? будет
называться векторной структурой с началом [pic]; множество ? с этой
структурой будет обозначаться ?A.
Говоря нестрого, аффинное пространство выглядит как векторное
пространство, начальный (нейтральный) элемент которого еще не выбран.
Аффинные свойства ?- это те свойства векторного пространства ?A, которые не
зависят от выбора точки [pic].
Таким образом, можно было бы, пренебрегая аффинной структурой, свести
все задачи аффинной геометрии к задачам векторного характера путем выбора
начальной точки; так и делается в математическом обиходе. Но больше в духе
”внутреннего” исследования была бы работа без выбора начальной точки,
позволяя яснее представить именно аффинные свойства ?. Так мы и поступим,
не забывая при этом, что введение векторной структуры с надлежащим выбором
начальной точки часто проясняет дело.
Размерность аффинного пространства
Пусть ?- аффинное пространство, ассоциированное с векторным
пространством [pic]. По определению, размерность ? равна размерности [pic].
В частности, любое одноточечное множество допускает единственную
аффинную структуру размерности [pic], ассоциированную с нулевым векторным
пространством.
Аффинные подпространства
(Линейные аффинные многообразия)
Пусть ?- аффинное пространство, ассоциированное с векторным
пространством [pic]. Каждое векторное подпространство [pic] пространства
[pic] образует подгруппу группы [pic], действующую на ? трансляциями. По
определению, орбиты действия [pic] на ? называются линейными аффинными
многообразиями (сокращенно ЛАМ) с направлением [pic]. Группа [pic],
действующая просто транзитивно на каждой из этих орбит определяет тем самым
на каждой из них аффинную структуру, ассоциированную с [pic]; поэтому мы
называем эти орбиты (ЛАМ) также аффинными подпространствами в ?.
Если [pic] есть ЛАМ с направляющим подпространством [pic] и [pic]-
точка [pic], то [pic] допускает структуру векторного пространства с началом
[pic] и [pic] есть векторное подпространство в ?A. Обратно, любое ВПП
пространства ?A есть ЛАМ, проходящее через [pic]; сформулируем
Предложение 3.1. Аффинные подпространства в ?, проходящие через точку
[pic], суть векторные подпространства векторного пространства ?A.
Это краткое рассмотрение показывает, что направление ЛАМ [pic]
пространства ? полностью определяется заданием множества точек [pic].
Другие определения.
Предложение 3.1. показывает, что данное выше определение эквивалентно
следующему элементарному определению:
Определение 3.1. Непустое подмножество [pic] аффинного пространства ?
называется линейным аффинным многообразием, если в [pic] существует точка
[pic], такая, что [pic] является векторным подпространством в [pic].
Приняв определение 3.1., можно непосредственно установить следующее
Предложение 3.2. Пусть [pic]- непустое подмножество в ? и [pic]- точка
[pic], такая, что [pic] есть векторное подпространство в [pic]. Тогда для
любой точки [pic] из [pic] множество [pic] совпадает с [pic].
Доказательство. [pic] есть множество векторов [pic], где [pic]; таким
образом, [pic] есть образ [pic] при биекции [pic], [pic], и поскольку
[pic], то [pic].
Установив это, легко убедиться, что [pic] наделено структурой аффинного
пространства, ассоциированного с векторным пространством [pic], которое не
зависит от точки [pic].
Вместо того, чтобы исходить из векторной структуры [pic], можно
использовать отношение эквивалентности, связанное с действием [pic] на
[pic]: ЛАМ суть классы эквивалентности для этого отношения, и мы приходим к
следующему равносильному определению:
Определение 3.2. Пусть [pic]- векторное подпространство в [pic] и [pic]- отношение эквивалентности, определяемое на ? с помощью
[pic];
аффинными многообразиями с направлением [pic] называются классы
эквивалентности по отношению [pic].
Существуют и другие способы определить ЛАМ пространства ?, но нам
кажется, что данные выше определения ведут к наиболее простому способу
изложения дальнейшего.
Случай векторного пространства.
Каждое векторное пространство [pic] канонически снабжено аффинной
структурой, так как [pic] действует на себе трансляциями; в этом случае
нулевой вектор [pic] называется также ”началом” [pic] и
[pic] [pic] .
ЛАМ пространства [pic], проходящие через [pic], суть векторные
подпространства в [pic]; ЛАМ, проходящие через точку [pic], суть образы
векторных подпространств [pic] при параллельном переносе [pic].
Ради кратности ЛАМ, не проходящие через начало, будут называться
собственно аффинными (поскольку они не являются ВПП в [pic]).
Размерность линейного аффинного многообразия
Вернемся к случаю произвольного аффинного пространства ?;
предшествующие рассмотрения позволяют определить размерность ЛАМ как
размерность его направляющего ВПП. Отсюда появляются понятия: аффинной
прямой (ЛАМ размерности 1) и аффинной плоскости (ЛАМ размерности 2). ЛАМ
размерности [pic] суть точки ?.
Аффинной гиперплоскостью называется ЛАМ, направляющее подпространство
которого есть векторная гиперплоскость.
Пересечение линейных аффинных многообразий
Предложение 3. 3. Пусть [pic]- семейство аффинных подпространств в ? и
[pic] для каждого [pic]- направляющее подпространство для [pic].
Если пересечение [pic] непусто, то оно является аффинным подпространством в
[pic] с направляющим [pic].
Доказательство сразу получается из определения 3.1. При тех же
обозначениях имеет место
Предложение 3.4. Для того, чтобы пересечение [pic] двух ЛАМ в ? было
непустым, необходимо и достаточно, чтобы существовали такие точки [pic] и
[pic] , что [pic], и тогда
[pic] [pic] [pic].
Доказательство. Если [pic], то для любых [pic], [pic] имеем [pic] и
[pic]. Таким образом, [pic].
Обратно, если существуют [pic] и [pic], такие, что [pic], то можно
представить [pic] в виде [pic], где [pic], [pic]. Тогда точка [pic],
определяемая условием [pic] , принадлежит [pic] и, как легко видеть, [pic].
Это доказывает, что [pic] принадлежит также [pic], а тем самым [pic] не
пусто.
Из предложения 3.4. можно получить примеры ЛАМ с пустым пересечением, а
также
Предложение 3.5. Если [pic], [pic]- аффинные подпространства в ?,
направляющие которых взаимно дополняют друг друга в [pic], то [pic] и [pic]
имеют единственную общую точку.
Параллелизм
Определение 3.3. Говорят, что два линейных аффинных многообразий [pic],
[pic] вполне параллельны, если они имеют одно и то же направляющее
подпространство: [pic].
Более общо, говорят, что [pic] параллельно [pic], если направляющие
пространства [pic], [pic] многообразий [pic], [pic] удовлетворяют
включению [pic].
Можно проверить, что отношение ”[pic] вполне параллельно
(соответственно параллельно) [pic] ” равносильно существованию трансляции
[pic] пространства ?, такой, что [pic] (соответственно [pic]).
Аффинное подпространство, порожденное подмножеством [pic]пространства ?
Предположение 3.6. Если [pic]- непустое подмножество в ?, то существует
единственное аффинное подпространство в ?, обозначаемое [pic], содержащее
[pic] и обладающее следующим свойством:
Любое аффинное подпространство ?, содержащее [pic], содержит и [pic].
Говорят, что [pic] порождено [pic].
Коротким способом доказательства предложения 3.6. является применение
предложения 3.3.: [pic] есть пересечение всех ЛАМ, содержащих [pic].
Недостаток этого рассуждения в том, что приходится привлекать семейство
”всех ЛАМ, содержащих [pic]”, о котором мало что известно и которое обычно
даже несчетно!
Более элементарный и конструктивный способ состоит в выборе в [pic]
начальной точки [pic], что сводит задачу к отысканию наименьшего векторного
подпространства в ?A, содержащего [pic] (поскольку ЛАМ, содержащее [pic],
являются ВПП в ?). Таким образом, [pic] есть ВПП в ?A, порожденное [pic];
при этом сам характер задачи показывает, что это ВПП не зависит от выбора
точки [pic] в [pic]. Если мы заметим, что направляющее подпространство для
[pic] есть ВПП в [pic], порожденное векторами [pic], то получим также
Предложение 3.7. Пусть [pic]- непустое подмножество в ?; для каждой
точки [pic] положим [pic]. Тогда векторное пространство [pic] не зависит от
выбора [pic] и [pic] есть ЛАМ, проходящее через [pic] с направлением [pic].
Можно дать прямое доказательство этого утверждения, аналогичное
доказательству предложения 3.2.
В частности, если [pic]- конечное множество, то векторное пространство
[pic] не зависит от [pic] и, следовательно, совпадает с
[pic] и [pic].
Отсюда вытекает
Предложение 3.8. Размерность аффинного подпространства, порожденного
[pic] точками [pic] пространства ? не превосходит [pic]; его размерность
равна [pic] тогда и только тогда, когда [pic] векторов [pic] ([pic])
образуют свободное семейство.
Другие свойства ЛАМ изучаются в связи с понятием барицентра.
Барицентры: приложения к изучению аффинных подпространств
В последующем ? всегда обозначает аффинное пространство,
ассоциированное с левым векторным пространством [pic] над, вообще говоря,
некоммутативным телом [pic]. ”Взвешенной точкой” называется элемент
[pic]?[pic].
Теорема 4.1. Для каждого конечного семейства (системы) [pic]
взвешенных точек, такого, что [pic], существует единственная точка [pic],
удовлетворяющая любому (а тогда и двум остальным) из следующих трех условий
a), b), c): a) [pic], b) [pic]?[pic] [pic], c) [pic]?[pic] [pic].
Эта точка называется барицентром (центром тяжести) системы [pic]. Мы
обозначим ее [pic].
Эквивалентность трех условий легко устанавливается с помощью
соотношения Шаля.
Свойства. a) Однородность (слева).
Предложение 4.2. Для любого [pic] имеем
[pic] b) Ассоциативность.
Предложение 4.3. Пусть [pic]- разбиение [pic], т.е. совокупность
непустых попарно непересекающихся подмножеств [pic], таких, что [pic] .
Если для любого [pic] скаляр [pic] отличен от нуля и мы положим [pic],
то
[pic].
Доказательства получаются непосредственно
Замечания. По определению 4.2. можно всегда привести дело к случаю,
когда ”полная масса” системы [pic], т.е. [pic] равна 1. В этом и только в
этом случае можно положить
[pic].
Для успешного использования этого обозначения следует заметить, что
соотношение [pic] равносильно каждому из следующих утверждений:
[pic] и [pic]?[pic] [pic],
(1)
[pic]?[pic] [pic],
(2) так как (2) влечет за собой (1).
Эквибарицентром конечного подмножества [pic] пространства ? называется
точка [pic]. Она существует только тогда, когда характеристика [pic] не
является делителем числа [pic].
Следующее утверждение показывает, что отыскание барицентра сводится, за
некоторыми исключениями, к последовательному построению барицентров пар
точек.
Предложение 4.4. Пусть [pic]- конечное семейство взвешенных точек,
таких, что [pic] для всех [pic], [pic] и [pic].
Если характеристика [pic] отлична от 2, то существует разбиение [pic]
множества [pic], такое, что
[pic] и [pic].
Доказательство. Если одна из сумм [pic]отлична от нуля, то достаточно
положить [pic] и [pic].
Если все суммы [pic] равны нулю, то все [pic] равны одному и тому же
элементу [pic], такому, что [pic], где [pic].
Если характеристика [pic] отлична от 2, то [pic], и, поскольку [pic] не
равно нулю, получим искомое разбиение, выбирая [pic] как двухэлементное
подмножество, а [pic] как подмножество из [pic] элементов.
Следствие. Если характеристика [pic] не равна 2, то построение
барицентра [pic] точек приводится к последовательному построению [pic]
барицентров пар.
Приложения к линейным аффинным многообразиям
Теорема 4.5. Если [pic]- непустое подмножество в ?, то [pic] есть
множество барицентров конечных семейств взвешенных точек с носителями в
[pic].
Доказательство. Уточним сначала, что под носителем семейства [pic]
понимается множество [pic].
Условившись об этом, выберем некоторую точку [pic] в [pic]. Барицентры
семейства с носителями в [pic] суть точки [pic], удовлетворяющие
соотношению вида
[pic],
(3) где [pic] и [pic]. При этом соотношение (3) влечет за собой [pic] и
поэтому [pic] (см. предложение 3.7). Обратно, если [pic]- точка из [pic],
то найдутся точки [pic], принадлежащие [pic], и скаляры [pic] ( с суммой,
необязательно равной 1), такие, что [pic]; это соотношение также
записывается в виде
[pic] с [pic] и [pic];
таким образом, [pic] есть барицентр системы с носителем в [pic].
Определение 4.1. Подмножество [pic]? называется аффинно порождающим ?,
если [pic]?; оно называется аффинно свободным, если любая любая точка
[pic] из [pic] единственным образом представляется в виде
[pic], где [pic] и [pic] при любом [pic].
Множество, одновременно аффинно свободное и аффинно порождающее,
называется аффинным репером.
Выбирая начало [pic] в [pic] и пологая [pic], легко видеть, что [pic]
аффинно свободное (соответственно аффинно порождающее) тогда и только
тогда, когда [pic] свободное (соответственно множество образующих).
(Напомним, что [pic] не зависит от выбора [pic].) Отсюда вытекает
Предложение 4.6. Для того, чтобы подмножество [pic] пространства ? было
аффинно порождающим, необходимо и достаточно, чтобы [pic] не содержалось ни
в какой аффинной гиперплоскости в ?.
Наконец, применяя предложение 3.7, получим
Предложение 4.7. Если ?- аффинное пространство конечной размерности
[pic], то любой его аффинный репер образован [pic] точками.
Обратно, для того, чтобы [pic] точек в ? образовали аффинный репер,
необходимо и достаточно, чтобы [pic] векторов [pic] [pic] образовали базис
[pic], или (эквивалентное условие) чтобы точки [pic] не принадлежали одной
аффинной гиперплоскости.
Заметим, что если [pic] есть ЛАМ конечной размерности в ? и [pic]-
аффинный репер в [pic], то [pic] есть множество точек [pic] с [pic]. Этот
способ параметризации часто полезен. В частности, аффинная прямая,
соединяющая две точки [pic] в ?, есть множество точек [pic].
Характеризация аффинных подпространств
Следующая теорема оправдывает элементарное определение плоскости в
школьном курсе геометрии как такого множества [pic] точек, что каждая
прямая, имеющая с ним две общие точки, вся принадлежит [pic].
Теорема 4.8. для того, чтобы непустая часть [pic] пространства [pic]
была линейным аффинным многообразием, необходимо и достаточно, чтобы a) если [pic] – любая прямая, соединяющая две точки [pic], содержалась в [pic]; b) если [pic]- эвибарицентр любых трех точек [pic] лежал в [pic].
Доказательство. Нам уже известна необходимость этого условия. Для
доказательства достаточности выберем в [pic] точку [pic] и покажем, что
[pic] есть ВПП пространства [pic]. a) Предположив, что [pic], установим прежде всего, что условия [pic] и
[pic] влекут [pic].
Действительно, по предположению существует точка [pic], такая, что [pic].
Точка [pic], определенная условием [pic], принадлежит прямой (АВ) и,
значит, [pic], откуда следует, что [pic].
Рассмотрим далее два любых вектора [pic] и [pic] в [pic] и выберем
[pic] (что возможно, так как [pic] не сводится к [pic]). Точки [pic] и
[pic] (см. рис. 1) принадлежат соответственно прямым (АВ) и (АС), а поэтому и [pic]. Следовательно, точка [pic] принадлежит [pic] , откуда [pic]. Итак
[pic] есть ВПП в [pic].
[pic]
Рис. 1 b) Если [pic], то тривиальным образом [pic] влечет [pic] (так как [pic] может принимать только два значения 0, 1). Если [pic], [pic]- два вектора из [pic], то точка [pic], определяемая условием [pic], есть эквибарицентр [pic], откуда и вытекает наше утверждение.
Аффинные и полуаффинные отображения
Определение 5.1. Пусть ?, [pic]- два аффинных пространства,
ассоциированных соответственно с векторными пространствами [pic], [pic].
Отображение[pic]?[pic]называется полуаффинным (соответственно аффинным),
если в ? существует такая точка [pic], что отображение [pic], [pic]
полулинейно (соответственно линейно).
Предложение 5.1. Если в ? существует точка [pic], удовлетворяющая
вышеуказанным требованиям, то им удовлетворяет любая точка ? и отображение
[pic] не зависит от [pic].
Доказательство. Для любой пары [pic]? имеем в силу линейности [pic]
[pic],
что и доказывает требуемое.
Обозначения. Отображение [pic] обозначается [pic] и называется
полулинейной (соответственно линейной) частью [pic].
Истолкование. Фиксируем в ? некоторую точку [pic] и снабдим [pic],
[pic] векторными структурами, принимая за начало в ? точку [pic], а в [pic]- точку [pic]. Тогда [pic] будет полуаффинным (соответственно аффинным) в
том и только том случае, если [pic]- полулинейное (соответственно линейное)
отображение ?А в [pic].
В частности, изучение полуаффинных (соответственно аффинных)
отображений пространства ? в себя, допускающих неподвижную точку [pic],
сводится к изучению полулинейных (соответственно линейных) отображений ?А в
себя.
Так обстоит дело в случае геометрий, проектирований и симметрий (см.
ниже).
Важно заметить, что полуаффинные (соответственно аффинные) отображения
полностью определяется своей полулинейной (соответственно линейной) частью
и образом одной точки.
Если [pic], [pic]- два векторных пространства, то полуаффинное
(соответственно аффинное) отображение [pic] и [pic] есть отображение вида
[pic], где [pic] полулинейно (соответственно линейно), а [pic]- постоянный
элемент.
Непосредственные следствия. Если[pic] ?[pic] полуаффинно, то
1) Образ ЛАМ в ? есть ЛАМ в [pic].
2) Прообраз ЛАМ в [pic] есть ЛАМ в ? или пустое множество.
3) Для любой системы [pic] взвешенных точек ? образ барицентра [pic] есть барицентр [pic], где [pic] обозначает изоморфизм тел, ассоциированных с [pic].
Применение аффинных реперов
Теорема 5.2. Пусть ?, [pic]- аффинные пространства над телами
[pic],[pic], [pic]- изоморфизм [pic] на [pic], [pic]- аффинный репер в ? и
[pic]- семейство точек [pic], индексированное тем же множеством индексов
[pic].
Тогда существует единственное полуаффинное отображение [pic]
пространства ? в [pic], ассоциированное с изоморфизмом [pic], такое, что
[pic] для всех [pic].
Более того, [pic] биективно (соответственно инъективно, сюръективно)
тогда и только тогда, когда семейство [pic] есть аффинный репер
(соответственно свободное семейство, семейство образующих) для [pic].
Доказательство. Вернемся к теореме [pic], взяв одну из точек [pic] в
качестве начала в ?, а соответствующую точку [pic]- в [pic]; отображение
[pic] определяется равенством
[pic]
для любого конечного подмножества [pic] и любой системы скаляров [pic],
таких, что, [pic].
В частности, аффинное отображение ? в [pic] определяется заданием образа
аффинного репера из ?.
Приложение: уравнение аффинной гиперплоскости или ЛАМ
Опираясь на исследование, проведенное в параграфе II.6, легко получаем
Предложение 5.3. Пусть ?- аффинное пространство над телом [pic]. Тогда a) Если [pic] ?[pic] – непостоянное аффинное отображение, то [pic]- аффинная гиперплоскость в ? с направлением [pic]. b) Обратно, если [pic]- аффинная гиперплоскость в ?, то существует аффинное отображение [pic] ?[pic], такое, что [pic], и все аффинные отображения ? в [pic] с этим свойством суть отображения [pic], где
[pic].
Если ?- аффинное пространство конечной размерности [pic], то каждое ЛАМ
размерности [pic] в ? определяется системой уравнений вида [pic] [pic], где
[pic]- аффинные отображения ? в [pic], линейные части которых независимы.
Характеризация аффинных отображений
Теорема 5.4. Пусть ?[pic]- два аффинных пространства над одним и тем же
телом [pic]. Для того, чтобы отображение [pic]?[pic] было аффинным,
необходимо и достаточно, чтобы a) при [pic]
[pic]?[pic]?[pic]
[pic]; b) при [pic] образ эквибарицентра любых трех точек ? был эквибарицентром их образов.
Доказательство (аналогичное случаю теоремы 4.8.). a) При фиксированной точке [pic]? соотношение a) показывает, что для любого вектора [pic] направляющего пространства [pic] имеем
[pic].
Отображение [pic] удовлетворяет, следовательно, условию [pic].
Чтобы доказать, что выполняется и условие [pic] для любых [pic],
выберем такие [pic], что [pic], [pic] и [pic], определим точки [pic], [pic]
условиями [pic], [pic]. Применяя условие a), получим тогда [pic],
откуда
[pic].
Можно также сформулировать теорему 5.4. так: отображение ? в [pic]
является аффинным тогда и только тогда, когда его ограничение на любую
аффинную прямую в ? аффинно.
В дальнейшем мы дадим чисто геометрическую характеристику полуаффинных
отображений.
Неподвижные точки аффинных и полуаффинных отображений.
Теорема 5.5. Если [pic]- полуаффинное отображение и множество [pic]
его неподвижных точек не пусто, то оно является ЛАМ с направляющим
множеством [pic][pic], состоящим из неподвижных элементов отображения
[pic].
С другой стороны, если [pic] конечномерно и [pic]не имеет других
неподвижных элементов, кроме 0, то [pic]имеет единственную неподвижную
точку.[pic]
Доказательство. Если фиксировать точку [pic], условие
[pic]равносильно [pic]и, значит, условию [pic] где [pic]
. Если [pic]- неподвижная точка [pic]то [pic] равносильно [pic]откуда вытекает первое утверждение.
. Если [pic], то отображение [pic] инъективно и потому в случае конечной размерности [pic] биективно; в [pic]существует единственная точка
[pic] такая, что [pic] откуда следует второе утверждение. [pic]
Важное замечание. Если [pic]- произвольное отображение и [pic]- биекция, то [pic]
Это общее замечание особенно полезно в случае аффинных отображений.
Аффинные и полуаффинные группы.
Если [pic] и [pic] – два аффинных (соотв. полуаффинных) отображения, то
[pic] также есть аффинное (соотв. полуаффинное) отображение и [pic]
Отсюда выводится
Теорема 5.6. Пусть [pic]- аффинное пространство, ассоциированное с векторным пространством [pic] Аффинные (соотв. полуаффинные) биекции
[pic] на [pic] образуют группу, которую мы обозначаем [pic] (соотв.
[pic]). Отображение [pic] (линейная или полулинейная часть) есть гомоморфизм [pic]на [pic]и [pic]на группу [pic]полулинейных биекций
[pic]на [pic].
Наконец, для любой точки [pic] в [pic] ограничение [pic] на группу изотропии точки [pic]в [pic] (соотв. [pic]) является изоморфизмом этой группы на [pic](соотв. [pic]).
Последнее утверждение получим, выбирая [pic]в качестве начала в [pic].
Следствие. Если [pic]подгруппа в [pic](соотв. в [pic]), то [pic] есть подгруппа в [pic] (соотв. в [pic]); при этом если [pic]инвариантная подгруппа, то такова же и [pic].
В частности, если [pic] то [pic] есть инвариантная подгруппа в [pic], образованная трансляциями.
Если [pic]то [pic] есть инвариантная подгруппа в [pic], образованная трансляциям и центральными симметриями.
Если [pic][pic]инвариантная подгруппа группы [pic], образованная векторными гомотетиями, то [pic]есть инвариантная подгруппа в [pic], называемая группой дилатаций.
Пусть [pic]дилатация, не сводящаяся к трансляции; тогда [pic]векторная гомотетия вида [pic] где [pic] В этом случае [pic] имеет единственную неподвижную точку [pic] определяемую из условия [pic] где
[pic]произвольная точка [pic]. Таким образом, [pic] выражается как [pic]
Такое отображение называется гомотетией с центром [pic] и коэффициентом
[pic]
Сформулируем
Предложение 5.7. Трансляции и гомотетии [pic] составляют инвариантную подгруппу группы [pic], называемую группой дилатаций [pic]. Мы обозначаем ее [pic].
Если основное тело [pic] коммутативно, то группа [pic] является инвариантной подгруппой группы [pic].
Проектирования
Назовем проектированием [pic]любое аффинное отображение [pic]
пространства [pic]в себя, удовлетворяющее условию [pic]
[pic]
Рис. 2
Для такого отображения любая точка [pic]является неподвижной; принимая
такую точку за начало, мы приходим к случаю проектирования для векторного
пространства [pic]. Отсюда вытекает существование таких отображений, а
также следующая их геометрическая характеризация:
Предложение 5.8. Отображение [pic] является проектированием, если
существует ВПП [pic] пространства [pic]и ЛАМ [pic] в [pic] с направляющим
подпространством [pic] дополнительным к [pic], такие, что для любой точки
[pic] ее образ [pic] есть точка пересечения [pic] с ЛАМ, проходящим через
[pic] с направлением [pic] (рис. 2).
Аффинные симметрии
Теорема 5.9. Пусть [pic]- аффинное пространство, ассоциированное с
векторным пространством [pic]над телом [pic]характеристики [pic].
Для того, чтобы аффинное отображение [pic] было инволютивным,
необходимо и достаточно, чтобы оно имело по меньшей мере одну неподвижную
точку и чтобы его линейная часть была векторной симметрией [pic]
Такое отображение называется аффинной симметрией.
Доказательство. Если [pic]и [pic], то образом середины отрезка [pic] будет
середина отрезка [pic] таким образом, эта точка инвариантна при отображении
[pic] и, выбрав ее за начало, мы сведем дело к векторному случаю. [pic]
Предложение 5.10. Отображение [pic] является аффинной симметрией,
если существуют ВПП [pic] пространства [pic] и ЛАМ [pic]с направлением,
дополнительным к [pic] такие, что для любой точки[pic] (см.рис.2)
1). [pic]
2). Середина [pic]принадлежит [pic].
Если [pic] сводится к одной точке [pic] то [pic] и [pic] есть центральная
симметрия с центром [pic]
Теорема Фалеса
Пусть по-прежнему [pic] есть ВПП в [pic] и [pic]- два аффинных
пространства в [pic], направляющие которых соответственно [pic]
дополнительны к [pic] Обозначим через [pic](соотв. [pic]) ограничение
проектирования [pic] на [pic] (соотв.[pic]) параллельно [pic] Тогда, как
легко видеть, [pic] является аффинной биекцией [pic] на [pic], обратная к
которой есть [pic]. Образ [pic] точки [pic] определяется условиями [pic] и
[pic] (см. рис. 3).
В более общей форме теорема Фалеса есть не что иное, как констатация
того факта, что установленное
[pic]
Рис.3
указанным способом соответствие между [pic] и [pic] является аффинным.
В частности, если [pic][pic] векторная гиперплоскость, то справедлива
Теорема 5.11. Аффинные гиперплоскости, параллельные некоторой
фиксированной гиперплоскости, высекают на произвольной паре не параллельных
им прямых пропорциональные отрезки.
§6. Каноническое погружение аффинного пространства в векторное. Приложения.
Пусть снова [pic]- аффинное пространство, ассоциированное с векторным
пространством [pic]. Как мы уже видели, выбор начала в [pic] позволяет
отождествить [pic] с [pic] теперь мы докажем, что [pic]канонически
отождествляется с аффинной гиперплоскостью некоторого пространства [pic]
изоморфного [pic]
Метод будет состоять в сопоставлении каждой точке [pic] отображения
[pic]
Предварительно сформулируем такое утверждение:
Лемма. Пусть [pic] левое векторное пространство над телом [pic] а
[pic]произвольное множество. Тогда множество [pic] отображений [pic] в
[pic]есть левое векторное пространство над [pic] по отношению к обычным
операциям сложения функций и умножению их слева на скаляры:
[pic] и [pic]
В силу доказанного искомое векторное пространство [pic] будет ВПП в
[pic], порожденным отображениями [pic] Поэтому мы начнем с изучения этого
пространства [pic]
Предложение 6.1. Пусть [pic]- векторное подпространство в [pic],
порожденное функциями [pic] пуст, далее, [pic] элемент из [pic]. Тогда
А). Сумма [pic] зависит только от функции [pic] и притом линейно, т.е.
является линейным отображением [pic] в [pic] которое мы обозначим [pic]
Б). Если [pic] то существует единственная точка [pic], такая, что [pic].
В). Если [pic] то [pic] постоянна.
Доказательство. Заметим сначала, что утверждение А) не очевидно, так
как могут существовать различные системы взвешенных точек [pic], такие, что
[pic] но оно легко вытекает из того факта, что для любой пары [pic]
выполнено соотношение
[pic],
(1)
которое доказывает существование и линейность функции [pic]
Б). Если [pic] выберем в [pic] произвольную точку [pic] Соотношение (1)
показывает, что в [pic] существует единственная точка [pic] такая, что
[pic] она определяется условием [pic] Из (1) также видно, что эта точка –
единственная, для которой [pic] Таким образом, барицентр семейства [pic]
зависит только от функции [pic]
В). Наконец, последнее утверждение также вытекает из (1). [pic]
Следствие. [pic] является теоретико-множественным объединением
векторного пространства постоянных функций и множества функций вида [pic]
Предложение 6.2. Пусть [pic] отображение [pic] и пусть
[pic]отображение [pic] в [pic] которое любому вектору [pic] ставит в
соответствие постоянную функцию, равную [pic] на [pic].
Тогда [pic] аффинно с линейной частью [pic]и потому инъективно; при
этом [pic] есть аффинная гиперплоскость[pic] в [pic] с уравнением [pic]
Доказательство. Для любой пары [pic] разность [pic]есть постоянная
функция [pic]; положим [pic]. Таким образом, [pic] аффинно, [pic] и [pic]
инъективно, как и [pic]
С другой стороны, как показывает предыдущее предложение, функции
[pic] суть элементы [pic] удовлетворяющие условию [pic].[pic]
Теорема 6.3. К каждому аффинному пространству [pic], ассоциированному с
векторным [pic]-пространством [pic], можно канонически присоединить:
. Векторное пространство [pic] изоморфное [pic],
. Ненулевую линейную форму [pic] на [pic],
. Аффинную инъекцию [pic], такую, что [pic] – аффинная гиперплоскость в
[pic]с уравнением [pic]
Доказательство. Остается только установить изоморфизм между [pic] и
[pic]. Для этого достаточно заметить, что какова бы ни была точка[pic], отображение [pic], [pic]линейно и биективно. Установленный таким путем изоморфизм очевидным образом зависит от выбора точки [pic].
Заметим, что аффинная гиперплоскость [pic] имеет в качестве направляющей векторную гиперплоскость [pic] постоянных функций, которая отождествляется с [pic].
Замечания. 1). Векторную структуру на множестве [pic] можно определить непосредственно, не прибегая к векторному пространству [pic], но это связано с утомительными выкладками.
2). Особый интерес теоремы 6.3 в том, что она обеспечивает каноническое погружение [pic] единственным образом определяемое заданием[pic].
Обозначения. Векторное пространство [pic], построенное таким образом, называется векторным продолжением [pic] и обозначается [pic].
Если [pic] имеет размерность [pic] то размерность [pic] равна [pic].
Мы увидим, что введение этого пространства позволяет прояснить многие вопросы.
§7. Приложения теоремы о погружении.
Векторная интерпретация барицентров.
Вернемся к обозначениям §6. Инъекция [pic]позволяет нам отождествить
[pic] с аффинной гиперплоскостью [pic] в [pic], в то время как ее линейная часть [pic] позволяет отождествить [pic]с векторной гиперплоскостью [pic]
Предложение 7.1. Пусть [pic]конченое семейство взвешенных точек [pic], где точки [pic]отождествлены с элементами [pic]. Для того, чтобы элемент
[pic]из [pic]принадлежал [pic](соотв. [pic]), необходимо и достаточно, чтобы [pic](соотв. [pic]).
Доказательство. Это вытекает из соотношения [pic] [pic]
Правило. Отождествление [pic] с подмножеством в [pic]позволяет без предосторожностей записывать любые конечные линейные комбинации [pic] элементов [pic]. Но такая комбинация представляет элемент из [pic]только тогда, когда [pic]( этот элемент будет барицентром системы [pic]); если же [pic]то [pic]представляет элемент из [pic]равный [pic]для любой точки
[pic].
Приложения. 1). Для того, чтобы три точки [pic] из [pic] были коллинеарны, необходимо и достаточно, чтобы существовали не равные одновременно нулю скаляры [pic] такие, что
[pic] и [pic]
(1)
Соотношения (1) на самом деле равносильны одному соотношению [pic]; они интересны своей симметричной формой относительно [pic] и возможностью складывать подобные соотношения.
2). Если [pic] то барицентром системы [pic] является точка пересечения с
[pic] векторной прямой с направляющей [pic] в [pic].
3). Для того чтобы семейство [pic] точек из [pic] было аффинно свободным
(соотв. аффинно порождающим), необходимо и достаточно, чтобы семейство
[pic] было свободным (соотв. семейством образующих) в векторном пространстве [pic]
В частности, аффинный репер [pic] является базисом [pic]содержащимся в
[pic]
Векторная интерпретация аффинных отображений.
Мы начнем с установления одного общего результата, независимого от
теории векторных продолжений
Предложение 7.2. Пусть [pic], [pic]- два векторных пространства над одним и тем же телом [pic]и [pic] (соответственно [pic]) – аффинная гиперплоскость в [pic](соотв. [pic]), не проходящая через начало; обозначим [pic](соответственно [pic]) векторную гиперплоскость, параллельную [pic] (соответственно [pic]).
А) Если [pic] – линейное отображение, такое, что [pic], то ограничение
[pic] на [pic] есть аффинное отображение [pic] в [pic], линейная часть которого есть ограничение [pic] на [pic].
Б) обратно, если [pic] – аффинное отображение, то существует единственное линейное отображение [pic], ограничения которого на [pic] совпадает с
[pic].
Доказательство.
А) Если [pic] линейно и [pic], то для любых точек [pic]из [pic] имеем и
[pic]. Ограничения [pic] на [pic] аффинно с линейной частью [pic], [pic].
Б) Обратно, пусть[pic]- аффинное отображение. Фиксируем точку [pic] в
[pic] и обозначим через [pic] (соответственно [pic]) векторную прямую в
[pic](соответственно [pic]), порожденную [pic] (соответственно [pic])
(рис 4). Тогда [pic][pic], [pic], и искомое линейное отображение должно удовлетворять следующим двум условиям:
1. [pic],
2. Ограничения [pic] на [pic] равно линейной части [pic].
Но существует единственное линейное отображение [pic] из [pic] в
[pic], удовлетворяющее этим условиям ([pic] определено своими ограничениями на дополнительные ВПП [pic] и [pic] пространства [pic]); тогда ограничение [pic] на [pic] – есть аффинное отображение с той же линейной частью, что и [pic], и принимающее в [pic] то же значение, что и
[pic], а тем самым равное [pic], откуда вытекает доказываемый результат.
[pic]
Существует, следовательно, биективное соответствие между аффинными отображениями [pic] в [pic] и линейными отображениями [pic] в [pic], удовлетворяющими условию [pic].
С другой стороны, если [pic], и [pic], это соответствие сохраняет
композицию отображений (композиция ограничений двух отображений совпадает с
ограничением их композиции).
[pic]
Рис.4
Наконец, если [pic] – автоморфизм [pic] и [pic] – аффинная
гиперплоскость в [pic], то включение [pic] влечет равенства [pic]. В самом
деле, [pic] есть аффинная гиперплоскость в [pic], и достаточно применить
следствие теоремы II 6.2, вернувшись к векторному случаю путем замены
начала в [pic].
Т.о. мы можем сформулировать
Предложение 7.3. Пусть [pic] – векторное пространство, [pic] – аффинная
гиперплоскость в [pic], не проходящая через начало. Существует изоморфизм
группы аффинных биекций [pic] на стабилизаторе [pic] в [pic] (подгруппу
[pic], состоящую из изоморфизмов [pic], для которых [pic]).
Эти результаты применимы, в частности, к случаю, когда, [pic], [pic]
– векторные продолжения аффинных пространств [pic], [pic], а [pic], [pic] –
образы [pic], [pic] при канонических погружениях [pic], [pic]: всякое
аффинное отображение [pic] в [pic], отождествляется с линейным отображением
[pic] пространства [pic]в пространство [pic], удовлетворяющим требованию
[pic], и группа аффинных биекций [pic] отождествляется с подгруппой [pic],
сохраняющей аффинную гиперплосклость [pic]
Случай конечной размерности.
Если аффинное пространство [pic] имеет конечную размерность [pic], то в
[pic] можно выбрать базис [pic] так, что [pic] при [pic] и [pic]. Тогда
[pic] есть декартов репер в [pic] с началом [pic] (рис 4).
В этом случае [pic] является множеством точек [pic]пространства
[pic], таких, что [pic]; следовательно, это аффинная гиперплоскость с
уравнением [pic] в базисе [pic]. Эндоморфизмы [pic] пространства [pic],
удовлетворяющие условию [pic], – это те эндоморфизмы, матрица которых в
базисе [pic]имеет вид
[pic], (2)
где [pic] – квадратная матрица порядка [pic]. Эндоморфизму [pic] с матрицей
(2) соответствует аффинное отображение [pic], координатное выражение
которого в декартовом репере [pic] имеет форму
[pic] , [pic] (3)
Матричные вычисления показали бы, что для этого соответствия
соблюдаются правила композиции отображений. С другой стороны, эндоморфизм
[pic] с матрицей (2) обратим тогда и только тогда, когда обратима матрица
(2), и тогда выполняется и равенство [pic]. Таким образом, получается
Теорема 7.4. Группа аффинных биекций [pic]-мерного аффинного пространства
изоморфна подгруппе линейной группы [pic], образованной матрицами вида (2),
где [pic] принадлежит [pic].
В частности, группа аффинных биекций [pic] тела [pic] изоморфна подгруппе
в [pic], состоящей из матриц вида [pic].
8.Геометрическая характеризация инъективных полуаффинных отображений.
Ниже мы обозначаем через [pic], [pic] два аффинных пространства,
ассоциированных соответственно с векторными пространствами [pic] над
произвольными телами [pic]. Мы дадим чисто геометрическую характеризацию
полуаффинных отображений [pic] в [pic]. Для ясности начнем со случая
инъективных отображений.
Теорема 8.1. Допустим, что [pic]. Для того, чтобы инъективное
отображение[pic] было полуаффинным, необходимо и достаточно, чтобы оно
удовлетворяло следующим двум условиям:
1. Образ любой аффинной прямой из [pic] был аффинной прямой в [pic];
2. Образы двух параллельных прямых был параллельными прямыми.
Доказательство. Необходимость условия очевидна. Доказательство
достаточности проведем в несколько этапов, все время предполагая, что [pic]
удовлетворяет условиям 1) и 2).
А). Образы при [pic] двух различных прямых [pic], [pic] из [pic] суть
также две различные прямые.
В самом деле, пусть [pic], [pic] – прямые в [pic], имеющие один и тот же
образ [pic], пусть [pic] – две различные точки их общего образа. Тогда
прообразы [pic] точек [pic] и [pic]принадлежат [pic] и [pic] одновременно и
различны (в силу иньективности [pic]), откуда следует, что [pic].
Б). Отображение [pic], [pic] не зависит от выбора [pic]в [pic].
В самом деле, пусть другая точка [pic] и [pic],[pic] таковы, что
[pic]. Если
[pic]- несплющенный параллелограмм, то из 2) и А) следует, что его образ
[pic]тоже настоящий параллелограмм, откуда
[pic], [pic]
Если точки [pic] принадлежат одной прямой [pic], то предположение [pic]
позволяет выбрать в [pic]точки [pic] так, что [pic]. Применяя предыдущий
случай, имеем
[pic]
откуда[pic].
Отображение [pic] обозначаем отныне просто [pic].
В). Отображение [pic] инъективно и удовлетворяет условию
[pic] [pic]. (1)
Инъективность [pic] сразу следует из инъективности [pic]. С другой
стороны, для любых данных [pic] выберем в [pic] такие точки [pic], [pic],
[pic],[pic] и [pic]. Тогда [pic].
Д). Существует отображение [pic], такое, что
[pic] [pic]. (2)
Доказательство. Достаточно найти [pic], удовлетворяющее условию (2) при
[pic]. Для заданной пары [pic] выберем [pic], [pic], [pic] в [pic] так, что
[pic], [pic]. Так как точки [pic], [pic] и [pic] коллинеарны, то
коллинеарны и векторы [pic]; отсюда вытекает существование некоторого
скаляра, скажем [pic], такого, что [pic]. Остается доказать, что [pic] не
зависит от вектора [pic] (по предположению ненулевого).
1). Если [pic]два неколлинеарных вектора, то неколлинеарны и [pic],
[pic]; в противном случае образы двух прямых [pic], [pic], проходящих через одну и ту же точку [pic] с направляющими [pic], совпадали бы, что невозможно в силу А).
Для любого [pic]имеем
[pic],
откуда в силу неколлинеарности [pic], [pic]
[pic].
2). Если [pic], [pic]- коллинеарные ненулевые векторы, то предположение
[pic] позволяет выбрать [pic] так, что пары [pic] и [pic] свободны. Отсюда
находим, что
[pic] [pic].
Так для каждого [pic] отображение [pic], [pic] есть константа, мы обозначим ее через [pic].
[pic]
Е). Отображение [pic] является изоморфизмом тел.
Выбрав [pic], мы увидим прежде всего, что соотношения [pic] и [pic]
влекут (с учетом [pic])
[pic] и [pic],
т.е. показывают, что [pic] – гомоморфизм тел.
Наконец, для любой точки [pic][pic] отображение [pic] есть биекция
[pic] на прямую [pic]; ограничение[pic] на [pic]есть биекция [pic]на прямую
[pic]. Следовательно, композиция [pic], [pic]биективна. Отсюда вытекает,
что отображение [pic] биективно.
Итак, [pic]изоморфизм тел, [pic]полулинейное отображение,
ассоциированное с [pic], и [pic]полуаффинное отображение. [pic]
Случай плоскости.
Если [pic]и [pic] двумерны, то условие 2) в теореме 8.1 следует из условия
1) и инъективности [pic]. Мы можем, таким образом, сформулировать
Следствие. Если [pic],[pic]аффинные плоскости и [pic]- инъективное
отображение, такое, что образ любой прямой в [pic]есть прямая в [pic], то
[pic]полуаффинное отображение.
Замечание. Условия теоремы 8.1 выполняются, в частности, если
[pic]инъективное отображение [pic]в себя, такое, что образ любой прямой
[pic] есть прямая, параллельная [pic]; тогда можно непосредственно
доказать, что [pic] дилатация.
9.Основная теорема аффинной геометрии.
Исходя из теоремы 8.1 и опираясь на характеризацию аффинных
многообразий, представленную теоремой 4.8, мы докажем здесь следующую
теорему:
Теорема 9.1. Пусть [pic],[pic]аффинные пространства над телами [pic],
[pic], отличными от поля [pic]; для того, чтобы отображение [pic]было
полуаффинным, достаточно, чтобы
1). Образ любой прямой в [pic] был прямой в [pic], либо сводился к одной
точке.
2). Аффинное подпространство в [pic], порожденное [pic], имело размерность
[pic].
Мы подразделим доказательство этой теоремы на семь лемм; в каждой из
них предполагается, что [pic] удовлетворяет условиям 1) и 2).
Лемма 1. Если [pic] есть ЛАМ в [pic], то [pic]- ЛАМ в [pic].
Доказательство. Пусть [pic] и [pic]- две различные точки в [pic].
Тогда прямая [pic] есть по условию 1) образ прямой [pic]; так как прямая
[pic]содержится в [pic], прямая [pic] содержится в [pic]. Результат теперь
вытекает из теоремы 4.8. [pic]
Лемма 2. Если [pic]- ЛАМ в [pic] и множество [pic] непусто, то оно
является ЛАМ в [pic].
Доказательство. Результат очевиден, если [pic] сводится к одной точке.
В противном случае для любой пары различных точек [pic], [pic] прямая [pic]
содержится в [pic] согласно 1). Таким образом, прямая [pic]содержится в
[pic] и теорема 4.8 показывает, что [pic] есть ЛАМ. [pic]
Лемма 3. Для любой непустой части [pic] пространства [pic]
[pic]. (1)
Доказательство. [pic] есть ЛАМ в [pic], содержащее [pic]; по лемме 1,
[pic] есть ЛАМ в [pic], содержащее [pic]. Отсюда следует включение
[pic].
Аналогично, по лемме 2, [pic]есть ЛАМ в [pic], содержащее [pic], а
потому и [pic]; имеет место включение [pic]; применение отображения [pic]
дает [pic].
Окончательно получаем равенство (1). [pic]
Лемма 4. Пусть [pic]- пара параллельных прямых в [pic]. Если [pic]сводится
к точке, то же имеет место и для [pic]. Если [pic] – прямая, то и [pic]-
прямая, параллельная [pic].
Доказательство. Мы можем предположить, что [pic]. Тогда [pic] есть ЛАМ
размерности 2 в [pic], порожденное двумя точками [pic], [pic]одной из
прямых и точкой [pic] другой прямой; по леммам 2и 3, [pic] есть ЛАМ
размерности [pic].
А). Покажем сначала, что [pic]либо [pic].
Допустим, что [pic] и [pic] действительно имеют общую точку. Тогда
найдутся точки [pic] и [pic], такие, что [pic]. Выбирая [pic] и полагая по-
прежнему [pic], получим с помощью леммы 3, что
[pic]
и аналогично
[pic],
откуда [pic].
Поскольку сформулированное утверждение при [pic]очевидно, будем далее
полагать [pic], т.е. считать, что [pic]и [pic] не имеют общих точек.
Б). Предположим, что [pic]- прямая в [pic]и [pic]; тогда [pic] имеет
размерность 2.
Если бы на прямой [pic]существовали две точки [pic], такие, что
[pic], то для любой точки [pic]мы имели бы [pic]и [pic], и тогда [pic]не
было бы двумерным вопреки предположению. Отсюда следует, что [pic]- прямая.
Значит, [pic]и [pic] – две прямые без общих точек, лежащие в одном
ЛАМ размерности 2, т.е. параллельные.
В). Если [pic] сводится к одной точке, то меняя ролями [pic]и[pic]и
применяя результат Б), мы видим, что [pic]также сводится к точке.
Лемма 5. Если [pic]пара точек в [pic], таких, что множества [pic],
[pic]
непусты, то [pic] и [pic]- ЛАМ с общим направлением.
Доказательство. По лемме 2, [pic] и [pic] суть ЛАМ в [pic].
Предполагая, что [pic], фиксируем точку [pic]в [pic]и точку [pic]в [pic];
параллельный перенос на вектор [pic] обозначим через [pic]. Для любой точки
[pic] прямая [pic]параллельна прямой[pic], и поскольку образ прямой
[pic]сводится к одной точке [pic], то образ прямой [pic]сводится к одной
точке [pic]. Таким образом, [pic]влечет [pic]и имеет место включение [pic].
Меняя ролями [pic] и [pic], получим включение [pic], откуда [pic].
Итак, [pic], [pic] имеют общее направление. [pic]
Лемма 6. Обозначим через [pic] общее направление непустых ЛАМ в [pic]
вида [pic], где [pic], и пусть [pic]- факторпространство [pic] по отношению
эквивалентности [pic], определенному условием [pic].
Тогда [pic]имеет единственную аффинную структуру, такую, что
каноническая проекция [pic] является аффинной.
Доказательство. Выбор начала [pic] в [pic] сводит дело к случаю
факторпространства векторного пространства [pic] По его векторному
подпространству [pic], и оказывается, что достаточно применить теорему
II.4.3, приняв точку [pic] за начало в [pic].[pic]
Отметим, что [pic]является пространством орбит действия группы
трансляций [pic] на [pic]; это есть множество ЛАМ с направлением [pic].(см.
§2).
Лемма 7. В обозначениях леммы 6 отображение [pic]представляется в
виде [pic], где [pic]- инъективное полуаффинное отображение; отсюда
вытекает, что [pic] полуаффинно.
Доказательство. Существование и инъективность [pic] вытекают из того,
что соотношение [pic]равносильно [pic](см. лемму 5), и тем самым [pic]. Для
доказательства полуаффинности [pic]покажем, что оно удовлетворяет условиям
теоремы 8.1.
Пусть [pic]– произвольная аффинная прямая [pic], порожденная двумя
различными элементами [pic]из [pic]. Без труда проверяется, что [pic] есть
ЛАМ в [pic], порожденное [pic].
По лемме 3, [pic]есть ЛАМ, порожденное [pic]; итак (в силу
инъективности [pic]), [pic]является аффинной прямой [pic].
Наконец, [pic]не может сводиться к одной точке или прямо, так как
тогда к точке или прямой сводилось бы и [pic], что противоречит условию 2).
Поэтому [pic].
Отсюда следует, что [pic]удовлетворяет условиям 1) и 2), наложенным
на [pic], при условии замены [pic]на [pic]. Лемма 4 показывает тогда, что
образы при отображении [pic]двух параллельных прямых [pic], [pic] из [pic]-
две параллельные прямые. Наконец, [pic]удовлетворяет всем условиям теоремы
8.1 (после замены [pic]на [pic]). Следовательно,[pic] полуаффинно и так же
обстоит дело с [pic].[pic]
Теорема 9.1 тем самым полностью установлена. [pic]
Этот результат особенно интересен в случае, когда тела [pic] и
[pic]совпадают и не допускают других автоморфизмов, кроме тождественного
(например, когда [pic] или [pic]при [pic]: в этом случае мы получаем чисто
геометрическую характеризацию аффинных отображений ранга [pic] пространства
[pic] в [pic].
Кроме того, очевидно, что теорема 9.1 потеряла бы силу при отсутствии
условия 2): ведь любое отображение [pic]на прямую тривиальным образом
удовлетворяет условию 1).
Так же и в случае [pic] условие 1) выполнено для любого отображения
[pic] в [pic](поскольку каждая прямая в [pic] и [pic]состоит из двух
точек). Теорема 9.1 теряет силу и в этом случае.
Наконец, нельзя заменить требование «образ прямой есть прямая или
точка» более слабым условием «образы коллинеарных точек коллинераны», даже
при условии, что биективно.
Например, [pic], [pic] есть биекция векторного пространства [pic]над
[pic]в векторное пространство [pic]над [pic], и образ каждой прямой из
[pic]при отображении [pic]содержится в фнекоторой прямой пространства
[pic], но [pic]не является полулинейным (поскольку [pic] и [pic]не
изоморфны).
Лемма 6. Обозначим через [pic] общее направление непустых ЛАМ в [pic]
вида [pic], где [pic], и пусть [pic]- факторпространство [pic] по отношению
эквивалентности [pic], определенному условием [pic].
Тогда [pic]имеет единственную аффинную структуру, такую, что
каноническая проекция [pic] является аффинной.
Доказательство. Выбор начала [pic] в [pic] сводит дело к случаю
факторпространства векторного пространства [pic] По его векторному
подпространству [pic], и оказывается, что достаточно применить теорему
II.4.3, приняв точку [pic] за начало в [pic].[pic]
Отметим, что [pic]является пространством орбит действия группы
трансляций [pic] на [pic]; это есть множество ЛАМ с направлением [pic].(см.
§2).
Лемма 7. В обозначениях леммы 6 отображение [pic]представляется в
виде [pic], где [pic]- инъективное полуаффинное отображение; отсюда
вытекает, что [pic] полуаффинно.
Доказательство. Существование и инъективность [pic] вытекают из того,
что соотношение [pic]равносильно [pic](см. лемму 5), и тем самым [pic]. Для
доказательства полуаффинности [pic]покажем, что оно удовлетворяет условиям
теоремы 8.1.
Пусть [pic]– произвольная аффинная прямая [pic], порожденная двумя
различными элементами [pic]из [pic]. Без труда проверяется, что [pic] есть
ЛАМ в [pic], порожденное [pic].
По лемме 3, [pic]есть ЛАМ, порожденное [pic]; итак (в силу
инъективности [pic]), [pic]является аффинной прямой [pic].
Наконец, [pic]не может сводиться к одной точке или прямо, так как
тогда к точке или прямой сводилось бы и [pic], что противоречит условию 2).
Поэтому [pic].
Отсюда следует, что [pic]удовлетворяет условиям 1) и 2), наложенным
на [pic], при условии замены [pic]на [pic]. Лемма 4 показывает тогда, что
образы при отображении [pic]двух параллельных прямых [pic], [pic] из [pic]-
две параллельные прямые. Наконец, [pic]удовлетворяет всем условиям теоремы
8.1 (после замены [pic]на [pic]). Следовательно,[pic] полуаффинно и так же
обстоит дело с [pic].[pic]
Теорема 9.1 тем самым полностью установлена. [pic]
Этот результат особенно интересен в случае, когда тела [pic] и
[pic]совпадают и не допускают других автоморфизмов, кроме тождественного
(например, когда [pic] или [pic]при [pic]: в этом случае мы получаем чисто
геометрическую характеризацию аффинных отображений ранга [pic] пространства
[pic] в [pic].
Кроме того, очевидно, что теорема 9.1 потеряла бы силу при отсутствии
условия 2): ведь любое отображение [pic]на прямую тривиальным образом
удовлетворяет условию 1).
Так же и в случае [pic] условие 1) выполнено для любого отображения
[pic] в [pic](поскольку каждая прямая в [pic] и [pic]состоит из двух
точек). Теорема 9.1 теряет силу и в этом случае.
Наконец, нельзя заменить требование «образ прямой есть прямая или
точка» более слабым условием «образы коллинеарных точек коллинераны», даже
при условии, что биективно.
Например, [pic], [pic] есть биекция векторного пространства [pic]над
[pic]в векторное пространство [pic]над [pic], и образ каждой прямой из
[pic]при отображении [pic]содержится в некоторой прямой пространства [pic],
но [pic]не является полулинейным (поскольку [pic] и [pic]не изоморфны).
[pic]