Качественной особенностью работ Тома до теории катастроф является их своеобразный стиль: предчувствуя направление будущих исследований, Том не располагает не только доказательствами, но и точными формулировками своих результатов. Зиман, горячий поклонник этого стиля, замечает, что смысл слов Тома становится понятным лишь после того, как вставишь 99 своих строк между каждыми двумя строками Тома.

Чтобы читатель мог составить об этом стиле собственное представление, приведу здесь образчик из обзора перспектив теории катастроф, сделанного Томом в 1974 г.:

В философском, метафизическом плане теория катастроф не может принести ответа на великие проблемы, волнующие человека. Но она поощряет диалектическое, гераклитовское видение Вселенной, видение мира как театра непрерывной борьбы между логосами , между архетипами. Теория катастроф приводит нас к глубоко политеистическому взгляду: во всем следует различать руку Богов. И здесь, быть может, теория катастроф найдет неизбежные пределы своей практической применимости. Она разделит, быть может, участь психоанализа. Нет сомнения, что основные психологические открытия Фрейда верны. И все же знание этих фактов принесло мало практической пользы (при лечении психических заболеваний). Как герой Илиады не мог противостоять воле бога, скажем Посейдона, не опираясь на мощь другого божества, скажем Афины, так и мы не сможем ограничить действие архетипа, не противопоставляя ему архетипа-антагониста в борьбе с неопределенным исходом. Те самые причины, которые нам позволяют располагать нашими возможностями действовать в одних случаях, осуждают нас на бессилие в других. Быть может, удастся доказать неизбежность некоторых катастроф, например болезней или смерти. Познание не обязательно будет обещанием успеха или выживания: оно может вести также к уверенности в нашем поражении, в нашем конце .

Прекрасные результаты теории особенностей, к счастью, не зависят от мрачной мистики теории катастроф. Но и в теории особенностей, как и во всей математике, есть нечто таинственное: это удивительные совпадения и связи между далекими на первый взгляд предметами и теориями.

Одним из примеров такого совпадения, остающегося загадочным (хотя кое-что и понято), является так называемая Л, Dx -классификация. Она встречается в таких

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

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

Пример 1. Назовем два набора проходящих через точку 0 на плоскости прямых эквивалентными, если один из них переходит в другой при линейном преобразовании (х, у) ->. (ах + by, сх -f- dy). Любой набор трех прямых прост (любой набор трех различных прямых эквивалентен набору х = 0, у = 0, х + у = 0). Любой набор четырех проходящих через 0 прямых не прост (докажите!).

Пример 2. Будям классифицировать критические точки (комплексных) гладких функций, относя функции в один класс, если они сводятся одна к другой гладкой (комплексной) локальной заменой переменных. Список простых особенностей (скажем, для функций трех переменных) состоит из двух бесконечных серий и трех исключительных особенностей:

Ак = х1 + у2 + **+if Л>1; Dx = х2 + y2z + z*-\ k > 4;

E, = x2 + у3 + z*.

E7 = x2 + y3 + yz3t

Esx2 + y3 + z5.

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

Колчан на рис. 82 слева прост, справа непрост (см. пример 1).

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

Простые особенности каустик и волновых фронтов также образуют две бесконечные серии А% и /) и три исключительные особенности Ек (начальные члены серий изображены на рис. 34-45).

Группы симметрии правильных многогранников в трехмерном пространстве также образуют две бесконечные

Рис, 82. Простой и непростой Рис. 83. Диаграммы Дыпки-

серии и три исключения (исключения - группы симметрии тетраэдра (Ее), октаэдра (£,) и икосаэдра (Es), серии - группы правильного многоугольника и правильного диэдра, т. е. двустороннего многоугольника с окрашенными в разные или одинаковые цвета гранями).

На первый взгляд, функции, колчаны, каустики, фронты и правильные многогранники не связаны между собой. На самом деле соответственные объекты не случайно обозначены одинаково: например, из икосаэдра можно построить функцию х2 + у3 + z5, а из нее - диаграмму Еа, а также каустику и волновой фронт того же имени.

Легко проверяемым свойствам одного из соответствующих друг другу объектов соответствуют не обязательно очевидные свойства других. Таким образом, связи между всеми А, D, -классификациями используются для одновременного изучения всех простых объектов, несмотря на то, что происхождение многих из них (например, связей между функциями и колчанами) остается необъ-ясненным проявлением загадочного единства всего сущего.

...--о А

колчаны

на,определяющие простые колчаны