Сходимость порядка

В математике, в частности в теории порядка и функциональном анализе , фильтр в порядковой полной векторной решетке является порядково сходящимся , если он содержит порядково ограниченное подмножество (то есть подмножество, содержащееся в интервале вида ) и если , где — множество всех порядково ограниченных подмножеств X , в этом случае это общее значение называется пределом порядка в [1] Ф {\displaystyle {\mathcal {F}}} Х {\displaystyle X} [ а , б ] := { х Х : а х  и  х б } {\displaystyle [a,b]:=\{x\in X:a\leq x{\text{ and }}x\leq b\}} sup { inf S : S OBound ( X ) F } = inf { sup S : S OBound ( X ) F } , {\displaystyle \sup \left\{\inf S:S\in \operatorname {OBound} (X)\cap {\mathcal {F}}\right\}=\inf \left\{\sup S:S\in \operatorname {OBound} (X)\cap {\mathcal {F}}\right\},} OBound ( X ) {\displaystyle \operatorname {OBound} (X)} F {\displaystyle {\mathcal {F}}} X . {\displaystyle X.}

Сходимость порядка играет важную роль в теории векторных решеток , поскольку определение сходимости порядка не зависит от какой-либо топологии.

Определение

Говорят, что сеть в векторной решетке убывает к , если подразумевает и в Говорят, что сеть в векторной решетке упорядоченно сходится к , если существует сеть в , которая убывает к и удовлетворяет для всех . [2] ( x α ) α A {\displaystyle \left(x_{\alpha }\right)_{\alpha \in A}} X {\displaystyle X} x 0 X {\displaystyle x_{0}\in X} α β {\displaystyle \alpha \leq \beta } x β x α {\displaystyle x_{\beta }\leq x_{\alpha }} x 0 = i n f { x α : α A } {\displaystyle x_{0}=inf\left\{x_{\alpha }:\alpha \in A\right\}} X . {\displaystyle X.} ( x α ) α A {\displaystyle \left(x_{\alpha }\right)_{\alpha \in A}} X {\displaystyle X} x 0 X {\displaystyle x_{0}\in X} ( y α ) α A {\displaystyle \left(y_{\alpha }\right)_{\alpha \in A}} X {\displaystyle X} 0 {\displaystyle 0} | x α x 0 | y α {\displaystyle \left|x_{\alpha }-x_{0}\right|\leq y_{\alpha }} α A {\displaystyle \alpha \in A}

Непрерывность заказа

Линейное отображение между векторными решетками называется упорядоченно непрерывным, если всякий раз, когда есть сеть в том порядке, который сходится к в , то сеть в том порядке, который сходится к в , называется последовательно упорядоченно непрерывным, если всякий раз, когда есть последовательность в том порядке, который сходится к в , то последовательность в том порядке, который сходится к в [2] T : X Y {\displaystyle T:X\to Y} ( x α ) α A {\displaystyle \left(x_{\alpha }\right)_{\alpha \in A}} X {\displaystyle X} x 0 {\displaystyle x_{0}} X , {\displaystyle X,} ( T ( x α ) ) α A {\displaystyle \left(T\left(x_{\alpha }\right)\right)_{\alpha \in A}} T ( x 0 ) {\displaystyle T\left(x_{0}\right)} Y . {\displaystyle Y.} T {\displaystyle T} ( x n ) n N {\displaystyle \left(x_{n}\right)_{n\in \mathbb {N} }} X {\displaystyle X} x 0 {\displaystyle x_{0}} X , {\displaystyle X,} ( T ( x n ) ) n N {\displaystyle \left(T\left(x_{n}\right)\right)_{n\in \mathbb {N} }} T ( x 0 ) {\displaystyle T\left(x_{0}\right)} Y . {\displaystyle Y.}

В порядковой полной векторной решетке, порядок которой регулярен, имеет минимальный тип тогда и только тогда, когда каждый порядковый сходящийся фильтр в сходится, когда наделен порядковой топологией . [1] X {\displaystyle X} X {\displaystyle X} X {\displaystyle X} X {\displaystyle X}

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

Ссылки

  1. ^ ab Schaefer & Wolff 1999, стр. 234–242.
  2. ^ ab Khaleelulla 1982, стр. 8.
  • Халилулла, SM (1982). Контрпримеры в топологических векторных пространствах . Конспект лекций по математике . Том 936. Берлин, Гейдельберг, Нью-Йорк: Springer-Verlag . ISBN 978-3-540-11565-6. OCLC  8588370.
  • Наричи, Лоуренс; Бекенштейн, Эдвард (2011). Топологические векторные пространства . Чистая и прикладная математика (Второе изд.). Бока-Ратон, Флорида: CRC Press. ISBN 978-1584888666. OCLC  144216834.
  • Шефер, Хельмут Х.; Вольф, Манфред П. (1999). Топологические векторные пространства . GTM . Том 8 (Второе издание). Нью-Йорк, Нью-Йорк: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC  840278135.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Order_convergence&oldid=1221669623"