Естественнонаучные приложения теории особенностей нө исчерпывают всех направлений теории катастроф: наряду с конкретными исследованиями типа работ Зимана имеются скорее философские труды математика P. Тома, который первым осознал всеобъемлющий характер работ работ Пуанкаре и Андронова по теории бифуркаций), ввел термин «теория катастроф» и занялся пирокой пропагандой әтой теории.

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

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

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

Одним из примеров такого совпадения, остающегося загадочным (хотя кое-что и понято), является так называемая $A_{2} D, E$-классификация. Она встречается в таких
разных отд лах мат матикн, как, напрюмер, теории критических точек функций, алгебр Ји, категорий линейих пространств, каустик, волновых фронтов, правильпых многогранников в трехмерном пространстве и кристаллографических групп, порожденных отражениями.

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

П р и м р 1. Назовем два набора проходящих через точку 0 на плоскости прямых эквивалентными, если один из них переходит в другой при линейном преобразовании $(x, y) \mapsto(a x+b y, c x+d y)$. Любой набор трех прямых прост (любой набор трех различных прямых эквивалентен набору $x=0, y=0, x+y=0$ ). Јюбой набор четырех проходяцих через 0 прямых не прост (дожаiките!).

П ример2. Будем классифицировать критические точки (комплексных) гладких функций, относя функции в один класс, если они сводятся одна к другой гладкой (комплексной) локальной заменой переменных. Cnuсои простых особенностей (скажем, для функций трех переменных) состоит из двух бесконечных серий и трех исключительных особенностей:
\[
\begin{array}{c}
A_{k}=x^{2}+y^{2}+z^{k+1}, k \geqslant 1 ; \\
D_{k}=x^{2}+y^{2} z+z^{k-1}, k \geqslant 4 ; \\
E_{6}=x^{2}+y^{3}+z^{4}, \\
E_{7}=x^{2}+y^{3}+y z^{3}, \\
E_{8}=x^{2}+y^{3}+z^{5} .
\end{array}
\]

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

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

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

Простые особенности каустик и волновых фронтов также образуют две бесконечные серии $A_{k}$ и $D_{k}$ и три исключительные особенности $E_{k}$ (начальные члены серий изображены на рис. $34-45$ ).

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

Рис, 82. Простой и непростой колчаны
Рис. 83. Диаграмхы Дынкина, определяющие простые колчаны

серии и три исключения (исключения – группы симметрић тетраэдра $\left(E_{6}\right)$, октаэдра $\left(E_{7}\right)$ и икосаэдра $\left(E_{8}\right)$, серии – групшы правильного многоугольника и правильного диэдра, т.е. двустороннего многоугольника с окрашенными в разные или одинаковые цвета гранями).

На первый взгляд, функции, колчаны, каустики, фронты и правильные многогранники не связаны между собой. На самом деле соответственные объекты не случайно обозначены одинаково: например, из икосаәдра можно построить функцию $x^{2}+y^{3}+z^{5}$, а из нее – диаграмму $E_{8}$, a также каустику и волновой фронт того же имени.

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

По словам поэта:
Мир создан купно. Целостность его
Не устает показывать планета –
И вот в глаза бросается родство
$\mathrm{T}_{0}$ тут, то там сияющего света.
Наверно, есть какое-то ядро,
Откуда свет расходится повсюду:
И в зрелый свет сентябрьских щедрот,
И в нашей жизни трепетное чудо.

Описание в терминах теории особенностей было найдено в 1983 г. для всех групп Кокстера, порожденных отражениями в евклидовых пространствах, включая некристаллографические, вроде $H_{3}$ и $H_{4}$.

Группы $B_{k}, C_{k}$ и $F_{4}$ связаны с краевыми особенностями функций (1978). Катастрофисты, кажется, все еще не заметили связей теории краевых особенностей с простейшими (и важнейшими) случаями так называемой теории несовершенных бифуркаций. Более сложные случаи последней связаны с теорией Горюнова проектирований полных пересечений, которая является далеким обобщением теории краевых особенностей. В теории Горюнова, в частности, исключительная группа $F_{4}$ оказывается родоначальником целого семейства особенностей $F_{k}, k \geqslant 4$.

Геометрическая интерпретация каустики $F_{4}$ найдена И. Г. Щербак. Рассмотрим поверхность о краем в обычном трехмерном евклидовом пространстве. Каустика поверхности с краем состоит из трех поверхностей: фокального множества исходной поверхности (образованного ее центрами кривизны), фокального множества граничной кривой (являющегося огибающей семейства нормальных плоскостей) п поверхности, составленной из нормалей к исходной поверхности в граничных точках. Для поверхностей с краем общего положения в отдельных точках край касается направления главной кривизны. В окрестности фокальной точки на нормали к поверхности, проведенной в такой точке края, каустика поверхности локально диффеоморфна каустике групны $F_{4}$ (рис. 84).
$H_{3}$, группа симметрий икосаәдра, связана с перестройками эвольвент плоской кривой вблизи ее точки перегиба. В соответствующей плоской задаче об обходе препятствий графнк многозначной функции времени диффеоморфен многообразию нерегулярных орбит группы $H_{3}$; он диффеоморфен также объединению касательных к кривой $x=t, y=t^{3}, z=t^{5}$ (О. В. Лящко, О. П. Щербак). В задаче об обходе препятствия в трехмерном пространстве то же многообразие описывает особенность фронта в некоторых точках на поверхности препятствия.
$H_{4}$ – это группа симметрий правильного 600 -гранника в четырехмерном евклидовом пространстве. Чтобы описать этот многогранник, нашнем с группы вращений икосаәдра. При двулистпом накрытии $\mathrm{SU}(2) \rightarrow \mathrm{SO}(3)$ эта группа из 60 вращений накрывается кбинарной группой икосаэдра» из 120 элементов. Группа $\mathrm{SU}(2)$ естественно изометрична трехмерной сфере, и 120 элементов бинарной группы образуют набор вернин псюомого правильного многогранника в четырехмерном пространстве.

Рассмотрим теперь задачу об обходе препятствия в трехмерном пространстве. Графнк (многозначной) функции времени является гиперповерхностью в четырехмерном пространстве-времени. Для задачи об обходе прешятствия общего положения эта гиперповерхность локально

Рис. 84. Каустика группы $F_{4}$ – типичная особенность фокального множества поверхности с граем

циффеоморфна многообразию нерегулярных орбит групшы $H_{4}$ в некоторой точке. А именно, нужная точка лежит на касательной к геодезической на поверхности препятствия, имеющей в параболической точке касания асимптотическое для поверхности направлекие (О.П. Цербак, 1984).