Реферат : Группы симметрий квадрата и куба 


Полнотекстовый поиск по базе:

Главная >> Реферат >> Математика


Группы симметрий квадрата и куба




Группы симметрий квадрата и куба

О.А.Котий , Т.Л.Агафонова

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

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

Легко увидеть, что таких преобразований 8. Кроме выше указанных четырех осевых симметрий есть еще четыре поворота вокруг центра O (на 0о,  90о, 180о). Сюда вошли и тождественное преобразование и центральная симметрия .

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

Произведение преобразований a и b (ab) - это преобразование, полученное в результате последовательного выполнения преобразований a, b.

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

Существует "единица" умножения - это тождественное преобразование e такое, что преобразования ea и ae совпадают с преобразованием a.

Каждое преобразование a имеет обратное a-1 такое, что aa-1 = a-1a = e.

При умножении трех преобразований a, b и c преобразования можно объединять попарно разными способами, то есть выполняется ассоциативный закон.

(ab) c = a (bc).

Отсюда, при умножении нескольких множителей скобки можно не ставить.

В отличие от умножения чисел коммутативный закон для умножения преобразований не обязательно выполняется. Например. Пусть a и b (рис. 2) - осевые симметрии (для краткости в дальнейшем слово осевая будем опускать). Преобразование ab отображает:

A  D  B,

B  C  C.

Сторона AB перешла в BC; центр О остался неподвижным. ab - это поворот вокруг центра О на 90о. Аналогично проверяется, что преобразование ba есть поворот в обратную сторону, на -90о, то есть ab  ba.

Таким образом, перечисленные выше 8 преобразований образуют некоммутативную группу симметрий квадрата (G2).

Четыре поворота вокруг центра О на 0о,  90о, 180о также образуют группу - это подгруппа группы симметрий квадрата, так как при умножении поворотов снова получается поворот, угол поворота которого равен сумме углов поворота сомножителей (с точностью до 360о). Эта подгруппа порождается поворотом на 90о ():

, , .

Это циклическая группа Z4 { r, r2, r3, r4 = e }.

Она состоит из степеней одного порождающего ее элемента. Очевидно, r2 есть центральная симметрия z, r3 = r -1. Симметрия a (рис. 2) порождает подгруппу Z2 { a, a2 = e }. Две симметрии a и c, оси которых перпендикулярны (рис. 3) порождают нециклическую подгруппу из четырех элементов: двух осевых симметрий и одной центральной: { a, c, ac = z, a2 = e }. В силу того, что умножение двух симметрий дает поворот на удвоенный угол между осями, можно проверить, что правила умножения для этой группы таковы. Произведение любых двух симметрий равно третьей симметрии, а квадраты их равны тождественному преобразованию (табл. 1). Группу с такой таблицей умножения называют четверной группой Клейна (K4) (Феликс Клейн (1849 - 1925 гг.) - немецкий математик). Эта группа также как и циклическая (Z4) коммутативна.

Замечание. Группа симметрий квадрата G2 порождается двумя симметриями a, b (рис. 2).

G2 { a, b, ab, ba, aba, bab, abab, a2 = e },

где aba, bab - симметрии, abab - центральная симметрия z.

Используя равенства a2 = b2 = e, abab = baba, можно упростить любое произведение, составленное из сомножителей a и b. Например, ababa = (baba) a = (bab) a2 = bab - симметрия c.

Коммутатор. Коммутант

Произведение aba-1b-1 называют коммутатором преобразований a и b. Обозначается [ab].

Если ab = ba, то коммутатор [ab] = aba-1b-1 = (ba)a-1b-1 = b(aa-1)b-1 = beb-1 = bb-1 = = e. Если преобразования a и b не перестановочны, то [ab] e.

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

Для коммутативной группы коммутант тривиален, он состоит из единицы группы. Таким образом, коммутант в некотором смысле является "мерой некоммутативности" группы.

Вычислим коммутант группы симметрий квадрата (G2). Чтобы не перебирать все пары, пойдем по такому пути, который будет использован в дальнейшем при исследовании группы симметрий куба.

С квадратом ABCD жестко свяжем два вектора e1, e2 (рис. 4). При любом преобразовании квадрата пара векторов (e1, e2) займет новое положение, обозначим его символом: ( ei,  ej) (i, j = 1,2; i  j). Имеется всего восемь символов:

( e1,  e2); ( e2,  e1).

Каждому преобразованию квадрата отвечает свой символ. Пример: тождественному преобразованию e - (e1, e2), центральной симметрии z - (-e1, -e2), симметриям b, c - (e2, e1), (-e1, e2), повороту r - (e2, -e1).

Способ умножения символов покажем на примере.

(-e1, e2) (-e2, -e1).

В первом преобразовании e1  -e1. Во втором преобразовании e1  -e2, тогда -e1  e2. Аналогично e2  e2  -e1. Окончательно (-e1, e2) (-e2, -e1) = (e2, -e1).

(e2, e1) (e2, -e1).

В первом преобразовании e1  e2, а во втором преобразовании e2  -e1. Аналогично e2  e1  e2. Окончательно (e2, e1) (e2, -e1) = (-e1, e2).

Упражнение. Проверьте, что

1. ( e1,  e2) ( ,  ) = (  ,   ),

2. ( e2,  e1) ( ,  ) = (  ,   ),

где ( ,  ) - символ любого из восьми преобразований квадрата.

Из этих примеров следует, что при умножении четного числа преобразований ( e2,  e1) в произведении получается символ с натуральным порядком индексов векторов, а при нечетном - получается символ с обратным порядком векторов. Число минусов в результате будет иметь такую же четность, как сумма числа минусов всех сомножителей.

Упражнение. Проверьте, что

1. ( e1,  e2)-1 = ( e1,  e2),

2. ( 2e2,  1e1)-1 = ( 1e2,  2e1), где  i =  1.

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

Вернемся к коммутатору [ab] = aba-1b-1. С учетом следствий, вытекающих из предыдущих упражнений, число символов вида ( e2,  e1) в коммутаторе всегда четно. Отсюда следует, что в символе коммутатора индексы векторов идут в натуральном порядке и имеется либо два минуса, либо ни одного. А это значит, что коммутаторами группы симметрий квадрата могут быть только

(e1, e2) и (-e1, -e2).

Например, в силу коммутативности произведения симметрий a, c (рис. 4) их коммутатор [ac] = e, то есть (e1, e2). Легко проверить, что [ab] = z (рис. 4), то есть (-e1, -e2).

Множество из коммутаторов { (e1, e2); (-e1, -e2) } уже образует группу, поэтому по определению оно является коммутантом группы симметрий G2. Коммутант от полученного коммутанта, в силу коммутативности группы есть единица e.

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

Таким образом, группа симметрий квадрата разрешима.

Группа симметрий куба

Изучим теперь группу симметрий куба и выясним, разрешима она или нет?

Для этого используем символику, введенную в предыдущем параграфе. С кубом жестко свяжем три вектора e1, e2, e3 (рис. 5). При любом преобразовании куба тройка векторов (e1, e2, e3) займет новое положение ( ei,  ej,  ek) (i, j, k = 1, 2, 3; i j k, i k). Каждому преобразованию куба отвечает свой символ, верно и обратное. Одни из них будут обозначены символом, полученным перестановкой четного числа векторов (циклической).

Это: (e3, e1, e2) - соответствует повороту вокруг оси DB1 на 120о (рис. 6) (две перестановки: e2 с e3 и e3 с e1); (e2, e3, e1) - соответствует обратному повороту (на -120о) (две перестановки: e1 с e3 и e3 с e2); (e1, e2, e3) - тождественному преобразованию (нуль перестановок). Другие преобразования будут обозначены символом, полученным нечетным числом перестановок. Это символы, соответствующие плоскостным симметриям:

Например, (e2, e1, e3) - симметрия относительно плоскости BB1D1D (рис. 7) (одна перестановка: e1 и e2).

В соответствии с числом перестановок будем называть символы (e1, e2, e3), (e3, e1, e2), (e2, e3, e1) четными, а символы (e1, e3, e2), (e3, e2, e1), (e2, e1, e3) - нечетными.

Но в каждом символе могут присутствовать знаки минус (-) (один, два или три). Например:

(e1, e2, e3) - тождественное преобразование e,

(-e1, -e2, -e3) - центральная симметрия относительно центра,

(-e1, e2, e3), (e1, -e2, e3), (e1, e2, -e3) - плоскостные симметрии относительно плоскостей a, b, c (рис. 8),

(-e1, -e2, e3), (-e1, e2, -e3), (e1, -e2, -e3) - осевые симметрии относительно осей, параллельных соответственно векторам e3, e2, e1.

Итак, для трех векторов существует 6 перестановок и в каждой перестановке можно 8-ью способами расставить знаки (+), (-). Таким образом, вся группа движений куба содержит 6х8 = 48 элементов.

Умножение символов из трех векторов будем производить так же, как и умножение символов из двух векторов. Для вычисления коммутаторов потребуются обратные преобразования, поэтому отметим следующее. Так как преобразования куба, обозначенные символами (ε1e1, ε2e2, ε3e3) (εi= 1, i=1,2,3), а также нечетными символами (e1, e3, e2), (e3, e2, e1), (e2, e1, e3) есть симметрии, то каждое из них совпадает со своим обратным преобразованием:

(ε1e1, ε2e2, ε3e3)-1 = (ε1e1, ε2e2, ε3e3),

(e1, e3, e2)-1 = (e1, e3, e2), (e3, e2, e1)-1 = (e3, e2, e1), (e2, e1, e3)-1 = (e2, e1, e3).

Для поворота вокруг оси в данном направлении обратным является поворот вокруг той же оси в противоположном направлении на такой же угол, поэтому (e3, e1, e2)-1 = (e2, e3, e1) и наоборот (e2, e3, e1)-1 = (e3, e1, e2).

Упражнение. Проверьте справедливость следующих равенств:

(e3, e1,e2) (e2, e3, e1) = (e1, e2, e3).

(e3, e1, e2) (e2, e1, e3) = (e3, e2, e1).

(-e3, -e2, e1) (-e2, e1, -e3) = (e3, -e1, -e2).

(-e1, -e2, -e3) (-e1, -e3, e2) = (e1, e3, -e2).

(-e2, -e1, e3) (-e3, -e2, e1) = (e2, e3, e1).

Из рассмотренных упражнений следует, что умножение двух четных символов дает четный символ (упр. 1), умножение двух нечетных символов - четный символ (упр. 3, 5), умножение четного и нечетного - нечетный символ (упр. 2, 4). Из упражнений 3, 4, 5 ясно, что по-прежнему, как и при умножении символов из двух векторов, четность числа минусов в произведении совпадает с четностью числа суммы минусов сомножителей.

Выясним теперь, разрешима ли группа симметрий куба (G3)?

Коммутатор [ab] есть результат умножения четырех сомножителей aba-1b-1. Поэтому в силу предыдущих замечаний и следствий, вытекающих из упражнений, любой коммутатор группы симметрий куба задается четным символом (таких три), имеющим четное число минусов (либо два, либо ни одного). Вычисление показывает, что коммутант группы симметрий куба состоит из следующих преобразований:

(e1, e2, e3), (e3, e1, e2), (e2, e3, e1),

(e1, -e2, -e3), (e3, -e1, -e2), (e2, -e3, -e1),

(-e1, e2, -e3), (-e3, e1, -e2), (-e2, e3, -e1),

(-e1, -e2, e3), (-e3, -e1, e2), (-e2, -e3, e1).

Табл. 2

Найдем коммутант от полученного коммутанта ().

Элементы первой строки табл. 2 образуют коммутативную группу поворотов вокруг оси DB1, поэтому все коммутаторы группы без учета знаков сводятся к единице (e1, e2, e3). С учетом же знаков коммутаторами будут преобразования первого столбца табл.2 (число минусов коммутатора может быть по-прежнему только четно):

(e1, e2, e3), (e1, -e2, -e3), (-e1, e2, -e3), (-e1, -e2, e3).

Эти четыре элемента образуют коммутативную группу с таблицей умножения такой же, как у группы Клейна (K4) (табл. 1). Таким образом, коммутантом группы является коммутативная группа Клейна, а ее коммутант есть единица. Так как последовательность коммутантов группы приводит к единице:

= e,

то группа симметрий куба разрешима.

Аналогично тому, как от квадрата (двумерного куба) мы перешли к трехмерному кубу, можно от трехмерного куба перейти к четырехмерному и пятимерному. Представить эти фигуры трудно, но можно дать им следующее описание. Три взаимно-перпендикулярных вектора, отложенных от центра трехмерного куба, задают прямоугольную систему координат Oxyz (рис. 5) трехмерного пространства. Координаты восьми вершин куба в этой системе координат есть наборы троек чисел вида: ( 1,  1,  1). В четырехмерном пространстве система координат содержит четыре взаимно-перпендикулярных вектора (e1, e2, e3, e4). Тогда четырехмерный куб можно задать 16-ью вершинами с координатами ( 1,  1,  1,  1). Аналогично можно получить пятимерный куб. Тогда движения этих кубов можно также задать символами из четырех и пяти векторов:

( ei, ej, ek, et);

i, j, k, t = 1, 2, 3, 4;

i j k t; j t i k;

( ei, ej, ek, et, ep);

i, j, k, t, p = 1, 2, 3, 4, 5;

i j k t p; j t i k p; i p j.

Если рассмотреть группы симметрий четырехмерного куба (G4) и пятимерного куба (G5), то проводя аналогичные рассуждения, можно доказать, что группа G4 разрешима, а группа G5 - не разрешима.

Коммутаторами этих групп ( и ) по-прежнему будут преобразования, обозначенные четными символами с четным числом минусов. Так в входят преобразования, символы которых, без учета знаков получаются из (e1, e2, e3, e4):

1) если один вектор остается на месте, а три переставлены четное число раз; например, (e1, e4, e2, e3) или

2) путем перестановки векторов в двух парах, таких без учета знаков - три:

(e2, e1, e4, e3); (e3, e4, e1, e2); (e4, e3, e2, e1).

Например, символ (e2, e1, e4, e3) получится из (e1, e2, e3, e4), если переставить вектора в паре e1, e2 и в паре e3, e4. Если к последней строке добавить единицу (e1, e2, e3, e4), то опять будем иметь группу Клейна. Читатель может проверить, что коммутант группы состоит из элементов этой группы Клейна, взятых с четным числом минусов (нуль, два, четыре). Коммутант состоит из восьми элементов. Все они записываются символом с натуральным порядком векторов и имеют четное число минусов. Группа - коммутативная, поэтому ее коммутант состоит из одной единицы. Из чего следует, что группа симметрий четырехмерного куба разрешима.

Группа не разрешима, так как = = = ...  e, так же как и группа для n>5.

Добавим, что проблема разрешимости группы связана с проблемой разрешимости алгебраического уравнения в радикалах. Так уравнения выше 4-ой степени не разрешимы в радикалах. Это означает, что существуют уравнения n-ой степени (n>4), корни которых нельзя выразить через коэффициенты этого уравнения с помощью алгебраических действий и извлечения корней n-ой степени.

Список литературы

Для подготовки данной работы были использованы материалы с сайта http://www.yspu.yar.ru

Похожие работы:

  • Симметрия и принципы инвариантности в физике

    Статья >> Математика
    ... операции симметрии шара (сферы) образуют группу вращений R, конуса - группу C , куба - группу O. Все элементы группы симметрии можно разбить ... произведению их масс и обратно пропорциональна квадрату расстояния между ними. Следовательно, сила ...
  • Симметрия

    Реферат >> Математика
    ... отбором, теорией групп, инва­риантами и преобразованиями ... маленькими квадратами в мотив из квад­ратов той ... симмет­рии. Наиболее симметричный куб имеет 9 плоскостей симметрии, 3 четверные, 4 тройные и 6 двойных осей симметрии. Наименее симметричный куб ...
  • Симметрия в неживой природе

    Реферат >> Геология
    ... рисунок из квадратов, стоящих на углах. В трехмерном пространстве это соответствует кубу, разложенному ... внимание. Поэтому приведенные выше различные группы симметрии имеют вполне реальное значение и не ...
  • Проявление симметрии в различных формах материи

    Реферат >> Естествознание
    ... качестве основных пять форм: тет­раэдр, куб, октаэдр, ромбоэдр и гексагональную ди ... классификацию, позво­ляющую ясно видеть основные группы симметрии. Мас­са, электрический заряд, ... дру­гой. Если первая пластинка — квадрат или шестиуголь­ник, то на линии ...
  • Лекции по линейной алгебре (МГИЕМ, ФПМ)

    Реферат >> Математика
    ... - прямоугольник (не квадрат!) на плоскости . Группа состоит из четырех преобразований ... проходящая через его центр симметрии. Группа симметрий диэдра содержит повороты на ... входящий в группу T переводит куб в себя, то есть содержится в группе W. Группа P. В ...
  • Физика

    Реферат >> Физика
    ... операций симметрии у геометрической фигуры, тем выше её симметрия. У куба, с ... случиться, что множество операций симметрии в группе симметрии фигуры бесконечно. Тогда ... К и К’, инвариантна величина квадрата так называемого четырёхмерного ,или релятивистского ...
  • Лекции по физике

    Реферат >> Физика
    ... операций симметрии у геометрической фигуры, тем выше её симметрия. У куба, с ... случиться, что множество операций симметрии в группе симметрии фигуры бесконечно. Тогда ... К и К’, инвариантна величина квадрата так называемого четырёхмерного ,или релятивистского ...
  • Изучение геометрии на уроках математики в 5-6 классах

    Дипломная работа >> Педагогика
    ... . Прямоугольный параллелепипед Даны две группы рисунков, которые учащимся предлагается ... сложить, то получится куб. И наоборот, разрезав куб по некоторым ребрам, мы ... относительно всех осей симметрии квадрата. Разрежьте данный квадрат по сторонам клеток ...
  • Геометрическая теория строения материи

    Реферат >> Наука и техника
    ... C , O, Y – спорадические группы симметрии правильных многогранников, которые не входят ... многогранники, образованные из квадрата (Электрон) и пятиугольника ... гипотезе, представляется как “схлопывание” Додекаэдра в Куб, Икосаэдр и Октаэдр. Частица µ- е- ...
  • Связь комбинаторики с различными разделами математики

    Дипломная работа >> Математика
    ... перестановки – все элементы группы G. Итак, в группе G вращений куба имеется: 1 перестановка ... 4) (1,4,7,3,6,2,5) 5) (1,5,2,6,3,7,4) 6) (1,6,4,2,7,5,3) 7) (1,7,6,5,4,3,2) в) Симметриям относительно осей, соединяющих вершины семиугольника ... на квадрат простого ...