WikiDer > Удобное векторное пространство

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

Традиционный дифференциальное исчисление эффективен при анализе конечномерных векторные пространства и для Банаховы пространства. За пределами банаховых пространств начинают возникать трудности; в частности, состав непрерывные линейные отображения перестают быть совместно непрерывными на уровне банаховых пространств,^{[Примечание 1]} для любой согласованной топологии на пространствах непрерывных линейных отображений.

Отображения между удобными векторными пространствами гладкий или же ${ Displaystyle C ^ { infty}}$ если они отображают гладкие кривые на гладкие кривые. Это приводит к Декартова закрытая категория гладких отображений между ${ displaystyle c ^ { infty}}$-открытые подмножества удобных векторных пространств (см. свойство 6 ниже). Соответствующее исчисление гладких отображений называется удобный расчетЭто более слабое, чем любое другое разумное понятие дифференцируемости, его легко применить, но есть гладкие отображения, которые не являются непрерывными (см. Примечание 1). Этот тип исчисления сам по себе бесполезен при решении уравнений^{[Заметка 2]}.

В ${ displaystyle c ^ { infty}}$-топология

Позволять ${ displaystyle E}$ - локально выпуклое векторное пространство. Кривая ${ displaystyle c: mathbb {R} to E}$ называется гладкий или же ${ Displaystyle C ^ { infty}}$ если все производные существуют и непрерывны. Позволять ${ Displaystyle С ^ { infty} ( mathbb {R}, E)}$ - пространство гладких кривых. Можно показать, что множество гладких кривых не полностью зависит от локально выпуклой топологии ${ displaystyle E}$, только на связанных борнология (система ограниченных множеств); см. [KM], 2.11. Окончательные топологии относительно следующих наборов отображений в ${ displaystyle E}$ совпадают; см. [KM], 2.13.

• ${ Displaystyle С ^ { infty} ( mathbb {R}, E)}$.
• Множество всех кривых Липшица (так что ${ displaystyle left {{ dfrac {c (t) -c (s)} {t-s}}: t neq s {,} | t |, | s | leq C right }}$ ограничен в ${ displaystyle E}$, для каждого ${ displaystyle C}$).
• Набор инъекций ${ displaystyle E_ {B} to E}$ куда ${ displaystyle B}$ проходит через все ограниченные абсолютно выпуклый подмножества в ${ displaystyle E}$, и где ${ displaystyle E_ {B}}$ линейная оболочка ${ displaystyle B}$ оснащен Функционал Минковского ${ displaystyle | x | _ {B}: = inf { lambda> 0: x in lambda B }}$.
• Множество всех сходящихся по Макки последовательностей ${ displaystyle x_ {n} to x}$ (существует последовательность ${ displaystyle 0 < lambda _ {n} to infty}$ с ${ displaystyle lambda _ {n} (x_ {n} -x)}$ ограниченный).

Эта топология называется ${ displaystyle c ^ { infty}}$-топология на ${ displaystyle E}$ и мы пишем ${ displaystyle c ^ { infty} E}$ для полученного топологического пространства. В целом (по космосу ${ displaystyle D}$ гладких функций с компактным носителем на вещественной прямой, например) она тоньше, чем данная локально выпуклая топология, это не топология векторного пространства, поскольку сложение больше не является совместно непрерывным. А именно даже ${ displaystyle c ^ { infty} (D times D) neq (c ^ { infty} D) times (c ^ { infty} D)}$Лучшая среди всех локально выпуклых топологий на ${ displaystyle E}$ которые грубее, чем ${ displaystyle c ^ { infty} E}$ является борнологификацией данной локально выпуклой топологии. Если ${ displaystyle E}$ является пространством Фреше, то ${ displaystyle c ^ { infty} E = E}$.

Удобные векторные пространства

Локально выпуклое векторное пространство ${ displaystyle E}$ считается удобное векторное пространство если выполняется одно из следующих эквивалентных условий (называемых ${ displaystyle c ^ { infty}}$-полнота); см. [KM], 2.14.

• Для любого ${ Displaystyle с в С ^ { infty} ( mathbb {R}, E)}$ интеграл (Римана) ${ Displaystyle int _ {0} ^ {1} с (т) , дт}$ существует в ${ displaystyle E}$.
• Любая кривая Липшица в ${ displaystyle E}$ локально интегрируем по Риману.
• Любой скалярно ${ Displaystyle C ^ { infty}}$ кривая ${ Displaystyle C ^ { infty}}$: Кривая ${ displaystyle c: mathbb {R} to E}$ гладко тогда и только тогда, когда композиция ${ displaystyle lambda circ c: t mapsto lambda (c (t))}$ в ${ Displaystyle С ^ { infty} ( mathbb {R}, mathbb {R})}$ для всех ${ displaystyle lambda in E ^ {*}}$ куда ${ displaystyle E ^ {*}}$ является двойственным ко всем непрерывным линейным функционалам на ${ displaystyle E}$.
  • Равно как для всех ${ displaystyle lambda in E '}$, двойственный ко всем линейным ограниченным функционалам.
  • Равно как для всех ${ displaystyle lambda in V}$, куда ${ displaystyle V}$ это подмножество ${ displaystyle E '}$ который распознает ограниченные подмножества в ${ displaystyle E}$; см. [KM], 5.22.
• Любая последовательность Макки-Коши (т. Е. ${ displaystyle t_ {нм} (x-x_ {m}) to 0}$ для некоторых ${ displaystyle t_ {нм} to infty}$ в ${ Displaystyle mathbb {R}}$ сходится в ${ displaystyle E}$. Очевидно, это требование умеренной полноты.
• Если ${ displaystyle B}$ является ограниченно замкнутым абсолютно выпуклым, то ${ displaystyle E_ {B}}$ является банаховым пространством.
• Если ${ displaystyle f: mathbb {R} to E}$ скалярно ${ displaystyle { text {Lip}} ^ {k}}$, тогда ${ displaystyle f}$ является ${ displaystyle { text {Lip}} ^ {k}}$, за ${ displaystyle k> 1}$.
• Если ${ displaystyle f: mathbb {R} to E}$ скалярно ${ Displaystyle C ^ { infty}}$ тогда ${ displaystyle f}$ дифференцируема в ${ displaystyle 0}$.

Здесь отображение ${ displaystyle f: mathbb {R} to E}$ называется ${ displaystyle { text {Lip}} ^ {k}}$ если все производные на порядок ${ displaystyle k}$ существуют и являются липшицевыми, локально на ${ Displaystyle mathbb {R}}$.

Гладкие сопоставления

Позволять ${ displaystyle E}$ и ${ displaystyle F}$ удобные векторные пространства, и пусть ${ Displaystyle U substeq E}$ быть ${ displaystyle c ^ { infty}}$-открыто. Отображение ${ displaystyle f: U to F}$ называется гладкий или же ${ Displaystyle C ^ { infty}}$, если состав ${ Displaystyle е круг с в С ^ { infty} ( mathbb {R}, F)}$ для всех ${ Displaystyle с в С ^ { infty} ( mathbb {R}, U)}$. См. [KM], 3.11.

Основные свойства гладкого исчисления

1. Для отображений на пространствах Фреше это понятие гладкости совпадает со всеми другими разумными определениями. На ${ Displaystyle mathbb {R} ^ {2}}$ это нетривиальная теорема, доказанная Боманом, 1967. См. также [KM], 3.4.

2. Полилинейные отображения гладкие тогда и только тогда, когда они ограничены ([KM], 5.5).

3. Если ${ displaystyle f: E supseteq U to F}$ гладкая, то производная ${ displaystyle df: U times E to F}$ гладкая, а также ${ displaystyle df: U к L (E, F)}$ гладко, где ${ Displaystyle L (E, F)}$ обозначает пространство всех ограниченных линейных отображений с топологией равномерной сходимости на ограниченных подмножествах; см. [KM], 3.18.

4. Верно цепное правило ([KM], 3.18).

5. Пространство ${ Displaystyle C ^ { infty} (U, F)}$ всех гладких отображений ${ displaystyle U to F}$ снова является удобным векторным пространством, где структура задается следующей инъекцией, где ${ Displaystyle С ^ { infty} ( mathbb {R}, mathbb {R})}$ несет топологию компактной сходимости по каждой производной отдельно; см. [KM], 3.11 и 3.7.

${ displaystyle C ^ { infty} (U, F) to prod _ {c in C ^ { infty} ( mathbb {R}, U), ell in F ^ {*}} C ^ { infty} ( mathbb {R}, mathbb {R}), quad f mapsto ( ell circ f circ c) _ {c, ell} ,.}$

6. экспоненциальный закон выполняется ([KM], 3.12): Для ${ displaystyle c ^ { infty}}$-открыто ${ Displaystyle V substeq F}$ следующее отображение является линейным диффеоморфизмом удобных векторных пространств.

${ Displaystyle C ^ { infty} (U, C ^ { infty} (V, G)) cong C ^ { infty} (U times V, G), qquad f mapsto g, qquad f (u) (v) = g (u, v).}$

Это основное предположение вариационного исчисления. Вот это теорема. Это свойство является источником названия удобный, который был заимствован из (Steenrod 1967).

7. Теорема о гладкой равномерной ограниченности ([KM], теорема 5.26). Линейное отображение ${ displaystyle f: E to C ^ { infty} (V, G)}$ гладко (по (2) эквивалентно ограниченному) тогда и только тогда, когда ${ displaystyle operatorname {ev} _ {v} circ f: V to G}$ гладко для каждого ${ displaystyle v in V}$.

8. Следующие канонические отображения являются гладкими. Это следует из экспоненциального закона простыми категоричными рассуждениями, см. [KM], 3.13.

${ displaystyle { begin {align} & operatorname {ev}: C ^ { infty} (E, F) times E to F, quad { text {ev}} (f, x) = f (x) [6pt] & operatorname {ins}: E to C ^ { infty} (F, E times F), quad { text {ins}} (x) (y) = ( x, y) [6pt] & ( quad) ^ { wedge}: C ^ { infty} (E, C ^ { infty} (F, G)) to C ^ { infty} ( E times F, G) [6pt] & ( quad) ^ { vee}: C ^ { infty} (E times F, G) to C ^ { infty} (E, C ^ { infty} (F, G)) [6pt] & operatorname {comp}: C ^ { infty} (F, G) times C ^ { infty} (E, F) to C ^ { infty} (E, G) [6pt] & C ^ { infty} ( quad, quad): C ^ { infty} (F, F_ {1}) times C ^ { infty} (E_ {1}, E) в C ^ { infty} (C ^ { infty} (E, F), C ^ { infty} (E_ {1}, F_ {1})), quad (f, g) mapsto (h mapsto f circ h circ g) [6pt] & prod: prod C ^ { infty} (E_ {i}, F_ {i}) to C ^ { infty} left ( prod E_ {i}, prod F_ {i} right) end {align}}}$

Связанные удобные исчисления

Удобное исчисление гладких отображений впервые появилось в [Frölicher, 1981], [Kriegl 1982, 1983]. Удобное исчисление (имеющее свойства 6 и 7) существует также для:

• Действительные аналитические отображения (Kriegl, Michor, 1990; см. Также [KM], глава II).
• Голоморфные отображения (Kriegl, Nel, 1985; см. Также [KM], глава II). Понятие голоморфности принадлежит [Fantappié, 1930-33].
• Многие классы ультрадифференцируемых функций Данжуа-Карлемана как типа Берлинга, так и типа Румье [Kriegl, Michor, Rainer, 2009, 2011, 2015].
• С некоторыми приспособлениями, ${ displaystyle operatorname {Lip} ^ {k}}$, [FK].
• С большим количеством приспособлений даже ${ displaystyle C ^ {k, alpha}}$ (т.е. ${ displaystyle k}$-я производная непрерывна по Гёльдеру с индексом ${ displaystyle alpha}$) ([Faure, 1989], [Faure, These Geneve, 1991]).

Соответствующее понятие удобного векторного пространства является одним и тем же (для лежащего в их основе вещественного векторного пространства в комплексном случае) для всех этих теорий.

Приложение: Многообразия отображений между конечномерными многообразиями.

Экспоненциальный закон 6 удобного исчисления позволяет очень просто доказывать основные факты о многообразиях отображений. Позволять ${ displaystyle M}$ и ${ displaystyle N}$ быть конечномерным гладкие многообразия куда ${ displaystyle M}$ является компактный. Используем вспомогательный Метрика Римана ${ displaystyle { bar {g}}}$ на ${ displaystyle N}$. В Риманово экспоненциальное отображение из ${ displaystyle { bar {g}}}$ описан на следующей схеме:

Он наводит на пространство атлас карт. ${ Displaystyle С ^ { infty} (М, N)}$ всех гладких отображений ${ displaystyle M to N}$ следующим образом. Диаграмма с центром в ${ Displaystyle е в С ^ { infty} (М, N)}$, является:

${ displaystyle u_ {f}: C ^ { infty} (M, N) supset U_ {f} = {g: (f, g) (M) subset V ^ {N times N} } to { tilde {U}} _ {f} subset Gamma (f ^ {*} TN),}$

${ displaystyle u_ {f} (g) = ( pi _ {N}, exp ^ { bar {g}}) ^ {- 1} circ (f, g), quad u_ {f} ( g) (x) = ( exp _ {f (x)} ^ { bar {g}}) ^ {- 1} (g (x)),}$

${ displaystyle (u_ {f}) ^ {- 1} (s) = exp _ {f} ^ { bar {g}} circ s, qquad quad (u_ {f}) ^ {- 1 } (s) (x) = exp _ {f (x)} ^ { bar {g}} (s (x)).}$

Теперь легко усвоить основные факты. ${ displaystyle f ^ {*} TN}$ а применение экспоненциального закона 6 приводит к диффеоморфизму

${ displaystyle C ^ { infty} ( mathbb {R}, Gamma (M; f ^ {*} TN)) = Gamma ( mathbb {R} times M; operatorname {pr_ {2}} ^ {*} f ^ {*} TN).}$

Все сопоставления смены диаграмм гладкие (${ Displaystyle C ^ { infty}}$), поскольку они отображают гладкие кривые в гладкие кривые:

${ displaystyle { tilde {U}} _ {f_ {1}} ni s mapsto ( pi _ {N}, exp ^ { bar {g}}) circ s mapsto ( pi _ {N}, exp ^ { bar {g}}) circ (f_ {2}, exp _ {f_ {1}} ^ { bar {g}} circ s).}$

Таким образом ${ Displaystyle С ^ { infty} (М, N)}$является гладким многообразием, моделируемым на пространствах Фреше. Пространство всех гладких кривых в этом многообразии задается формулой

${ displaystyle C ^ { infty} ( mathbb {R}, C ^ { infty} (M, N)) cong C ^ { infty} ( mathbb {R} times M, N).}$

Поскольку он явно отображает гладкие кривые на гладкие кривые, сочинение

${ Displaystyle C ^ { infty} (P, M) times C ^ { infty} (M, N) к C ^ { infty} (P, N), qquad (f, g) mapsto g circ f,}$

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

${ displaystyle pi _ {C ^ { infty} (M, N)} = C ^ { infty} (M, pi _ {N}): TC ^ { infty} (M, N) = C ^ { infty} (M, TN) to C ^ { infty} (M, N).}$

Регулярные группы Ли

Позволять ${ displaystyle G}$ быть связным гладким Группа Ли моделируются на удобных векторных пространствах с алгеброй Ли ${ displaystyle { mathfrak {g}} = T_ {e} G}$. Умножение и инверсия обозначаются:

${ displaystyle mu: G times G to G, quad mu (x, y) = xy = mu _ {x} (y) = mu ^ {y} (x), qquad nu : G to G, nu (x) = x ^ {- 1}.}$

Идея регулярной группы Ли принадлежит Omori et al. для групп Фреше Ли была ослаблена и сделана более прозрачной Дж. Милнором, а затем перенесена на удобные группы Ли; см. [KM], 38.4.

Группа Ли ${ displaystyle G}$ называется обычный если выполнены следующие два условия:

• Для каждой плавной кривой ${ Displaystyle X в C ^ { infty} ( mathbb {R}, { mathfrak {g}})}$ в алгебре Ли существует гладкая кривая ${ Displaystyle г в С ^ { infty} ( mathbb {R}, G)}$ в группе Ли, правая логарифмическая производная которой равна ${ displaystyle X}$. Оказывается, ${ displaystyle g}$ однозначно определяется своим начальным значением ${ displaystyle g (0)}$, если он существует. То есть,

${ Displaystyle г (0) = е, qquad partial _ {t} g (t) = T_ {e} ( mu ^ {g (t)}) X (t) = X (t) .g ( t).}$

Если ${ displaystyle g}$ единственное решение для кривой ${ displaystyle X}$ требуемое выше, обозначим

${ displaystyle operatorname {evol} _ {G} ^ {r} (X) = g (1), quad operatorname {Evol} _ {G} ^ {r} (X) (t): = g ( t) = operatorname {evol} _ {G} ^ {r} (tX).}$

• Следующее отображение должно быть гладким:

${ displaystyle operatorname {evol} _ {G} ^ {r}: C ^ { infty} ( mathbb {R}, { mathfrak {g}}) to G.}$

Если ${ displaystyle X}$ постоянная кривая в алгебре Ли, то ${ Displaystyle OperatorName {evol} _ {G} ^ {r} (X) = exp ^ {G} (X)}$ - групповое экспоненциальное отображение.

Теорема. Для каждого компактного многообразия ${ displaystyle M}$, группа диффеоморфизмов ${ displaystyle operatorname {Diff} (M)}$ - регулярная группа Ли. Его алгебра Ли - это пространство ${ Displaystyle { mathfrak {X}} (М)}$ всех гладких векторных полей на ${ displaystyle M}$, с минусом обычной скобки в качестве скобки Ли.

Доказательство: Группа диффеоморфизмов ${ displaystyle operatorname {Diff} (M)}$ является гладким многообразием, так как это открытое подмножество в ${ Displaystyle С ^ { infty} (М, М)}$. Состав гладкий за счет ограничения. Инверсия плавная: если ${ Displaystyle т к е (т, )}$ гладкая кривая в ${ displaystyle operatorname {Diff} (M)}$, тогда ж(т,  )⁻¹
${ Displaystyle е (т, ) ^ {- 1} (х)}$ удовлетворяет неявному уравнению ${ Displaystyle е (т, е (т, квад) ^ {- 1} (х)) = х}$, поэтому по конечномерной теореме о неявной функции ${ Displaystyle (т, х) mapsto е (т, ) ^ {- 1} (х)}$ гладко. Таким образом, инверсия отображает гладкие кривые в гладкие кривые, и, таким образом, инверсия гладкая. ${ Displaystyle Х (т, х)}$ быть зависящим от времени векторным полем на ${ displaystyle M}$ (в ${ Displaystyle С ^ { infty} ( mathbb {R}, { mathfrak {X}} (М))}$Тогда оператор потока ${ displaystyle operatorname {Fl}}$ соответствующего автономного векторного поля ${ displaystyle partial _ {t} times X}$ на ${ Displaystyle mathbb {R} times M}$ индуцирует оператор эволюции через

${ displaystyle operatorname {Fl} _ {s} (t, x) = (t + s, operatorname {Evol} (X) (t, x))}$

которое удовлетворяет обыкновенному дифференциальному уравнению

${ displaystyle partial _ {t} operatorname {Evol} (X) (t, x) = X (t, operatorname {Evol} (X) (t, x)).}$

Для гладкой кривой в алгебре Ли ${ displaystyle X (s, t, x) in C ^ { infty} ( mathbb {R} ^ {2}, { mathfrak {X}} (M))}$, то решение обыкновенного дифференциального уравнения гладко зависит и от дальнейшей переменной ${ displaystyle s}$,таким образом ${ displaystyle operatorname {evol} _ { operatorname {Diff} (M)} ^ {r}}$ отображает гладкие кривые зависящих от времени векторных полей в гладкие кривые диффеоморфизма. QED.

Главный пучок вложений

Для конечномерных многообразий ${ displaystyle M}$ и ${ displaystyle N}$ с ${ displaystyle M}$ компактный, пространство ${ displaystyle operatorname {Emb} (M, N)}$ всех гладких вложений ${ displaystyle M}$ в ${ displaystyle N}$, открыт в ${ Displaystyle С ^ { infty} (М, N)}$, так что это гладкое многообразие. Группа диффеоморфизмов ${ displaystyle operatorname {Diff} (M)}$ действует свободно и плавно справа на ${ displaystyle operatorname {Emb} (M, N)}$.

Теорема: ${ displaystyle operatorname {Emb} (M, N) to operatorname {Emb} (M, N) / operatorname {Diff} (M)}$ - главное расслоение со структурной группой ${ displaystyle operatorname {Diff} (M)}$.

Доказательство: Снова используется вспомогательная риманова метрика ${ displaystyle { bar {g}}}$ на ${ displaystyle N}$. Данный ${ displaystyle f in operatorname {Emb} (M, N)}$, Посмотреть ${ displaystyle f (M)}$ как подмногообразие ${ displaystyle N}$, и разделим ограничение касательного расслоения ${ displaystyle TN}$ к ${ displaystyle f (M)}$ в подгруппу, нормальную к ${ displaystyle f (M)}$ и по касательной к ${ displaystyle f (M)}$ в качестве${ Displaystyle TN | _ {е (M)} = operatorname {Nor} (f (M)) oplus Tf (M)}$. Выберите трубчатый район

${ displaystyle p_ {f (M)}: operatorname {Nor} (f (M)) supset W_ {f (M)} to f (M).}$

Если ${ displaystyle g: M to N}$ является ${ displaystyle C ^ {1}}$-рядом с ${ displaystyle f}$, тогда

${ displaystyle phi (g): = е ^ {- 1} circ , p_ {f (M)} circ , g in operatorname {Diff} (M) quad { text {and} } quad g circ , phi (g) ^ {- 1} in Gamma (f ^ {*} W_ {f (M)}) subset Gamma (f ^ {*} operatorname {Nor } (f (M))).}$

Это необходимое локальное разбиение. QED

Дальнейшие приложения

Обзор приложений, использующих геометрию пространств форм и групп диффеоморфизмов, можно найти в [Bauer, Bruveris, Michor, 2014].

Примечания

Рекомендации

• Бауэр, М., Бруверис, М., Мичор, П. У .: Обзор геометрии пространств форм и групп диффеоморфизмов. Журнал математической визуализации и зрения, 50, 1-2, 60-97, 2014. (arXiv: 1305.11500)
• Боман Дж .: Дифференцируемость функции и ее состава с помощью функции одной переменной, Mathematica Scandinavia vol. 20 (1967), 249–268.
• Фор, К.-А .: Sur un théorème de Boman, C.R. Acad. Sci., Paris}, т. 309 (1989), 1003–1006.
• Фор, К.-А .: Теория различий в удобных пространствах, Эти, Université de Genève, 1991.
• Frölicher, A .: Applications lisses entre espaces et varétés de Fréchet, C.R. Acad. Sci. Париж, т. 293 (1981), 125–127.
• [FK] Frölicher, A., Kriegl, A .: Линейные пространства и теория дифференцирования. Чистая и прикладная математика, J. ​​Wiley, Chichester, 1988.
• Kriegl, A .: Die richtigen Räume für Analysis im Unendlich - Dimensionalen, Monatshefte für Mathematik vol. 94 (1982) 109–124.
• Kriegl, A .: Eine kartesisch abgeschlossene Kategorie glatter Abbildungen zwischen trustbigen lokalkonvexen Vektorräumen, Monatshefte für Mathematik vol. 95 (1983) 287–309.
• [KM] Kriegl, A., Michor, P.W .: Удобная настройка глобального анализа. Математические обзоры и монографии, том: 53, Американское математическое общество, Провиденс, 1997. (pdf)
• Kriegl, A., Michor, P. W., Rainer, A .: Удобная настройка для неквазианалитических дифференцируемых отображений Данжуа – Карлемана, Journal of Functional Analysis, vol. 256 (2009), 3510–3544. (arXiv: 0804.2995)
• Кригл А., Михор П. В., Райнер А. Удобная настройка для квазианалитических дифференцируемых отображений Данжуа – Карлемана, Journal of Functional Analysis, vol. 261 (2011), 1799–1834. (arXiv: 0909.5632)
• Kriegl, A., Michor, P. W., Rainer, A .: Удобная установка для дифференцируемых отображений Данжуа-Карлемана типа Берлинга и Румье. Revista Matemática Complutense (2015). DOI: 10.1007 / s13163-014-0167-1. (arXiv: 1111.1819)
• Мичор, П. У .: Многообразия отображений и форм. (arXiv: 1505.02359)
• Стинрод, Н. Э .: Удобная категория для топологических пространств, Michigan Mathematical Journal, vol. 14 (1967), 133–152.