Страница 33 из 40
Брайан Хэйес изучает эту проблему на небольшом опыте, который описывает в книге Group Theory in the Bedroom («Теория групп в спальне»). Отбросим двусмысленности, поскольку «группа», о которой пойдет речь, представляет собой совокупность математических действий, то есть всех возможных способов переворачивания или разворачивания матраса, чтобы он при этом точно совпадал с каркасом кровати.
Надеюсь, подробное рассмотрение математики матраса[149] позволит вам получить более общее представление о теории групп[150], одном из самых многогранных разделов математики. Эта теория лежит в основе всего — от хореографии народного танца и фундаментальных законов физики элементарных частиц до мозаики Альгамбры с ее хаотичными элементами[151], показанными на этой картинке.
Как видно из этих примеров, теория групп — это связующее звено между искусством и наукой. Она обращается к тому, что является общим для этих двух областей — неизменному очарованию симметрии. Охватывая столь широкий круг явлений, теория групп неизбежно будет абстрактной. Она вскрывает саму сущность симметрии.
Обычно считается, что симметрия — свойство формы. Однако специалистов в области теории групп больше интересует, что можно сделать с формой, в частности все способы ее изменения, оставив при этом без изменений что-то другое. Точнее, они занимаются поиском всех преобразований, в результате которых форма остается неизменной при соблюдении ряда ограничений. Эти преобразования называются симметриями формы. Вместе взятые, они составляют группу, то есть совокупность изменений, чьи отношения определяют основную архитектуру формы.
В случае с матрасом преобразования приводят к изменению его положения в пространстве (в этом состоит изменение), однако при этом сохраняется его упругость (в этом состоит ограничение). В результате матрас должен идеально ложиться на каркас кровати (то, что остается неизменным). Взяв за основу перечисленные правила, рассмотрим, какие преобразования свойственны элементам этой замечательной маленькой группы. Оказывается, их всего четыре.
Первое состоит в том, чтобы ничего не делать, — отличный выбор для лентяев, предпочитающих не трогать матрас. Несомненно, такое преобразование удовлетворяет всем правилам, однако вряд ли продлит жизнь матраса. Тем не менее чрезвычайно важно включить его в группу. Оно играет в теории групп такую же роль, как 0 в сложении чисел и 1 в умножении. Математики называют его нейтральным (или единичным) элементом, я обозначу его символом I.
При следующих трех способах действительно придется переворачивать матрас. Чтобы различать их, приклеим на углы матраса этикетки с номерами.
Картинка, на которой изображен первый способ переворачивания, находится в начале главы. На ней симпатичный мужчина в полосатой пижаме пытается перевернуть матрас на 180 градусов. Этот горизонтальный переворот обозначим как H.
Вертикальный переворот обозначим как V. При этом маневре матрас сначала находится в вертикальном положении, так что почти достает до потолка, а затем опрокидывается на другую сторону. Помимо грохота, который вы наделаете, чистым результатом вашего действия станет поворот матраса на 180 градусов вокруг поперечной оси, как показано ниже.
Наконец, можно повернуть матрас на пол-оборота, не поднимая его с кровати.
В отличие от переворачиваний H и V, при повороте R верхняя поверхность матраса остается вверху.
Теперь посмотрим на матрас, чтобы понять, в чем разница между его переворотами. Представим себе, что он полупрозрачный, взглянем на него сверху и проверим числа в углах матраса после каждой из возможных трансформаций. При горизонтальном переворачивании получаем зеркальное отражение чисел. Они тоже изменили порядок, поскольку числа 1 и 2 и 3 и 4 поменялись местами.
При вертикальном переворачивании порядок чисел тоже изменился, но по-другому: они, помимо своего зеркального отражения, еще и перевернулись вверх тормашками.
При вращении зеркального отражения не получается, а числа повернулись кверху вниз, и там, где была 1, теперь 4, а вместо 2 появилось 3.
Однако это лишь детали. Самое главное — как эти преобразования соотносятся друг с другом. В схемах их взаимодействия зашифрована симметрия матраса.
Чтобы выявить их с минимальными усилиями, нарисуем следующую диаграмму.
В углах схемы изображены четыре возможных положения матраса. Картинка в левом верхнем углу является точкой отсчета. Стрелка указывает на движения, совершаемые матрасом при переходе из одного положения в другое.
Например, стрелка, ведущая из верхнего левого угла к нижнему правому, описывает вращение R. Она двусторонняя, поскольку, если выполнить действие R дважды, это будет равносильно возврату в исходное положение.
Данное свойство поворота можно описать уравнением RR = I, где RR означает «дважды выполнить действие R», а I является нейтральным элементом, означающим отсутствие действия. При горизонтальном и вертикальном переворачивании тоже происходит отмена этих преобразований: HH = I и VV = I.
На схеме также представлено много другой информации. Например, здесь показано, что рискованное вертикальное переворачивание V эквивалентно действию HR, горизонтальному переворачиванию, сопровождаемому поворотом. Этот путь к аналогичному результату гораздо безопаснее. Данную последовательность действий можно записать в виде уравнения HR = V[152].
Следует также отметить, что порядок выполнения действий не имеет значения, поскольку HR = RH, и оба пути ведут к V. Это верно для любой другой пары действий. Вы можете подумать, что это подобно коммутативному (переместительному) закону для сложения обычных чисел x и y, согласно которому x + y = y + x. Однако будьте внимательны: группа в примере с матрасом — особый случай. Во многих других группах коммутативный закон нарушается. Подчиняющиеся ему группы-счастливчики будут особенно понятными и простыми.
А теперь итоги. Эта схема показывает, как добиться наиболее равномерного изнашивания матраса. Любая стратегия, примененная для всех четырех состояний, будет периодически работать. Например, чередование действий R и H удобно, а поскольку у нас есть возможность миновать шаг V, то нам не требуется много физических усилий. Чтобы напомнить о необходимости выполнять эти действия, некоторые производители дают такой совет: «весной — поворот, осенью — переворот».
Группа чисел, свойственная матрасу, иногда всплывает в самых неожиданных местах, начиная от симметрии молекул воды и заканчивая принципами действия пары электрических переключателей. В этом и состоит прелесть теории групп. Благодаря ей становится очевидным единство вещей, которые в других случаях кажутся не связанными между собой — как в анекдоте о том, как физик Ричард Фейнман получил отсрочку от призыва в армию[153].
149
Группа матраса известна в математике как четверная группа Клейна. Это одно из самых простых и гигантских скоплений возможностей. На протяжении почти 200 лет математики занимаются анализом групп и классификацией их структур. Захватывающее исследование теории групп и последние попытки классификации всех конечных простых групп см. M. du Sautoy, Symmetry (Harper, 2008).
Прим. ред.: В качестве введения в теорию групп рекомендуем: Ляховский В. Д., Болохов А. А. Группы симметрии и элементарные частицы. Л.: Изд-во ЛГУ, 1983; Каргаполов М. И., Мерзляков Ю. И. Основы теории групп. М.: Наука, 1972; Богопольский О.В. Введение в теорию групп. М., Ижевск: Институт компьютерных исследований, 2002; Артамонов В. А., Словохотов Ю. Л. Группы и их приложения в физике, химии, кристаллографии. М.: Изд. центр «Академия», 2005.
150
Эта глава навеяна двумя недавно вышедшими книгами. N. Carter, Visual Group Theory (Mathematical Association of America, 2009) и B. Hayes, Group Theory in the Bedroom (Hill and Wang, 2008). Картер интересно и живописно рассказывает об основах теории групп. Он повествует о том, как она связана с кубиком Рубика, танцами, кристаллами, химией, искусством и архитектурой.
Читателям, которых заинтересует определение «группы», следует обратиться к авторитетным онлайн-справочникам или обычным учебникам. Для начала можно посоветовать страницу MathWorld http://mathworld.wolfram.com/topics/GroupTheory.html или страницу «Википедии» http://en.wikipedia.org/wiki/Group_(mathematics). В этой главе я больше внимания уделил группам симметрии, чем другим группам.
151
Майкл Филд и Мартин Голубицкий изучали взаимосвязи между теорией групп и нелинейной динамикой. В ходе исследования они создали на компьютере потрясающие графические изображения симметрии хаоса. О математике в искусстве и науке см. M. Field and M. Golubitsky, Symmetry in Chaos, 2nd edition (Society for Industrial and Applied Mathematics, 2009).
152
Несколько слов об обозначениях в этой главе, которые могут сбить с толку: в уравнениях типа HR = V символ H написан слева, поскольку демонстрирует, что это преобразование произведено в первую очередь. Картер применяет подобное обозначение в своей книге для функциональной композиции, однако читатель, возможно, знает, что многие математики используют обратную запись, в которой первое преобразование H находится справа.
153
Историю о Фейнмане и психиатре см. R. P. Feynman, Surely You’re Joking, Mr. Feynman! (W. W. Norton and Company, 1985), р. 158; J. Gleick, Genius (Random House, 1993), р. 223.