Раскрасить разными способами используя только два цвета карандашей

Число различных перестановок зависит от того, совпадают какие-либо из чисел a, b и c или нет. Если все они одинаковы, то и перестановка всего одна — таков случай (2, 2, 2). Если совпадают только два из них, то будет три возможности, например, (4, 1, 1), (1, 4, 1) и (1, 1, 4). Если же все числа различны, то перестановок шесть. Суммируя, получаем в итоге \(1\cdot6+3\cdot(1+2+2)+6\cdot(1+2+3)=6+15+36=57\). Это и есть окончательный ответ.

Послесловие

Комбинаторика — это раздел математики, отвечающий на вопрос «сколько?» и первоначально ответственный, прежде всего, за подсчет количества способов и их перечисление. В ее основе лежат два фундаментальных правила, каждое из которых активно использовалось при решении данной задачи (хотя внимание на этом и не было акцентировано): правило суммы и правило произведения. Формулируются они следующим образом.

Правило суммы: если объект A можно выбрать m способами, а объект B можно выбрать n способами, то выбор «либо A, либо B» осуществляется (m + n) способами.

Правило произведения: если объект A можно выбрать m способами, и после каждого такого выбора объект B можно выбрать n способами, то выбор пары (A; B) в указанном порядке осуществляется mn способами.

Более сложные комбинаторные вычисления в той или иной степени базируются на этих двух основных принципах, но ими одними зачастую уже не обойтись — требуется привлекать дополнительные соображения. Классическим примером является вычисление числа сочетаний \(C_n^k\), соответствующего количеству способов выбрать k элементов из n-элементного множества. Наивная формулировка вопроса, приводящего к этому числу, звучит следующим образом: если у Пети есть n разноцветных карандашей, сколькими способами он может выбрать k из них, чтобы взять с собой в школу?

Идея решения заключается в том, чтобы вычислить сначала немного другое число, а именно, количество упорядоченных наборов из k элементов, как если бы Петя хотел не просто выбрать k карандашей, но и выложить их в ряд на своей парте в фиксированном порядке. Эта величина, называемая числом размещений \(A_n^k\), может быть найдена непосредственно при помощи правила произведения: на первом месте в ряду может оказаться один из n карандашей, на втором, вне зависимости от цвета первого карандаша, может оказаться один из оставшихся (n − 1) карандашей, на третьем — один из (n − 2) и так далее. Всего получается \(n\cdot(n-1)\cdot\ldots\cdot(n-k+1)=\frac<(n-k)!>\) вариантов, то есть

Однако каждый способ выбрать k элементов из n-элементного множества соответствует целому семейству различных упорядоченных наборов. Иными словами, когда Петя берет в школу k карандашей, он может выложить их в ряд несколькими различными способами, причем количество способов не зависит от того, какие именно карандаши Петя взял с собой в школу, и равно \(k\cdot(k-1)\cdot\ldots\cdot2\cdot1=k!\) (объяснение этого факта тоже базируется на правиле произведения: если у Пети k карандашей в портфеле, то на первое место в ряду он может выложить один из k карандашей, на второе — один из (k − 1) оставшихся и так далее). Следовательно, число размещений в k! раз больше, чем число сочетаний, откуда мы сразу получаем

Как видно, в этом примере мы фактически сначала посчитали каждый способ несколько раз, а потом найденное число на это количество раз поделили. Здесь ключевым моментом является тот факт, что это количество раз было одинаковым для всех способов. Однако так бывает далеко не всегда. Пусть, например, у Пети есть неограниченное количество карандашей 10 различных цветов, а он хочет взять в школу два карандаша. (Здесь мы считаем, конечно, что карандаши одного цвета неотличимы друг от друга.) Рассматривая сначала упорядоченные пары, мы могли бы сказать, что у Пети на парте могло оказаться 10·10 = 100 различных рядов из двух карандашей, ведь как на первом месте, так и на втором может оказаться карандаш одного из 10 цветов. Однако, переходя к неупорядоченным наборам, выясняется, что разноцветные пары мы посчитали по два раза, в то время как одноцветные — лишь по разу, и с учетом того, что всего одноцветных пар 10, мы получаем в итоге количество способов взять два карандаша в школу, равное \(10+\frac<100-10><2>=10+45=55\).

Этот же результат мы могли бы получить, пользуясь только правилом суммы. Именно, среди способов взять два карандаша есть 10 таких, для которых один из этих карандашей красный; есть 9 способов, для которых один из карандашей желтый, а другой — не красный; есть 8 способов, для которых один из карандашей зеленый, а другой — не красный и не желтый и так далее. Всего получается \(10+9+\ldots+2+1=55\) различных вариантов.

Описанная выше ситуация довольно типична, и потому нам бы хотелось найти какой-нибудь метод, который позволил бы сводить подобные вопросы к не слишком громоздкому перебору. Удивительным образом, помощь приходит со стороны теории групп, которую для наглядности мы опишем с геометрической точки зрения. Рассмотрим какую-нибудь фигуру F — эта фигура может быть плоской (как прямоугольник, равносторонний треугольник, квадрат или любой другой правильный многоугольник) или объемной (как куб, призма, тетраэдр, октаэдр и т. п.). Мы будем красить вершины, ребра или грани данной фигуры, и, как и в исходной задаче, нас будет интересовать количество ее различных раскрасок. Отметим, что описанные выше вопросы про Петю и карандаши вполне вписываются в эту концепцию. Так, выбор двух карандашей, каждый из которых может быть одного из 10 цветов, соответствует раскраске двух «половинок» фигуры «домино» в два цвета. А выбор k карандашей из n отвечает раскрашиванию вершин k-мерного симплекса в n цветов так, чтобы каждый цвет был использован не более, чем один раз.

Поясним, что такое k-мерный симплекс. Для k = 0 симплекс — это просто точка. Если k = 1, то симплексом является отрезок, если k = 2, то симплексом является равносторонний треугольник, а если k = 3, то — правильный тетраэдр. В общем случае k-мерный симплекс — это многогранник в k-мерном пространстве, который получается, если к (k −1)-мерному симплексу добавить еще одну вершину и соединить ее со всеми уже имеющимися вершинами (k −1)-мерного симплекса (рис. 1).

Пусть G — множество всех движений, которые переводят фигуру F саму в себя (математики называют это множество группой симметрий данной фигуры). Например, если F — правильный треугольник, то G состоит из поворотов вокруг центра на 0°, 120° и 240°, а также трех отражений относительно высот (левая часть рис. 2). В том случае, если F является фигурой «домино», в G входят повороты вокруг центра на 0° и 180°, а также отражения относительно прямых, соединяющих середины противоположных сторон нашей фигуры (центральная часть рис. 2). Если же F — правильный тетраэдр, то помимо тождественного преобразования (поворота на 0°) элементами G являются повороты на 180° вокруг бимедиан (прямых, соединяющих пары скрещивающихся ребер), а также повороты на 120° и 240° относительно высот — всего 12 элементов (правая часть рис. 2).

Теперь будем красить нашу фигуру, не меняя ее положения в пространстве, как если бы мы приклеили ее к столу; множество всех возможных раскрасок обозначим буквой X. Для каждой раскраски x такой «приклеенной» фигуры мы назовем ее орбитой Gx множество раскрасок, которые могут получиться из раскраски x после того, как фигуру F как-нибудь повернули. В то же время, множество движений, которые оставляют раскраску x неизменной, мы обозначим G_x и будем называть стабилизатором этой раскраски. Проиллюстрируем сказанное на рассмотренных выше примерах. Пусть F — треугольник, стороны которого мы раскрашиваем разными цветами, а раскраска x такова, что боковые стороны треугольника красные, а основание синее. Тогда орбита Gx состоит из трех раскрасок, изображенных в левой части рис. 3, а стабилизатор G_x состоит из тождественного преобразования и отражения относительно высоты, проведенной к основанию. Аналогично, если F — фигура «домино», а ее раскраска x соответствует тому, что нижняя грань желтая, а верхняя — зеленая, то орбита Gx состоит из двух раскрасок (центральная часть рис. 3), а стабилизатор G_x — из тождественного преобразования и отражения относительно вертикальной оси, которая соединяет центры «половинок». Если же F — тетраэдр, раскраска x которого представляет собой три красные вершины в основании и одну зеленую сверху, то ее орбита Gx состоит из четырех элементов (правая часть рис. 3), а стабилизатор G_x — из трех поворотов относительно высоты, проходящей через зеленую вершину.

Пусть x и y — две раскраски фигуры F. Очевидно, что если y ∈ Gx, то есть если раскраску x можно перевести некоторым движением g в раскраску y (что математики записывают как y = gx), то обратным движением y переводится в x. Отсюда следует, что в этом случае Gx = Gy, то есть орбиты совпадают. Напротив, если y ∉ Gx, что означает, что раскраску x перевести в раскраску y никаким движением нельзя, то орбиты Gx и Gy не пересекаются. Таким образом, множество всех раскрасок разбивается на орбиты — семейства раскрасок, которые переводятся друг в друга движениями. Фактически, мы хотим найти способ, как вычислять общее количество орбит. Оказывается, для этой цели служит так называемая формула Бернсайда. Именно, если \(g_1,\ldots,g_N\) — все движения группы G, и для каждого движения \(g_k\in\) число \(M_k\) обозначает количество раскрасок, которые \(g_k\) переводит в себя, то общее количество орбит равно

Докажем эту формулу. Для начала заметим, что для любой раскраски \(x\) справедливо равенство \(N=|Gx|\cdot|G_x|\), то есть что произведение количества раскрасок в орбите на число движений в стабилизаторе равно общему числу движений, переводящих фигуру \(F\) в себя. Легко проверить, что это так в рассмотренных выше примерах: для треугольника получается равенство 6 = 3·2, для «домино» — 4 = 2·2, а для тетраэдра 12 = 4·3. Убедимся, что это верно и в общем случае. Действительно, пусть стабилизатор \(G_x\) состоит из элементов \(h_1,\ldots,h_m\). Выберем для каждой раскраски \(x_1,\ldots,x_n\) из орбиты \(Gx\) какое-нибудь движение, которое переводит \(x\) в эту раскраску: \(g’_1x=x_1,\ldots,g’_nx=x_n\). Очевидно, что если \(h\in\), то есть если движение \(h\) оставляет раскраску \(x\) без изменения, то для произвольного движения \(g\in\) результат применения \(g\) к раскраске \(x\) не будет отличаться от результата применения к \(x\) последовательно движений \(h\), а затем \(g\): это одна и та же раскраска (формально, если \(hx=x\), то \(gx=ghx\)). Поэтому для каждой раскраски \(x_k\) существует \(m\) различных движений, которые переводят \(x\) в \(x_k\) — это композиции \(g’_kh_1,\ldots,g’_kh_m\) (то есть мы сначала применяем одно из движений, лежащих в стабилизаторе, а затем — движение \(g’_k\)). Более того, любое движение \(g\) переводит \(x\) в \(x_k\) для некоторого \(k\), а потому если мы сначала применим \(g\), а потом движение, обратное к \(g’_k\), то получим некоторое движение, сохраняющее раскраску \(x\), то есть \(h_l\) для какого-то \(l\). Следовательно, \(g=g’_kh_l\), и все движения имеют вид \(g’_kh_l\), где \(1\leqslant\leqslant\) и \(1\leqslant\leqslant\), а значит, всего движений ровно \(N=mn\).

Рассмотрим теперь множество всех пар вида (\(g\), \(x\)), для которых движение \(g\) сохраняет раскраску \(x\). Вычислим количество элементов в этом множестве двумя различными способами и приравняем результаты, которые получатся. С одной стороны, для каждого \(g_k\) число раскрасок, которые сохраняет движение \(g_k\), суть \(M_k\), и потому искомая величина равна \((M_1+\ldots+M_N)\). С другой стороны, для каждой раскраски \(x\) число движений, которые ее сохраняют, это количество элементов в стабилизаторе, то есть \(|G_x|=\frac<|Gx|>\). Суммируя все такие величины и вынося \(N\) за скобку, остается заметить, что мы получаем сумму дробей вида \(\frac<1><|Gx|>\), причем каждая дробь встречается ровно \(G(x)\) раз. Следовательно, внутри скобки стоит в точности количество орбит, что и дает в итоге формулу Бернсайда.

Было бы несправедливо умолчать о том, что на самом деле описанная выше модель является частным случаем более общей ситуации, а именно, что мы можем определить понятие орбиты и стабилизатора и доказать формулу Бернсайда для любого действия группы на множестве. Объясним более подробно, что имеется в виду. В математике группой называется любое множество \(G\), на котором определена некоторая операция \(*\), удовлетворяющая следующим трем свойствам:
1) \(a*(b*c)=(a*b)*c\) — это свойство называется ассоциативностью;
2) в группе есть такой элемент \(e\), называемый нейтральным, что \(a*e=e*a=a\) для любого \(a\in\);
3) для каждого \(a\in\) существует такой элемент \(b\in\), называемый обратным к \(a\), что \(a*b=b*a=e.\)
Чаще всего, в качестве операции используется сложение (или умножение), и нередко дополнительно выполняется еще и свойство коммутативности \(a*b=b*a\). Коммутативная группа получится, если, например, в качестве множества \(G\) взять целые, рациональные или вещественные числа, а операция — это обычное сложение (также можно рассмотреть рациональные или вещественные числа без нуля, если операция — это обычное умножение). Другой вариант — операция композиции, как для групп движения; тут уже о коммутативности группы речи не идет.

Если у нас есть группа \(G\) и множество \(X\), то мы можем определить действие группы \(G\) на множестве \(X\) — это сопоставление каждой паре \((g,\ x)\), где \(g\in\) и \(x\in\), нового элемента \(y=gx\in\). Чтобы понятие действия имело смысл, оно должно дополнительно удовлетворять условиям \(ex=x\) и \((gh)x=g(hx)\) для любых \(x\in\) и \(g,h\in\). Благодаря этому орбита \(Gx=\\in\>\) и стабилизатор \(G_x=\\mid=x\>\) обладают свойствами, которые мы видели ранее: любые две орбиты либо не пересекаются, либо совпадают, а для конечных групп справедливо равенство \(|G|=|Gx|\cdot|G_x|\). Работает в общем виде и формула Бернсайда, как мы это анонсировали чуть выше: если мы обозначим за \(G/X\) множество орбит, а за \(X^g=\\mid=x\>\) — множество неподвижных точек элемента \(g\in\), то совершенно аналогично тому, что мы видели выше, можно показать, что
\[ |G/X| = \dfrac<1><|G|>\sum\limits_>|X^g|. \]

Покажем, как работает формула Бернсайда в условиях пункта б) исходной задачи. Прежде всего, опишем группу движений куба. Во-первых, в ней имеются вращения вокруг осей, соединяющих центры противоположных граней, на углы 90°, 180° и 270° — таких движений 9, поскольку грани разбиваются на три пары (левая часть рис. 4). Во-вторых, есть вращения вокруг главных диагоналей на углы 120° и 240° — таких движений 8, так как главных диагоналей четыре (центральная часть рис. 4). В-третьих, есть вращения на 180° вокруг осей, соединяющих середины противоположных ребер — таких движений 6, потому что ребра разбиваются на шесть пар (правая часть рис. 4). Таким образом, всего в этой группе 24 элемента, включая тождественное преобразование.

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

Тождественное преобразование не меняет ни одной раскраски. Всего же различных раскрасок куба, согласно правилу произведения, 3 6 = 729, поскольку каждую грань можно окрасить в один из трех цветов.

Поворот вокруг оси, соединяющей центры противоположных граней, на угол 90° или 270° оставляет неизменными 3 3 = 27 раскрасок. В самом деле, каждая из двух граней, через которые проходит ось, может быть окрашена в любой цвет, а оставшиеся четыре грани при вращении переходят друг в друга по циклу, а потому должны быть одного цвета (тоже любого из трех).

Поворот вокруг оси, соединяющей центры противоположных граней, на угол 180° оставляет неизменной 3 4 = 81 раскраску. Как и в предыдущем случае, каждая из двух граней, через которые проходит ось, может быть окрашена в любой из трех цветов. Но вот оставшиеся четыре грани разбиваются на пары противолежащих, которые должны быть окрашены одинаково, хотя между собой цвета этих пар вполне могут различаться.

Поворот главной диагонали на угол 120° или 240° оставляет неизменными 3 2 = 9 раскрасок. Действительно, при таком вращении грани, примыкающие к каждой из вершин, через которые проходит ось вращения, должны быть одного цвета, а значит, грани разбиваются на две тройки, окрашенные одним цветом.

Наконец, поворот вокруг оси, соединяющей середины противоположных ребер, на угол 180° оставляет неизменными 3 3 = 27 раскрасок. В этом случае грани разбиваются на три пары: две из них образуют пары, примыкающие к ребрам, через которые проходит ось вращения, а оставшаяся пара граней — та, которая оси вращения параллельна.

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

— в точности то число, которое мы вычислили выше.

Скорее всего, приведенные рассуждения уже убедили читателя в том, что при изучении свойств произвольной фигуры F имеет смысл ознакомиться с поведением ее группы симметрий G — в ее структуре скрыты многие характеристики интересующей нас фигуры. Оказывается, что для плоских фигур их группы симметрий устроены достаточно просто. Именно, можно выделить два различных семейства — циклические группы и группы диэдра.

Циклическая группа \(C_n\) — это группа симметрий «курносой звездочки с n лучами». Она состоит из n элементов, которые включают в себя поворот на угол \(\frac<360^<\circ>>\) и все повороты, кратные этому углу (левая часть рис. 5).

Группа диэдра \(D_n\) — это группа симметрий правильного n-угольника. В ней, как и в циклической группе, содержится n поворотов на углы вида \(\frac\cdot360^<\circ>\) (\(0\leqslant\leqslant n-1\)), а также n симметрий. В зависимости от четности числа n, симметрии могут быть либо относительно перпендикуляров, проведенных из вершин многоугольника к противоположным им сторонам, если n нечетно (центральная часть рис. 5), либо относительно главных диагоналей и прямых, соединяющих центры противоположных сторон, если n четно (правая часть рис. 5).

Отметим, что группа \(D_n\) определена в том числе и тогда, когда n = 1 и n = 2, хотя говорить о существовании таких фигур, как 1-угольник и 2-угольник не приходится. В этих случаях имеются в виду группы симметрий равнобокой трапеции и прямоугольника (левая и центральная часть рис. 6). Кроме того, имеет смысл рассмотреть предельный переход \(n\to\infty\) — здесь мы имеем дело с группой симметрий круга, которая состоит из всех поворотов вокруг его центра, а также всех отражений относительно диаметров. Эта группа называется обобщенной группой диэдра \(D_<\infty>\) или ортогональной группой \(O_2\). Можно сказать, что она является как бы объемлющей для всех остальных групп симметрий плоских фигур, поскольку любой элемент как \(C_n\), так и \(D_n\) содержится в \(D_<\infty>\).

Группы симметрий пространственных фигур имеют заметно более сложную структуру, хотя и для них существует общая объемлющая группа — группа симметрий сферы \(O_3\). В группу \(O_3\) входят вращения относительно диаметров на произвольные углы, отражения относительно плоскостей, проходящих через центр сферы (такие плоскости называются центральными сечениями сферы), а также композиции, то есть последовательные применения вращений и отражений. Точно так же, как и в случае плоскости, любое движение сферы определяется образами трех точек, не лежащих в одном центральном сечении. Иными словами, если мы знаем, куда при движении перешли три такие точки, то мы можем однозначно определить, куда при этом движении перейдет любая другая точка. С другой стороны, для любых двух пар точек существует вращение, которое переводит одну пару в другую. В самом деле, пусть мы хотим перевести некоторым движением точку \(A_1\) в точку \(A_2\). Рассмотрим центральное сечение α, равноудаленное от этих двух точек. Легко убедиться, что для любого диаметра, лежащего в этом сечении, существует вращение относительно этого диаметра, переводящее \(A_1\) в \(A_2\). Аналогично обстоит дело с диаметрами центрального сечения β, равноудаленного от точек \(B_1\) и \(B_2\). Но это означает, что пересечение сечений α и β является диаметром, вращение вокруг которого переведет \(A_1\) в \(A_2\) и \(B_1\) в \(B_2\) одновременно (рис. 7). Учитывая, тот факт, что если мы знаем образы двух точек, то образ третьей точки может быть выбран всего двумя способами, отсюда следует, что любое движение сферы представляет собой либо вращение вокруг некоторого диаметра, либо композицию такого вращения и симметрии относительно плоскости, перпендикулярной оси вращения.

Отметим, что в исходной задаче мы считали фигуру, полученную отражением данной фигуры F относительно некоторой плоскости, отличающейся от F. Такой подход вполне естественен по той причине, что кубик, который мы видим в зеркале, обычно отличается от того кубика, который мы при этом держим в руках. Таким образом, в нашем случае логично рассматривать только те группы симметрий, которые не включают в себя зеркальных отражений, то есть такие, которые, как говорят математики, сохраняют ориентацию исходной фигуры. Следовательно, все элементы групп симметрий, которые нас интересуют, представляют собой вращения относительно каких-либо осей.

Какими же бывают группы движений трехмерных фигур? Во-первых, они могут быть уже знакомыми нам циклической группой или группой диэдра — в качестве подходящей фигуры F достаточно выбрать призму с соответствующим основанием (две фигуры на рис. 8 слева). Единственное — надо проследить, чтобы высота призмы не оказалась равной какой-либо из сторон основания, чтобы избежать возникновения дополнительных симметрий. Во-вторых, это могут быть группы, полученные предельным переходом \(n\to\infty\). Здесь, помимо уже знакомой нам группы \(O_2\), являющейся группой движений, например, для цилиндра, появляется еще одна группа — группа \(SO_2\), — которая состоит только из всех поворотов вокруг некоторой прямой, и является группой движений, скажем, для конуса (две фигуры на рис. 8 справа).

Но имеются и три принципиально новые по сравнению с плоским случаем группы, отвечающие пяти правильным многогранникам — так называемым платоновым телам (рис. 9). Несоответствие между количеством групп и числом многогранников объясняется тем, что кубу и октаэдру, равно как и додекаэдру с икосаэдром, сопоставляется одна и та же группа. Так получается благодаря тому, что эти многогранники являются двойственными друг другу: чтобы получить первый из второго, надо взять центры граней второго и соединить их между собой ребрами; и наоборот, точно так же второй многогранник может быть получен из первого (рис. 10).

С описанием групп симметрий тетраэдра и куба мы уже знакомы, а группа симметрий икосаэдра на них во многом похожа: помимо тождественного преобразования в ней присутствуют вращения на углы 72°, 144°, 216° и 288° вокруг осей, проходящих через противоположные вершины (таких движений 4·6 = 24), вращения на углы 120° и 240° вокруг осей, проходящих через центры противоположных граней (таких движений 2·10 = 20), а также вращения на угол 180° вокруг осей, проходящих через середины противоположных ребер (таких движений 1·15 = 15) — всего 1 + 24 + 20 + 15 = 60 различных элементов (рис. 11).

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

Прежде всего, нужно отметить, что для любой циклической группы или группы диэдра по-прежнему можно найти замощение, группа симметрий которого в точности совпадает с этой группой (рис. 12). Однако появляются и новые возможности, связанные с тем, что теперь в группе симметрий могут оказаться еще и параллельные переносы, и скользящие симметрии. В зависимости от того, являются ли все входящие в группу параллельные переносы и скользящие симметрии сонаправленными или нет, такие группы симметрий относят либо к группам фризов, либо к группам орнаментов.

Перечислим все возможные группы фризов в нотации Гeрмана — Могeна, сопроводив их соответствующими иллюстрациями.

Обозначение	Описание	Пример замощения
p111	параллельные переносы вдоль некоторой прямой
p1a1	отличается от p111 тем, что дополнительно содержит скользящую симметрию
p1m1	помимо параллельного переноса содержит осевую симметрию относительно прямой, вдоль которой совершается параллельный перенос
pm11	также содержит параллельный перенос и осевую симметрию, однако ось симметрии перпендикулярна прямой, вдоль которой совершается параллельный перенос; как следствие, в этой группе бесконечно много осевых симметрий, все оси которых параллельны друг другу
p112	содержит параллельный перенос, а также бесконечное семейство поворотов на угол 180°, центры которых лежат на одной прямой
pma2	содержит параллельный перенос и скользящую симметрию, а также семейство осевых симметрий, оси которых перпендикулярны прямой, вдоль которой совершается параллельный перенос, и семейство поворотов на угол 180°, центры которых лежат на этой прямой
pmm2	содержит параллельный перенос, семейство осевых симметрий, оси которых перпендикулярны прямой, вдоль которой совершается параллельный перенос, и семейство поворотов на угол 180°, центры которых не просто лежат на этой прямой, но еще и на осях симметрий

Примерно так же обстоит дело с группами орнаментов, с той лишь разницей, что их не 7, а 17, и в них содержатся параллельные переносы и скользящие симметрии вдоль бесконечного количества различных направлений, а не вдоль ровно одного. Мы не будем перечислять все движения, входящие в эти группы, оставив читателю возможность самому это выяснить, глядя на соответствующие картинки и сопровождающие их коды все в той же нотации Гeрмана — Могeна (рис. 13). Отметим только, что одним цветом на этих картинках обозначены те плитки, которые могут быть переведены друг в друга некоторым движением из группы симметрии этого замощения.

Похожая картина наблюдается и в пространстве, с той лишь разницей, что количество различных видов групп симметрий еще больше. Наибольший интерес исторически представляли так называемые кристаллографические группы — те, которые в своем составе имеют три параллельных переноса, векторы которых линейно независимы. Удивительно, но факт: потребности минералогии привели к тому, что полный список кристаллографических групп, насчитывающий 230 элементов, был приведен в 1891 году Евграфом Фёдоровым и Артуром Шёнфлисом до того, как аналогичный список из 17 элементов был составлен для групп орнаментов. Впрочем, после столь выдающейся работы и список для групп орнаментов не заставил себя долго ждать.

Источник