상향 원순서 집합

틀:위키데이터 속성 추적 순서론에서 상향 원순서 집합(上向原順序集合, 틀:Llang)은 임의의 유한 부분 집합에 상계가 존재하는 원순서 집합이다. 마찬가지로, 하향 원순서 집합(下向原順序集合, 틀:Llang)은 임의의 유한 부분 집합에 하계가 존재하는 원순서 집합이다.

정의

임의의 원순서 집합 $(X,\lesssim )$은 항상 다음과 같이 작은 범주로 여길 수 있다.

• 대상은 $X$의 원소이다.
• $x,y\in X$가 주어졌을 때, 만약 $x\lesssim y$라면 유일한 사상 $(x,y):x\to y$가 존재하며, 아니라면 그 사이에 사상이 존재하지 않는다.
• $x\in X$의 항등 사상은 $(x,x)$이다.
• 사상의 합성은 $(y,z)\circ (x,y)=(x,z)$이다.

원순서 집합 $(X,\lesssim )$에 대하여 다음 두 조건이 서로 동치이며, 이를 만족시키는 원순서 집합을 상향 원순서 집합(上向原順序集合, 틀:Llang)이라고 한다.

• 작은 범주로 여겼을 때, 여과 범주를 이룬다.
• 임의의 유한 부분 집합 $\{x_1,x_2,\dots ,x_n\}\subseteq X$, $n\in \mathbb{N}$은 상계를 갖는다. 즉,
  • ($n=0$인 경우) 공집합이 아니다.
  • ($n=2$인 경우) 임의의 두 원소 $x_1,x_2\in X$에 대하여, $x_1\lesssim y$이자 $x_2\lesssim y$인 $y\in X$가 적어도 하나 이상 존재한다.

둘째 조건에서, $n=1$인 경우는 자명하게 참이며, $n\ge 3$인 경우는 $n=2$인 경우를 재귀적으로 적용하여 유도된다.

마찬가지로, 원순서 집합 $(X,\lesssim )$에 대하여 다음 두 조건이 서로 동치이며, 이를 만족시키는 원순서 집합을 하향 원순서 집합(下向原順序集合, 틀:Llang)이라고 한다.

• 작은 범주로 여겼을 때, 여과 범주의 반대 범주를 이룬다.
• 임의의 유한 부분 집합 $\{x_1,x_2,\dots ,x_n\}\subseteq X$, $n\in \mathbb{N}$은 하계를 갖는다. 즉,
  • ($n=0$인 경우) 공집합이 아니다.
  • ($n=2$인 경우) 임의의 두 원소 $x_1,x_2\in X$에 대하여, $y\lesssim x_1$이자 $y\lesssim x_2$인 $y\in X$가 적어도 하나 이상 존재한다.

흔히, 상향 원순서 집합은 단순히 "유향 집합"(有向集合, 틀:Llang)으로 불린다.

원순서 집합의 부분 집합 가운데 하향 원순서 집합을 이루는 것을 필터 기저(틀:Llang)라고 하며, 그 상폐포는 필터를 이룬다. 마찬가지로, 원순서 집합의 부분 집합 가운데 상향 원순서 집합을 이루는 것을 순서 아이디얼 기저(틀:Llang)라고 하며, 그 하폐포는 순서 아이디얼을 이룬다.

유향 극한

임의의 범주 $𝒞$ 속의 상향 그림(上向-, 틀:Llang)은 정의역이 상향 원순서 집합 $(I,\lesssim )$인 함자 $I\to 𝒞$이다. 상향 그림의 극한을 상향 극한(틀:Llang)이라고 한다.

임의의 범주 $𝒞$ 속의 하향 그림(下向-, 틀:Llang)은 정의역이 하향 원순서 집합 $(I,\lesssim )$인 함자 $I\to 𝒞$이다. 상향 그림의 쌍대 극한을 하향 쌍대 극한(틀:Llang)이라고 한다.

성질

원순서 집합 $(X,{\lesssim }_X)$ 위의 상향 부분 집합들의 집합 위에는 다음과 같은 원순서가 주어진다.

$B\lesssim B^{\prime }⟺\mathrm{\forall }b\in B\mathrm{\exists }{b}^{\prime }\in B^{\prime }:b^{\prime }{\lesssim }_{X}b$

$B\lesssim B^{\prime }$일 경우 $B^{\prime }$이 $B$보다 더 섬세하다(틀:Llang)고 한다. 두 상향 부분 집합 $B$, $B^{\prime }$이 같은 필터를 생성하는 것은 $B\lesssim B^{\prime }$이자 $B^{\prime }\lesssim B$인 것과 동치이다.

마찬가지로, 원순서 집합 $(X,{\lesssim }_X)$ 위의 하향 부분 집합들의 집합 위에는 다음과 같은 원순서가 주어진다.

$B\lesssim B^{\prime }⟺\mathrm{\forall }b\in B\mathrm{\exists }{b}^{\prime }\in B^{\prime }:b{\lesssim }_X{b}^{\prime }$

두 하향 부분 집합 $B$, $B^{\prime }$이 같은 순서 아이디얼을 생성하는 것은 $B\lesssim B^{\prime }$이자 $B^{\prime }\lesssim B$인 것과 동치이다.

참고 문헌

• J. L. Kelley (1955), General Topology.
• Gierz, Hofmann, Keimel, et al. (2003), Continuous Lattices and Domains, Cambridge University Press. 틀:ISBN.

외부 링크

• 틀:Eom
• 틀:Eom
• 틀:매스월드
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab