Размерность аффинного пространства
Поможем в ✍️ написании учебной работы
Поможем с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой

Введение

Чтобы лучше понимать аффинную структуру и не теряться от ее кажущейся сложности, можно обратиться к более общему понятию однородного пространства. Это даст также повод вспомнить, что понятие группы возникло путем абстракции из понятия группы преобразований, и, более того, оно полностью проявляет себя, когда мы рассматриваем действие группы на некотором множестве.   

 Считая хорошо известным понятие абстрактной группы, введем

Определение 1.1. Пусть - некоторая группа (с мультипликативным обозначением операции) и - ее нейтральный элемент.

Говорят, что  действует слева на множестве , если определенно отображение , , такое, что набор отображений ,  удовлетворяет условиям

и   .                               (1)

Аналогично говорят, что  действует на  справа, если определено отображение , , такое, что набор отображений ,  удовлетворяет условиям

   и .                                     (1/)

Соотношения (1) (соответственно (1/)) показывают, что ( соответственно )- это биекции  на и что  (соответственно ).

Например, любая группа  действует сама на себе слева левыми сдвигами:  и справа правыми сдвигами: .

Группа  действует на себе слева также внутренними автоморфизмами: .

Условимся считать, если иное не оговорено, что действие группы на множестве понимается как действие слева.

Понятно, что для коммутативной группы оба действия совпадают; следует, однако, отметить, что одна и та же группа может действовать на множестве, в том числе и на себе, разными способами.

Определение 1.2. Пусть группа  действует слева на множестве  с законом действия . Говорят, что  действует на  транзитивно, если для любой пары  элементов  существует хотя бы один элемент , такой, что ; далее, говорят, что действие  просто транзитивно, если этот элемент  всегда единственный.

Пример. Линейная группа  автоморфизмов  действует транзитивно на , но это действие не является просто транзитивным, кроме случая .

Определение 1.3. Пусть группа  действует слева на множестве . Стабилизатором подмножества  множества  называется множество .

Непосредственно ясно, что - подгруппа группы . Если множество  состоит из одного элемента , то это подгруппа называется группой изотропии элемента .

Замечание. Стабилизатор  является пересечением двух множеств  и , которые не обязаны быть подгруппами . Например, если  действует на себе трансляциями и - положительная полуось, то  не является подгруппой, а .

Определение 1.4. Пусть - группа, действующая слева на ; орбитой элемента  называется образ  при отображении .

Если  действует на  транзитивно, то орбиты всех элементов совпадают с .

Замечание. На можно определить отношение эквивалентности, полагая , если существует элемент , такой, что ; классы эквивалентности являются орбитами элементов ; фактормножество по этому отношению назовем пространством орбит.

 

Однородные пространства

Определение 1.5. Однородным пространством, ассоциированным с группой , называется множество , на котором определено транзитивное действие группы .

Пример (типовой). Пространство смежных классов группы по ее подгруппе.

Пусть - группа, - ее подгруппа, - фактормножество, образованное левыми смежными классами относительно : элементы  из  объявляются эквивалентными, если существует элемент , такой, что ; класс эквивалентности элемента  есть множество  элементов вида , где .

Действие слева группы  на  определяется с помощью ; это действие, очевидно, транзитивно. Фактормножество  является однородным пространством относительно этого действия.

Мы увидим, что всякое однородное пространство приводится (при помощи биекции) к пространству такого вида.

Теорема 1.1. Пусть - однородное пространство, ассоциированное с группой , и для любого  пусть - группа изотропии . Тогда существует единственная биекция  факторпространства  на , такая, что для всех   выполнено , где - каноническая проекция и - действие  на .

Доказательство. Соотношение  равносильно  и, значит,  или ; следовательно, отображение ,  переносится на фактормножество и представляется в виде , где - биекция.

 

Специальный случай

Если группа  действует на  просто транзитивно, то группы изотропии  тривиальны; для каждой точки  отображение ,  является биекцией, удовлетворяющей условию .

Эта биекция  позволяет перенести на структуру группы , которая, однако, будет зависеть от выбора точки , т. е. образа нейтрального элемента. Говоря нестрого,  допускает структуру группы, изоморфной , при произвольном выборе нейтрального элемента.

Так и будет обстоять дело в случае ”аффинной структуры”.

 

Аффинные пространства

Определение 2.1. Пусть - векторное пространство над произвольным телом . Аффинным пространством, ассоциированным с , называется множество , на котором определено просто транзитивное действие абелевой группы .

Это действие записывается обычно в виде

            .

Для любого  биекция ℰ,  называется трансляцией на вектор ; далее, для некоторой пары  элементов единственный вектор , такой, что , обозначается .

Чтобы отличить элементы (называемые точками) от элементов  (называемых векторами), мы будем преимущественно обозначать ”точки” прописными буквами латинского алфавита, такими, как , а ”векторы -строчными, например ; греческие буквы предназначаются для ”скаляров”.

Можно привести два равносильных данному определению 2.1. обычных определения, не опирающихся на понятие действия группы.

Определение 2.2. Аффинным пространством, ассоциированным с , называется множество , снабженное семейством биекций , таких, что

a) и ;

b) для любой пары существует единственный вектор , такой, что .

Определение 2.3. Аффинным пространством, ассоциированным с , называется множество , снабженное отображением , обозначаемым , таким, что

a) для каждого отображение ,  биективно;

b) для любых точек  из выполнено соотношение Шаля

         .

Заметим, что из этих условий следует, что для любой точки мы имеем .

От определения 2.3. к определению 2.2. можно перейти, обозначив через  единственную точку , такую, что , и заметив, что соотношение Шаля равносильно . Переход от определения 2.2. к определению 2.1. непосредственно ясен.

Из какого бы определения мы ни исходили, существенным остается тот факт, что для любой точки отображение ℰ ,  есть биекция; эта биекция позволяет перенести на ℰ векторную структуру .

Обозначения. Полученная таким путем векторная структура на будет называться векторной структурой с началом ; множество с этой структурой будет обозначатьсяA .

Говоря нестрого, аффинное пространство выглядит как векторное пространство, начальный (нейтральный) элемент которого еще не выбран. Аффинные свойства - это те свойства векторного пространства A, которые не зависят от выбора точки .

Таким образом, можно было бы, пренебрегая аффинной структурой, свести все задачи аффинной геометрии к задачам векторного характера путем выбора начальной точки; так и делается в математическом обиходе. Но больше в духе ”внутреннего” исследования была бы работа без выбора начальной точки, позволяя яснее представить именно аффинные свойства . Так мы и поступим, не забывая при этом, что введение векторной структуры с надлежащим выбором начальной точки часто проясняет дело.

 

Параллелизм

Определение 3.3. Говорят, что два линейных аффинных многообразий ,  вполне параллельны, если они имеют одно и то же направляющее подпространство: .

Более общо, говорят, что  параллельно , если направляющие пространства ,   многообразий ,  удовлетворяют включению .

Можно проверить, что отношение ”  вполне параллельно (соответственно параллельно)  ” равносильно существованию трансляции  пространства , такой, что  (соответственно ).

 

 

Аффинное подпространство, порожденное подмножеством пространства

 

Предположение 3.6. Если - непустое подмножество в , то существует единственное аффинное подпространство в , обозначаемое , содержащее  и обладающее следующим свойством:

Любое аффинное подпространство ℰ , содержащее , содержит и .

Говорят, что  порождено .

Коротким способом доказательства предложения 3.6. является применение предложения 3.3.:  есть пересечение всех ЛАМ, содержащих . Недостаток этого рассуждения в том, что приходится привлекать семейство ”всех ЛАМ, содержащих ”, о котором мало что известно и которое обычно даже несчетно!

Более элементарный и конструктивный способ состоит в выборе в  начальной точки , что сводит задачу к отысканию наименьшего векторного подпространства в A, содержащего  (поскольку ЛАМ, содержащее , являются ВПП в ). Таким образом,  есть ВПП в A, порожденное ; при этом сам характер задачи показывает, что это ВПП не зависит от выбора точки  в . Если мы заметим, что направляющее подпространство для  есть ВПП в , порожденное векторами , то получим также

Предложение 3.7. Пусть - непустое подмножество в ; для каждой точки  положим . Тогда векторное пространство  не зависит от выбора  и  есть ЛАМ, проходящее через  с направлением .

Можно дать прямое доказательство этого утверждения, аналогичное доказательству предложения 3.2.

В частности, если - конечное множество, то векторное пространство  не зависит от  и, следовательно, совпадает с

 и .

Отсюда вытекает

Предложение 3.8. Размерность аффинного подпространства, порожденного  точками  пространства не превосходит ; его размерность равна  тогда и только тогда, когда  векторов  ( ) образуют свободное семейство.

Другие свойства ЛАМ изучаются в связи с понятием барицентра.

 

 

Применение аффинных реперов

Теорема 5.2. Пусть , - аффинные пространства над телами , , - изоморфизм  на , - аффинный репер в и - семейство точек , индексированное тем же множеством индексов .

 Тогда существует единственное полуаффинное отображение  пространства в , ассоциированное с изоморфизмом , такое, что  для всех .

Более того,  биективно (соответственно инъективно, сюръективно) тогда и только тогда, когда семейство  есть аффинный репер (соответственно свободное семейство, семейство образующих) для .

Доказательство. Вернемся к теореме , взяв одну из точек  в качестве начала в , а соответствующую точку - в ; отображение  определяется равенством

                   

для любого конечного подмножества  и любой системы скаляров , таких, что, .

В частности, аффинное отображение в  определяется заданием образа аффинного репера из .

 

 Приложение: уравнение аффинной гиперплоскости или ЛАМ

Опираясь на исследование, проведенное в параграфе II.6, легко получаем

Предложение 5.3. Пусть - аффинное пространство над телом . Тогда

a) Если    - непостоянное аффинное отображение, то - аффинная гиперплоскость в с направлением .

b) Обратно, если - аффинная гиперплоскость в , то существует аффинное отображение   , такое, что , и все аффинные отображения в  с этим свойством суть отображения , где .

Если - аффинное пространство конечной размерности , то каждое ЛАМ размерности  в определяется системой уравнений вида , где - аффинные отображения в , линейные части которых независимы.

Характеризация аффинных отображений

Теорема 5.4. Пусть - два аффинных пространства над одним и тем же телом . Для того, чтобы отображение  было аффинным, необходимо и достаточно, чтобы

a) при

   

;

b) при  образ эквибарицентра любых трех точек был эквибарицентром их образов.

Доказательство (аналогичное случаю теоремы 4.8.).

a) При фиксированной точке соотношение a) показывает, что для любого вектора  направляющего пространства  имеем

.

Отображение  удовлетворяет, следовательно, условию .

Чтобы доказать, что выполняется и условие  для любых , выберем такие , что ,  и , определим точки ,  условиями , . Применяя условие a), получим тогда ,

откуда

.

Можно также сформулировать теорему 5.4. так: отображение ℰ в  является аффинным тогда и только тогда, когда его ограничение на любую аффинную прямую в ℰ  аффинно.

В дальнейшем мы дадим чисто геометрическую характеристику полуаффинных отображений.

 

Проектирования

Назовем проектированием любое аффинное отображение  пространства в себя, удовлетворяющее условию

                           

                                                   Рис. 2

Для такого отображения любая точка является неподвижной; принимая такую точку за начало, мы приходим к случаю проектирования для векторного пространства . Отсюда вытекает существование таких отображений, а также следующая их геометрическая характеризация:

Предложение 5.8. Отображение  является проектированием, если существует ВПП  пространства и ЛАМ  в  с направляющим подпространством  дополнительным к , такие, что для любой точки  ее образ  есть точка пересечения  с ЛАМ, проходящим через  с направлением  (рис. 2).

 

 

Аффинные симметрии

 

 Теорема 5.9. Пусть - аффинное пространство, ассоциированное с векторным пространством над телом характеристики .

Для того, чтобы аффинное отображение  было инволютивным, необходимо и достаточно, чтобы оно имело по меньшей мере одну неподвижную точку и чтобы его линейная часть была векторной симметрией

       Такое отображение называется аффинной симметрией.

Доказательство. Если и , то образом середины отрезка  будет середина отрезка  таким образом, эта точка инвариантна при отображении  и, выбрав ее за начало, мы сведем дело к векторному случаю.

Предложение 5.10. Отображение  является аффинной симметрией, если существуют ВПП  пространства  и ЛАМ с направлением, дополнительным к  такие, что для любой точки  (см.рис.2)

1).

2). Середина принадлежит .

Если  сводится к одной точке  то  и  есть центральная симметрия с центром

 

Теорема Фалеса

 

       Пусть по-прежнему  есть ВПП в  и - два аффинных пространства в , направляющие которых соответственно  дополнительны к  Обозначим через (соотв. ) ограничение проектирования  на  (соотв. ) параллельно  Тогда, как легко видеть,  является аффинной биекцией  на , обратная к которой есть . Образ  точки  определяется условиями  и  (см. рис. 3).

       В более общей форме теорема Фалеса есть не что иное, как констатация того факта, что установленное

                    

                                         Рис.3

указанным способом соответствие между  и  является аффинным.

В частности, если  векторная гиперплоскость, то справедлива

Теорема 5.11. Аффинные гиперплоскости, параллельные некоторой фиксированной гиперплоскости, высекают на произвольной паре не параллельных им прямых пропорциональные отрезки.

 

§6. Каноническое погружение аффинного пространства в векторное. Приложения.

 

Пусть снова - аффинное пространство, ассоциированное с векторным пространством . Как мы уже видели, выбор начала в  позволяет отождествить  с  теперь мы докажем, что канонически отождествляется с аффинной гиперплоскостью некоторого пространства  изоморфного

       Метод будет состоять в сопоставлении каждой точке  отображения

Предварительно сформулируем такое утверждение:

Лемма. Пусть  левое векторное пространство над телом  а произвольное множество. Тогда множество  отображений  в есть левое векторное пространство над  по отношению к обычным операциям сложения функций и умножению их слева на скаляры:

и

       В силу доказанного искомое векторное пространство  будет ВПП в , порожденным отображениями  Поэтому мы начнем с изучения этого пространства

Предложение 6.1. Пусть - векторное подпространство в , порожденное функциями  пуст, далее,  элемент из . Тогда

А). Сумма  зависит только от функции  и притом линейно, т.е. является линейным отображением  в  которое мы обозначим

Б). Если  то существует единственная точка , такая, что .

В). Если  то  постоянна.

Доказательство. Заметим сначала, что утверждение А) не очевидно, так как могут существовать различные системы взвешенных точек , такие, что  но оно легко вытекает из того факта, что для любой пары  выполнено соотношение

                                                          ,                            (1)

которое доказывает существование и линейность функции

Б). Если  выберем в  произвольную точку  Соотношение (1) показывает, что в  существует единственная точка  такая, что  она определяется условием  Из (1) также видно, что эта точка – единственная, для которой  Таким образом, барицентр семейства  зависит только от функции

В). Наконец, последнее утверждение также вытекает из (1).

Следствие.  является теоретико-множественным объединением векторного пространства постоянных функций и множества функций вида

Предложение 6.2. Пусть  отображение  и пусть отображение  в  которое любому вектору  ставит в соответствие постоянную функцию, равную  на .

Тогда  аффинно с линейной частью и потому инъективно; при этом  есть аффинная гиперплоскость  в  с уравнением  

Доказательство. Для любой пары  разность есть постоянная функция ; положим . Таким образом,  аффинно,  и  инъективно, как и

       С другой стороны, как показывает предыдущее предложение, функции  суть элементы  удовлетворяющие условию .

Теорема 6.3. К каждому аффинному пространству , ассоциированному с векторным -пространством , можно канонически присоединить:

· Векторное пространство  изоморфное ,

· Ненулевую линейную форму  на ,

· Аффинную инъекцию , такую, что  - аффинная гиперплоскость в с уравнением

Доказательство . Остается только установить изоморфизм между  и . Для этого достаточно заметить, что какова бы ни была точка , отображение , линейно и биективно. Установленный таким путем изоморфизм очевидным образом зависит от выбора точки .

 Заметим, что аффинная гиперплоскость  имеет в качестве направляющей векторную гиперплоскость  постоянных функций, которая отождествляется с .

Замечания. 1). Векторную структуру на множестве  можно определить непосредственно, не прибегая к векторному пространству , но это связано с утомительными выкладками.

2). Особый интерес теоремы 6.3 в том, что она обеспечивает каноническое погружение  единственным образом определяемое заданием .

Обозначения. Векторное пространство , построенное таким образом, называется векторным продолжением  и обозначается .

Если  имеет размерность  то размерность  равна . Мы увидим, что введение этого пространства позволяет прояснить многие вопросы.

Доказательство.

А) Если  линейно и , то для любых точек из  имеем и . Ограничения  на  аффинно с линейной частью , .

Б) Обратно, пусть - аффинное отображение. Фиксируем точку  в  и обозначим через  (соответственно ) векторную прямую в (соответственно ), порожденную  (соответственно ) (рис 4). Тогда , , и искомое линейное отображение должно удовлетворять следующим двум условиям:

1. ,

2. Ограничения  на  равно линейной части .

Но существует единственное линейное отображение  из  в , удовлетворяющее этим условиям (  определено своими ограничениями на дополнительные ВПП  и  пространства ); тогда ограничение  на  - есть аффинное отображение с той же линейной частью, что и , и принимающее в  то же значение, что и , а тем самым равное , откуда вытекает доказываемый результат.

Существует, следовательно, биективное соответствие между аффинными отображениями  в  и линейными отображениями  в , удовлетворяющими условию .

С другой стороны, если , и , это соответствие сохраняет композицию отображений (композиция ограничений двух отображений совпадает с ограничением их композиции).

                                       Рис.4

Наконец, если  - автоморфизм  и  - аффинная гиперплоскость в , то включение  влечет равенства . В самом деле,  есть аффинная гиперплоскость в , и достаточно применить следствие теоремы II 6.2, вернувшись к векторному случаю путем замены начала в .

       Т.о. мы можем сформулировать

Предложение 7.3. Пусть  - векторное пространство,  - аффинная гиперплоскость в , не проходящая через начало. Существует изоморфизм группы аффинных биекций  на стабилизаторе  в  (подгруппу , состоящую из изоморфизмов , для которых ).

       Эти результаты применимы, в частности, к случаю, когда, ,  - векторные продолжения аффинных пространств , , а ,  - образы ,  при канонических погружениях , : всякое аффинное отображение  в , отождествляется с линейным отображением  пространства в пространство , удовлетворяющим требованию , и группа аффинных биекций  отождествляется с подгруппой , сохраняющей аффинную гиперплосклость

       Случай конечной размерности.

Если аффинное пространство  имеет конечную размерность , то в  можно выбрать базис  так, что  при  и . Тогда  есть декартов репер в  с началом  (рис 4).

       В этом случае  является множеством точек пространства , таких, что ; следовательно, это аффинная гиперплоскость с уравнением  в базисе . Эндоморфизмы  пространства , удовлетворяющие условию , - это те эндоморфизмы, матрица которых в базисе имеет вид

,                            (2)

где  - квадратная матрица порядка . Эндоморфизму  с матрицей (2) соответствует аффинное отображение , координатное выражение которого в декартовом репере  имеет форму

 ,                (3)

Матричные вычисления показали бы, что для этого соответствия соблюдаются правила композиции отображений. С другой стороны, эндоморфизм  с матрицей (2) обратим тогда и только тогда, когда обратима матрица (2), и тогда выполняется и равенство . Таким образом, получается

Теорема 7.4. Группа аффинных биекций -мерного аффинного пространства изоморфна подгруппе линейной группы , образованной матрицами вида (2), где  принадлежит .

В частности, группа аффинных биекций  тела  изоморфна подгруппе в , состоящей из матриц вида .

8.Геометрическая характеризация инъективных полуаффинных отображений.

       Ниже мы обозначаем через ,  два аффинных пространства, ассоциированных соответственно с векторными пространствами  над произвольными телами . Мы дадим чисто геометрическую характеризацию полуаффинных отображений  в . Для ясности начнем со случая инъективных отображений.

       Теорема 8.1. Допустим, что . Для того, чтобы инъективное отображение  было полуаффинным, необходимо и достаточно, чтобы оно удовлетворяло следующим двум условиям:

1. Образ любой аффинной прямой из  был аффинной прямой в ;

2.  Образы двух параллельных прямых был параллельными прямыми.

Доказательство. Необходимость условия очевидна. Доказательство

достаточности проведем в несколько этапов, все время предполагая, что  удовлетворяет условиям 1) и 2).

А). Образы при  двух различных прямых ,  из  суть также две различные прямые.

В самом деле, пусть ,  - прямые в , имеющие один и тот же образ , пусть  - две различные точки их общего образа. Тогда прообразы  точек  и принадлежат  и  одновременно и различны (в силу иньективности ), откуда следует, что .

Б). Отображение ,  не зависит от выбора в .

В самом деле, пусть другая точка  и ,  таковы, что . Если

- несплющенный параллелограмм, то из 2) и А) следует, что его образ тоже настоящий параллелограмм, откуда

,

Если точки  принадлежат одной прямой , то предположение  позволяет выбрать в точки  так, что . Применяя предыдущий случай, имеем

откуда .

Отображение  обозначаем отныне просто .

В). Отображение  инъективно и удовлетворяет условию

.             (1)

Инъективность  сразу следует из инъективности . С другой стороны, для любых данных  выберем в  такие точки , , ,  и . Тогда .

Д). Существует отображение , такое, что

.                (2)

Доказательство. Достаточно найти , удовлетворяющее условию (2) при . Для заданной пары  выберем , ,  в  так, что , . Так как точки ,  и  коллинеарны, то коллинеарны и векторы ; отсюда вытекает существование некоторого скаляра, скажем , такого, что . Остается доказать, что  не зависит от вектора  (по предположению ненулевого).

1). Если два неколлинеарных вектора, то неколлинеарны и , ; в противном случае образы двух прямых , , проходящих через одну и ту же точку  с направляющими , совпадали бы, что невозможно в силу А).

Для любого имеем

 

,

 

откуда в силу неколлинеарности ,  

.

2). Если , - коллинеарные ненулевые векторы, то предположение  позволяет выбрать   так, что пары  и  свободны. Отсюда находим, что

.

Так для каждого  отображение ,  есть константа, мы обозначим ее через .

Е). Отображение  является изоморфизмом тел.

 Выбрав , мы увидим прежде всего, что соотношения  и  влекут (с учетом )

 и ,

т.е. показывают, что  - гомоморфизм тел.

       Наконец, для любой точки  отображение  есть биекция  на прямую ; ограничение  на есть биекция на прямую . Следовательно, композиция , биективна. Отсюда вытекает, что отображение  биективно.

       Итак, изоморфизм тел, полулинейное отображение, ассоциированное с , и полуаффинное отображение.

Случай плоскости.

Если и  двумерны, то условие 2) в теореме 8.1 следует из условия 1) и инъективности . Мы можем, таким образом, сформулировать

Следствие. Если , аффинные плоскости и - инъективное отображение, такое, что образ любой прямой в есть прямая в , то полуаффинное отображение.

Замечание. Условия теоремы 8.1 выполняются, в частности, если инъективное отображение в себя, такое, что образ любой прямой  есть прямая, параллельная ; тогда можно непосредственно доказать, что  дилатация.

Введение

Чтобы лучше понимать аффинную структуру и не теряться от ее кажущейся сложности, можно обратиться к более общему понятию однородного пространства. Это даст также повод вспомнить, что понятие группы возникло путем абстракции из понятия группы преобразований, и, более того, оно полностью проявляет себя, когда мы рассматриваем действие группы на некотором множестве.   

 Считая хорошо известным понятие абстрактной группы, введем

Определение 1.1. Пусть - некоторая группа (с мультипликативным обозначением операции) и - ее нейтральный элемент.

Говорят, что  действует слева на множестве , если определенно отображение , , такое, что набор отображений ,  удовлетворяет условиям

и   .                               (1)

Аналогично говорят, что  действует на  справа, если определено отображение , , такое, что набор отображений ,  удовлетворяет условиям

   и .                                     (1/)

Соотношения (1) (соответственно (1/)) показывают, что ( соответственно )- это биекции  на и что  (соответственно ).

Например, любая группа  действует сама на себе слева левыми сдвигами:  и справа правыми сдвигами: .

Группа  действует на себе слева также внутренними автоморфизмами: .

Условимся считать, если иное не оговорено, что действие группы на множестве понимается как действие слева.

Понятно, что для коммутативной группы оба действия совпадают; следует, однако, отметить, что одна и та же группа может действовать на множестве, в том числе и на себе, разными способами.

Определение 1.2. Пусть группа  действует слева на множестве  с законом действия . Говорят, что  действует на  транзитивно, если для любой пары  элементов  существует хотя бы один элемент , такой, что ; далее, говорят, что действие  просто транзитивно, если этот элемент  всегда единственный.

Пример. Линейная группа  автоморфизмов  действует транзитивно на , но это действие не является просто транзитивным, кроме случая .

Определение 1.3. Пусть группа  действует слева на множестве . Стабилизатором подмножества  множества  называется множество .

Непосредственно ясно, что - подгруппа группы . Если множество  состоит из одного элемента , то это подгруппа называется группой изотропии элемента .

Замечание. Стабилизатор  является пересечением двух множеств  и , которые не обязаны быть подгруппами . Например, если  действует на себе трансляциями и - положительная полуось, то  не является подгруппой, а .

Определение 1.4. Пусть - группа, действующая слева на ; орбитой элемента  называется образ  при отображении .

Если  действует на  транзитивно, то орбиты всех элементов совпадают с .

Замечание. На можно определить отношение эквивалентности, полагая , если существует элемент , такой, что ; классы эквивалентности являются орбитами элементов ; фактормножество по этому отношению назовем пространством орбит.

 

Однородные пространства

Определение 1.5. Однородным пространством, ассоциированным с группой , называется множество , на котором определено транзитивное действие группы .

Пример (типовой). Пространство смежных классов группы по ее подгруппе.

Пусть - группа, - ее подгруппа, - фактормножество, образованное левыми смежными классами относительно : элементы  из  объявляются эквивалентными, если существует элемент , такой, что ; класс эквивалентности элемента  есть множество  элементов вида , где .

Действие слева группы  на  определяется с помощью ; это действие, очевидно, транзитивно. Фактормножество  является однородным пространством относительно этого действия.

Мы увидим, что всякое однородное пространство приводится (при помощи биекции) к пространству такого вида.

Теорема 1.1. Пусть - однородное пространство, ассоциированное с группой , и для любого  пусть - группа изотропии . Тогда существует единственная биекция  факторпространства  на , такая, что для всех   выполнено , где - каноническая проекция и - действие  на .

Доказательство. Соотношение  равносильно  и, значит,  или ; следовательно, отображение ,  переносится на фактормножество и представляется в виде , где - биекция.

 

Специальный случай

Если группа  действует на  просто транзитивно, то группы изотропии  тривиальны; для каждой точки  отображение ,  является биекцией, удовлетворяющей условию .

Эта биекция  позволяет перенести на структуру группы , которая, однако, будет зависеть от выбора точки , т. е. образа нейтрального элемента. Говоря нестрого,  допускает структуру группы, изоморфной , при произвольном выборе нейтрального элемента.

Так и будет обстоять дело в случае ”аффинной структуры”.

 

Аффинные пространства

Определение 2.1. Пусть - векторное пространство над произвольным телом . Аффинным пространством, ассоциированным с , называется множество , на котором определено просто транзитивное действие абелевой группы .

Это действие записывается обычно в виде

            .

Для любого  биекция ℰ,  называется трансляцией на вектор ; далее, для некоторой пары  элементов единственный вектор , такой, что , обозначается .

Чтобы отличить элементы (называемые точками) от элементов  (называемых векторами), мы будем преимущественно обозначать ”точки” прописными буквами латинского алфавита, такими, как , а ”векторы -строчными, например ; греческие буквы предназначаются для ”скаляров”.

Можно привести два равносильных данному определению 2.1. обычных определения, не опирающихся на понятие действия группы.

Определение 2.2. Аффинным пространством, ассоциированным с , называется множество , снабженное семейством биекций , таких, что

a) и ;

b) для любой пары существует единственный вектор , такой, что .

Определение 2.3. Аффинным пространством, ассоциированным с , называется множество , снабженное отображением , обозначаемым , таким, что

a) для каждого отображение ,  биективно;

b) для любых точек  из выполнено соотношение Шаля

         .

Заметим, что из этих условий следует, что для любой точки мы имеем .

От определения 2.3. к определению 2.2. можно перейти, обозначив через  единственную точку , такую, что , и заметив, что соотношение Шаля равносильно . Переход от определения 2.2. к определению 2.1. непосредственно ясен.

Из какого бы определения мы ни исходили, существенным остается тот факт, что для любой точки отображение ℰ ,  есть биекция; эта биекция позволяет перенести на ℰ векторную структуру .

Обозначения. Полученная таким путем векторная структура на будет называться векторной структурой с началом ; множество с этой структурой будет обозначатьсяA .

Говоря нестрого, аффинное пространство выглядит как векторное пространство, начальный (нейтральный) элемент которого еще не выбран. Аффинные свойства - это те свойства векторного пространства A, которые не зависят от выбора точки .

Таким образом, можно было бы, пренебрегая аффинной структурой, свести все задачи аффинной геометрии к задачам векторного характера путем выбора начальной точки; так и делается в математическом обиходе. Но больше в духе ”внутреннего” исследования была бы работа без выбора начальной точки, позволяя яснее представить именно аффинные свойства . Так мы и поступим, не забывая при этом, что введение векторной структуры с надлежащим выбором начальной точки часто проясняет дело.

 

Размерность аффинного пространства

Пусть - аффинное пространство, ассоциированное с векторным пространством . По определению, размерность равна размерности .

В частности, любое одноточечное множество допускает единственную аффинную структуру размерности , ассоциированную с нулевым векторным пространством.

Аффинные подпространства

(Линейные аффинные многообразия)

Пусть - аффинное пространство, ассоциированное с векторным пространством . Каждое векторное подпространство  пространства  образует подгруппу группы , действующую на трансляциями. По определению, орбиты действия  на называются линейными аффинными многообразиями (сокращенно ЛАМ) с направлением . Группа , действующая просто транзитивно на каждой из этих орбит определяет тем самым на каждой из них аффинную структуру, ассоциированную с ; поэтому мы называем эти орбиты (ЛАМ) также аффинными подпространствами в .

Если  есть ЛАМ с направляющим подпространством  и - точка , то  допускает структуру векторного пространства с началом  и  есть векторное подпространство в A. Обратно, любое ВПП пространства A есть ЛАМ, проходящее через ; сформулируем

Предложение 3.1. Аффинные подпространства в , проходящие через точку , суть векторные подпространства векторного пространства A.

Это краткое рассмотрение показывает, что направление ЛАМ  пространства полностью определяется заданием множества точек .

 

Другие определения.

Предложение 3.1. показывает, что данное выше определение эквивалентно следующему элементарному определению:

Определение 3.1. Непустое подмножество  аффинного пространства называется линейным аффинным многообразием, если в  существует точка , такая, что  является векторным подпространством в .

Приняв определение 3.1., можно непосредственно установить следующее

Предложение 3.2. Пусть - непустое подмножество в и - точка , такая, что  есть векторное подпространство в . Тогда для любой точки  из  множество  совпадает с .

Доказательство.  есть множество векторов , где ; таким образом,  есть образ  при биекции , , и поскольку , то .

Установив это, легко убедиться, что  наделено структурой аффинного пространства, ассоциированного с векторным пространством , которое не зависит от точки .

Вместо того, чтобы исходить из векторной структуры , можно использовать отношение эквивалентности, связанное с действием  на : ЛАМ суть классы эквивалентности для этого отношения, и мы приходим к следующему равносильному определению:

Определение 3.2. Пусть - векторное подпространство в  и - отношение эквивалентности, определяемое на с помощью

                        ;

аффинными многообразиями с направлением  называются классы эквивалентности по отношению .

Существуют и другие способы определить ЛАМ пространства , но нам кажется, что данные выше определения ведут к наиболее простому способу изложения дальнейшего.

 

Дата: 2019-05-29, просмотров: 202.