Вот в этот самый момент было бы очень интересно рассказать человеку, что кроме чисел и векторов, существует ещё много разных математических объектов с "числоподобными" свойствами. Например, повороты образуют самостоятельную разновидность таких объектов: группу поворотов. Причём бывают повороты в двумерном пространстве, в трёхмерном, в
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
-мерном, и все они образуют свои группы.
А группа - это множество объектов, между которыми есть операция, ассоциативная, но,
может быть, некоммутативная. Часто эту операцию обозначают не как "плюс", а как "умножить", так что для двух поворотов
![$g$ $g$](https://dxdy-04.korotkov.co.uk/f/3/c/f/3cf4fbd05970446973fc3d9fa3fe3c4182.png)
и
![$h$ $h$](https://dxdy-03.korotkov.co.uk/f/2/a/d/2ad9d098b937e46f9f58968551adac5782.png)
запись такая:
![$k=gh$ $k=gh$](https://dxdy-03.korotkov.co.uk/f/a/b/a/aba7c166665a7b2ef7fea4489839b89482.png)
- поворот, который получается, если сначала сделать поворот
![$h,$ $h,$](https://dxdy-04.korotkov.co.uk/f/f/0/8/f0849a8c84fa1ad535549609018981ad82.png)
а затем поворот
![$g$ $g$](https://dxdy-04.korotkov.co.uk/f/3/c/f/3cf4fbd05970446973fc3d9fa3fe3c4182.png)
(чтение "задом наперёд" - традиция, её можно понять, если представить себе запись функций:
![$g(h(\text{книга}))$ $g(h(\text{книга}))$](https://dxdy-04.korotkov.co.uk/f/3/5/d/35dbd10e2e5383770e15da03e13851f182.png)
). Так что основное и почти единственное свойство группы записывается так:
1.
![$(gh)k=g(hk).$ $(gh)k=g(hk).$](https://dxdy-02.korotkov.co.uk/f/9/6/d/96d0dee8719eecf4a6fd2cc52c0d184a82.png)
Но кроме того, выясняются две удобные вещи: для каждого поворота есть обратный поворот - на столько же градусов в обратную сторону. Он "отменяет" предыдущий поворот, как будто бы его не было, и обозначается
![$g^{-1}\colon$ $g^{-1}\colon$](https://dxdy-03.korotkov.co.uk/f/6/c/c/6cc83b43909acc83f9afbee79a3ef27d82.png)
2.
![$hg^{-1}g=g^{-1}gh=h,\quad hgg^{-1}=gg^{-1}h=h.$ $hg^{-1}g=g^{-1}gh=h,\quad hgg^{-1}=gg^{-1}h=h.$](https://dxdy-01.korotkov.co.uk/f/4/1/6/4169196e05889615d831bb9507b5d68f82.png)
Произведение любого поворота на обратный поворот - это не поворот, а действие "оставить всё на месте". Но его удобно тоже считать поворотом, для полноты картины (чтобы любые два поворота давали в результате поворот, даже если они обратны друг к другу). Такой поворот называется единичным, потому что в смысле записи "как умножение" он ведёт себя как
![$1.$ $1.$](https://dxdy-03.korotkov.co.uk/f/a/0/8/a083f757cc7bf6ee27f93c7c57301c5282.png)
Обозначается он иногда
![$1,$ $1,$](https://dxdy-02.korotkov.co.uk/f/1/a/b/1abeb8a2fcfcff3b63b9ff3e94ff47b982.png)
иногда
![$e$ $e$](https://dxdy-01.korotkov.co.uk/f/8/c/d/8cd34385ed61aca950a6b06d09fb50ac82.png)
- в зависимости от ситуации и вкусов автора. Получается:
3.
![$g^{-1}g=gg^{-1}=1,\quad 1g=g1=g.$ $g^{-1}g=gg^{-1}=1,\quad 1g=g1=g.$](https://dxdy-02.korotkov.co.uk/f/9/a/c/9acfc4fcf1c632dea28de8233a65cc9482.png)
И вторая удобная вещь, очень важная - это то, что можно "посчитать" все эти повороты. То есть каждый поворот можно описать несколькими числами, аналогично тому, как векторы задаются координатами; и существуют правила, по которым можно найти
![$g^{-1}$ $g^{-1}$](https://dxdy-04.korotkov.co.uk/f/3/8/d/38d63a2e3c8cc0fd6c8e5669ae00df7882.png)
и
![$gh.$ $gh.$](https://dxdy-02.korotkov.co.uk/f/1/0/8/1085a4325620bce5dde4b2933789a0ba82.png)
Одна неприятность: эти правила посложнее, чем для векторов (это правила умножения матриц, по сути, если о них слышали), так что их на данном этапе рановато изучать. Но важно понимать, что сами по себе расчёты сделать можно, и не обязательно каждый раз, чтобы найти результат каких-то поворотов, вертеть в руках книгу или другой предмет.
-- 21.08.2009 11:45:26 --В двумерном случае всё нормально.
Ну не очень-то. Вы столкнётесь со свойствами типа
![$120^{\circ}+120^{\circ}=-120^{\circ},$ $120^{\circ}+120^{\circ}=-120^{\circ},$](https://dxdy-03.korotkov.co.uk/f/2/b/b/2bbd44f41c301edc657a10dbb3d9ddf482.png)
которые всё равно придётся объяснять.
Мне кажется, что в разобранном примере надо ещё сказать, что сопоставление должно быть изоморфизмом
Не вводя понятие изоморфизма?