Куб гораздо менее симметричен, чем сфера. Существует несколько действий, которые я могу над ним произвести так, чтобы вы об этом не узнали. Я могу повернуть куб на 90° и 180° по часовой стрелке и против нее вокруг оси, проходящей через центры любой из трех пар противоположных граней. Я могу повернуть его на 120° по часовой стрелке и против нее вокруг любой из четырех осей, проходящих через противоположные углы. Я могу отразить его от любой из трех плоскостей, в которой я могу поместить зеркало, разрезающее куб пополам. Я могу перестроить куб с помощью инверсии относительно его центра. Я бы мог даже оставить куб нетронутым: вы бы не узнали. Поэтому ничегонеделание — называемое тождественным преобразованием— тоже является преобразованием, которое я должен включить в рассмотрение симметрии объекта. Это дает много различных действий, которые я могу проделать так, чтобы вы не узнали; поэтому куб является высоко симметричным, но совсем не таким симметричным, как сфера, с ее бесконечным числом незразличимых преобразований.

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

Математическая теория симметрии, в которой этот аромат отвердевает в точных определениях, называется теорией групп. Название этой теории возникло из того факта, что преобразования симметрии, о которых мы говорили, образуют множества операций, которые в математике называются группами. Вообще говоря, группа состоит из множества элементов и правила их комбинирования, такого, что комбинация любой пары элементов тоже является элементом этого множества. Мы можем увидеть, как преобразования симметрии формируют группу, снова представив себе куб. Предположим, я последовательно провожу два действия, поворачивая куб на 90° вокруг одной из осей, перпендикулярных грани, а затем вращая получившийся куб на 120° вокруг диагональной оси. Результат оказывается таким же, каким бы он был, если бы я повернул куб на 120° вокруг одной из других диагональных осей, поэтому эти два последовательно выполненных преобразования эквивалентны одному преобразованию симметрии. Это верно для всех преобразований симметрии куба, поэтому эти преобразования образуют группу. Группам преобразований симметрии для различных фигур даны названия. Например, огромная группа симметрии сферы называется SO(3). Позже мы встретим другие группы с названиями типа SU(2) и SU(3).

Понятие группы выходит далеко за пределы преобразований симметрии, вот почему теория групп является существенной частью математики. Например, возьмем в качестве множества «элементов» положительные и отрицательные числа …, −3, −2, −1, 0, 1, 2, 3, … и пусть правилом комбинирования будет сложение. Тогда, поскольку сумма двух целых чисел сама является целым числом, целые числа образуют группу по сложению. Поэтому арифметика есть часть теории групп, и та же идея, которую мы используем, чтобы обсуждать симметрию реальных объектов, может быть использована для обсуждения идей арифметики, и наоборот. Я не собираюсь вести вас в настоящей главе по этому частному маршруту, но он сыграет свою роль в главе 10. Тем не менее просто вынесите отсюда мысль — мысль, которая пронизывает всю эту книгу, — что простая идея может иметь приложения почти неограниченной общности.

Давайте вернемся к рассмотрению собственно симметрии. Нам необходимо отличать группы преобразований симметрии, которые оставляют одну точку объекта неизмененной, от групп, включающих в себя движение через пространство. Первые называются точечными группами, последние — пространственными группами. Все преобразования симметрии сферы и куба оставляют точку в центре в том же положении, в котором она находилась изначально. Если действие сдвигает центральную точку индивидуального объекта, как в случае отражения сферы в плоскости, не проходящей через ее центр, то мы можем заметить, что нечто было проделано, и это действие нельзя считать преобразованием симметрии. Все преобразования симметрии индивидуальных объектов оставляют неизмененной по крайней мере одну точку, так что симметрии индивидуальных объектов описываются точечными группами.

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

Это лишь первый проблеск тех головокружительных глубин, в которые может проникать теория групп. Упоминание о колоссальном интеллектуальном прыжке (к которому я намерен подвести вас более маленькими шагами по мере разворачивания этой главы, но сейчас будет полезно узнать, куда мы направляемся), может быть, даст нам возможность согласиться с тем, что, так же как симметрия ограничивает число возможных структур в пространстве, может оказаться, что симметрия пространства-времени — что бы это ни означало — ограничивает число типов элементарных частиц, которым позволено существовать. Симметрия ставит пределы.