(остается инвариантным). Объект О дан в виде своих состояний О
i
, и когда
трансформация Т переводит объект О из одного состояния O
i
в другое его состояние
O
j
, т.е. Т(O
i
) = O
j
, то сам объект О остается в этом преобразовании неизменным: Т(О) =
О. В этом случае говорят, что объект О симметричен (инвариантен) относительно
преобразований Т. Класс всех тех преобразований Т, в котором объект сохраняется,
характеризует симметрию объекта. Если, например, объект О* сохраняется в более
обширном классе преобразований, чем объект О, то можно говорить, что О* более
симметричен (инвариантен), чем объект О.
Рассмотрим такой простой пример. Допустим, на плоскости изображены квадрат и
круг. Квадрат может быть совмещен с собою только при поворотах вокруг центра,
кратных 90
о
, в то время как круг совпадет с собою при поворотах на любой угол. С
этой точки зрения круг оказывается симметричнее, чем квадрат.
Замечательно то, что геометрическая фигура (квадрат, круг и т.д.) – это не какое-то
конкретное расположение фигуры в пространстве, но то нечто инвариантное (форма),
что будет продолжать сохраняться во всех самосовмещающихся преобразованиях этой
фигуры. При таком подходе фигура одновременно определена и как инвариантный
объект О (форма), и как конкретные свои положения в пространстве О
i
.
Преобразования симметрии, например, повороты, сдвиги фигуры меняют только ее
конкретные положения в пространстве (т.е. ее состояния О
i
), но не меняют саму
фигуру как инвариантный объект О (как форму). В то же время у всякого конечного
объекта есть свой предел симметрии, за границами которого возникают
преобразования Т* объекта О, меняющие его самого: Т*(О) О. Например, у фигуры
можно изменить ее форму. Правда, в этом случае может быть определен более
высокий уровень симметрии, с которым объект может быть отождествлен. Например,
мы можем рассмотреть геометрическую фигуру не с точки зрения формы, а с точки
зрения сохранения разрывов и связей ее точек. В этом случае, даже если мы будем
деформировать фигуру, в то же время не делая в ней новых разрывов и склеек, мы не
выйдем за границы этой более общей симметрии. Преобразования, сохраняющие
разрывы и склейки, лежат в основании так называемых топологических симметрий.
Итак, симметрию можно изучать с точки зрения сохраняющих эту симметрию
преобразований. Такие преобразования обладают так называемой «групповой»
структурой. Группой в математике называют множество элементов с некоторой
двуместной операцией о, где выполнены следующие три свойства:
1) ассоциативность: a о (b о c) = (a о b) о c для любых элементов a, b, c группы