WikiDer > Нормальный конус (функциональный анализ)

Эта статья в значительной степени или полностью полагается на один источник. Соответствующее обсуждение можно найти на страница обсуждения. Пожалуйста помоги улучшить эту статью путем введения цитаты к дополнительным источникам. Найдите источники: Функциональный анализ "нормального конуса" – Новости · газеты · книги · ученый · JSTOR (Июль 2020)

Эта статья нужны дополнительные цитаты для проверка. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удален. Найдите источники: Функциональный анализ "нормального конуса" – Новости · газеты · книги · ученый · JSTOR (Май 2020 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

В математике, особенно в теория порядка и функциональный анализ, если C конус в 0 в топологическое векторное пространство Икс такое, что 0 ∈ C и если ${ displaystyle { mathcal {U}}}$ это фильтр соседства в начале координат, затем C называется нормальный если ${ Displaystyle { mathcal {U}} = left [{ mathcal {U}} right] _ {C}}$, куда ${ displaystyle left [{ mathcal {U}} right] _ {C}: = left {[U] _ {C}: U in { mathcal {U}} right }}$ и где для любого подмножества S из Икс, [S]_C : = (S + C) ∩ (S - C) - это C-насыщение из S.^[1]

Нормальные конусы играют важную роль в теории упорядоченные топологические векторные пространства и топологические векторные решетки.

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

Если C конус в ТВС Икс тогда для любого подмножества S из Икс позволять ${ displaystyle [S] _ {C}: = left (S + C right) cap left (S-C right)}$ быть C-насыщенный корпус S из Икс и для любой коллекции ${ Displaystyle { mathcal {S}}}$ подмножеств Икс позволять ${ displaystyle left [{ mathcal {S}} right] _ {C}: = left { left [S right] _ {C}: S in { mathcal {S}} right }}$. Если C конус в ТВС Икс тогда C является нормальный если ${ Displaystyle { mathcal {U}} = left [{ mathcal {U}} right] _ {C}}$, куда ${ displaystyle { mathcal {U}}}$ фильтр окрестности в начале координат.^[1]

Если ${ displaystyle { mathcal {T}}}$ представляет собой набор подмножеств Икс и если ${ displaystyle { mathcal {F}}}$ это подмножество ${ displaystyle { mathcal {T}}}$ тогда ${ displaystyle { mathcal {F}}}$ это фундаментальное подсемейство из ${ displaystyle { mathcal {T}}}$ если каждый ${ displaystyle T in { mathcal {T}}}$ содержится как подмножество некоторого элемента ${ displaystyle { mathcal {F}}}$. Если ${ Displaystyle { mathcal {G}}}$ семейство подмножеств ТВС Икс затем конус C в Икс называется ${ Displaystyle { mathcal {G}}}$-конус если ${ displaystyle left {{ overline { left [G right] _ {C}}}: G in { mathcal {G}} right }}$ является фундаментальным подсемейством ${ Displaystyle { mathcal {G}}}$ и C это строгий ${ Displaystyle { mathcal {G}}}$-конус если ${ displaystyle left { left [G right] _ {C}: G in { mathcal {G}} right }}$ является фундаментальным подсемейством ${ Displaystyle { mathcal {G}}}$.^[1] Позволять ${ displaystyle { mathcal {B}}}$ обозначим семейство всех ограниченных подмножеств Икс.

Если C конус в ТВС Икс (над действительными или комплексными числами), то следующие значения эквивалентны:^[1]

1. C нормальный конус.
2. Для каждого фильтра ${ displaystyle { mathcal {F}}}$ в Икс, если ${ Displaystyle lim { mathcal {F}} = 0}$ тогда ${ displaystyle lim left [{ mathcal {F}} right] _ {C} = 0}$.
3. Существует база соседства ${ Displaystyle { mathcal {G}}}$ в Икс такой, что ${ displaystyle B in { mathcal {G}}}$ подразумевает ${ displaystyle left [B cap C right] _ {C} substeq B}$.

и если Икс является векторным пространством над вещественными числами, то мы можем добавить к этому списку:^[1]

4. В начале координат существует база окрестностей, состоящая из выпуклых, сбалансированный, C-насыщенный наборы.
5. Существует производящая семья ${ Displaystyle { mathcal {P}}}$ полунорм на Икс такой, что ${ Displaystyle р (х) Leq р (х + у)}$ для всех ${ displaystyle x, y in C}$ и ${ displaystyle p in { mathcal {P}}}$.

и если Икс является локально выпуклым пространством и если двойственный конус к C обозначается ${ Displaystyle X ^ { prime}}$ тогда мы можем добавить к этому списку:^[1]

6. Для любого равностепенно непрерывного подмножества ${ Displaystyle S substeq X ^ { prime}}$, существует равноконкурентная ${ Displaystyle B substeq C ^ { prime}}$ такой, что ${ displaystyle S substeq B-B}$.
7. Топология Икс является топологией равномерной сходимости на равностепенно непрерывных подмножествах ${ Displaystyle C ^ { prime}}$.

и если Икс является непонятный локально выпуклое пространство и если ${ Displaystyle { mathcal {B}} ^ { prime}}$ семейство всех сильно ограниченных подмножеств ${ Displaystyle X ^ { prime}}$ тогда мы можем добавить к этому списку:^[1]

8. Топология Икс - топология равномерной сходимости на сильно ограниченных подмножествах ${ Displaystyle C ^ { prime}}$.
9. ${ Displaystyle C ^ { prime}}$ это ${ Displaystyle { mathcal {B}} ^ { prime}}$-конус в ${ Displaystyle X ^ { prime}}$.
   • это означает, что семья ${ displaystyle left {{ overline { left [B ^ { prime} right] _ {C}}}: B ^ { prime} in { mathcal {B}} ^ { prime} верно}}$ является фундаментальным подсемейством ${ Displaystyle { mathcal {B}} ^ { prime}}$.
10. ${ Displaystyle C ^ { prime}}$ это строгий ${ Displaystyle { mathcal {B}} ^ { prime}}$-конус в ${ Displaystyle X ^ { prime}}$.
    • это означает, что семья ${ displaystyle left { left [B ^ { prime} right] _ {C}: B ^ { prime} in { mathcal {B}} ^ { prime} right }}$ является фундаментальным подсемейством ${ Displaystyle { mathcal {B}} ^ { prime}}$.

и если Икс - упорядоченная локально выпуклая ТВП над вещественными числами, положительный конус которых равен C, то мы можем добавить к этому списку:

11. существует хаусдорф локально компактный топологическое пространство S такой, что Икс изоморфна (как упорядоченная ТВП) с подпространством р(S), куда р(S) - пространство всех действительнозначных непрерывных функций на Икс в топологии компактной сходимости.^[2]

Если Икс это локально выпуклый ТВС, C конус в Икс с двойной конус ${ Displaystyle C ^ { prime} substeq X ^ { prime}}$, и ${ Displaystyle { mathcal {G}}}$ это насыщенная семья слабо ограниченных подмножеств ${ Displaystyle X ^ { prime}}$, тогда^[1]

1. если ${ Displaystyle C ^ { prime}}$ это ${ Displaystyle { mathcal {G}}}$-конус тогда C нормальный конус для ${ Displaystyle { mathcal {G}}}$-топология на Икс;
2. если C нормальный конус для ${ Displaystyle { mathcal {G}}}$-топология на Икс в соответствии с ${ displaystyle left langle X, X ^ { prime} right rangle}$ тогда ${ Displaystyle C ^ { prime}}$ это строгий ${ Displaystyle { mathcal {G}}}$-конус в ${ Displaystyle X ^ { prime}}$.

Если Икс - банахово пространство, C замкнутый конус в Икс,, и ${ Displaystyle { mathcal {B}} ^ { prime}}$ семейство всех ограниченных подмножеств ${ displaystyle X_ {b} ^ { prime}}$ затем двойной конус ${ Displaystyle C ^ { prime}}$ нормально в ${ displaystyle X_ {b} ^ { prime}}$ если и только если C это строгий ${ displaystyle { mathcal {B}}}$-конус.^[1]

Если Икс является банаховым пространством и C конус в Икс то следующие эквиваленты:^[1]

1. C это ${ displaystyle { mathcal {B}}}$-конус в Икс;
2. ${ displaystyle X = { overline {C}} - { overline {C}}}$;
3. ${ displaystyle { overline {C}}}$ это строгий ${ displaystyle { mathcal {B}}}$-конус в Икс.

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

• Если Икс является ТВП Хаусдорфа, то каждый нормальный конус в Икс - собственный конус.^[1]
• Если Икс является нормируемым пространством и если C нормальный конус в Икс тогда ${ Displaystyle X ^ { prime} = C ^ { prime} -C ^ { prime}}$.^[1]
• Предположим, что положительный конус упорядоченной локально выпуклой ТВП Икс слабо нормально в Икс и это Y - упорядоченная локально выпуклая ТВП с положительным конусом D. Если Y = D - D тогда ЧАС - ЧАС плотно в ${ Displaystyle L_ {s} влево (X; Y вправо)}$ куда ЧАС канонический положительный конус ${ Displaystyle L влево (X; Y вправо)}$ и ${ Displaystyle L_ {s} влево (X; Y вправо)}$ это пространство ${ Displaystyle L влево (X; Y вправо)}$ с топологией простой сходимости.^[3]
  • Если ${ Displaystyle { mathcal {G}}}$ семейство ограниченных подмножеств Икс, то, по-видимому, нет простых условий, гарантирующих, что ЧАС это ${ displaystyle { mathcal {T}}}$-конус в ${ Displaystyle L _ { mathcal {G}} влево (X; Y вправо)}$, даже для самых распространенных типов семей ${ displaystyle { mathcal {T}}}$ ограниченных подмножеств ${ Displaystyle L _ { mathcal {G}} влево (X; Y вправо)}$ (за исключением очень особых случаев).^[3]

Достаточные условия

Если топология на Икс является локально выпуклым, то замыкание нормального конуса - нормальный конус.^[1]

Предположим, что ${ displaystyle left {X _ { alpha}: alpha in A right }}$ семейство локально выпуклых ТВП и что ${ displaystyle C _ { alpha}}$ конус в ${ displaystyle X _ { alpha}}$.Если ${ Displaystyle X: = bigoplus _ { alpha} X _ { alpha}}$ является локально выпуклой прямой суммой, то конус ${ Displaystyle C: = bigoplus _ { alpha} C _ { alpha}}$ нормальный конус в Икс если и только если каждый ${ displaystyle X _ { alpha}}$ нормально в ${ displaystyle X _ { alpha}}$.^[1]

Если Икс является локально выпуклым пространством, то замыкание нормального конуса - нормальный конус.^[1]

Если C конус в локально выпуклой ТВП Икс и если ${ Displaystyle C ^ { prime}}$ дуальный конус C, тогда ${ Displaystyle X ^ { prime} = C ^ { prime} -C ^ { prime}}$ если и только если C слабо нормально.^[1] Каждый нормальный конус в локально выпуклой TVS слабо нормален.^[1] В нормированном пространстве конус нормален тогда и только тогда, когда он слабо нормален.^[1]

Если Икс и Y упорядочиваются локально выпуклыми ТВП и если ${ Displaystyle { mathcal {G}}}$ семейство ограниченных подмножеств Икс, то если положительный конус Икс это ${ Displaystyle { mathcal {G}}}$-конус в Икс и если положительный конус Y нормальный конус в Y тогда положительный конус ${ Displaystyle L _ { mathcal {G}} влево (X; Y вправо)}$ нормальный конус для ${ Displaystyle { mathcal {G}}}$-топология на ${ Displaystyle L влево (X; Y вправо)}$.^[4]

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

• Насыщенный конусом
• Топологическая векторная решетка
• Векторная решетка

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

• Шефер, Гельмут Х.; Вольф, Манфред П. (1999). Топологические векторные пространства. GTM. 3. Нью-Йорк, штат Нью-Йорк: Springer New York Выходные данные Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.CS1 maint: ref = harv (связь)