부분순서된 공간

Partially ordered space

X2{\displaystyle의 수학이 그래프{\displaystyle\와 같이{(x, y)\in X^{2}\mid x\leq y\{(), y)∈ X2∣ x≤ y} 부분 순서}과 같은,을 부분적으로 순서 space[1](또는 pospace)은 위상 공간 X{X\displaystyle}폐쇄된 부분 순서 ≤{\displaystyle \leq}가 장착된}는 닫힌 집합입니다. X^{.

포스페이스에서는 디맵, 즉 주문 관계를 보존하는 포스페이스 사이의 연속적인 맵을 정의할 수 있다.

등가성

부분 순서 이(가) 장착된 위상학적 공간 의 경우 다음과 같다

  • (는) 부분적으로 정렬된 공간이다.
  • For all with , there are open sets with and for all .
  • For all with , there are disjoint neighbourhoods of and of such that is an upper set and is a lower set

전체 순서도 부분 순서가므로 순서 위상은 이 정의의 특별한 경우다.

특성.

모든 공간은 하우스도르프 공간이다.평등= 을(를) 부분 순서로 본다면 이 정의는 하우스도르프 공간의 정의가 된다.

Since the graph is closed, if and are nets converging to x and y, respectively, such that for all 그 다음x y

참고 항목

참조

  1. ^ Gierz, G.; Hofmann, K. H.; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S. (2009). "Continuous Lattices and Domains". doi:10.1017/CBO9780511542725. {{cite journal}}:Cite 저널은 필요로 한다. journal=(도움말)

외부 링크