Группы преобразований

Группы преобразований

1.Перемещения

Пусть X - множество всех точек прямой _> >, плоскости _> > или трехмерного пространства _> >. Обозначим через d(P, Q) расстояние между точками P и Q множества X. Отображение f: X ® X f(P) = P называется перемещением, если для всех P и Q d(P, Q) = d(P, Q).

Примеры.

1. Пусть в _> > выбрана правая декартова прямоугольная система координат (x, y) с началом О. Поворот _> > плоскости на угол j вокруг точки О задается формулами R = _> >R. Здесь R = _> > , R = _> >. Очевидно, поворот является перемещением плоскости.

Отметим, что _> >(О) =О, то есть точка О остается неподвижной при повороте. Аналогично, в _> > можно рассмотреть поворот _> >на угол j вокруг оси, заданной единичным вектором v и точкой О. Легко проверить, что это перемещение задается формулой: R =Rcosj + (R´v)sinj +v(1-cosj)(R×v) . Все точки оси поворота являются неподвижными.

Перемещением будет и параллельный перенос _> > на вектор v , Очевидно,

R = R +v . Неподвижных точек перенос не имеет.

Пусть l некоторая прямая в _> >. (Зеркальное) отражение _> > относительно этой прямой является перемещением. Если в декартовой прямоугольной системе координат уравнение прямой имеет вид y = tg(j/2) x , то отражение задается формулой : R = _> >R . Аналогично, если p некоторая плоскость в _> >, то отражение _> > относительно этой плоскости будет перемещением. Если n единичный вектор нормали к плоскости p , проходящей через начало координат, то R = R - 2(R×n)n .

Переносы и отражения (примеры 2 и 3) можно рассматривать и в _> >.

Композиция U*V (последовательное выполнение ) двух перемещений U и V снова будет перемещением: (U*V)(P) = U(V(P)). Например, _> > = _> >*_>> = I - тождественное перемещение.

2. Связь с линейными операторами.

Теорема 1

Пусть f: X ® X - перемещение, A, B, C, D - точки X, f(A) = A и т.д. Если AB = CD (как свободные векторы), то AB = CD .

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

Достаточно проверить, что в условиях теоремы четырехугольник ABDC является параллелограммом. Пусть О точка пересечения диагоналей AD и BC. Принадлежность точки О отрезку АD равносильно равенству: d(A, O) + d(O, D) = d(A, D). Поскольку для образов этих точек имеет место аналогичное равенство d(A , O) + d(O, D) = d(A , D) , мы видим, что O лежит на отрезке AD и делит его пополам, поскольку d(A , O) = d(A ,O) = 1/2 d(A ,D) = 1/2 d(A , D) . Аналогично, O лежит на CD и делит его пополам. Следовательно, ABDC - параллелограмм.

Из теоремы 1 следует, что если _> > - пространство свободных векторов, то для всякого перемещения f: X ® X определено отображение: f*: V ® V.

Отметим, что если О - некоторая фиксированная точка X, то для любой точки P точка f(P) получается из O переносом на вектор f*(OP). Отсюда вытекает, что перемещение f однозначно определяется отображением f* и точкой O .

Теорема 2.

Отображение f* является линейным оператором в V и сохраняет скалярное произведение.

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

Свойство f*(u + v) = f*(u) +f*(v) следует из определения сложения векторов : если u = AB , v = BC , то u + v = AC. Так как при перемещении любой треугольник ABC переходит в равный треугольник, то сохраняются не только длины, но и углы между векторами, а значит и скалярное произведение. Наконец, использую сохранение скалярного произведения, имеем: _> >= _> >-2_>>+ _> > = _> >- 2_>>+ _> >=0. Следовательно, f*(lv) = lf*(v) , то есть отображение f* линейно.

Следствие

Отображение _> > евклидова пространства V, обладающее свойством _> > является линейным оператором и сохраняет скалярное произведение.

Как известно, оператор в конечномерном пространстве определяется своей матрицей. Матрица A оператора, сохраняющего скалярное произведение, называется ортогональной и имеет следующие свойства:

Матрица А невырождена, более того det(A) = _> >1. Операторы с определителем 1 сохраняют ориентацию пространства, а с определителем (-1) меняют ее на противоположную.

Все собственные значения A - комплексные числа по модулю равные 1.

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

dimV	det(A) = 1	Название	det(A) = -1	Название
1	I = (1)	Тождест-венный оператор	s = (-1)	Отраже-ние
2	>>=>>	Поворот на угол j	>>=>>	Отраже-ние
3	>>=>>	Поворот на угол j вокруг OZ	>>=>>	Зеркаль-ный пово-рот

Замечание 1.

Учитывая связь между перемещением f и оператором f*, можно утверждать, что в подходящей декартовой системе координат имеет место формула:

R = АR + v , где А - одна из матриц из таблицы, а v - некоторый вектор. Следовательно, всякое перемещение f имеет обратное _> >, которое задается формулой R = _> >(R - v ) = _> >R - _> >v. Поскольку матрица _> > - ортогональна, обратное отображение также является перемещением. Отметим еще, что для всякой ортогональной матрицы P и любого вектора w преобразование R = PR + w является перемещением.

Замечание 2.

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

Перемещения с det(A) = 1 можно представлять себе и как движения, в то время как при det(A)= -1 такое представление невозможно, если оставаться в пределах исходного пространства X.

Классификация перемещений.

Напомним, что нам уже известны некоторые перемещения. Перемещениями прямой _> >являются тождественное преобразование I, перенос _> > на вектор v и отражение _> > относительно точки О .

Для случая плоскости _> > перемещениями будут уже упомянутые I и _> >, а также поворот _> > вокруг точки О на угол j и отражение _> > относительно прямой l . Определим дополнительно скользящее отражение _> >как комбинацию отражения относительно прямой l с переносом на вектор v½½l .

Наконец, для пространства _> >мы имеем перемещения I и _> >, а, кроме того поворот _> >вокруг оси, заданной точкой О и единичным направляющим вектором w на угол j и отражение _> > относительно плоскости p. Определим дополнительно зеркальный поворот _> > как комбинацию отражения относительно плоскости, заданной точкой О и вектором нормали n с поворотом _> > и скользящее отражение _> > - композицию отражения . _> > относительно плоскости p и переноса на вектор v½½p. Наконец, определим винтовое перемещение _> > как комбинацию поворота _> > и параллельного переноса на вектор hw.

Отметим, что некоторые из указанных выше перемещений являются частными случаями других. Например, тождественное перемещение можно рассматривать как перенос на нулевой вектор (или как поворот на нулевой угол), отражение _> > является частным случаем скользящего отражения _> > при v = 0 и т. д.

Теорема 3 .

Каждое перемещение f в _> >(n = 1, 2, 3 ) суть одно из следующих :

n = 1 _> > , _> >

n = 2 _> > , _> > , _> >

n = 3 _> > , _> > , _> >.

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

Как уже отмечалось, можно выбрать такой ортонормированный базис, что перемещение f имеет вид R = АR + v , где v - некоторый вектор. Если изменить начало координат : R = r + u , R = r + u , получаем: r = Ar + v , где v = Au -u +v = (A - E)u + v .Мы видим, что если число 1 не является собственным значением матрицы А (или, если угодно, оператора f*) , то можно выбрать u так, что в новой системе координат v = 0 . (Поскольку матрица A - E невырождена). Тем самым утверждение теоремы доказано при n=1 и при n=2 в случае det(A) = 1 (так как собственные значения _> > суть exp(_>>ij)¹ 1 при j¹2pn ).

В случае матрицы _> > можно добиться, чтобы v = _> >, что приводит к скользящему отражению _> >. Для матрицы _> > при j¹2pn получаем v = _> >, и мы приходим к винтовому перемещению _> >. (При j=2pn мы приходим к переносу). Наконец, для _> >при j¹2pn можно считать v = 0 , что приводит к зеркальному повороту _> >, а при j=2pn - v = _> > и получается скользящее отражение _> >.

Замечание. ( о параметрах перемещений)

Параметр _> > для поворота плоскости _> > будем считать изменяющимся mod 2p т. е. _> > = _> >. Такое же соглашение будем использовать и для винтового перемещения _> >при h > 0. Если же h = 0 , и речь идет о повороте в пространстве, надо учитывать, что _> > = _> >. В частности, _> > = _> > (отражение относительно прямой параллельной v и проходящей через О). Аналогично, _> > = _> >. Если при этом j=p это преобразование не зависит от вектора n и является отражением относительно точки О.

4* Композиции 1.

Теорема 4

Если f и g два перемещения X, а f*, g* - соответствующие операторы в V, то (f·g)* = f*g*(Символом · обозначена композиция перемещений).

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

Используем координатную форму записи: f( R) = AR + v, g( R) = BR + w. Тогда: (f·g)( R) = f( (g( R)) = f( BR + w) = A( BR +w) +v = ( AB)R + ( Aw + v). Следовательно, (f·g)* = AB = f*g*.

Следствие.

Композиция двух перемещений с определителями одного знака имеет определитель (+1); если знаки определителей противоположны, композиция имеет определитель (-1).

Вычисление композиции перемещений пространства _> > не вызывает затруднений. Отметим только, что _> >·_>> = _> > ,где v =2AB.

Для случая пространства _> >удобно использовать комплексные числа. Отождествляя их с точками плоскости, получаем удобный способ записи перемещений. Например, поворот _> > можно записать в виде: z ®_>>z + c. Точка О является неподвижной и соответствующее комплексное число _> > находится из уравнения _> >= _> >_>> + с, откуда _> >= с/(1-_>>). Таким образом, _> > Отметим, что _> >=_>> при j+y¹0 (mod 2p) . В то же время при j+y = 0 указанная композиция будет переносом на вектор AD, где D = _> >.

Преобразование z®_>>+c является скользящим отражением относительно прямой Im(_>>= 0 на вектор 0,5 (с + _> >). Если прямая l проходит через точку _> > и ее направляющий вектор (рассматриваемый как комплексное число) имеет аргумент _> >, то перемещение _> >можно записать в виде _> >

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