Математическая энциклопедия - особенности дифференцируемых отображений

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

Точка области определения дифференцируемого отображения (т. е. отображения класса , см. Дифференцируемое многообразие).наз. регулярной, если в этой точке матрица Якоби имеет максимальный ранг, и критической в противном случае.

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

Во многих случаях ограничиться рассмотрением лишь регулярных точек недостаточно, поэтому естественны вопросы:

а) описания отображения в окрестности каждой критич. точки;

б) описания строения множества критич. точек.

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

Вопросы а), б) и многие другие в теории особенностей исследуются по следующей схеме:

1) из рассмотрения исключается множество "нетипичных", "патологических" отображений,

2) указывается критерий "типичности" отображения,

3) проверяется, что всякое отображение аппроксимируется "типичными",

4) изучаются "типичные" отображения.

Выбор множества типичных отображений зависит от решаемой задачи и не однозначен: чем меньше отображений отнесено к типичным, тем легче задача их изучения, однако 2) и 3) требуют, чтобы множество типичных отображений было достаточно широким и достаточно конструктивно определяемым.

Эту схему иллюстрирует следующая теорема Уитни: всякое дифференцируемое отображение можно аппроксимировать таким отображением f, что для любой точки в окрестностях точек а и f(а) можно выбрать координаты, в к-рых отображение f записывается в одной из трех нормальных форм:

(критерий типичности см. в [3] или [4]). Работа X. Уитни (Н. Whitney, 1955), в к-рой была доказана эта теорема, считается началом теории О. д. о., хотя ряд отдельных результатов появился гораздо раньше (теория Морса критических точек функций, теоремы Уитни об особенностях вложений, работы Л. С. Понтрягина о связи особенностей с характеристическими классами).

Основные понятия теории особенностей дифференциальных отображений.

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

Важная локальная задача теории О. д. о.изучение естественного действия группы

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

Расслоения струй. Пусть гладкие отображения и f(p)=g(p)=q;отображения f и gимеют, по определению, касание порядка kв точке р, если их ряды Тейлора в этой точке совпадают до порядка k. Класс эквивалентности отображений, имеющих в точке ркасание порядка k, наз. k- струей. Множество всех f-струй отображений, переводящих ряд, наделяется естественной структурой гладкого многообразия и обозначается Определена естественная проекция

Класс эквивалентности гладких замен переменных в X, сохраняющих точку рн имеющих в этой точке касание порядка k, наз. о б р а т и м о и k- струей в точке р. Обратимые f-струи образуют группу Ли

. Группа Ли действует на , аппроксимируя действие

Пусть = (дизъюнктное объединение (X,Y)p,q по всем .

Множество наделяется естественной структурой гладкого расслоения над со слоем

и структурной группой

где m=dim X, n=dim Y.

Особенности и классы особенностей. Орбита действия на наз. k-оcобенностью; любое подмножество в J^k(m,n), инвариантное относительно , наз. классом k - особенностей. Пусть Sтакой класс. Поскольку J^k(m,n).можно отождествить с J^k(X,Y)p,q, в J^k(X,Y)p,q определяется подмножество S(X,Y)p,q, не зависящее от способа отождествления. Множество S(X, Y)={объединение S(X, Y)p,q. по всем ( р, д)}наз. универсальным классом особенностей (или универсально и особенностью, если S - особенность). Универсальная особенность S(X,Y).является подмногообразием в J^k(X,Y), коразмерность этого подмногообразия равна коразмерности Sв J^k(m,n).

Пусть гладкое отображение. Сопоставлением каждой точке k-струи отображения f в точке р получается гладкое отображение J^k(X,Y), наз. k-струйным расширением f. Отображение имеет, по определению, в точке p особенность типа S, если . Множество S(f) всех точек, в к-рых f имеет особенность типа S, есть не что иное, как . Поэтому изучение множества S(f) разбивается на два этапа: изучение универсального множества S(X, Y) в J^k(X, Y), сводящееся к изучению Sв J^k(m,n); изучение взаимного расположения S(X, Y) и j^kf(X). На втором этапе обычно применяется теорема трансверсальности Тома.

Трансверсальность. Гладкое отображение гладких многообразии трансверсально подмногообразию (обозначается ), если для любой точки либо , либо 0. Если , то множество f^-1 (С) либо пусто; либо является подмногообразием в А, коразмерность к-рого равна коразмерности Св В. Теорема трансверсальности Тома: пусть X, Y - гладкие многообразия и С подмногообразие в J^k(X, Y); тогда множество тех f, для к-рых , является массивным подмножеством в (X,Y) в -топологии Уитни. (Множество наз. массивным, если оно является пересечением счетного числа открытых плотных подмножеств.)

Топология Уитни. Пусть и U - открытое множество в J^k(X, Y). Пусть

Множества M(U).образуют базис нек-рой топологии, паз. -топологией Уитни на . В этой топологии является Бэра пространством, т. е. каждое массивное подмножество плотно. Мультиструи. При изучении самопересечений образа гладкого отображения используется понятие мультиструи. Пусть естественная проекция. Пусть

и (s раз). Множество может быть наделено естественной структурой гладкого многообразия и наз. s-кратным расслоением k-cтруи. Для s-кратных струй определяются k-струйное расширение отображения f, k-особенности, универсальные особенности и т. д. и доказывается аналог теоремы трансверсальности Тома.

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

Гладкое отображение гладких многообразий наз. устойчивым, если для любого достаточно близкого к f отображения найдутся диффеоморфизмы и такие, что

При небольших , а также при n=1 и любом тустойчивые дифференцируемые отображения плотны в пространстве всех собственных дифференцируемых отображений [3]. В пространстве отображений устойчивые отображения не составляют всюду плотного множества (см. [1]). Для нек-рых пар многообразий (напр., для ) вообще нет ни одного устойчивого отображения Xв Y. Найдены |14], [15| все "устойчивые размерности" ( т, n):для любых гладких многообразий Х ^т и Yⁿ устойчивые отображения Х ^т в Yⁿ плотны в пространстве собственных дифференцируемых отображений X^m->Yⁿ, снабженном -топологией Уитни, тогда и только тогда, когда пара, (m, n) удовлетворяет хотя бы одному из следующих условий и ; б) n<7q+9 и ; в) n<8 и q= 1; г) n<6 и q= -2; д) n<7 и

При доказательстве этой теоремы, а также во многих других вопросах оказываются полезными следующие два понятия: отображение наз. гомотопически устойчивым, если для любой гладкой гомотонии ft отображения f0 найдутся гладкие гомотопии ht и kt тождественных диффеоморфизмов X^m и Yⁿ такие, что для достаточно малых t;отображение наз. инфинитезимально устойчивым, если всякое бесконечно близкое к f0 отображение может быть получено из f0 "бесконечно близкими к тождественным" диффеоморфизмами X^m и Yⁿ. Для собственного отображения понятие устойчивости, гомотопич. устойчивости и инфинитезимальной устойчивости совпадают [3]. Задача нахождения локальных нормальных форм устойчивых отображений сводится к задаче классификации нек-рых конечномерных локальных алгебр [14], [15]. Для фиксированных m, re число таких нормальных форм конечно.

Если в определении устойчивого отображения в качестве h и kвзять вместо диффеоморфизмов гомеоморфизмы, то получится определение топологически устойчивого отображения. Доказана теорема (см. [8]) о плотности множества топологических устойчивых отображений в пространстве всех отображений любого компактного многообразия Х ^т в любое многообразие Yⁿ (при любых т, п).

Конечно определенные ростки. Пусть нек-рое отношение эквивалентности на множестве ростков отображений , переводящих 0 в 0. k-струя любого такого ростка это его отрезок ряда Тейлора порядка k. Росток f наз. k-определенным, если любой другой росток g, имеющий ту же k-струю, удовлетворяет соотношению . Росток наз. конечно определенным, если он k-определен при нек-ром k. Достаточно и наз. такая k-оструя s, что любые два ростка f, g, имеющие s в качестве k-струи, удовлетворяют соотношению . Наиболее часто встречающиеся эквивалентности носят специальные названия:

r-эквивалентность принадлежность одной орбите группы "правых" зимен координат; rl -эквивалентность принадлежность одной орбите группы

Топологическая эквивалентность принадлежность одной орбите группы . Изучении k-определенного ростка сводится к изучению отображения, заданного многочленами степени .

Решение вопроса о том, является ли росток f k-определенным относительно rl -эквивалентности, сводится к задаче о разрешимости нек-poй явно выписываемой системы конечного числа линейных уравнений.