수학에서, 특히 순서 이론 과 기능 분석 에서 순서 완전 벡터 격자 X {\displaystyle {\mathcal{F} 의 필터 F {\ displaystyle X} 이(가) 순서 경계 부분집합(즉 , 형식 [, b ] : { x ∈ X : ≤ b : a ≤ x 와 x { b } {}}} 의 간격에 포함되어 있으면 순서 수렴 이다 . 디스플레이 스타일 [a,b]: =\{x\in X:a\leq x{\text{ 및 }x\leq b \}}) 및 if , {\displaystyle {\mathcal {F},}
up { 바 조로 S : S ∈ 오분트 ( X ) ∩ F } = 바 조로 { up S : S ∈ 오분트 ( X ) ∩ F } , \displaystyle \sup \left\{\inf S: S\in \operatorname {OBound}(X)\cap {\mathcal {F}\right\}=\inf \left\{\supp S: S\in \operatorname {OBound}(X)\cap {\mathcal {F}\right\}} 여기서 OBound ( X ) {\displaystyle \operatorname {OBound}(X)} 은 X 의 모든 주문 경계 하위 집합 집합의 집합이며, 이 경우 이 공통 값 을 X . {\displaystyle X }에서 F {\ displaystysty {\f} 의 주문 한계 라고 한다.
순서 수렴의 정의는 어떤 위상에 의존하지 않기 때문에 벡터 래티스 이론에서 순서 수렴은 중요한 역할을 한다.
정의 A net ( x α ) α ∈ A {\displaystyle \left(x_{\alpha }\right)_{\alpha \in A}} in a vector lattice X {\displaystyle X} is said to decrease to x 0 ∈ X {\displaystyle x_{0}\in X} if α ≤ β {\displaystyle \alpha \leq \beta } implies x β ≤ x α {\displaystyle x_{\beta }\leq x_{\alpha }} and x 0 = i n f { x α : α ∈ A } {\displaystyle x_{0}=inf\left\{x_{\alpha }:\alpha \in A\right\}} in X . {\displaystyle X.} A net ( x α ) α ∈ A {\displaystyle \left(x_{\alpha }\right)_{\alpha \in A}} in a vector lattice X {\displaystyle X} is said to order-converge to x 0 ∈ X {\displaystyle x_{ 0}\in X} if there is a net ( y α ) α ∈ A {\displaystyle \left(y_{\alpha }\right)_{\alpha \in A}} in X {\displaystyle X} that decreases to 0 {\displaystyle 0} and satisfies x α − x 0 ≤ y α {\displaystyle \left x_{\alpha }-x_{0}\right \leq y_{\alpha }} for all α ∈ A {\displaystyle \알파 \in A} .
주문 연속성 A linear map T : X → Y {\displaystyle T:X\to Y} between vector lattices is said to be order continuous if whenever ( x α ) α ∈ A {\displaystyle \left(x_{\alpha }\right)_{\alpha \in A}} is a net in X {\displaystyle X} that order-converges to x 0 {\displaystyle x_{0}} in X , {\displaystyle X,} the n the net ( T ( x α ) ) α ∈ A {\displaystyle \left(T\left(x_{\alpha }\right)\right)_{\alpha \in A}} order-converges to T ( x 0 ) {\displaystyle T\left(x_{0}\right)} in Y . {\displaystyle Y.} T {\displaystyle T} is said to be sequentially order continuous if whenever ( x n ) n ∈ N {\displaystyle \left(x_{n}\right)_{n\in \mathbb {N} }} is a sequence in X {\displaystyle X} that order-converges to x 0 {\displaystyle x_{0}} in X , {\displaystyle X,} then the sequence ( T ( x n ) ) n ∈ N {\displaystyle \left(T\left(x_{n}\right)\right)_{n\in \mathbb {N} }} order-converges to Y . {\displaystyle Y.} 의 T(x0 ) {\ displaystyle T\left(x_{0}\right}
관련결과 순서가 정규인 주문 완료 벡터 격자 X {\displaystyle X} 에서 X {\ displaystyle X} 의 모든 주문 수렴 필터가 순서 위상 과 결합될 경우에만 X {\ displaystyle X } 은 최소 유형 이다 .
참고 항목
참조
기본개념 주문/공간 유형 요소/하위 세트 유형 토폴로지/융합 연산자 주요 결과
공간
정리 연산자 알헤브라스 문제 열기 적용들 고급 주제