WikiDer > Раскладывание (функции)

Unfolding (functions)

В математике разворачиваться гладкой вещественной функция ƒ на гладком многообразии - некоторое семейство функций, включающееƒ.

Определение

Позволять ${ displaystyle M}$ быть гладкое многообразие и рассмотрим гладкое отображение ${ displaystyle f: M to mathbb {R}.}$ Предположим, что для данного ${ displaystyle x_ {0} in M}$ и ${ displaystyle y_ {0} in mathbb {R}}$ у нас есть ${ displaystyle f (x_ {0}) = y_ {0}}$ . Позволять ${ displaystyle N}$ быть гладким ${ displaystyle k}$ -мерное многообразие и рассмотрим семейство отображений (параметризованное ${ displaystyle N}$ ) предоставлено ${ displaystyle F: M times N to mathbb {R}.}$ Мы говорим что ${ displaystyle F}$ это ${ displaystyle k}$ -параметр разворачивания ${ displaystyle f}$ если ${ Displaystyle F (х, 0) = е (х)}$ для всех ${ displaystyle x.}$ Другими словами, функции ${ displaystyle f: M to mathbb {R}}$ и ${ displaystyle F: M times {0 } to mathbb {R}}$ такие же: функция ${ displaystyle f}$ содержится в семье или разворачивается в ней ${ displaystyle F.}$

Пример

Позволять ${ displaystyle f: mathbb {R} ^ {2} to mathbb {R}}$ быть предоставленным ${ displaystyle f (x, y) = x ^ {2} + y ^ {5}.}$ Пример развертывания ${ displaystyle f}$ было бы ${ Displaystyle F: mathbb {R} ^ {2} times mathbb {R} ^ {3} to mathbb {R}}$ данный

{ displaystyle F ((x, y), (a, b, c)) = x ^ {2} + y ^ {5} + ay + by ^ {2} + cy ^ {3}.}

Как и в случае с развёртыванием, ${ displaystyle x}$ и ${ displaystyle y}$ называются переменными, а ${ displaystyle a,}$ ${ displaystyle b,}$ и ${ displaystyle c}$ называются параметрами, так как они параметризуют разворачивание.

Хорошая развёртка

На практике мы требуем, чтобы развертки обладали определенными свойствами. В ${ Displaystyle mathbb {R}}$ , ${ displaystyle f}$ является гладким отображением из ${ displaystyle M}$ к ${ Displaystyle mathbb {R}}$ и так принадлежит функциональное пространство ${ displaystyle C ^ { infty} (M, mathbb {R}).}$ Варьируя параметры разворачивания, мы получаем разные элементы функционального пространства. Таким образом, развертка индуцирует функцию ${ displaystyle Phi: N to C ^ { infty} (M, mathbb {R}).}$ Космос ${ displaystyle operatorname {diff} (M) times operatorname {diff} ( mathbb {R})}$ , куда ${ displaystyle operatorname {diff} (M)}$ обозначает группа из диффеоморфизмы из ${ displaystyle M}$ так далее., действует на ${ displaystyle C ^ { infty} (M, mathbb {R}).}$ Действие дано ${ displaystyle ( phi, psi) cdot f = psi circ f circ phi ^ {- 1}.}$ Если ${ displaystyle g}$ лежит в орбита из ${ displaystyle f}$ при этом действии происходит диффеоморфная замена координат в ${ displaystyle M}$ и ${ Displaystyle mathbb {R}}$ , который занимает ${ displaystyle g}$ к ${ displaystyle f}$ (наоборот). Одно свойство, которое мы можем навязать, заключается в том, что

{ Displaystyle OperatorName {Im} ( Phi) Вилы OperatorName {orb} (f)}

куда " ${ Displaystyle Вилы}$ "обозначает"поперечный к ". Это свойство гарантирует, что при изменении параметров разворачивания мы сможем предсказать - зная, как орбита листовые ${ Displaystyle С ^ { infty} (М, mathbb {R})}$ - как изменятся результирующие функции.

Версаль разворачивается

Есть идея развёртывания версала. Каждое версальное развертывание обладает тем свойством, что ${ Displaystyle OperatorName {Im} ( Phi) Вилы OperatorName {orb} (f)}$ , но обратное неверно. Позволять ${ displaystyle x_ {1}, ldots, x_ {n}}$ быть местными координатами на ${ displaystyle M}$ , и разреши ${ Displaystyle { mathcal {O}} (x_ {1}, ldots, x_ {n})}$ обозначить звенеть гладких функций. Мы определяем Якобианский идеал из ${ displaystyle f}$ , обозначаемый ${ displaystyle J_ {f}}$ , следующее:

{ displaystyle J_ {f}: = left langle { frac { partial f} { partial x_ {1}}}, ldots, { frac { partial f} { partial x_ {n}} } right rangle.}

Затем основа для версального развертывания ${ displaystyle f}$ дается частное

{ displaystyle { frac {{ mathcal {O}} (x_ {1}, ldots, x_ {n})} {J_ {f}}}}

.

Этот фактор известен как локальная алгебра ${ displaystyle f}$ . Размерность локальной алгебры называется числом Милнора ${ displaystyle f}$ . Минимальное количество параметров разворачивания версальной развёртки равно числу Милнора; это не означает, что каждое развертывание с таким количеством параметров будет версальным. Рассмотрим функцию ${ displaystyle f (x, y) = x ^ {2} + y ^ {5}}$ . Расчет показывает, что

{ displaystyle { frac {{ mathcal {O}} (x, y)} { langle 2x, 5y ^ {4} rangle}} = {y, y ^ {2}, y ^ {3} } .}

Это означает, что ${ Displaystyle {у, у ^ {2}, у ^ {3} }}$ дают основу для разворачивания версала, и это

{ displaystyle F ((x, y), (a, b, c)) = x ^ {2} + y ^ {5} + ay + by ^ {2} + cy ^ {3}}

это версальное развертывание. Версальное развертывание с минимально возможным числом параметров развертывания называется миниверсальным развертыванием.

Бифуркационные наборы разверток

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

Другая терминология

Иногда развертки называют деформациями, версальные развертки - версальными деформациями и т. Д.

Navigation