Курсовая работа: Группы симметрий правильных многогранников

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


Дата добавления на сайт: 02 марта 2025
План

Введение
Глава 1. Понятие группы
§1. Определение группы
§2. Разновидности групп
§3. Действие группы на множестве
§4. Группы симметрий
Глава 2. Лемма Бернсайда о количестве орбит
§1. Формулировка и доказательство
§2. Задачи о раскрасках
Заключение
Литература

Введение

Правильные многогранники известны человечеству с давних времен. Так, например, недавно в Шотландии при раскопках были обнаружены камни, ограненные в виде всех пяти правильных многогранников. Эти находки относят ко второму тысячелетию до нашей эры.
Первое письменное упоминание о правильных многогранниках принадлежит грекам. Пифагорейцам были известны тетраэдр, куб и октаэдр. Описание додекаэдра и икосаэдра приписывается Теэтету Афинскому (начало IV в. до н.э.); он же доказал, что других правильных многогранников не существует.
Самый термин «группа» принадлежит французскому математику Галуа - подлинному создателю теории групп. Идеи теории групп «носились» в воздухе задолго до Галуа, и некоторые из ее теорем в наивной форме были доказаны еще Лагранжем. Гениальные работы Галуа оказались непонятыми, и возрождение интереса к ним началось только после книги Жордана «Курс теории перестановок и алгебраических уравнений» (1870г.).
Группы симметрии многогранников изучались многими математиками и кристаллографами. После того, как Лежандр (1833) впервые ввёл математическое понятие симметрии в геометрию, Р.-Ж. Гаюи применил это понятие в кристаллографии. В дальнейшем изучение возможных видов симметрии многогранников было продолжено И.Ф.Х. Гесселем и О.Браве.

Глава 1. Понятие группы

§1. Определение группы

Рассмотрим множество GГруппы симметрий правильных многогранников (рис. 1) всех n × n-матриц с вещественными коэффициентами и с отличным от нуля определителем. Группы симметрий правильных многогранников (рис. 2). Видно, что А, B Группы симметрий правильных многогранников (рис. 3)далее, (АВ) C = А (ВC) и существует выделенная матрица Е такая, что АЕ = = ЕА = А для всех АГруппы симметрий правильных многогранников (рис. 4) . Кроме того, у каждой матрицы АГруппы симметрий правильных многогранников (рис. 5) имеется «антипод» - обратная матрица Группы симметрий правильных многогранников (рис. 6), для которой АГруппы симметрий правильных многогранников (рис. 7) = Группы симметрий правильных многогранников (рис. 8)А = Е.
Множество GГруппы симметрий правильных многогранников (рис. 9) рассматриваемое вместе с законом композиции (бинарной операцией) (А, В) Группы симметрий правильных многогранников (рис. 10) и называемое полной линейной группой степени n над R, можно было бы коротко определить, как подмоноид всех обратимых элементов моноида Группы симметрий правильных многогранников (рис. 11).
Пусть Х - произвольное множество. Бинарной алгебраической операцией на Х называется произвольное (но фиксированное) отображение Группы симметрий правильных многогранников (рис. 12)декартова квадрата Группы симметрий правильных многогранников (рис. 13) Чаще всего бинарную операцию на Х обозначают каким-нибудь специальным символом: Группы симметрий правильных многогранников (рис. 14)
Бинарная операция Группы симметрий правильных многогранников (рис. 15)на множестве Х называется ассоциативной, если Группы симметрий правильных многогранников (рис. 16)
Множество Х с заданной на нём бинарной ассоциативной операцией называется полугруппой. Полугруппу с единичным (нейтральным) элементом принято называть ещё моноидом.
Как и для всякого множества, мощность моноида М=(М, Группы симметрий правильных многогранников (рис. 17)) обозначается символом Card M или Группы симметрий правильных многогранников (рис. 18).
Подмножество Группы симметрий правильных многогранников (рис. 19) полугруппы S с операцией Группы симметрий правильных многогранников (рис. 20) называется подполугруппой, если хГруппы симметрий правильных многогранников (рис. 21)для всех x, уГруппы симметрий правильных многогранников (рис. 22). В этом случае говорят ещё, что подмножество Группы симметрий правильных многогранников (рис. 23) S замкнуто относительно операции Группы симметрий правильных многогранников (рис. 24)(М, Группы симметрий правильных многогранников (рис. 25)) - моноид, а подмножество Группы симметрий правильных многогранников (рис. 26) не только замкнуто относительно операции Группы симметрий правильных многогранников (рис. 27), но и содержит единичный элемент, то Группы симметрий правильных многогранников (рис. 28)
Определение. Моноид G, все элементы которого обратимы, называется группой. Другими словами, предполагаются выполненными следующие аксиомы:
(G0) на множестве G определена бинарная операция: (х,у)Группы симметрий правильных многогранников (рис. 29) ху
(G1) операция ассоциативна: (ху)z = х(уz) для всех х, у, z Группы симметрий правильных многогранников (рис. 30) G;
(G2) G обладает нейтральным (единичным) элементом е: хе = ех = х для всех x Группы симметрий правильных многогранников (рис. 31) G
(G3) для каждого элемента x Группы симметрий правильных многогранников (рис. 32) G существует обратный Группы симметрий правильных многогранников (рис. 33)

§2. Разновидности групп

Группа с коммутативной операцией называется коммутативной, а еще чаще - абелевой. Почти всё сказанное выше о моноидах переносится на группы.
Подмножество Н Группы симметрий правильных многогранников (рис. 34) G называется подгруппой в G, если e Группы симметрий правильных многогранников (рис. 35) H; Группы симметрий правильных многогранников (рис. 36) H Группы симметрий правильных многогранников (рис. 37) H и Группы симметрий правильных многогранников (рис. 38). Подгруппа Группы симметрий правильных многогранников (рис. 39) собственная, еслиГруппы симметрий правильных многогранников (рис. 40)
Приведём несколько примеров групп.
В полной линейной группе GГруппы симметрий правильных многогранников (рис. 41)(R) рассмотрим подмножество SГруппы симметрий правильных многогранников (рис. 42)(R) матриц с определителем 1:
SГруппы симметрий правильных многогранников (рис. 43)(R) = {Группы симметрий правильных многогранников (рис. 44)}.
E Группы симметрий правильных многогранников (рис. 45). Группы симметрий правильных многогранников (рис. 46). Группы симметрий правильных многогранников (рис. 47)(R)Группы симметрий правильных многогранников (рис. 48)подгруппа в Группы симметрий правильных многогранников (рис. 49); она носит название специальной линейной группы степени п над R. Ее называют еще и унимодулярной группой.
Используя рациональные числа вместо вещественных, мы придем к полной линейной группе Группы симметрий правильных многогранников (рис. 50) степени n над Q и к ее подгруппе SГруппы симметрий правильных многогранников (рис. 51)(Q). В свою очередь SГруппы симметрий правильных многогранников (рис. 52)(Q) cодержит подгруппу SГруппы симметрий правильных многогранников (рис. 53)(Z) целочисленных матриц с определителем 1. SГруппы симметрий правильных многогранников (рис. 54)(Z) - также является группой. Частично упорядоченное множество рассмотренных подгрупп группы GГруппы симметрий правильных многогранников (рис. 55)(R) изображается диаграммой.

Группы симметрий правильных многогранников (рис. 56)

Положив в примерах 1) и 2) n=1, мы придем, во-первых, к мультипликативным группам
Группы симметрий правильных многогранников (рис. 57)вещественных и рациональных чисел. Эти группы бесконечны. Так как в (Z, ∙ , 1) обратимыми элементами являются только 1 и -1, то Группы симметрий правильных многогранников (рис. 58)= {± 1). Далее, SГруппы симметрий правильных многогранников (рис. 59)(R) = SГруппы симметрий правильных многогранников (рис. 60)(Q) = SГруппы симметрий правильных многогранников (рис. 61)(Z) = 1. Но уже при п = 2 группа SГруппы симметрий правильных многогранников (рис. 62)(Z) бесконечна: ей принадлежат, например, все матрицы

Группы симметрий правильных многогранников (рис. 63)

Бесконечные аддитивные группы:

Группы симметрий правильных многогранников (рис. 64)

Циклические группы.
Пусть G - мультипликативная группа (т. е. с операцией умножения), а - ее фиксированный элемент. Если любой элемент g Группы симметрий правильных многогранников (рис. 65) записывается в виде Группы симметрий правильных многогранников (рис. 66) для некоторого n Группы симметрий правильных многогранников (рис. 67) Z, то говорят, что Группы симметрий правильных многогранников (рис. 68) - циклическая группа с образующим а (или циклическая группа, порожденная элементом а). Аналогично циклическая группа определяется в аддитивном случае: Группы симметрий правильных многогранников (рис. 69). Это, конечно, не означает, что все элементы ап или па попарно различны. Условимся в обозначении Группы симметрий правильных многогранников (рис. 70) и убедимся в справедливости следующего утверждения.
Теорема 1: Каковы бы ни были m, n Группы симметрий правильных многогранников (рис. 71),

Группы симметрий правильных многогранников (рис. 72)

( соответственно Группы симметрий правильных многогранников (рис. 73)
Доказательство: При неотрицательных m, n. Если Группы симметрий правильных многогранников (рис. 74)

Группы симметрий правильных многогранников (рис. 75).

При Группы симметрий правильных многогранников (рис. 76)имеем

Группы симметрий правильных многогранников (рис. 77)

(или Группы симметрий правильных многогранников (рис. 78))Группы симметрий правильных многогранников (рис. 79).
Аналогично рассматривается случай Группы симметрий правильных многогранников (рис. 80)
Равенство (ат)п=атп вытекает из предыдущего и достаточно очевидно из определения степеней.
Простейшим примером циклической группы служит аддитивная группа целых чисел (Z,+, 0), порожденная обычной единицей 1 или Группы симметрий правильных многогранников (рис. 81)1. Множество {1,-1} является по умножению циклической группой порядка 2.
Пусть снова G - произвольная группа, а - некоторый ее элемент. Имеются две возможности: 1) Все степени элемента а различны, .т. е. Группы симметрий правильных многогранников (рис. 82). В этом случае говорят, что элемент а Группы симметрий правильных многогранников (рис. 83) имеет бесконечный порядок. 2) Имеются совпадения ат = ап при Группы симметрий правильных многогранников (рис. 84). Если, например, т > п, то Группы симметрий правильных многогранников (рис. 85) т. е. существуют положительные степени элемента а Группы симметрий правильных многогранников (рис. 86), равные единичному элементу. Пусть q- наименьший положительный показатель, для которого Группы симметрий правильных многогранников (рис. 87) = е. Тогда говорят, что а - элемент конечного порядка q. В конечной группе G (Card G ПлоскостьТранспозицияребро (2, 3), точка A(1, 4)ребро (2, 4), точка C(1, 3)ребро (1, 2), точка E(3, 4)ребро (1, 4), точка B(2, 3)ребро (1, 3), точка D(2, 4)ребро (3, 4), точка F(1, 2)
Уже па основании этих данных можно утверждать, что группа всевозможных симметрий тетраэдра состоит из 24 преобразований. В самом деле, каждая симметрия, самосовмещая тетраэдр в целом, должна как-то переставлять его вершины, ребра и грани. В частности в данном случае симметрии можно характеризовать перестановками вершин тетраэдра. Поскольку тетраэдр имеет 4 вершины, его группа симметрий не может состоять больше чем из 24 преобразований. Иными словами, она либо совпадает с симметрической группой S4, либо является ее подгруппой. Выписанные выше симметрии тетраэдра относительно плоскостей определяют всевозможные транспозиции на множестве его вершин. Поскольку эти транспозиции порождают симметрическую группу S4, получаем требуемое. Таким образом, любая перестановка вершин тетраэдра определяется некоторой его симметрией. Однако этого нельзя сказать о произвольной перестановке ребер тетраэдра. Если условиться обозначать каждое ребро тетраэдра той же буквой, что и его середину, то, скажем, перестановки на множестве ребер

Группы симметрий правильных многогранников (рис. 112)

отвечают соответственно двум вращениям вокруг оси l1, и вращению вокруг оси АB. Выписав перестановки на множестве {А, В. С, D, Е, F} для всех преобразований симметрии, получим некоторую подгруппу симметрической группы S6, состоящую из 24 перестановок. Группа перестановок вершин тетраэдра и группа перестановок его ребер - разные группы перестановок, поскольку они действуют на разных множествах. Но за ними «видна» одна и та же группа - группа преобразований пространства, оставляющих тетраэдр на месте.
Группа симметрий куба. Симметрии куба, как и симметрии тетраэдра, делятся на два типа - самосовмещения, при которых точки куба не изменяют своего положения относительно друг друга, и преобразования, оставляющие куб в целом на месте, но передвигающие его точки относительно друг друга. Преобразования первого типа будем называть вращениями. Все вращения образуют группу, которая называется группой вращений куба.
Имеется ровно 24 вращения куба вокруг различных осей симметрии.
В самом деле, при поворотах куба место нижней грани может занять любая из 6 граней куба (рис. 2). Для каждой из 6 возможностей - когда указано, какая именно грань расположена внизу, - имеется 4 различных расположения куба, соответствующих его поворотам вокруг оси, проходящей через центры верхней и нижней граней, на углы 0, π/2, π, Зπ/2. Таким образом, получаем 6×4 = 24 вращений куба. Укажем их в явном виде.
Куб имеет центр симметрии (точка пересечения его диагоналей), 3 оси симметрии четвертого порядка, 4 оси симметрии третьего порядка и 6 осей симметрии второго порядка. Достаточно рассмотреть вращения вокруг осей симметрии.

Группы симметрий правильных многогранников (рис. 113)

а) Оси симметрии четвертого порядка -это оси Группы симметрий правильных многогранников (рис. 114) проходящие через центры противоположных граней. Вокруг каждой из этих осей имеется по три нетождественных вращения, а именно вращения на углы π/2, π, 3π/2Группы симметрий правильных многогранников (рис. 115). Этим вращениям соответствуют 9 перестановок вершин куба, при которых вершины противоположных граней переставляются циклически и согласовано. Например, перестановки

Группы симметрий правильных многогранников (рис. 116)
Группы симметрий правильных многогранников (рис. 117)
Группы симметрий правильных многогранников (рис. 118)

отвечают поворотам вокруг оси Группы симметрий правильных многогранников (рис. 119)
б) Осями симметрии третьего порядка являются диагонали куба. Вокруг каждой из четырех диагоналей [1,7], [2, 8], [3, 5], [4, 6] имеется по два нетождественных вращения на углы 2π/3, 4π/3. Например, вращения вокруг диагонали [1, 7] определяют такие перестановки вершин куба:

Группы симметрий правильных многогранников (рис. 120)

Всего получаем 8 таких вращений.
в) Осями симметрии второго порядка будут прямые, соединяющие середины противолежащих ребер куба. Имеется шесть пар противоположных ребер (например, [1,2], [7, 8]), каждая пара определяет одну ось симметрии, т. е. получаем 6 осей симметрии второго порядка. Вокруг каждой из этих осей имеется одно нетождественное вращение. Всего Группы симметрий правильных многогранников (рис. 121)6 вращений. Вместе с тождественным преобразованием получаем 9+8+6+1=24 различных вращения. Все вращения куба указаны. Вращения куба определяют перестановки на множествах его вершин, ребер, граней и диагоналей. Рассмотрим, как действует группа вращений куба на множестве его диагоналей. Различные вращения куба переставляют диагонали куба по-разному, т. е. им соответствуют различные перестановки на множестве диагоналей. Поэтому группа вращений куба определяет группу перестановок на множестве диагоналей, состоящую из 24 перестановок. Поскольку куб имеет лишь 4 диагонали, группа всех таких перестановок совпадает с симметрической группой на множестве диагоналей. Итак, любая перестановка диагоналей куба соответствует некоторому его вращению, причём разным перестановкам соответствуют разные вращения.
Опишем теперь всю группу симметрий куба. Куб имеет три плоскости симметрии, проходящие через его центр. Симметрии относительно этих плоскостей в сочетании со всеми вращениями куба дают нам еще 24 преобразования, являющихся самосовмещениями куба. Поэтому полная группа симметрий куба состоит из 48 преобразований.

Группы симметрий правильных многогранников (рис. 122)

Группа симметрий октаэдра. ОктаэдрГруппы симметрий правильных многогранников (рис. 123)один из пяти правильных многогранников. Его можно получить, соединяя центры граней куба и рассматривая тело, ограниченное плоскостями, которые определяются соединительными прямыми для соседних граней (рис. 3). Поэтому любая симметрия куба одновременно является симметрией октаэдра и наоборот. Таким образом, группа симметрий октаэдра такая же, как и группа симметрий куба, и состоит из 48 преобразований.
Группа симметрий правильного многогранника состоит из 2l преобразований, где l - число его плоских углов. Это утверждение имеет место для всех правильных многогранников, его можно доказать в общем виде, не находя всех симметрий многогранников.

Глава 2. Лемма Бернсайда о количестве орбит

§1. Формулировка и доказательство

Лемма Бернсайда вычисляет количество орбит действия группы на множестве с помощью суммы по всем элементам группы. Она применяется в том случае, когда порядок множества X намного больше, чем порядок группы G.
Пусть G - перестановок на множестве Группы симметрий правильных многогранников (рис. 124)Подмножество Группы симметрий правильных многогранников (рис. 125)называется орбитой группы G, если
а) Группы симметрий правильных многогранников (рис. 126)для любого Группы симметрий правильных многогранников (рис. 127) и любого Группы симметрий правильных многогранников (рис. 128); т.е. действие перестановок из G на элементы O не выводит за пределы О;
б) два элемента из О можно перевести друг в друга некоторой перестановкой из G.
Всякая группа перестановок G = {Группы симметрий правильных многогранников (рис. 129) имеет орбиты.
Для доказательства выберем произвольный элемент Группы симметрий правильных многогранников (рис. 130) и рассмотрим множество Группы симметрий правильных многогранников (рис. 131) Оно будет орбитой группы G, так как
а) если Группы симметрий правильных многогранников (рис. 132) так как Группы симметрий правильных многогранников (рис. 133)
б) если Группы симметрий правильных многогранников (рис. 134) и Группы симметрий правильных многогранников (рис. 135)произвольные элементы из Группы симметрий правильных многогранников (рис. 136) то Группы симметрий правильных многогранников (рис. 137) и при этом Группы симметрий правильных многогранников (рис. 138)так как GГруппы симметрий правильных многогранников (рис. 139)группа.
Оказывается, что орбитами подобного вида исчерпываются все типы орбит. Более точно, если ОГруппы симметрий правильных многогранников (рис. 140)орбита группы G и Группы симметрий правильных многогранников (рис. 141), то Группы симметрий правильных многогранников (рис. 142)=Группы симметрий правильных многогранников (рис. 143)(а). Справедливость этого утверждения вытекает непосредственно из определения орбиты группы.
Ясно, что любые две орбиты О(а) и О (b) либо совпадают (если bГруппы симметрий правильных многогранников (рис. 144)О(а)), либо не пересекаются (если bГруппы симметрий правильных многогранников (рис. 145)O(а)). Отсюда следует, что множество М распадается в объединение непересекающихся подмножеств - орбит группы G. В частности, может случиться, что единственной орбитой группы G будет само множество М. Группы с таким свойством называются транзитивными. Таким образом, группа перестановок G на множестве М транзитивна, если любой элемент аГруппы симметрий правильных многогранников (рис. 146)М может быть получен из любого другого элемента bГруппы симметрий правильных многогранников (рис. 147)М под действием подходящим способом выбранной перестановки Группы симметрий правильных многогранников (рис. 148): Группы симметрий правильных многогранников (рис. 149). Все другие группы перестановок называются интранзитивными.
Пусть Группы симметрий правильных многогранников (рис. 150)число неподвижных точек перестановки Группы симметрий правильных многогранников (рис. 151), Группы симметрий правильных многогранников (рис. 152)число орбит группы перестановок Группы симметрий правильных многогранников (рис. 153)действующей на множестве Группы симметрий правильных многогранников (рис. 154)
Лемма Бернсайда: Для любой группы перестановок имеет место равенство

Группы симметрий правильных многогранников (рис. 155)

Группы симметрий правильных многогранников (рис. 156)

Доказательство: Рассмотрим отношение «перестановка Группы симметрий правильных многогранников (рис. 157) сохраняет неподвижным элемент m» между перестановками группы G и элементами множества М. Сопоставим парам (Группы симметрий правильных многогранников (рис. 158), т), Группы симметрий правильных многогранников (рис. 159), mГруппы симметрий правильных многогранников (рис. 160), вершины прямоугольной сети и отметим те из них, для которых соответствующая пара (Группы симметрий правильных многогранников (рис. 161), т) находится в указанном отношении, т. е. m(a) = т (рис. 4). Иными словами, построим график указанного отношения. Число отмеченных точек (точек, принадлежащих графику) можно подсчитать двумя способами:
определить число отмеченных точек на каждой вертикали и просуммировать полученные величины или же определить число таких точек по каждой горизонтали и затем вычистить их сумму.
Согласно определению отношения на каждой вертикали отмечаются все точки, сохраняемые перестановкой Группы симметрий правильных многогранников (рис. 162), соответствующей этой вертикали. Их число равно Группы симметрий правильных многогранников (рис. 163) Поэтому число всех точек графика равно

Группы симметрий правильных многогранников (рис. 164)

С другой стороны, на каждой горизонтали отмечаются все перестановки, сохраняющие элемент mГруппы симметрий правильных многогранников (рис. 165), отвечающий этой горизонтали. Мы знаем, что они образуют группу Gm - стабилизатор элемента т - и их чисто равно

Группы симметрий правильных многогранников (рис. 166)

Поэтому при втором способе подсчета числа отмеченных точек графика рассматриваемого отношения получаем выражение

Группы симметрий правильных многогранников (рис. 167)

Однако если элементы i, jГруппы симметрий правильных многогранников (рис. 168) М содержатся в одной орбите, то Группы симметрий правильных многогранников (рис. 169) и поэтому Группы симметрий правильных многогранников (рис. 170) Пусть Группы симметрий правильных многогранников (рис. 171)- все орбиты группы G, такие, что Группы симметрий правильных многогранников (рис. 172), и слагаемые в этом объединении не пересекаются. Разобьем сумму (1) на части так, чтобы внутри каждой из частей суммирование шло по элементам некоторой орбиты:

Группы симметрий правильных многогранников (рис. 173)

Каждое из t слагаемых в правой части этого равенства можно преобразовать следующим образом:

Группы симметрий правильных многогранников (рис. 174)

Поэтому

Группы симметрий правильных многогранников (рис. 175)

Таким образом, при втором способе подсчета мы получили Группы симметрий правильных многогранников (рис. 176) отмеченных точек графика. Приравнивая величины, полученные при первом и втором способах, получим

Группы симметрий правильных многогранников (рис. 177)

т.е.

Группы симметрий правильных многогранников (рис. 178)

Лемма доказана.
§2. Задачи о раскрасках

Рассмотрим две комбинаторные задачи на применение леммы Бернсайда. симметрия многогранник лемма бернсайд
Задача 1: Сколькими способами можно раскрасить вершины куба в три цвета (например, красный, синий и зеленый)?
Каждую из восьми вершин куба можно раскрасить тремя способами, причем независимо от того, как раскрашены другие вершины, то множество всех вершин куба можно раскрасить 38 = 6561 различными способами. Однако при таком подходе к решению задачи молчаливо предполагается, что мы умеем различать вершины куба перед окраской, т. е., скажем, куб жестко закреплен или его вершины занумерованы. При этом полученный ответ можно интерпретировать следующим образом: можно так раскрасить 38 абсолютно одинаковых, жестко закрепленных кубов, что все они будут различаться. Дли 38+1 кубов этого сделать уже нельзя.

Группы симметрий правильных многогранников (рис. 179)

Ситуация существенно меняется, если мы откажемся от предположения о том, что кубы жестко закреплены, так как по-разному окрашенные кубы можно повернуть так, что в новом положении их окраски совпадут (рис. 5).
Естественно считать, что два куба раскрашены одинаково, если их раскраски совпадают после некоторого вращения одного из кубов в пространстве. Будем говорить, что такие раскраски кубов геометрически неотличимы. Поэтому естественным уточнением задачи о раскраске является следующая задача: Сколькими геометрически различными способами можно раскрасить вершины куба в три цвета.
Переформулируем теперь эту задачу так, чтобы стала понятной ее связь с леммой Бернсайда. Пусть М - множество всевозможных по-разному раскрашенных кубов одного размера, положение которых в пространстве фиксировано,Группы симметрий правильных многогранников (рис. 180)G -группа всех вращений куба, состоящая из 24 перестановок. Группа G естественным образом определяет группу перестановок на множестве М. Именно: если Группы симметрий правильных многогранников (рис. 181) - некоторое вращение, то каждому кубу из М можно сопоставить некоторый, вообще говоря, другой куб. который получается из первого при вращении Группы симметрий правильных многогранников (рис. 182). Это соответствие является, очевидно, перестановкой на множестве М, которую будем обозначать Группы симметрий правильных многогранников (рис. 183). Группу всех таких перестановок множества М. определяемых перестановками из G, мы будем обозначать Группы симметрий правильных многогранников (рис. 184). Ясно, что Группы симметрий правильных многогранников (рис. 185).
То, что два куба Группы симметрий правильных многогранников (рис. 186) и Группы симметрий правильных многогранников (рис. 187) из М раскрашены геометрически одинаково, означает, что один из них можно перевести вращением в такое положение, в котором они неразличимы. Иными словами, существует такая перестановка Группы симметрий правильных многогранников (рис. 188), что Группы симметрий правильных многогранников (рис. 189), т. е. Группы симметрий правильных многогранников (рис. 190) и Группы симметрий правильных многогранников (рис. 191) содержатся в одной орбите группы Группы симметрий правильных многогранников (рис. 192), действующей на множестве М. Таким образом, для того чтобы определить число геометрически различимых способов раскраски вершин куба, нужно найти количество орбит группы Группы симметрий правильных многогранников (рис. 193) на множестве М.
Считая вершины кубов занумерованными числами 1,2, 3, 4, 5, 6, 7, 8. раскраску каждого из 38 кубов можно однозначно охарактеризовать «словом» из 8 букв, каждая из которых есть либо k, либо c, либо з. То, что i-ая буква слова равна к (или с, или з), означает, что i-ая вершина при выбранной нумерации окрашена в красный цвет (или в синий, или в зеленый соответственно). Например, для кубов, изображенных на рис. 5, имеем соответственно последовательности ссззсскк, ссссккзз. Перестановки из группы Группы симметрий правильных многогранников (рис. 194) переставляют такие последовательности. Например, если Группы симметрий правильных многогранников (рис. 195) , то перестановка Группы симметрий правильных многогранников (рис. 196) слово сссссссз переводит в ссссзссс, слово ссззсскк переводит в сззссккс, слова сссссссс, кккккккк, зззззззз оставляет неизменными и т. д. Выписать всю таблицу значений для перестановки Группы симметрий правильных многогранников (рис. 197) затруднительно, поскольку она состоит из 38 строк.
Для того чтобы применить лемму Бернсайда, необходимо определить число неподвижных точек каждой перестановки из Группы симметрий правильных многогранников (рис. 198). Последовательность букв к, с, з будет неподвижной для перестановки Группы симметрий правильных многогранников (рис. 199) тогда и только тогда, когда при разложении соответствующей перестановки Группы симметрий правильных многогранников (рис. 200) в произведение циклов вершины куба, номера которых входит в один и тот же цикл, окрашены одним цветом. Например, если Группы симметрий правильных многогранников (рис. 201) = (1, 2, 3, 4) Группы симметрий правильных многогранников (рис. 202) (5, 6, 7, 8), то неподвижными относительно Группы симметрий правильных многогранников (рис. 203) будут слова, составленные целиком из одной буквы, и слова, составленные из двух разных букв, причем одна из них стоит на первых четырех местах в слове, а вторая - из четырех последующих. Поэтому имеется 9 неподвижных точек перестановки Группы симметрий правильных многогранников (рис. 204) на множестве М. Уже на этом примере видно, что подсчет числа неподвижных точек перестановок из Группы симметрий правильных многогранников (рис. 205) сильно упрощается, если известны разложении в произведение циклов соответствующих перестановок из G. Если перестановка Группы симметрий правильных многогранников (рис. 206) разложена в произведение k-циклов, то число ее неподвижных точек равно Группы симметрий правильных многогранников (рис. 207). Поэтому сначала мы опишем разложения в произведение циклов для всех перестановок из группы G вращений куба.
а) Вокруг каждой из трех осей, соединяющих центры противоположных граней, имеется три нетождественных вращения. Им соответствуют перестановки

Группы симметрий правильных многогранников (рис. 208)
Группы симметрий правильных многогранников (рис. 209)
Группы симметрий правильных многогранников (рис. 210)
Группы симметрий правильных многогранников (рис. 211)
Группы симметрий правильных многогранников (рис. 212)
Группы симметрий правильных многогранников (рис. 213)
Группы симметрий правильных многогранников (рис. 214)
Группы симметрий правильных многогранников (рис. 215)
Группы симметрий правильных многогранников (рис. 216)

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

Группы симметрий правильных многогранников (рис. 217)
Группы симметрий правильных многогранников (рис. 218)
Группы симметрий правильных многогранников (рис. 219)
Группы симметрий правильных многогранников (рис. 220)
Группы симметрий правильных многогранников (рис. 221)
Группы симметрий правильных многогранников (рис. 222)
Группы симметрий правильных многогранников (рис. 223)
Группы симметрий правильных многогранников (рис. 224)

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

Группы симметрий правильных многогранников (рис. 225)
Группы симметрий правильных многогранников (рис. 226)
Группы симметрий правильных многогранников (рис. 227)
Группы симметрий правильных многогранников (рис. 228)
Группы симметрий правильных многогранников (рис. 229)
Группы симметрий правильных многогранников (рис. 230)
Вместе с тождественной получаем 24 перестановки. Итак, в группе G вращений куба имеется
перестановка типа Группы симметрий правильных многогранников (рис. 231)
перестановок типа Группы симметрий правильных многогранников (рис. 232)
перестановок типа Группы симметрий правильных многогранников (рис. 233)
перестановок типа Группы симметрий правильных многогранников (рис. 234)
Перестановка первоготипаимеет 38 неподвижных точек, любая из перестановок второго типа - 32, третьего и четвертого типов - 34 неподвижных точек. Поэтому согласно Лемме Бернсайда имеем

Группы симметрий правильных многогранников (рис. 235)

Таким образом, число геометрически различимых способов раскраски першим куба в три цвета равно 333.
Задача 2: Сколько различных ожерелий из семи бусин можно составить из бусин двух цветов - красного и синего?
Для того чтобы стала понятной аналогия этой задачи с предыдущей, переформулируем ее следующим равносильным образом:
Сколькими геометрически различными способами можно раскрасить вершины правильного семиугольника в два цвета?
Здесь два способа раскраски неотличимы, если один из них можно получить из другого, применяя к семиугольнику либо преобразования вращения, либо симметрии относительно осей, т. е. перестановки из группы диэдра D7. Если вершины семиугольника пронумерованы, имеется 27=128 различных вариантов их раскраски, так как каждую вершину независимо от других можно раскрасить двумя способами.
Снова будем описывать раскраски словами длины 7, составленными из букв к (вершина окрашена в красный цвет) и с (вершина окрашена в синий цвет). На множестве N всех таких слов действует группа Группы симметрий правильных многогранников (рис. 236) перестановок, задаваемых перестановками из D7. Например, если Группы симметрий правильных многогранников (рис. 237)(1, 2, 3, 4, 5, 6, 7), то перестановка Группы симметрий правильных многогранников (рис. 238) последнюю букву каждого слова переставляет в его начало, а остальные буквы не изменяет. Для того чтобы определить число орбит группы Группы симметрий правильных многогранников (рис. 239), на множестве N, необходимо найти типы перестановок из D7. Эта задача гораздо проще аналогичного вопроса для группы G из задачи 1. Группа D7, состоит из 14 перестановок множества {1, 2, 3, 4, 5, б, 7}, которые распределены по возможным типам так:
перестановка имеет тип Группы симметрий правильных многогранников (рис. 240)
перестановок имеют тип Группы симметрий правильных многогранников (рис. 241)
перестановок имеют тип Группы симметрий правильных многогранников (рис. 242).
Слово неподвижно относительно перестановки Группы симметрий правильных многогранников (рис. 243), тогда и только тогда, когда буквы, стоящие на местах с номерами из одного цикла в перестановке Группы симметрий правильных многогранников (рис. 244), совпадают. Поэтому тождествен на я перестановка имеет 27 неподвижных точек на N, перестановки второго типа - по 2, а перестановки третьего типа -по 24. Применяя лемму Бернсайда, получаем

Группы симметрий правильных многогранников (рис. 245)

Итак, из бусин двух цветов можно составить 18 семи-бусенных ожерелий.

Заключение

Целью данной курсовой работы является рассмотрение понятие групп, и изучения леммы Бернсайда, а также применения данной леммы для решения задач о раскрасках.
Группы повсеместно используются в математике и естественных науках, часто для обнаружения внутренней симметрии объектов. Внутренняя симметрия обычно связана с инвариантными свойствами; множество преобразований, которые сохраняют это свойство, вместе с операцией композиции, образуют группу, называемую группой симметрии.
В теории Галуа, которая и дала начало понятию группы, группы используются для описания симметрии уравнений, корнями которых являются корни некоторого полиномиального уравнения . Из-за важной роли, которую они играют в этой теории, получили своё название разрешимые группы .
Абелевы группы (т.е. группы, в которых операция коммутативна ) являются основой для построения более сложных объектов абстрактной алгебры, таких как кольца , поля и модули .
Понимание теории групп также очень важно для физики и других естественных наук. В химии группы используются для классификации кристаллических решёток и симметрий молекул . В физике группы используются для описания симметрий, которым подчиняются физические законы. Особенно важны в физике представления групп , в частности, групп Ли, так как они часто указывают путь к «возможным» физическим теориям.

Литература

Богопольский О. В. «Введение в теорию групп» 2002г.
Калужнин Л.А., Сущанский В.И. «Преобразования и перестановки» 1985г.
Кострикин А.И. «Введение в алгебру» 1977г.

Комментарии:

Вы не можете оставлять комментарии. Пожалуйста, зарегистрируйтесь.