WikiDer > Двойной заказ с привязкой

Order bound dual

В математике, особенно в теория порядка и функциональный анализ, то двойной порядок из упорядоченное векторное пространство Икс это набор всех линейные функционалы на Икс которые отображают интервалы порядка (т. е. множества вида [а, б] := { Икс ∈ Икс : а ≤ Икс и Икс ≤ б }) в ограниченные множества.[1] Связанный порядок двойственный к Икс обозначается Иксб. Это пространство играет важную роль в теории упорядоченные топологические векторные пространства.

Канонический порядок

Элемент ж порядка, двойственного к Икс называется положительный если Икс ≥ 0 влечет Re (ж(Икс)) ≥ 0. Положительные элементы дуальной границы порядка образуют конус, индуцирующий порядок на Иксб называется канонический порядок.Если Икс является упорядоченное векторное пространство чей положительный конус C генерирует (т.е. Икс = C - C), то двойственная с каноническим порядком граница является упорядоченным векторным пространством.[1]

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

Граница порядка, двойственная к упорядоченным векторным пространствам, содержит его заказ двойной.[1] Если положительный конус упорядоченное векторное пространство Икс порождает, и если для всех положительных Икс и y имеем [0, Икс] + [0, y] = [0, Икс + y], то двойственный порядок равен двойственной по порядку, которая является порядковой полной векторной решеткой при ее каноническом упорядочении.[1]

Предполагать Икс это векторная решетка и ж и грамм являются порядково ограниченными линейными формами на Икс. Тогда для всех Икс в Икс,[1]

  1. Как дела(ж, грамм)(|Икс|) = sup { ж(y) + грамм(z) : y ≥ 0, z ≥ 0 и y + z = |Икс| }
  2. inf (ж, грамм)(|Икс|) = inf { ж(y) + грамм(z) : y ≥ 0, z ≥ 0 и y + z = |Икс| }
  3. |ж|(|Икс|) = sup { ж(y - z) : y ≥ 0, z ≥ 0 и y + z = |Икс| }
  4. |ж(Икс)| ≤ |ж|(|Икс|)
  5. если ж ≥ 0 и грамм ≥ 0, тогда ж и грамм находятся решетка непересекающаяся если и только если для каждого Икс ≥ 0 и действительный р > 0 существует разложение Икс = а + б с а ≥ 0, б ≥ 0 и ж(а) + грамм(б) ≤ р.

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

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

  1. ^ а б c d е Шефер и Вольф, 1999 г.С. 204–214.
  • Наричи, Лоуренс; Бекенштейн, Эдвард (2011). Топологические векторные пространства. Чистая и прикладная математика (Второе изд.). Бока-Ратон, Флорида: CRC Press. ISBN 978-1584888666. OCLC 144216834.
  • Шефер, Гельмут Х.; Вольф, Манфред П. (1999). Топологические векторные пространства. GTM. 8 (Второе изд.). Нью-Йорк, штат Нью-Йорк: Springer New York Выходные данные Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.