WikiDer > Дифференцируемые вектор-функции из евклидова пространства

В области Функциональный анализ, можно обобщить понятие производная к бесконечному измерению топологические векторные пространства (TVS) несколькими способами. Но когда область определения функций TVS-значений является подмножеством конечномерных Евклидово пространство тогда число обобщений производной гораздо более ограничено, и производные ведут себя более хорошо. В данной статье представлена ​​теория k-кратно непрерывно дифференцируемые функции на открытом подмножестве ${ displaystyle Omega}$ евклидова пространства ${ Displaystyle mathbb {R} ^ {п}}$ (${ Displaystyle 1 Leq п < infty}$), что является важным частным случаем дифференциация между произвольными ТВС. Предполагается, что все векторные пространства находятся над полем ${ displaystyle mathbb {F},}$ куда ${ Displaystyle mathbb {F}}$ либо действительные числа ${ Displaystyle mathbb {R}}$ или сложные числа ${ displaystyle mathbb {C}.}$

Непрерывно дифференцируемые вектор-функции

Во всем пусть ${ Displaystyle к в {0,1, ldots, infty }}$ и разреши ${ displaystyle Omega}$ быть либо:

1. открытое подмножество ${ displaystyle mathbb {R} ^ {n},}$ куда ${ Displaystyle п geq 1}$ целое число, иначе
2. а локально компактный топологическое пространство, в котором k может быть только 0,

и разреши ${ displaystyle Y}$ быть топологическое векторное пространство (ТВС).

Предполагать ${ displaystyle p ^ {0} = left (p_ {1} ^ {0}, ldots, p_ {n} ^ {0} right) in Omega}$ и ${ displaystyle f: operatorname {Dom} f to Y}$ функция такая, что ${ displaystyle p ^ {0} in operatorname {Dom} f}$ с ${ displaystyle p ^ {0}}$ предельная точка ${ displaystyle operatorname {Dom} f.}$ потом ж является дифференцируемый на ${ displaystyle p ^ {0}}$^[1] если есть п векторов ${ displaystyle e_ {1}, ldots, e_ {n}}$ в Y, называется частные производные от ж, так что

${ displaystyle lim _ {p to p ^ {0}, p in operatorname {Dom} f} { frac {f (p) -f left (p ^ {0} right) - sum _ {i = 1} ^ {n} left (p_ {i} -p_ {i} ^ {0} right) e_ {i}} { left | pp ^ {0} right | _ { 2}}} = 0}$ в Y

куда ${ displaystyle p = left (p_ {1}, ldots, p_ {n} right).}$

Если ж дифференцируемо в точке, то непрерывно в этой точке.^[1] Скажи это ж является ${ displaystyle C ^ {0}}$ если он непрерывный. Если ж дифференцируема в каждой точке некоторого множества ${ Displaystyle S substeq Omega}$ тогда мы говорим, что ж является дифференцируемый в S. Если ж дифференцируема в каждой точке своей области определения, и если каждая из его частных производных является непрерывной функцией, то мы говорим, что ж является непрерывно дифференцируемый или же ${ displaystyle C ^ {1}.}$^[1] Определив, что это значит для функции ж быть ${ displaystyle C ^ {k}}$ (или же k раз непрерывно дифференцируемые), говорят, что ж является k + 1 раз непрерывно дифференцируемый или это ж является ${ displaystyle C ^ {k + 1}}$ если ж непрерывно дифференцируема, и каждая из ее частных производных равна ${ displaystyle C ^ {k}.}$ Скажи это ж является ${ displaystyle C ^ { infty},}$ гладкий, или же бесконечно дифференцируемый если ж является ${ displaystyle C ^ {k}}$ для всех ${ displaystyle k = 0,1, ldots.}$ Если ${ displaystyle f: Omega to Y}$ это любая функция, то ее поддерживать это закрытие (в ${ displaystyle Omega}$) множества ${ displaystyle {x in operatorname {Dom} f: f (x) neq 0 }.}$

Пространства C^k векторнозначные функции

Пространство C^k функции

Для любого ${ Displaystyle к = 0,1, ldots, infty,}$ позволять ${ Displaystyle С ^ {к} влево ( Omega; Y вправо)}$ обозначают векторное пространство всех ${ displaystyle C ^ {k}}$ Y-значные карты, определенные на ${ displaystyle Omega}$ и разреши ${ displaystyle C_ {c} ^ {k} left ( Omega; Y right)}$ обозначим векторное подпространство ${ Displaystyle С ^ {к} влево ( Omega; Y вправо)}$ состоящий из всех карт в ${ Displaystyle С ^ {к} влево ( Omega; Y вправо)}$ которые имеют компактную опору. Позволять ${ Displaystyle С ^ {к} влево ( Омега вправо)}$ обозначать ${ displaystyle C ^ {k} left ( Omega; mathbb {F} right)}$ и ${ displaystyle C_ {c} ^ {k} left ( Omega right)}$ обозначать ${ displaystyle C_ {c} ^ {k} left ( Omega; mathbb {F} right).}$ Дайте ${ displaystyle C_ {c} ^ {k} left ( Omega; Y right)}$ топология равномерной сходимости функций вместе с их производными порядка < k + 1 на компактных подмножествах ${ displaystyle Omega.}$^[1] Предполагать ${ Displaystyle Omega _ {1} substeq Omega _ {2} substeq cdots}$ это последовательность относительно компактный открытые подмножества ${ displaystyle Omega}$ чей союз ${ displaystyle Omega}$ и это удовлетворяет ${ Displaystyle { overline { Omega _ {я}}} substeq Omega _ {я + 1}}$ для всех я. Предположим, что ${ Displaystyle влево (В _ { альфа} вправо) _ { альфа в А}}$ является базисом окрестностей начала координат в Y. Тогда для любого целого ${ Displaystyle л <к + 1,}$ наборы:

${ displaystyle { mathcal {U}} _ {i, l, alpha}: = left {f in C ^ {k} left ( Omega; Y right): left ( partial / partial p right) ^ {q} f (p) in U _ { alpha} { text {для всех}} p in Omega _ {i} { text {and all}} q in mathbb {N} ^ {n}, | q | leq l right }}$

составляют основу окрестностей происхождения для ${ Displaystyle С ^ {к} влево ( Omega; Y вправо)}$ в качестве я, л, и ${ displaystyle alpha in A}$ варьироваться всеми возможными способами. Если ${ displaystyle Omega}$ является счетным объединением компактных подмножеств и Y это Fréchet space, то так ${ displaystyle C ^ {k} left ( Omega; Y right).}$ Обратите внимание, что ${ Displaystyle { mathcal {U}} _ {я, л, альфа}}$ выпукло всякий раз, когда ${ displaystyle U _ { alpha}}$ выпуклый. Если Y метризуемо (соответственно, полно, локально выпукло, хаусдорфово), то так же ${ displaystyle C ^ {k} left ( Omega; Y right).}$^[1][2] Если ${ displaystyle left (p _ { alpha} right) _ { alpha in A}}$ является основой непрерывных полунорм для Y тогда базис непрерывных полунорм на ${ Displaystyle С ^ {к} влево ( Omega; Y вправо)}$ является:

${ Displaystyle му _ {я, л, альфа} влево (е вправо): = sup _ {у в Omega _ {я}} влево ( сумма _ {| q | leq л } p _ { alpha} left ( left ( partial / partial p right) ^ {q} f (p) right) right)}$

в качестве я, л, и ${ displaystyle alpha in A}$ варьироваться всеми возможными способами.^[1]

Если ${ displaystyle Omega}$ компактное пространство и Y банахово пространство, то ${ Displaystyle С ^ {0} влево ( Omega; Y вправо)}$ становится банаховым пространством, нормированным ${ Displaystyle | е |: = sup _ { omega in Omega} | f ( omega) |.}$^[2]

Пространство C^k функции с поддержкой в ​​компактном подмножестве

Теперь продублируем определение топологии пространство тестовых функций.Для любого компактного подмножества ${ Displaystyle К substeq Omega,}$ позволять ${ Displaystyle С ^ {к} влево (К; Y вправо)}$ обозначим множество всех ж в ${ Displaystyle С ^ {к} влево ( Omega; Y вправо)}$ чья поддержка лежит в K (в частности, если ${ Displaystyle е в С ^ {к} влево (К; Y вправо)}$ тогда область ж является ${ displaystyle Omega}$ скорее, чем K) и дать ${ Displaystyle С ^ {к} влево (К; Y вправо)}$ топология подпространства, индуцированная ${ displaystyle C ^ {k} left ( Omega; Y right).}$^[1] Позволять ${ Displaystyle С ^ {к} влево (К вправо)}$ обозначать ${ displaystyle C ^ {k} left (K; mathbb {F} right).}$ Обратите внимание, что для любых двух компактных подмножеств ${ Displaystyle К_ {1} substeq K_ {2} substeq Omega,}$ естественное включение ${ displaystyle operatorname {In} _ {K_ {1}} ^ {K_ {2}}: C ^ {k} left (K_ {1}; Y right) to C ^ {k} left ( K_ {2}; Y right)}$ является вложением TVS и что объединение всех ${ Displaystyle С ^ {к} влево (К; Y вправо),}$ в качестве K изменяется по компактным подмножествам ${ displaystyle Omega,}$ является ${ displaystyle C_ {c} ^ {k} left ( Omega; Y right).}$

Пространство компактной опоры C^k функции

Для любого компактного подмножества ${ Displaystyle К substeq Omega,}$ позволять ${ displaystyle operatorname {In} _ {K}: C ^ {k} left (K; Y right) to C_ {c} ^ {k} left ( Omega; Y right)}$ быть естественным включением и дать ${ displaystyle C_ {c} ^ {k} left ( Omega; Y right)}$ самая сильная топология, делающая все ${ displaystyle operatorname {In} _ {K}}$ непрерывный. Пространства ${ Displaystyle С ^ {к} влево (К; Y вправо)}$ и карты ${ displaystyle operatorname {In} _ {K_ {1}} ^ {K_ {2}}}$ сформировать прямая система (направленный компактными подмножествами ${ displaystyle Omega}$) чей предел в категории ТВП составляет ${ displaystyle C_ {c} ^ {k} left ( Omega; Y right)}$ вместе с естественными инъекциями ${ displaystyle operatorname {In} _ {K}.}$^[1] Пространства ${ displaystyle C ^ {k} left ({ overline { Omega _ {i}}}; Y right)}$ и карты ${ displaystyle operatorname {In} _ { overline { Omega _ {i}}} ^ { overline { Omega _ {j}}}}$ также сформировать прямая система (направлено общим заказом ${ Displaystyle mathbb {N}}$) чей предел в категории ТВП составляет ${ displaystyle C_ {c} ^ {k} left ( Omega; Y right)}$ вместе с естественными инъекциями ${ displaystyle operatorname {In} _ { overline { Omega _ {i}}}.}$^[1] Каждое естественное вложение ${ displaystyle operatorname {In} _ {K}}$ представляет собой вложение ТВС. Подмножество S из ${ displaystyle C_ {c} ^ {k} left ( Omega; Y right)}$ является окрестностью начала координат в ${ displaystyle C_ {c} ^ {k} left ( Omega; Y right)}$ если и только если ${ displaystyle S cap C ^ {k} left (K; Y right)}$ является окрестностью начала координат в ${ Displaystyle С ^ {к} влево (К; Y вправо)}$ для каждого компактного ${ Displaystyle K substeq Omega.}$ Эта топология прямого предела на ${ Displaystyle C_ {c} ^ { infty} влево ( Omega right)}$ известен как каноническая LF топология.

Если Y - хаусдорфово локально выпуклое пространство, Т это ТВС, и ${ displaystyle u: C_ {c} ^ {k} left ( Omega; Y right) to T}$ является линейным отображением, то ты непрерывна тогда и только тогда, когда для всех компактных ${ Displaystyle К substeq Omega,}$ ограничение ты к ${ Displaystyle С ^ {к} влево (К; Y вправо)}$ непрерывно.^[1] Одна замена "все компактное" ${ Displaystyle К substeq Omega}$" со всем ${ displaystyle K: = { overline { Omega _ {i}}}}$".

Характеристики

Идентификация как тензорное произведение

В дальнейшем предположим, что Y является хаусдорфовым пространством. Учитывая функцию ${ Displaystyle е в С ^ {к} влево ( Омега вправо)}$ и вектор ${ displaystyle y in Y,}$ позволять ${ displaystyle f otimes y}$ обозначить карту ${ displaystyle f otimes y: Omega to Y}$ определяется ${ Displaystyle влево (е время у вправо) (р) = е (р) у.}$ Это определяет билинейное отображение ${ displaystyle otimes: C ^ {k} left ( Omega right) times Y to C ^ {k} left ( Omega; Y right)}$ в пространство функций, образ которых содержится в конечномерном векторном подпространстве Y; это билинейное отображение превращает это подпространство в тензорное произведение ${ Displaystyle С ^ {к} влево ( Омега вправо)}$ и Y, который мы обозначим через ${ displaystyle C ^ {k} left ( Omega right) otimes Y.}$^[1] Кроме того, если ${ displaystyle C_ {c} ^ {k} left ( Omega right) otimes Y}$ обозначает векторное подпространство ${ displaystyle C ^ {k} left ( Omega right) otimes Y}$ состоящий из всех функций с компактным носителем, то ${ displaystyle C_ {c} ^ {k} left ( Omega right) otimes Y}$ тензорное произведение ${ displaystyle C_ {c} ^ {k} left ( Omega right)}$ и Y.^[1]

Если Икс локально компактно, то ${ displaystyle C_ {c} ^ {0} left ( Omega right) otimes Y}$ плотно в ${ Displaystyle С ^ {0} влево ( Omega; X вправо)}$ а если Икс открытое подмножество ${ Displaystyle mathbb {R} ^ {п}}$ тогда ${ Displaystyle C_ {c} ^ { infty} left ( Omega right) otimes Y}$ плотно в ${ displaystyle C ^ {k} left ( Omega; X right).}$^[2]

Смотрите также

• Производная Фреше
• Инъективное тензорное произведение

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

Библиография

• Дистель, Джо (2008). Метрическая теория тензорных произведений: новый взгляд на резюме Гротендика. 16. Провиденс, Р.И.: Американское математическое общество. ISBN 9781470424831. OCLC 185095773.
• Дубинский, Эд (1979). Структура ядерных пространств Фреше.. Конспект лекций по математике. 720. Берлин Нью-Йорк: Springer-Verlag. ISBN 978-3-540-09504-0. OCLC 5126156.
• Гротендик, Александр (1955). "Produits Tensoriels Topologiques et Espaces Nucléaires" [Топологические тензорные продукты и ядерные пространства]. Мемуары из серии Американского математического общества (На французском). Провиденс: Американское математическое общество. 16. ISBN 978-0-8218-1216-7. МИСТЕР 0075539. OCLC 1315788.
• Халилулла, С. М. (1982). Написано в берлинском Гейдельберге. Контрпримеры в топологических векторных пространствах. Конспект лекций по математике. 936. Берлин Нью-Йорк: Springer-Verlag. ISBN 978-3-540-11565-6. OCLC 8588370.
• Наричи, Лоуренс; Бекенштейн, Эдвард (2011). Топологические векторные пространства. Чистая и прикладная математика (Второе изд.). Бока-Ратон, Флорида: CRC Press. ISBN 978-1584888666. OCLC 144216834.
• Хогбе-Нленд, Анри; Москателли, В.Б. (1981). Ядерные и ядерные пространства: вводный курс по ядерным и безъядерным пространствам в свете дуальности "топология-борнология". Математические исследования Северной Голландии. 52. Амстердам Нью-Йорк Нью-Йорк: Северная Голландия. ISBN 978-0-08-087163-9. OCLC 316564345.
• Пич, Альбрехт (1979). Ядерные локально выпуклые пространства. Ergebnisse der Mathematik und ihrer Grenzgebiete. 66 (Второе изд.). Берлин, Нью-Йорк: Springer-Verlag. ISBN 978-0-387-05644-9. OCLC 539541.
• Райан, Раймонд А. (2002). Введение в тензорные произведения банаховых пространств. Монографии Спрингера по математике. Лондон Нью-Йорк: Springer. ISBN 978-1-85233-437-6. OCLC 48092184.
• Шефер, Гельмут Х.; Вольф, Манфред П. (1999). Топологические векторные пространства. GTM. 8 (Второе изд.). Нью-Йорк, штат Нью-Йорк: Springer New York Выходные данные Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
• Трев, Франсуа (2006) [1967]. Топологические векторные пространства, распределения и ядра. Минеола, Нью-Йорк: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
• Вонг, Яу-Чуэн (1979). Пространства Шварца, ядерные пространства и тензорные произведения. Конспект лекций по математике. 726. Берлин Нью-Йорк: Springer-Verlag. ISBN 978-3-540-09513-2. OCLC 5126158.