덮개 (위상수학)

틀:위키데이터 속성 추적 수학에서 덮개(틀:Llang) 혹은 피복(被覆)은 합집합이 전체 집합인 부분 집합들의 집합족이다.

정의

집합 $X$의 덮개는 다음 조건을 만족시키는 집합족 $𝒞\subseteq 𝒫(X)$이다.틀:Rp

$X=\bigcup 𝒞=\bigcup _{C\in 𝒞}C$

$X$의 덮개들의 집합을

$\mathrm{Cover}(X)=\{𝒞\subseteq 𝒫(X):\bigcup 𝒞=X\}$

로 표기하자.

집합 $X$의 덮개 $𝒞$의 부분 덮개(틀:Llang) $𝒟$는 $𝒟\subseteq 𝒞$인 $X$의 덮개이다.

유한 덮개는 유한 집합인 덮개이다. 가산 덮개는 가산 집합인 덮개이다.

집합 $X$의 덮개 $𝒞\in \mathrm{Cover}(X)$가 다음 조건을 만족시킨다면, 점별 유한 덮개(點別有限-, 틀:Llang)라고 한다.

• 임의의 $x\in X$에 대하여, $\{C\in 𝒞:C\ni x\}$는 유한 집합이다.

세분

두 덮개 $𝒞$, ${𝒞}^{\prime }$가 주어졌을 때, 만약 임의의 $C^{\prime }\in {𝒞}^{\prime }$에 대하여 $C^{\prime }\subseteq C\in 𝒞$가 존재한다면, ${𝒞}^{\prime }$을 $𝒞$의 세분(틀:Llang) 이라고 하고,틀:Rp ${𝒞}^{\prime }\lesssim 𝒞$으로 표기한다. 이는 $X$의 덮개들의 집합 위의 원순서를 이룬다.

성형 세분

$X$의 덮개 $𝒞$가 주어졌을 때, 부분 집합 $S\subseteq X$의 $𝒞$-별(틀:Llang)은 다음과 같다.틀:Rp

$\mathrm{star}(S,𝒞)=\bigcup \{C\in 𝒞:C\cap S\ne \varnothing \}$

덮개 $𝒞$가 주어졌을 때, $𝒞$의 성형 폐포(틀:Llang)

${𝒞}^{\star }=\{\mathrm{star}(C,𝒞):C\in 𝒞\}$

를 정의하자. 이 역시 $X$의 덮개를 이룬다. 두 덮개 $𝒞$, ${𝒞}^{\prime }$가 주어졌을 때, 만약 $𝒞{\text{'}}^{\star }\lesssim 𝒞$라면, ${𝒞}^{\prime }$을 $𝒞$의 성형 세분(星形細分, 틀:Llang)이라고 한다.틀:Rp

덮개 $𝒞$가 주어졌을 때, $𝒞$의 무게 중심 폐포(틀:Llang)

${𝒞}^{\mathrm{b}}=\{\mathrm{star}(\{x\},𝒞):x\in X\}$

를 정의하자. 이 역시 $X$의 덮개를 이룬다. 두 덮개 $𝒞$, ${𝒞}^{\prime }$가 주어졌을 때, 만약 $𝒞{\text{'}}^{\mathrm{b}}\lesssim 𝒞$라면, ${𝒞}^{\prime }$을 $𝒞$의 무게 중심 세분(-中心細分, 틀:Llang)이라고 한다.틀:Rp

성질

함자성

임의의 덮개 $𝒞$, ${𝒞}^{\prime }$에 대하여,

$𝒞\lesssim {𝒞}^{\prime }$

이라면

${𝒞}^{\mathrm{b}}\lesssim 𝒞{\text{'}}^{\mathrm{b}}$

${𝒞}^{\star }\lesssim 𝒞{\text{'}}^{\star }$

이다. 즉, 원순서 집합 $(\mathrm{Cover}(X),\lesssim )$을 작은 범주로 간주하였을 때,

${\mathrm{b}}^{}:\mathrm{Cover}(X)\to \mathrm{Cover}(X)$

${\star }^{}:\mathrm{Cover}(X)\to \mathrm{Cover}(X)$

는 함자를 이룬다.

함의 관계

집합 $X$ 위의 덮개 $𝒞$에 대하여, 다음이 성립한다.

$𝒞\lesssim {𝒞}^{\mathrm{b}}\lesssim {𝒞}^{\star }\lesssim {𝒞}^{\mathrm{b}\mathrm{b}}$

따라서, 같은 집합 위의 두 덮개 $𝒞$, ${𝒞}^{\prime }$에 대하여,

• 만약 ${𝒞}^{\prime }$이 $𝒞$의 부분 덮개라면 ${𝒞}^{\prime }$은 $𝒞$의 세분이다.
• 만약 ${𝒞}^{\prime }$이 $𝒞$의 성형 세분이라면 ${𝒞}^{\prime }$은 $𝒞$의 무게 중심 세분이다.
• 만약 ${𝒞}^{\prime }$이 $𝒞$의 무게 중심 세분이라면 ${𝒞}^{\prime }$은 $𝒞$의 세분이다.
• 만약 ${𝒞}^{\prime }$이 $𝒞$의 무게 중심 세분의 무게 중심 세분이라면 ${𝒞}^{\prime }$은 $𝒞$의 성형 세분이다.틀:Rp틀:Rp

즉, 다음과 같은 함의 관계가 존재한다.

무게 중심 세분의 무게 중심 세분	⇒	성형 세분	⇒	무게 중심 세분	⇒	세분
						⇑
						부분 덮개

반사성

부분 덮개 관계는 부분 순서를 이룬다. 세분 관계는 일반적으로 부분 순서가 아니지만 항상 원순서를 이룬다. 그러나 성형 세분 관계와 무게 중심 세분 관계는 일반적으로 반사 관계가 아니므로 원순서가 아니다.

집합 $X$ 위의 임의의 덮개 $𝒞\in \mathrm{Cover}(X)$에 대하여

$𝒞\lesssim {𝒞}^{\star }$

$𝒞\lesssim {𝒞}^{\mathrm{b}}$

이다.

집합 $X$ 위의 덮개 $𝒞$에 대하여 다음 네 조건이 동치이다.

• ${𝒞}^{\star }\lesssim 𝒞$이다.
• ${𝒞}^{\star }$는 서로소이다. 즉, 임의의 $C,D\in 𝒞$에 대하여 $\mathrm{star}(C,𝒞)\ne \mathrm{star}(D,𝒞)$라면 $\mathrm{star}(C,𝒞)\cap \mathrm{star}(D,𝒞)=\varnothing$이다.
• $\mathrm{star}(-,𝒞)$는 멱등 연산이다. 즉, 임의의 $C\in 𝒞$에 대하여, $\mathrm{star}(\mathrm{star}(C,𝒞),𝒞)=\mathrm{star}(C,𝒞)$이다.
• $𝒞\lesssim 𝒫\lesssim 𝒞$인 집합의 분할 $𝒫$가 존재한다.

집합 $X$ 위의 덮개 $𝒞$에 대하여 다음 두 조건이 동치이다.

• ${𝒞}^{\mathrm{b}}\lesssim 𝒞$이다.
• 임의의 부분 집합 $𝒟\subseteq 𝒞$에 대하여, 만약 $\bigcap 𝒟\ne \varnothing$이라면, $𝒟$는 상계 $𝒞\ni \overline{D}\supseteq \bigcup 𝒟$를 갖는다.

유한 집합의 덮개

크기 $n$의 유한 집합의 덮개의 수는 다음과 같다. 틀:OEIS

$|\mathrm{Cover}(\{1,2,\dots ,n\})|=\sum _{k=0}^{\mathrm{\infty }}(-1{)}^k(\genfrac{}{}{0ex}{}{n}{k})2^{2^{n-k}}$

이는 항상 짝수인데, 이는 항상 공집합을 추가하거나 제거할 수 있기 때문이다.

덮개들의 집합 $\mathrm{Cover}(X)$은 부분 덮개 관계에 대하여 부분 순서 집합 $(\mathrm{Cover}(X),\subseteq )$을 이룬다. 그 극소 원소 가운데, 크기가 $k$인 것들의 수는 다음과 같다.틀:Rp 틀:OEIS

$\begin{array}{cc}|\{𝒞\in \min (\mathrm{Cover}(\{1,2,\dots ,n\}),\subseteq ):|𝒞|=k\}|& =\sum _{i=k}^{\min \{n,2^k-1\}}(\genfrac{}{}{0ex}{}{2^k-k-1}{i-k})\frac{i!}{k!}\left\{\genfrac{}{}{0ex}{}{n}{i}\right\}\\ & =\sum _{i=k}^n(\genfrac{}{}{0ex}{}{n}{i})(2^k-k-1{)}^{n-i}\left\{\genfrac{}{}{0ex}{}{i}{k}\right\}\end{array}$

여기서 $(\genfrac{}{}{0ex}{}{n}{k})$는 이항 계수이며, $\{\genfrac{}{}{0ex}{}{n}{k}\}$는 제2종 스털링 수이다. 그 값들은 다음과 같다.

n╲k	1	2	3	4	5	6	7	8
1	1
2	1	1
3	1	6	1
4	1	25	22	1
5	1	90	305	65	1
6	1	301	3410	2540	171	1
7	1	966	33621	77350	17066	420	1
8	1	3025	305382	2022951	1298346	100814	988	1

응용

콤팩트 공간

틀:본문 틀:본문 집합 $X$가 위상 공간의 구조를 가질 때, $X$의 열린 덮개는 열린집합만으로 구성된 덮개이다. 위상 공간 $X$의 열린 덮개 $𝒰$에 대하여, 만약 다음 조건이 성립한다면, $𝒰$를 국소 유한 열린 덮개(틀:Llang)라고 한다.

• 임의의 $x\in X$에 대하여, $\{U\in 𝒰:V\cap U\ne \varnothing \}$가 유한 집합인 근방 $V\ni x$가 존재한다.

콤팩트성에 관련된 위상 공간의 다양한 개념들을 "모든 열린 덮개는 ~을 갖는다"의 꼴로 정의할 수 있다.

개념	정의: 모든 열린 덮개가 ~를 가진다.
콤팩트 공간	유한 부분 덮개 (또는 유한 열린 세분틀:Rp)
린델뢰프 공간	가산 부분 덮개
파라콤팩트 공간	국소 유한 열린 세분
메조콤팩트 공간	콤팩트 유한(compact finite) 열린 세분
메타콤팩트 공간	점별 유한 열린 세분
직교 콤팩트 공간	내부 보존(interior preserving) 열린 세분

하우스도르프 공간에 대하여, 다음 조건들이 서로 동치이다.

• 파라콤팩트 공간이다.
• 모든 열린 덮개는 열린 성형 세분을 갖는다.틀:Rp
• 모든 열린 덮개는 열린 무게 중심 세분을 갖는다.틀:Rp

균등 공간

틀:본문 균등 공간의 개념은 성형 세분을 통해 정의할 수 있다.

체흐 코호몰로지

틀:본문 열린 덮개가 주어진 위상 공간 위의, 아벨 군 값의 층에 대하여, 체흐 코호몰로지라는 코호몰로지 이론을 정의할 수 있다. 만약 열린 덮개가 충분히 섬세하다면, 이는 층 코호몰로지와 일치한다.

예

분할

임의의 집합 $X$에 대하여, 다음과 같은 두 덮개를 정의할 수 있다.

${𝒞}_1=\{X\}$

${𝒞}_2=\{\{x\}:x\in X\}$

이들은 둘 다 부분 덮개 관계에 대하여 극소 원소를 이룬다.

보다 일반적으로, $X$의 집합의 분할은 항상 덮개를 이루며, 이는 부분 덮개 관계에 대하여 극소 원소이다.

거리 공간

거리 공간 $(X,{\mathrm{dist}}_X)$에서, 임의의 양의 실수 $ϵ>0$에 대하여 덮개

${𝒞}_{ϵ}(X,d)=\{Y\subseteq X:\mathrm{diam}Y\le ϵ\}$

를 정의하자. 여기서

$\mathrm{diam}Y=\underset{y,y^{\prime }\in Y}{\sup }{\mathrm{dist}}_X(y,y^{\prime })\in [0,\mathrm{\infty }]$

는 거리 공간의 지름을 뜻한다. 그렇다면, 삼각 부등식에 의하여 다음이 성립한다.틀:Rp

${𝒞}_{ϵ}\lesssim {𝒞}_{{ϵ}^{\prime }}\mathrm{\forall }{ϵ}^{\prime }\ge ϵ$

${𝒞}_{ϵ}^{\mathrm{b}}\lesssim {𝒞}_{{ϵ}^{\prime }}\mathrm{\forall }{ϵ}^{\prime }\ge 2ϵ$

${𝒞}_{ϵ}^{\star }\lesssim {𝒞}_{{ϵ}^{\prime }}\mathrm{\forall }{ϵ}^{\prime }\ge 3ϵ$

이에 대하여 알렉산드르 블라디미로비치 아르한겔스키(틀:Llang)는 다음과 같이 적었다. 틀:인용문2

외부 링크

• 틀:매스월드
• 틀:매스월드
• 틀:매스월드
• 틀:매스월드
• 틀:매스월드
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:웹 인용
• 틀:웹 인용
• 틀:웹 인용
• 틀:웹 인용
• 틀:웹 인용
• 틀:웹 인용