Некоторые понятия в свете свойств подгрупп группы подобий. — КиберПедия 

Состав сооружений: решетки и песколовки: Решетки – это первое устройство в схеме очистных сооружений. Они представляют...

Особенности сооружения опор в сложных условиях: Сооружение ВЛ в районах с суровыми климатическими и тяжелыми геологическими условиями...

Некоторые понятия в свете свойств подгрупп группы подобий.

2017-10-16 343
Некоторые понятия в свете свойств подгрупп группы подобий. 0.00 из 5.00 0 оценок
Заказать работу

10. Группа растяжений и структура векторного пространства.

Пусть R – группа растяжений пространства. Она имеет подгруппу– группу параллельных переносов T. Подмножество гомотетий группы R незамкнуто относительно операции умножения, а потому группы не образует (произведение гомотетий может оказаться параллельным переносом). Элементы группы R будем обозначать греческой буквой ρ (ро), если потребуется, будем использовать и индексы.

 

Теорема: Для любого ρ и любого τ ρ ◦ τ ◦ ρ-1 – параллельный перенос.

Если ρ или τ являются тождественными преобразованиями, то ρ ◦ τ ◦ ρ-1 есть либо τ, либо 1, то есть является элементом T.

Пусть ρ ≠ 1 и τ ≠ 1. Прежде всего, ρ ◦ τ ◦ ρ-1 – растяжение. Допустим, что имеется неподвижная точка Р. Это означает: Начало и конец этой цепочки указывают на то, что Р1 = Р2, то есть τ имеет неподвижную точку. Но это противоречит условию: для любой М τ (М) ≠ М. Это противоречие и заставляет отбросить допущение. Таким образом, ρ ◦ τ ◦ ρ-1 – растяжение без неподвижных точек, то есть параллельный перенос.

Итак, всякое растяжение определяет отображение T в себя:

τ¢ = ρ ◦ τ ◦ ρ-1. Это отображение группы T является ее автоморфизмом (оно взаимнооднозначно и сохраняет структурное отношение на T). Автоморфизмы группы T обозначим буквой k, если потребуется, то и с индексами. Образ τ при автоморфизме k будем обозначать kτ, а если

ρ – растяжение, определяющее k, то kτ = ρ ◦ τ ◦ ρ-1 , что сокращенно записываем как , в следствие этого kτ = .

Если (А, А¢) – пара точек пространства, соответствующих друг другу в τ, то (А1, А¢1), из которых А1 = ρ(А) и А¢1 = ρ(А¢) – пара точек параллельного переноса . Таким образом, для нахождения достаточно взять произвольную пару (А,А¢) для τ, найти образы ρ(А) и ρ(А¢), тогда пара (ρ(А), ρ(А¢)) определит .

Теперь покажем, что различные растяжения могут определять один и тот же автоморфизм k.

Найдем условие, при котором : ρ1 ◦ τ ◦ ρ1-1 = ρ2 ◦ τ ◦ ρ2-1 отсюда получаем (ρ2-1 ◦ ρ1) ◦ τ ◦ (ρ2-1 ◦ ρ1)-1 = τ. Обозначив ρ2-1 ◦ ρ1 через ρ, представляем это равенство в виде ρ ◦ τ ◦ ρ-1 = τ. Отсюда получаем

ρ = τ ◦ ρ ◦ τ -1

Допустим, что ρ имеет инвариантную точку Р, тогда . Из заключаем, что . Значит Р1 = Р2. Итак, ρ имеет кроме Р еще одну неподвижную точку Р1, а потому ρ = 1, то есть ρ Î T.

Если же ρ не имеет инвариантных точек, то ρ Î T как параллельный перенос.

Итак, ρ1 и ρ2 определяют один и тот же автоморфизм тогда и только тогда, когда ρ2-1 ◦ ρ1 (или ρ1 ◦ρ2-1) – параллельный перенос. Это условие определяет на R отношение эквивалентности, поскольку:

1. для любого ρ Î R ρ-1 ◦ ρ Î T;

2. если ρ2-1 ◦ ρ1 Î T, то (ρ2-1 ◦ ρ1)-1 Î T, а потому ρ1-1 ◦ ρ2 Î T;

3. если ρ2-1 ◦ ρ1 Î T и ρ3-1 ◦ ρ2 Î T, то ρ3-1 ◦ ρ1 Î T.

Для доказательства достаточно перемножить первое и второе произведения.

Это отношение эквивалентности на R разбивает его на непересекающиеся подмножества, классы эквивалентности. Один из классов есть множество всех параллельных переносов, включая 1. Все другие классы состоят из гомотетий. Как мы знаем, каждый класс эквивалентности полностью определяется одним любым своим элементом. Выберем множество представителей классов эквивалентности.

Отметим, прежде всего, что никакие две гомотетии из множества гомотетий с общим центром неэквивалентны как растяжения. Если допустить обратное для двух различных g1 и g2, то это означает, что

g1 ◦ g2-1 Î T. Так как у g1 ◦ g2-1 общий центр гомотетий, то

он – инвариантная точка g1 ◦ g2-1 , а потому g1 ◦ g2-1 = 1 и g1 = g2, что противоречит условию. Таким образом, гомотетии с общим центром представляют различные классы эквивалентных растяжений.

Пусть теперь g – гомотетия, представляющая произвольное растяжение, отличное от 1. Можно показать, что среди гомотетий с общим фиксированным центром S существует гомотетия, эквивалентная g. Конструктивно задача поиска такой гомотетии связана с задачей построения отрезка, равного данному, параллельного заданной прямой, у которого концы должны принадлежать сторонам данного угла

(см. рис. 44).

Рис.44

 

LL1 – данный отрезок, который мы отложим на данной прямой l. Берем произвольную точку H на стороне h угла Ðhk и строим ее образ H1 при параллельном переносе, отображающем L и L1.

Прямая h 1 параллельная h и проходящая через H1 – образ h в рассматриваемом параллельном переносе. Отмечаем М1 – точку пересечения k и h 1. Ее прообраз М на h и определяет вместе с М1 отрезок ММ1, равный данному LL1 и параллельный прямой l.

Пусть О – центр g и (А, А¢) и (В, В¢) – две пары соответствующих друг другу точек. (рис.45).

Рис.45

 

Проводим: SA¢ и SB¢. Через А проводим прямую параллельно ОВ¢ и отмечаем точку А1¢ ее пересечения с А¢В¢. Через А1¢ проводим прямую параллельно SB¢ и отмечаем точку А1 ее пересечения с SA¢. Через А1 проводим прямую, параллельно А¢В¢. Точка В1 – пересечение этой прямой с SB¢.

Гомотетия с центром S, отображающая А1 в А¢ и будет гомотетией эквивалентной гомотетии g. Гомотетии с центром S с присоединенным к ним тождественным отображением представляют все классы эквивалентных растяжений, потому этого множества растяжений достаточно для определения всех возможных автоморфизмов группы T. Обозначим множество этих гомотетий, включая 1, в виде Hs. Все автоморфизмы T связываем только элементами Hs.

Символом K обозначим множество автоморфизмов группы T. Определим на K две операции, одну из которых назовем умножением, а другую сложением.

Определение 1: Произведением автоморфизмов k1 и k2 из K называем такой автоморфизм k, для которого найдется такой параллельный перенос τ, что kτ = k2 (k1τ).

Отметим, что произведение k1 и k2 не зависит от выбора τ. Всякий автоморфизм определяется элементами группы Hs . Поэтому, если g1 порождает k1, а g2 – k2, то k порождается g = g2 ◦ g1.

В самом деле: k1τ = g1 ◦ τ ◦ g1-1, k2(k1τ) = g2 ◦ (g1 ◦ τ ◦ g1-1) ◦ g2 -1 =

= (g2 ◦ g1) ◦ τ ◦ (g2 ◦ g1)-1. Если τi – любой другой элемент T, то

i = g ◦ τi ° g-1 = (g2 ◦ g1) ◦ τi ◦ (g2 ◦ g1)-1 = g2 ◦ (g1◦ τi ◦ g1-1)◦ g2-1 = k2(k1τi). Произведение k1 и k2 будем записывать в виде k1 · k2. Таким образом, можно писать k = k1 · k2. Произведение k1 и k2 определено для любых k1 и k2.

Определение 2: Суммой k1 и k2 называем такой автоморфизм k, для которого kτ = k2τ ◦ k1τ.

Будем говорить, что τ1 и τ2 имеют параллельные направления, если они имеют общий пучок инвариантных прямых. Очевидно, что это отношение на T является отношением эквивалентности, поскольку оно связано с отношением параллельности на множестве прямых.

Для доказательства независимости суммы автоморфизмов от параллельного переноса τ фигурирующего в определении 2, докажем предварительно вспомогательные утверждения.

Лемма 1. τ1 и τ2 имеют параллельные направления тогда и только тогда, когда существует автоморфизм k, для которого τ2 = kτ1 или

τ1 = kτ2.

 

1). Пусть τ1 и τ2 имеют параллельные направления, то есть для пар соответствующих друг другу точек (А1, А1¢) и (А2, А2¢), отвечающих τ1 и τ2, А1А1¢ ║ А2А2¢. В этом случае прямые А1А2 и А1¢А2¢ либо параллельны, либо пересекаются в одной точке S (эти прямые лежат в одной плоскости).

В первом случае τ1 = τ2 и тогда их можно связать равенством: τ2 = 1 ◦ τ 11. Обозначив автоморфизм, порождаемый 1, цифрой 1, получаем τ2 = 1τ1.

Во втором случае для гомотетии g с центром S и парой точек (А1А2) получаем τ2 = g ◦ τ1◦ g-1. В самом деле: , то есть τ2 = kτ1, где k – автоморфизм, порождаемый g.

2). Пусть существует автоморфизм k, для которого τ2 = kτ1. k – либо 1, либо k ≠ 1. В первом случае k порождается 1, а потому τ2 = 1 ◦ τ 11, то есть τ2 = τ1. Это означает, что пары точек (А1, А1¢) и (А2, А2¢)- пары соответствующих точек одного и того же параллельного переноса, а потому А1А1¢ ║А2А2¢.

Если же k ≠ 1, то существует g, для которой τ2 = g ◦ τ1 ◦ g-1. Тогда , а потому А2А2¢║ А1А1¢.

Итак, τ1 и τ2 имеют параллельные направления. Сформулированная лемма 1 доказана полностью.

 

Лемма 2. Произведение гомотетий с общим центром коммутативно.

Пусть g1 и g2 – гомотетии с общим центром S. Пусть и , а точка В отображается в В2 произведением g2 ◦ g1 (рис. 46).

Рис.46

 

Если В не принадлежит SА, то имеем шестиугольник АВА1В2А2В2¢, находящийся в условиях теоремы Паппа (АВ ║ В2А2 и ВА1 ║ А2В2¢). Поэтому А1В2║ В2¢А. По условию и . Из

ВА1 ║ А2В2¢ следует, что . Из В2¢А ║ А1В2 следует, что . Таким образом, . Отсюда вывод g2 ◦ g1= g1 ◦ g2.

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

Теорема: Если для некоторого τ00 = k2τ0 ◦ k1τ0, то kτ = k2τ ◦ k1τ для любого τ.

 

Пусть τ – произвольный нетождественный параллельный перенос. Для τ0 и τ имеются две возможности: τ0 и τ имеют параллельные направления или τ0 и τ имеют непараллельные направления. Рассмотрим эти случаи.

1. τ0 и τ имеют параллельные направления. Тогда согласно лемме 1 существует k0 такой, что τ = k0τ0. Это означает, что во множестве гомотетий с общим центром S существует гомотетия g0, для которой τ=g0 ◦ τ0 ◦ g0-1 или в степенной форме .

По условию kτ0= k2τ0 ◦ k1τ0, что можно записать в виде . Из соотношения между τ и τ0 можно получить выражение τ0 через τ: . Подставим это в предыдущее равенство и получим . Используем свойства «степеней» с показателями, являющимися преобразованиями, тогда получим , что представляет следующее равенство:

(g ◦ g0 -1) ◦ τ ◦ (g ◦ g0-1)-1 = (g2 ◦ g 0-1) ◦ τ ◦ (g2 ◦ g0-1)-1 ◦ (g1 ◦ g0-1) ◦ τ ◦ (g1 ◦ g0-1)-1 = =(g2 ◦ g 0-1) ◦ τ ◦ (g0 ◦ g2-1) ◦ (g1 ◦ g0-1) ◦ τ ◦ (g0 ◦ g1-1).

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

g 0-1 (g ◦ τ ◦ g-1) ◦ g0 = g 0-1 ◦ (g2 ◦ τ ◦ g2-1) ◦ (g1◦ τ ◦ g1-1) ◦ g0.

Умножая последовательно обе части этого равенства слева на g0, а справа на g0-1 получаем g ◦τ ◦g-1 = (g2 ◦ τ ◦ g2-1) ◦ (g1◦ τ ◦ g1-1), что и означает

kτ =k2τ ◦ k1τ.

Теорема в первом случае доказана.

2. τ0 и τ имеют непараллельные направления. Пусть τ0 отображает некоторую точку А в точку В, а τ – в точку С. В силу условия точки А, В и С не принадлежат одной прямой (рис.47).

Рис.47

 

 

Пусть g1 – гомотетия с центром S, порождающая автоморфизм k1, а g2 –гомотетия с центром S, порождающая k2.

При этом (А,В,С) 111) и (А,В,С) 222).

Так как (А,В) пара переноса τ0, (А,С) – пара переноса τ, то (А11) – пара переноса k1τ0 или , (А2, В2) – пара переноса k2τ0 или , (А11) – пара переноса k1τ или и (А22) – пара переноса k2τ или .

- параллельный перенос, отображающий А1 в В1¢, а – параллельный перенос, отображающий А1 в С1¢. Проведем через В1¢ прямую, параллельную SA и в пересечении ее с SB получим точку В¢. Поведем через В¢ прямую, параллельную АВ и получим на SA точку А¢, образом которой при параллельном переносе будет точка В¢. Обозначим g гомотетию с центром S, отображающую А в А¢. Тогда параллельный перенос, отвечающий паре (А¢, В¢) или, что тоже самое, паре (А1, В1¢) есть образ τ0 при автоморфизме, который определяется g. Таким образом, τ0g = или kτ0=k2τ0 ◦ k1τ0.

Параллельный перенос отображает А1 в С1¢. Проводим через С1¢ прямую, параллельную SA и в пересечении ее с SC получаем точку С¢, которая является образом точки С в гомотетии, отображающей А в А¢, т.е. в гомотетии g. Так как С¢ – образ точки С в g, то перенос, определяемый (А¢, С¢) есть τg. Но пары (А¢,С¢) и (А1,С1¢) принадлежат одному переносу, т.е. и (А11¢) – пара переноса τg. Но пара (А11¢) есть пара переноса

.

Таким образом, или иначе kτ =k2τ ◦ k1τ.

Итак, наша теорема справедлива и во втором случае, а потому доказана полностью.

Рассмотрим теперь множество всех автоморфизмов группы T с операциями сложения и умножения, которые мы определили выше. Обозначим эти операции традиционно точкой × и знаком + (плюс). Таким образом, рассматриваем структуру (K +, ×).

Прежде всего, напомним, что K замкнуто относительно + и ×. По операции умножения в Kсуществует нейтральный элемент, которым является автоморфизм, порождаемый 1. Мы обозначили его выше цифрой 1. Действительно, для любого автоморфизма k k×1 есть автоморфизм

k(1τ)= g ◦ (1 ◦ τ ◦ 1) ◦ g-1= g ◦ τ ◦ g -1 = kτ. Это и означает, что k×1=k. Точно так же и 1×k=k.

Для введения нейтрального элемента по сложению рассматриваем отображение T в себя, при котором всякому τ соответствует 1. Это отображение обозначим q и присоединим его к K. Новое множество обозначим K. Из определения q следует, что для любого kÎ K существует такой автоморфизм -k, для которого k + (-k) = (-k) + k=q. Обозначим через -k автоморфизм, порождаемый растяжением ss ◦g, где g порождает k, а S – общий центр гомотетий, порождающих автоморфизмы T, ss – частный случай гомотетий с центром S, т.к. ss – растяжение с единственной неподвижной точкой S.

Тогда: (k+ (-k))τ = -kτ ◦ kτ=τss◦g ◦ τg=(τg)-1◦ τg = 1 для любого τ из T (докажите самостоятельно, что τss◦g =(τg)-1).

В силу определения 2 суммы автоморфизмов мы имеем дело с таким отображением T в себя, которое всякому элементу группы ставит в соответствие только 1. Именно его мы и обозначили выше через q. Поэтому имеем для любого k из K что k + (-k)= q. Точно так же мы придем к заключению, что и (-k)+k=q.

Теперь обратимся к сумме k+q. Для любого τ из T (k+q)τ =qτ◦kτ, но

qτ = 1, а kτ=τg, поэтому (k+q)τ= 1 ◦ τgg=kτ. Этот результат и означает, что k+q=k.Точно так же получится и q+k=k. Таким образом, q – нейтральный элемент по сложению в множестве K.

Возвращаясь к предыдущему результату, можно заключить: в K для любого элемента k существует противоположный элемент -k. Ассоциативность операции сложения очевидна.

Таким образом, (K, +) – группа, причем коммутативная, что является следствием коммутативности группы T.

Итак, (K,, +) – абелева группа структуры (K,+, ×).

Как мы видели выше, существует в K и нейтральный элемент по умножению – это автоморфизм 1. Есть ли в K обратный элемент по умножению для элементов K? Пусть k порождается g. Для g в Hs существует обратная гомотетия, которую обозначим g-1. Для любого τ Î T его образ при автоморфизме, соответствующем g-1, есть g-1 ◦ τ◦(g-1)-1 или

g-1◦ τ ◦ g. Образом τ при k является g◦ τ ◦ g-1. Тогда образом τ, при автоморфизме, являющемся произведением этих двух, будет

g-1(g◦ τ ◦ g-1) ◦ g = τ, иначе говоря этот автоморфизм есть 1. Tаким образом, автоморфизм, порождаемый g-1, следует обозначить как k-1. Вывод: у любого k Î K существует в K обратный элемент, которым является k-1.

Ассоциативность умножения автоморфизмов очевидна. Таким образом, (K, ×) – мультипликативная группа. В группах (K, +) и (K, ×) операции связаны дистрибутивным законом: (k1+k2)× k3 = k1 × k 3 + k 2 × k3. Убедимся в этом. k1 + k 2 – это автоморфизм, для которого (k1 + k 2) τ =

= k 2 τ ◦ k1τ = .

С другой стороны, произведение k1 × k3 – автоморфизм, для которого

k1 × k3τ = k3(k1τ) = .Точно также k2×k3 отвечает равенство k2×k3τ =

= k3(k1τ) = .

Тогда k1×k3 + k2×k3 отвечает равенство (k1×k3 + k2×k3) τ = k2×k3τ ◦ k1×k3τ = = , но = k2τ ◦ k1×τ = (k1 + k2) τ поэтому

(k1×k3 + k2×k3) τ = ((k1 + k2) τ) = k3((k1 + k2) τ) = (k1 + k2) ×k3τ.

Отсюда (k1 + k2)×k3 = k1×k3 + k2×k3.

Точно также дистрибутивность выполняется и при умножении слева:

k3 (k1 + k2) = k3 ×k1 + k3× k2.

В силу теоремы Паппа произведение гомотетий с общим центром коммутативно: g2 ◦ g1=g1◦g2. Поэтому

Для k1×k2 имеем: k1×k2 τ = k2(k1τ) = = k1(k2τ)= k2 × k1τ, что и означает равенство k1 × k1 и k2 ×k1.

Таким образом, структура (K, +, ×) – поле. Заметим, что без справедливости теоремы Паппа не выполнялась бы коммутативность умножения автоморфизмов группы T. Структура (K, +, ×) была бы не полем, а более общей алгебраической структурой – телом. Теорема Паппа – геометрический эквивалент коммутативности умножения автоморфизмов группы T. Отсутствие коммутативности повлекло бы за собой разрушение всей теории подобия, а значит и геометрии Евклида в целом.

Полученные выше результаты позволяют вскрыть векторную структуру евклидова пространства. Прежде всего, изменим название и обозначение групповой операции группы T параллельных переносов, превращая ее в аддитивную группу (это часто делают для коммутативных групп).Вместо τ2 ◦ τ1 будем писать τ2 + τ1 и называть суммой элементов группы T.

Зададим отображение f: K ´ T ® T, ставя в соответствие паре (k, τ) параллельный перенос kτ, который назовем произведением τ на элемент k поля K. Обратимся к свойствам этой операции.

 

1. k (τ 1 + τ2) = k τ1 + kτ2, так как (τ 1 + τ2)g = (τ 1 ◦ τ2)g = τ1g ◦ τ2g = τ1g + τ2g,

т.е. k τ1 + kτ2.

2. (k1 + k 2 )τ = k1τ + k2τ, так как правая часть есть всего лишь другая форма выражения k1τ ◦ k2τ.

3. k2 (k 1τ)= (k2 · k1)τ, что следует из определения произведения k1 и k 2.

4. для любого τ Î T 1×τ=τ (здесь 1Î K).

Вывод: (T, +, K) – векторное пространство над полем K (или телом K, если теорема Паппа не имеет места), В силу полученного результата элементы группы T называются векторами.

Так как в евклидовом пространстве, геометрию которого мы строим аксиоматически, всякая упорядоченная пара точек (А, А¢) однозначно связана с элементами группы T, то справедливо известное соотношение между векторами и точками геометрического пространства, которое при построении геометрической системы на векторной основе принимают за первую аксиому: для любой точки пространства А и фиксированного вектора τ в пространстве существует единственная точка А¢ такая, что паре точек (А, А¢) однозначно соответствует вектор τ векторного пространства (T, +, K), Легко убедится в том, что выполнена и вторая аксиома «откладывания» вектора от точки: если А, В и С – три различные точки прямой, то сумма векторов τАВ и τВС равна вектору τАС.

Отметим еще, что полученное нами векторное пространство таково, что в нем существуют линейно независимые системы векторов, состоящие не более чем из трех векторов (мы имели дело с трехмерным евклидовым пространством). Если же мы рассматриваем растяжения и параллельные переносы в плоскости (плоскость отображалась на себя), то наше пространство (T, +, K) имеет размерность 2 – максимальное число линейно независимых векторов (параллельных переносов как элементов T) равно двум.

Для определения метрики нужно, конечно, задать еще в (T, +, K) и скалярное произведение элементов T, но этого мы здесь делать не будем, поскольку наша задача – лишь демонстрация связи соответствующих свойств групп преобразований с раскрытием векторной структуры евклидова пространства.

В заключении отметим лишь некоторые следствия полученных выше результатов. Будем говорить, что векторы τ1 и τ2 – неколлинеарны, если τ1 и τ2 как параллельные переносы имеют непараллельные направления.

Пусть τ1 и τ2 – неколлинеарные векторы и точка О – произвольная точка плоскости. Пусть О О1 и О О2. Возьмем в T произвольный перенос τ который точку О отображает в точку А (рис.48).

Рис.48

 

 

Парам (О, А1) и (О, А2) отвечают параллельные переносы τх и τу коллинеарные соответственно τ1 и τ2. Существуют единственные kх и kу в K, для которых

τх =kх τ1 и τу =kу τ2. Но τ = τ х + τу или τ=kхτ 1 + kуτ2. Таким образом, если фиксированы два неколлинеарных вектора τ1 и τ2, то всякому вектору τ ставится в соответствие строго определенная пара (kх, kу) элементов поля K. Ясно, что выполнено и обратное. Таким образом, пара элементов

K (kх, kу) может рассматриваться как координаты вектора τ в репере (τ1, τ2). Кроме того, эту пару можно считать и координатами точки А, представленными в соответствующей системе координат.

Пусть теперь l – некоторая прямая, проходящая через точку Q и инвариантная относительно параллельного переноса τ. Представим координаты точек прямой l в репере (τ1, τ2).

 

Рис. 49

 

Возьмем на l произвольную точку L (рис.49). Обозначим векторы, отвечающие парам точек (O, Q), (O, L) и (Q, L), в виде , и . Тогда

= . Векторы и τ коллинеарны, а потому = kτ.

Если (t1,t2) – координаты вектора τ в репере (τ1, τ2), то = kt1τ1 + kt2τ2. Если при этом (q1, q2) – координаты вектора , то

OL = (q1τ1+q2τ2) + (kt1τ1+kt2τ2) = (kt1+q11 + (kt2+q22.

Следовательно, суммы в скобках при τ1 и τ2 являются координатами вектора , а значит и точки L. Обозначая ее координаты через х и у получаем знакомое по виду параметрическое представление условий принадлежности точки L прямой l

х = k t1 + q1

у = k t2 + q2

 

В заключении представим координатное задание линейных преобразований плоскости. Фиксируем две пары попарно неколлинеарных векторов (τ1, τ2) и (τ1¢, τ2¢) и две точки О и О¢. Всякой точке М плоскости ставим в соответствие такую точку М¢ этой же плоскости, которая в системе координат, определяемой точкой О¢ и парой векторов (τ1¢, τ2¢), имеет такие же координаты, какие точка М имеет в системе с началом О и репером (τ1, τ2) (рис.50).

Рис. 50

 

 

Пусть (х, у) – координаты точки М в системе с базисом (О, τ1, τ2), а

(х¢, у¢) – координаты М¢ в системе координат (О¢,τ1¢, τ2¢), тогда х¢ = х и у¢=у

= х0τ1 + у0τ2, где (х0, у0) – координаты О¢ в системе (О, τ1, τ2).

= х¢τ1¢ + у¢τ2¢ = х τ1¢ + у τ2¢. С другой стороны .

Таким образом, = (х0 τ1 + у0 τ2)+ (х τ1¢ + у τ2¢). Пусть τ1¢= k11τ1 + k12 τ2 и τ2¢= k21τ1 + k22 τ2. Отсюда = (х k11 + у k12 + х0) τ1 + (х k21 + у k22 + у0) τ2.

Это означает, что х¢= х k11 + у k12 + х0

у¢= х k21 + у k22 + у0

 

Эти равенства (при переменных х, у, х¢, у¢ – уравнения) позволяют находить образ любой точки М плоскости, если известны: координаты точки О¢ и векторов τ1¢ и τ2¢ в заданной координатной системе (О, τ1, τ2).

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

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

 

2°. О понятии «ориентация».

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

Рассматриваем ориентацию как отношение на множестве фигур. Ориентацией в этом случае называют бинарное отношение на множестве фигур, являющееся отношением эквивалентности, фактор-множество по которому имеет порядок 2 (или иначе, множество классов эквивалентности состоит ровно из двух элементов).

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

Пусть G –группа преобразований пространства, которая обладает подгруппой G +, являющейся нормальным делителем группы G, фактор-группа по которому имеет порядок 2, Вторым элементом фактор-группы G / G +, будет множество, которое обозначаем G -, таким образом фактор группа группы G состоит из двух элементов G + и G -.

Примером таких групп являются группа движений D и группа подобий П (см. лекции 2 и 4).

Приведем критерий ориентируемости множества фигур.

Теорема: Множество фигур F ориентируемо, т.е. на нем можно задать ориентацию, тогда и только тогда, когда существует группа преобразований G транзитивная на F и обладающая нормальным делителем, фактор-группа по которому имеет порядок 2, а фигуры из F отображаются на себе только преобразованиями первого рода.

 

1. Пусть F ориентируемо т.е. на F задана ориентация и кроме того группа G транзитивна на F. Доказать следует, что фигуры из F не могут отображаться на себя, преобразованиями второго рода из G. Отношение ориентации на F разбивает это множество на два класса эквивалентности F + и F -, не имеющие общих элементов. Допустим противное тому, что требуется доказать, т.е. существование в G преобразования g- второго рода, которое отображает некоторую фигуру F из F на себя, т.е.

F F. Пусть, кроме того,

F+– образ F при некотором преобразовании g + первого рода из G. Тогда имеем: F F F + или F F+.

g + ◦ g - – преобразование второго рода. Таким образом, с одной стороны, F и F+ принадлежат одному классу эквивалентности, т.к. F отображается на F+ преобразованием первого рода, а в следствии допущения та же фигура F отображается на F+ преобразованием второго рода, т.е. F и F+ должны принадлежать разным классам эквивалентности. Это противоречие и заставляет отбросить сделанное допущение.

2. Итак, G транзитивна на F и при этом любая фигура F из F отображается на себя только преобразованиями первого рода. Пусть множество образов фигуры F при всех возможных преобразованиях из G


Поделиться с друзьями:

Семя – орган полового размножения и расселения растений: наружи у семян имеется плотный покров – кожура...

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

Своеобразие русской архитектуры: Основной материал – дерево – быстрота постройки, но недолговечность и необходимость деления...

Архитектура электронного правительства: Единая архитектура – это методологический подход при создании системы управления государства, который строится...



© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!

0.151 с.