상집합

순서론에서 상집합(上集合, 영어: upper set, upward-closed set, upset)은 S {\displaystyle S} 에 속하는 원소보다 더 큰 임의의 원소 역시 S {\displaystyle S} 에 속하는, 원순서 집합의 부분 집합 S {\displaystyle S} 이다. 마찬가지로, 하집합(下集合, 영어: lower set, downward-closed set, downset)은 S {\displaystyle S} 에 속하는 원소보다 더 작은 임의의 원소 역시 S {\displaystyle S} 에 속하는, 원순서 집합의 부분 집합 S {\displaystyle S} 이다. 원순서 집합 ( X , ≲ ) {\displaystyle (X,\lesssim )} 의 부분 집합 S ⊆ X {\displaystyle S\subseteq X} 의 상폐포(上閉包, 영어: upper closure)는 다음과 같은 부분 집합이다. ↑ S = { x ∈ X : ∃ s ∈ S : s ≲ x } {\displaystyle \uparrow S=\{x\in X\colon \exists s\in S\colon s\lesssim x\}} 이는 S {\displaystyle S} 를 포함하는 최소 상집합이다. 원순서 집합 ( X , ≲ ) {\displaystyle (X,\lesssim )} 의 부분 집합 S ⊆ X {\displaystyle S\subseteq X} 의 하폐포(下閉包, 영어: lower closure)는 다음과 같은 부분 집합이다. ↓ S = { x ∈ X : ∃ s ∈ S : x ≲ s } {\displaystyle \downarrow S=\{x\in X\colon \exists s\in S\colon x\lesssim s\}} 이는 S {\displaystyle S} 를 포함하는 최소 하집합이다. 원순서 집합 ( X , ≲ ) {\displaystyle (X,\lesssim )} 의 부분 집합 S ⊆ X {\displaystyle S\subseteq X} 에 대하여 다음 조건들이 모두 서로 동치이며, 이를 만족시키는 부분 집합을 상집합(上集合, 영어: upper set)이라고 한다. 임의의 x ∈ S {\displaystyle x\in S} 및 y ∈ X {\displaystyle y\in X} 에 대하여, x ≲ y {\displaystyle x\lesssim y} 라면 y ∈ S {\displaystyle y\in S} 이다. ↑ S ⊆ S {\displaystyle \uparrow S\subseteq S} ↑ S = S {\displaystyle \uparrow S=S} s ∈ S {\displaystyle s\in S} 및 사슬 C ⊆ X {\displaystyle C\subseteq X} 에 대하여, 만약 { s } = min C {\displaystyle \{s\}=\min C} 라면, C ⊆ S {\displaystyle C\subseteq S} 이다. X ∖ S {\displaystyle X\setminus S} 는 하집합이다. 원순서 집합 ( X , ≲ ) {\displaystyle (X,\lesssim )} 의 부분 집합 S ⊆ X {\displaystyle S\subseteq X} 에 대하여 다음 조건들이 모두 서로 동치이며, 이를 만족시키는 부분 집합을 하집합(下集合, 영어: lower set)이라고 한다. 임의의 x ∈ S {\displaystyle x\in S} 및 y ∈ X {\displaystyle y\in X} 에 대하여, y ≲ x {\displaystyle y\lesssim x} 라면 y ∈ S {\displaystyle y\in S} 이다. ↓ S ⊆ S {\displaystyle \downarrow S\subseteq S} ↓ S = S {\displaystyle \downarrow S=S} s ∈ S {\displaystyle s\in S} 및 사슬 C ⊆ X {\displaystyle C\subseteq X} 에 대하여, 만약 { s } = max C {\displaystyle \{s\}=\max C} 라면, C ⊆ S {\displaystyle C\subseteq S} 이다. X ∖ S {\displaystyle X\setminus S} 는 상집합이다. 원순서 집합 ( X , ≲ ) {\displaystyle (X,\lesssim )} 의 상집합들의 (유한 또는 무한) 족 ( U i ) i ∈ I {\displaystyle (U_{i})_{i\in I}} 의 교집합 ⋂ i ∈ I U i {\displaystyle \bigcap _{i\in I}U_{i}} 및 합집합 ⋃ i ∈ I U i {\displaystyle \bigcup _{i\in I}U_{i}} 역시 상집합이다. 마찬가지로, 하집합들의 (유한 또는 무한) 족의 교집합과 합집합 역시 하집합이다. 따라서, 원순서 집합 ( X , ≲ ) {\displaystyle (X,\lesssim )} 의 상집합들의 족은 (부분 집합 관계에 대하여) 완비 격자를 이룬다. 마찬가지로, ( X , ≤ ) {\displaystyle (X,\leq )} 의 하집합들의 족 역시 완비 격자를 이룬다. 부분 순서 집합 ( X , ≤ ) {\displaystyle (X,\leq )} 의 상집합 U ⊆ X {\displaystyle U\subseteq X} 의 극소 원소들의 집합 min U {\displaystyle \min U} 는 X {\displaystyle X} 의 반사슬을 이룬다. 마찬가지로, ( X , ≤ ) {\displaystyle (X,\leq )} 의 하집합 L ⊆ X {\displaystyle L\subseteq X} 의 극대 원소들의 집합 max L {\displaystyle \max L} 은 X {\displaystyle X} 의 반사슬을 이룬다. 반대로, 부분 순서 집합 ( X , ≤ ) {\displaystyle (X,\leq )} 의 반사슬 A ⊆ X {\displaystyle A\subseteq X} 가 주어졌을 때, ↑ A {\displaystyle \uparrow A} 는 상집합이며 min ↑ A = A {\displaystyle \min \uparrow A=A} max ↓ A = A {\displaystyle \max \downarrow A=A} 이다. 따라서, X {\displaystyle X} 의 반사슬 집합에서 상집합 집합으로 가는 함수 ↑ : Antichain ⁡ ( X , ≤ ) → Upper ⁡ ( X , ≤ ) {\displaystyle \uparrow \colon \operatorname {Antichain} (X,\leq )\to \operatorname {Upper} (X,\leq )} 는 단사 함수이며, max : Upper ⁡ ( X , ≤ ) → Antichain ⁡ ( X , ≤ ) {\displaystyle \max \colon \operatorname {Upper} (X,\leq )\to \operatorname {Antichain} (X,\leq )} 는 그 왼쪽 역사상이자 전사 함수이다. 만약 ( X , ≤ ) {\displaystyle (X,\leq )} 가 내림 사슬 조건을 만족시킨다면 이 두 함수는 전단사 함수이다. 그러나 일반적 부분 순서 집합에 대해서는 전단사 함수가 아닐 수 있다. 예를 들어, 실수의 전순서 집합에서 양의 실수의 부분 집합 R + ⊆ R {\displaystyle \mathbb {R} ^{+}\subseteq \mathbb {R} } 는 상집합이지만 극소 원소를 갖지 않는다. 임의의 원순서 집합 ( X , ≲ ) {\displaystyle (X,\lesssim )} 에 대하여, X {\displaystyle X} 는 스스로의 상집합이자 하집합이며, 또 공집합 ∅ ⊆ X {\displaystyle \varnothing \subseteq X} 역시 X {\displaystyle X} 의 상집합이자 하집합이다. 임의의 원순서 집합 ( X , ≲ ) {\displaystyle (X,\lesssim )} 의 원소 x ∈ X {\displaystyle x\in X} 에 대하여, ↑ { x } = { y ∈ X : x ≲ y } {\displaystyle \uparrow \{x\}=\{y\in X\colon x\lesssim y\}} ↓ { x } = { y ∈ X : y ≲ x } {\displaystyle \downarrow \{x\}=\{y\in X\colon y\lesssim x\}} 는 각각 상집합과 하집합을 이룬다. 사실, 이들은 각각 필터와 아이디얼을 이룬다. 실수의 전순서 집합 ( R , ≤ ) {\displaystyle (\mathbb {R} ,\leq )} 의 상집합은 항상 다음 네 가지 가운데 하나이다. ( a , ∞ ) {\displaystyle (a,\infty )} ( a ∈ R {\displaystyle a\in \mathbb {R} } ) [ a , ∞ ) {\displaystyle [a,\infty )} ( a ∈ R {\displaystyle a\in \mathbb {R} } ) R {\displaystyle \mathbb {R} } ∅ {\displaystyle \varnothing } 마찬가지로, 실수의 전순서 집합 ( R , ≤ ) {\displaystyle (\mathbb {R} ,\leq )} 의 하집합은 항상 다음 네 가지 가운데 하나이다. ( − ∞ , a ) {\displaystyle (-\infty ,a)} ( a ∈ R {\displaystyle a\in \mathbb {R} } ) ( − ∞ , a ] {\displaystyle (-\infty ,a]} ( a ∈ R {\displaystyle a\in \mathbb {R} } ) R {\displaystyle \mathbb {R} } ∅ {\displaystyle \varnothing } 순서수는 스스로 미만의 다른 순서수들의 집합으로 여길 수 있다. α = { β ∈ Ord : β < α } {\displaystyle \alpha =\{\beta \in \operatorname {Ord} \colon \beta <\alpha \}} 이 경우, 두 순서수 α , β {\displaystyle \alpha ,\beta } 에 대하여, 만약 α ≤ β {\displaystyle \alpha \leq \beta } 라면 α {\displaystyle \alpha } 는 β {\displaystyle \beta } 의 하집합이다. 순서수 α {\displaystyle \alpha } 의 모든 상집합은 다음과 같은 꼴이다. { β ∈ Ord : β 0 ≤ β < α } {\displaystyle \{\beta \in \operatorname {Ord} \colon \beta _{0}\leq \beta <\alpha \}} ( β 0 ≤ α + 1 {\displaystyle \beta _{0}\leq \alpha +1} ) 순서수 α {\displaystyle \alpha } 의 모든 하집합은 다음과 같은 꼴이다. { β ∈ Ord : β < β 0 } {\displaystyle \{\beta \in \operatorname {Ord} \colon \beta <\beta _{0}\}} ( β 0 ≤ α + 1 {\displaystyle \beta _{0}\leq \alpha +1} ) “Upper set”. 《nLab》 (영어).  “Lower set”. 《nLab》 (영어).  “Up set”. 《nLab》 (영어).  “Down set”. 《nLab》 (영어).  “Definition: upper set”. 《ProofWiki》 (영어). 2021년 1월 20일에 원본 문서에서 보존된 문서. 2016년 6월 15일에 확인함.  “Definition: upper closure”. 《ProofWiki》 (영어). 2021년 1월 20일에 원본 문서에서 보존된 문서. 2016년 6월 15일에 확인함.  “Definition: lower set”. 《ProofWiki》 (영어). 2017년 12월 27일에 원본 문서에서 보존된 문서. 2016년 6월 15일에 확인함.  “Definition: lower closure”. 《ProofWiki》 (영어).  “Definition: strict upper closure”. 《ProofWiki》 (영어).  “Definition: strict lower closure”. 《ProofWiki》 (영어).  “Equivalence of definitions of upper set”. 《ProofWiki》 (영어). 2020년 9월 23일에 원본 문서에서 보존된 문서. 2016년 6월 15일에 확인함.  “Equivalence of definitions of lower set”. 《ProofWiki》 (영어). 2017년 7월 9일에 원본 문서에서 보존된 문서. 2016년 6월 15일에 확인함.