강하향 반사슬

순서론에서 **강하향 반사슬**(強下向反사슬, )은 서로 다른 두 원소가 공통된 하계를 갖지 않는, 원순서 집합의 반사슬이다. 반대로, **강상향 반사슬**(強上向反사슬, )은 서로 다른 두 원소가 공통된 상계를 갖지 않는, 원순서 집합의 반사슬이다.

## 정의
### 원소의 양립
원순서 집합 (X,\lesssim)의 두 원소 x,y\in X에 대하여, 만약 \{x,y\}가 하계를 갖는다면, x와 y가 **하향 양립**(下向兩立, )한다고 한다. 마찬가지로, 만약 \{x,y\}가 하계를 갖는다면, x와 y가 **상향 양립**(上向兩立, )한다고 한다.

서로 비양립하는 두 원소는 보통 x\perp y로 표기하며, 서로 양립하는 두 원소는 보통 x\parallel y로 표기한다. (이 기호들이 상향·하향을 나타내는지 여부는 문헌에 따라 다르다.)

### 강하향·강상향 반사슬
원순서 집합 (X,\lesssim)에 대하여 다음 두 조건이 서로 동치이며, 이를 만족시키는 원순서 집합을 **강하향 반사슬**이라고 한다.
* A의 부분 집합 가운데 크기 2 이상인 것은 하계를 갖지 않는다.
* 임의의 a,a'\in A에 대하여, 만약 a와 a'이 하향 양립한다면, a=a'이다.
* 임의의 a,a'\in A 및 x\in X에 대하여, x\lesssim a\ne a'라면 x\not\lesssim a'이다.
마찬가지로, 원순서 집합 (P,\lesssim)에 대하여 다음 두 조건이 서로 동치이며, 이를 만족시키는 원순서 집합을 **강하향 반사슬**이라고 한다.
* A의 부분 집합 가운데 크기 2 이상인 것은 상계를 갖지 않는다.
* 임의의 a,a'\in A에 대하여, 만약 a와 a'이 상향 양립한다면, a=a'이다.
* 임의의 a,a'\in A 및 x\in X에 대하여, x\gtrsim a\ne a'라면 x\not\gtrsim a'이다.

강한 하향 반사슬 및 강한 상향 반사슬은 반사슬이지만, 그 역은 성립하지 않는다.

### 반사슬 조건
임의의 기수 \kappa가 주어졌다고 하자. 만약 원순서 집합 (X,\lesssim)의 모든 강하향 반사슬의 크기가 \kappa 미만이라면, (X,\lesssim)가 **<math>\kappa</math>-강하향 반사슬 조건**(\kappa-強上向反사슬條件, )을 만족시킨다고 한다. 마찬가지로, 원순서 집합 (X,\lesssim)의 모든 강상향 반사슬의 크기가 \kappa 미만이라면, (P,\lesssim)가 **<math>\kappa</math>-강상향 반사슬 조건**(\kappa-強上向反사슬條件, )을 만족시킨다고 한다.

특히, 만약 \kappa=\aleph_1일 경우, 이 조건들은  **가산 강하향 반사슬 조건**(可算強上向反사슬條件, )·**가산 강상향 반사슬 조건**(可算強上向反사슬條件, )이라고 한다. (집합론에서는 이 조건들을 보통 "가산 반사슬 조건" 또는 "가산 사슬 조건"으로 부른다. 후자는 불 대수의 경우 사슬과 반사슬 사이의 관계에 따른 것이다.)

## 성질
B가 완비 불 대수라고 하고, \kappa가 임의의 기수라고 하자. 그렇다면, 다음 두 집합 사이에는 자연스러운 전단사 함수가 존재한다.
* 그 상이 B\setminus\{\bot\}의 강하향 반사슬을 이루는 함수 f\colon\kappa\to B\setminus\{\bot\}들의 집합
* 단사 증가 함수 g\colon \kappa\to B 가운데, 임의의 S\subseteq\kappa에 대하여 (\sup S), \sup g(S)=g(\sup S)인 것들의 집합. (특히, S=\varnothing일 때 \bot=g(0)이다.)
구체적으로, 이 전단사 함수는 다음과 같다. f\colon \kappa\to B\setminus\{\bot\}가 주어졌을 때,
:g\colon\alpha\mapsto\sup_{\beta
를 정의한다. 반대로, g\colon\kappa\to B가 주어졌을 때,
:f\colon\alpha\mapsto g(\alpha+1)\land\lnot g(\alpha)
를 정의한다.

## 예
공집합과 한원소 집합은 (자명하게) 항상 강하향 반사슬이자 강상향 반사슬이다.

최대 원소를 갖는 원순서 집합의 강상향 반사슬은 공집합이거나 한원소 집합이다. 마찬가지로, 최소 원소를 갖는 원순서 집합의 강하향 반사슬은 공집합이거나 한원소 집합이다.

### 멱집합
집합 X에 대하여, 부분 순서 집합 (\mathcal P(X)\setminus\{\varnothing\},\subseteq)을 생각하자. 이 경우, 공집합을 포함하지 않는 집합족 \mathcal S\subseteq \mathcal P(X)\setminus\{\varnothing\}에 대하여 다음 두 조건이 서로 동치이다.
* \mathcal P(X)\setminus\{\varnothing\}의 강하향 반사슬이다.
* 서로소 집합족이다. 즉, 임의의 두 A,B\in\mathcal S에 대하여, A\ne B라면 A\cap B=\varnothing이다.
특히, \mathcal P(X)\setminus\{\varnothing\}의 강하향 반사슬의 최대 크기는 |X|이다.

마찬가지로, 집합족 \mathcal S\subseteq \mathcal P(X)\setminus\{X\}에 대하여 다음 세 조건이 서로 동치이다.
* \mathcal P(X)\setminus\{X\}의 강상향 반사슬이다.
* 임의의 두 A,B\in\mathcal S에 대하여, A\cup B=X이다.
* \{X\setminus S\colon S\in\mathcal S\}는 서로소 집합족이다.
특히, \mathcal P(X)\setminus\{X\}의 강상향 반사슬의 최대 크기는 |X|이다.

\mathcal P(X)\setminus\{\varnothing,X\} 속의 반사슬 가운데, 반하향 반사슬이자 반상향 반사슬인 것들을 생각한다면, 이는 항상 크기가 2 이하이다. 즉, (크기 2일 경우) \varnothing\ne S\subsetneq X에 대하여 \{S,X\setminus S\}의 꼴이다.

### 위상 공간
위상 공간 X의, 공집합이 아닌 열린집합들의 부분 순서 집합 \left(\operatorname{Open}(X)\setminus\{\varnothing\},\subseteq\right)을 생각하자.

만약 X가 수슬린 직선이라면, \operatorname{Open}(X)\setminus\{\varnothing\}는 (정의에 따라) 가산 강하향 반사슬 조건을 만족시킨다.

만약 X가 분해 가능 공간이라면, \operatorname{Open}(X)\setminus\{\varnothing\}는 가산 강하향 반사슬 조건을 만족시킨다. 사실, 거리화 가능 공간에 대하여 다음 두 조건이 서로 동치이다.
* 분해 가능 공간이다.
* 가산 강하향 반사슬 조건이 성립한다.

집합 \{0,1\}^{\beth_2}에 곱공간 위상을 줄 경우, 이는 가산 강하향 반사슬 조건을 만족시키지만, 이는 분해 가능 공간이 아니다. (여기서 \beth_2=2^{2^{\aleph_0}}는 베트 수이다.)

## 응용
강하향·강상향 반사슬의 개념은 강제법에 등장한다. 강제법에서, 만약 공시작 집합과 포괄적 필터를 사용할 경우 가산 강하향 반사슬 조건을 사용하며, 반대로 공종 집합과 포괄적 순서 아이디얼을 사용할 경우 가산 강상향 반사슬 조건을 사용한다.

## 각주

## 외부 링크
* 
* 
* 

분류:순서론