덮개 (위상수학)

위키백과, 우리 모두의 백과사전.

수학에서 덮개(영어: cover)는 합집합이 전체 집합인 부분 집합들의 집합족이다.

정의[편집]

집합 덮개는 다음 조건을 만족시키는 집합족 이다.

[1]:164

의 덮개들의 집합을

로 표기하자.

집합 의 덮개 부분 덮개(영어: subcover) 의 덮개이다.

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

집합 의 덮개 가 다음 조건을 만족시킨다면, 점별 유한 덮개(點別有限-, 영어: pointwise finite cover)라고 한다.

  • 임의의 에 대하여, 유한 집합이다.

세분[편집]

두 덮개 , 가 주어졌을 때, 만약 임의의 에 대하여 가 존재한다면, 세분(영어: refinement) 이라고 하고,[2]:144, Definition 20.1 으로 표기한다. 이는 의 덮개들의 집합 위의 원순서를 이룬다.

성형 세분[편집]

의 덮개 가 주어졌을 때, 부분 집합 -(영어: star)은 다음과 같다.[3]:4, §I.1.1

덮개 가 주어졌을 때, 성형 폐포(영어: star closure)

를 정의하자. 이 역시 의 덮개를 이룬다. 두 덮개 , 가 주어졌을 때, 만약 라면, 성형 세분(星形細分, 영어: star refinement)이라고 한다.[2]:144, Definition 20.1

덮개 가 주어졌을 때, 무게 중심 폐포(영어: barycentric closure)

를 정의하자. 이 역시 의 덮개를 이룬다. 두 덮개 , 가 주어졌을 때, 만약 라면, 무게 중심 세분(-中心細分, 영어: barycentric refinement)이라고 한다.[2]:144, Definition 20.1

성질[편집]

함자성[편집]

임의의 덮개 , 에 대하여,

이라면

이다. 즉, 원순서 집합 작은 범주로 간주하였을 때,

함자를 이룬다.

함의 관계[편집]

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

따라서, 같은 집합 위의 두 덮개 , 에 대하여,

  • 만약 의 부분 덮개라면 의 세분이다.
  • 만약 의 성형 세분이라면 의 무게 중심 세분이다.
  • 만약 의 무게 중심 세분이라면 의 세분이다.
  • 만약 의 무게 중심 세분의 무게 중심 세분이라면 의 성형 세분이다.[2]:152, Problem 20B.1[3]:6, Proposition I.1.4

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

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

반사성[편집]

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

집합 위의 임의의 덮개 에 대하여

이다.

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

  • 이다.
  • 서로소이다. 즉, 임의의 에 대하여 라면 이다.

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

  • 이다.
  • 임의의 부분 집합 에 대하여, 만약 이라면, 상계 를 갖는다.

유한 집합의 덮개[편집]

크기 유한 집합의 덮개의 수는 다음과 같다. (OEIS의 수열 A371)

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

덮개들의 집합 은 부분 덮개 관계에 대하여 부분 순서 집합 을 이룬다. 그 극소 원소 가운데, 크기가 인 것들의 수는 다음과 같다.[4]:248, (3)[5] (OEIS의 수열 A35348)

여기서 이항 계수이며, 제2종 스털링 수이다. 그 값들은 다음과 같다.

nk 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

응용[편집]

콤팩트 공간[편집]

집합 위상 공간의 구조를 가질 때, 열린 덮개열린집합만으로 구성된 덮개이다. 위상 공간 의 열린 덮개 에 대하여, 만약 다음 조건이 성립한다면, 국소 유한 열린 덮개(영어: locally finite open cover)라고 한다.

  • 임의의 에 대하여, 유한 집합근방 가 존재한다.

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

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

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

균등 공간[편집]

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

체흐 코호몰로지[편집]

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

[편집]

분할[편집]

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

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

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

거리 공간[편집]

거리 공간 에서, 임의의 양의 실수 에 대하여 덮개

를 정의하자. 여기서

거리 공간지름을 뜻한다. 그렇다면, 삼각 부등식에 의하여 다음이 성립한다.[3]:5, Example I.1.1

이에 대하여 알렉산드르 블라디미로비치 아르한겔스키(러시아어: Алекса́ндр Влади́мирович Арха́нгельский)는 다음과 같이 적었다.

무게 중심 세분을 도입하는 목적은 삼각 부등식집합론적인 용어만으로 모방하기 위한 것이다. [※아르한겔스키는 성형 세분을 영어: strong star refinement로 부르며 무게 중심 세분을 영어: star refinement로 부른다.]
The purpose of star refinement is to imitate the triangle inequality in purely set-theoretic terms.
 
[3]:6

참고 문헌[편집]

  1. Munkres, James R. (2000). 《Topology》 (영어) 2판. Prentice Hall. ISBN 978-0-13-181629-9. MR 0464128. Zbl 0951.54001. 
  2. Willard, Stephen (1970). 《General Topology》 (영어). Addison-Wesley. ISBN 978-0-201-08707-9. MR 0264581. 
  3. Arhangel’skii, A. V. (1995). 〈Paracompactness and metrization. The method of covers in the classification of spaces〉. 《General topology III: paracompactness, function spaces, descriptive theory》. Encyclopaedia of Mathematical Sciences (영어) 51. 번역 Gould, G. G. 1–70쪽. doi:10.1007/978-3-662-07413-8_1. ISBN 978-3-642-08123-1. ISSN 0938-0396. 
  4. Hearne, T.; Wagner, C. G. (1973). “Minimal covers of finite sets”. 《Discrete Mathematics》 (영어) 5: 247-251. doi:10.1016/0012-365X(73)90141-6. ISSN 0012-365X. 
  5. Macula, Anthony J. (1995년 10월). “Lewis Carroll and the enumeration of minimal covers”. 《Mathematics Magazine》 (영어) 68 (4): 269–274. doi:10.2307/2690571. ISSN 0025-570X. JSTOR 2690571. 

외부 링크[편집]