가산 콤팩트 공간

일반위상수학에서, **가산 콤팩트 공간**(可算compact空間, )은 임의의 가산 열린 덮개 속에서, 전체 공간을 덮는 유한 개의 열린집합을 찾을 수 있는 위상 공간이다.

## 정의
### 가산 콤팩트 공간
위상 공간 X에 대하여, 다음 조건들이 서로 동치이며, 이를 만족시키는 X를 **가산 콤팩트 공간**이라고 한다.
* 모든 가산 열린 덮개는 유한 부분 덮개를 갖는다.
* 모든 점렬은 수렴 부분 그물을 갖는다.
* 모든 무한 집합은 \aleph_0-집적점을 갖는다.

**모든 가산 열린 덮개가 유한 부분 덮개를 가짐 ⇒ 모든 무한 집합이 <math>\aleph_0</math>-집적점을 가짐:** 무한 집합 A\subseteq X가 \aleph_0-집적점을 갖지 않는다고 하자. 그렇다면, 편의상 A는 가산 무한 집합으로 잡을 수 있다. 임의의 유한 부분 집합 F\subseteq A에 대하여,
:U_F=\operatorname{int}(F\cup(X\setminus A))
라고 하자. 임의의 x\in X에 대하여, x가 A의 \aleph_0-집적점이 아니므로, V_x\cap A가 유한 집합인 열린 근방 V_x\ni x가 존재한다.
:V_x=\operatorname{int}V_x=\operatorname{int}((V_x\cap A)\cup(V_x\setminus A))\subseteq\operatorname{int}((V_x\cap A)\cup(X\setminus A))=U_{V_x\cap A}
이므로, \{U_F\}_{F\subseteq A}^{|F|는 X의 열린 덮개를 이룬다. 가산 무한 집합의 유한 부분 집합의 수는 가산하므로, 이는 X의 가산 덮개이다. 임의의 유한 부분 집합 F\subseteq A에 대하여,
:U_F\cap A\subseteq(F\cup(X\setminus A))\cap A\subseteq F
이므로, U_F\cap A는 유한 집합이다. 따라서, \{U_F\}_{F\subseteq A}^{|F|의 유한 부분 덮개는 존재하지 않으며, X는 가산 콤팩트 공간이 아니다.

**모든 무한 집합이 <math>\aleph_0</math>-집적점을 가짐 ⇒ 모든 점렬이 수렴 부분 그물을 가짐:** X의 모든 무한 집합이 \aleph_0-집적점을 가지며, (x_n)_{n=0}^\infty이 X 속의 점렬이라고 하자. 만약 \{x_0,x_1,\dots\}이 유한 집합이라면, x_{n_0}=x_{n_1}=\cdots인 n_0가 존재하다. 그렇다면, (x_{n_k})_{n=0}^\infty는 (x_n)_{n=0}^\infty의 상수 부분 점렬이며, 특히 수렴 부분 그물이다. 만약 \{x_0,x_1,\dots\}이 무한 집합이라면, 그 \aleph_0-집적점 x가 존재하며, 임의의 근방 U\ni x에 대하여, \{n\colon x_n\in U\}는 \mathbb N의 공종 집합이다. 즉, x는 어떤 부분 그물의 극한이다.

**모든 점렬이 수렴 부분 그물을 가짐 ⇒ 모든 가산 열린 덮개가 유한 부분 덮개를 가짐:** X의 가산 열린 덮개 \{U_0,U_1,\dots\}가 유한 부분 덮개를 갖지 않는다고 하자. 그렇다면, 임의의 n\in\mathbb N에 대하여,
:x_n\in X\setminus(U_0\cup\cdots\cup U_n)
를 고를 수 있다. 임의의 x\in X에 대하여, x\in U_i인 i\in\mathbb N이 존재한다. 그런데, 임의의 n\ge i에 대하여 x_n\not\in U_i이므로, \{n\in\mathbb N\colon x_n\in U_i\}은 공종 집합이 아니며, x는 (x_n)_{n=0}^\infty의 부분 그물의 극한이 아니다. 즉, (x_n)_{n=0}^\infty의 수렴 부분 그물은 존재하지 않는다.

### 극한점 콤팩트 공간
위상 공간 X에 대하여, 다음 조건들이 서로 동치이며, 이를 만족시키는 X를 **극한점 콤팩트 공간**(極限點compact空間, ) 또는 **약가산 콤팩트 공간**(弱可算compact空間, )이라고 한다.
* 모든 무한 집합은 극한점을 갖는다.
* 모든 이산 닫힌집합은 유한하다.

## 성질
가산 콤팩트 공간의 닫힌집합은 가산 콤팩트 공간이다. 마찬가지로, 극한점 콤팩트 공간의 닫힌집합은 극한점 콤팩트 공간이다.

가산 콤팩트 공간의 연속 함수에 대한 상은 가산 콤팩트 공간이다. 극한점 콤팩트 공간의 연속적 상은 극한점 콤팩트 공간일 필요가 없다.

콤팩트 공간과 가산 콤팩트 공간의 곱공간은 가산 콤팩트 공간이다. 점렬 콤팩트 공간과 가산 콤팩트 공간의 곱공간은 가산 콤팩트 공간이다.

### 함의 관계
다음과 같은 함의 관계가 성립한다.
:

위상 공간 X가 극한점을 갖지 않는 무한 부분 집합을 갖는다고 하자. 그렇다면, 무한 부분 집합의 가산 무한 부분 집합을 잡을 수 있으므로, 극한점을 갖지 않는 가산 무한 부분 집합
:\{a_0,a_1,\dots\}\subseteq X
가 존재한다. 임의의 x\in X에 대하여, x는 \{a_0,a_1,\dots\}의 극한점이 아니므로,
:U_x\setminus\{x\}\cap\{a_0,a_1,\dots\}=\varnothing
인 근방 U_x\ni x가 존재한다. 특히, x=a_i인 경우 \{a_i\}는 열린집합이며, x\in X\{a_0,a_1,\dots\}인 경우 \{a_0,a_1,\dots\}는 닫힌집합이다. 따라서,
:\{X\setminus\{a_0,a_1,\dots\}\}\cup\{\{a_0\},\{a_1\},\dots\}
은 X의 가산 열린 덮개이며, 유한 부분 덮개를 갖지 않는다. 즉, X는 가산 콤팩트 공간이 아니다.

T<sub>1</sub> 공간에서, \aleph_0-집적점과 극한점의 개념은 일치한다. 따라서, T<sub>1</sub> 공간에 대하여 가산 콤팩트 공간과 극한점 콤팩트 공간의 개념이 서로 동치이다.

유사 콤팩트 정규 공간은 극한점 콤팩트 공간이다. T<sub>4</sub> 공간(=정규 하우스도르프 공간)의 경우 가산 콤팩트 공간·극한점 콤팩트 공간·희박 콤팩트 공간·유사 콤팩트 공간의 개념이 서로 동치이다.

제1 가산 공간에 대하여, 점렬 콤팩트 공간과 가산 콤팩트 공간의 개념이 서로 동치이다.

위상 공간에 대하여, 다음 세 조건이 서로 동치이다.
* 콤팩트 공간이다.
* 가산 콤팩트 공간이며 린델뢰프 공간이다.
* 가산 콤팩트 공간이며 메타콤팩트 공간이다.

특히, 제2 가산 공간의 경우 (제1 가산 공간이자 린델뢰프 공간이므로), 콤팩트 공간·점렬 콤팩트 공간·가산 콤팩트 공간의 개념이 동치이다.

거리화 가능 공간에서는 콤팩트 공간·점렬 콤팩트 공간·가산 콤팩트 공간·극한점 콤팩트 공간·희박 콤팩트 공간·유사 콤팩트 공간의 개념이 모두 동치이다.

에벌라인-시물리얀 정리에 따르면, \mathbb K\in\{\mathbb R,\mathbb C\} 및 \mathbb K-바나흐 공간 (V,\lVert\cdot\rVert) 위에 약한 위상을 가하였을 때, 그 부분 집합들에 대하여 콤팩트 공간·점렬 콤팩트 공간·가산 콤팩트 공간·극한점 콤팩트 공간의 개념이 동치이다.

## 예
### 가산 콤팩트 공간이 아닌 극한점 콤팩트 공간
실수의 전순서 집합 \mathbb R 위에 하위상을 주자. 즉, 다음과 같은 꼴의 집합들을 열린집합들로 하는 위상이다.
:(-\infty,x)\qquad(x\in\mathbb R)
이는 콜모고로프 공간이지만, T<sub>1</sub> 공간이 아니다. 임의의 두 실수 x에 대하여, x는 \{y\}의 극한점이다. 또한, \{(-\infty,n)\colon n\in\mathbb N\}은 가산 열린 덮개이지만, 유한 부분 덮개를 갖지 않는다. 따라서, 하위상을 갖춘 실수선은 극한점 콤팩트 공간이지만, 가산 콤팩트 공간이 아니다.

하위상을 갖춘 실수선에서 하우스도르프 공간으로 가는 연속 함수는 상수 함수밖에 없다. 따라서, \mathbb R의 하위상은 유사 콤팩트 공간이다. \{(-\infty,0),(-\infty,-1),\cdots\}은 무한 개의 열린집합들의 국소 유한 집합족이므로, \mathbb R의 하위상은 희박 콤팩트 공간이 아니다.

### 유사 콤팩트 공간이 아닌 극한점 콤팩트 공간
두 점 비이산 공간 X와 가산 무한 이산 공간 \mathbb Z의 곱공간
:X\times\mathbb Z
을 생각하자. 이는 콜모고로프 공간이 아니다. 임의의 (x,n)\in X\times\mathbb Z 및 x'\in X\setminus\{x\}에 대하여 (x',n)은 \{(x,n)\}의 극한점이다. 따라서, X\times\mathbb Z은 극한점 콤팩트 공간이다. 반면, 사영 함수
:X\times\mathbb Z\to\mathbb Z
는 연속 함수이지만, 그 상 \mathbb Z는 \mathbb R의 유계 집합이 아니다. 즉, X\times\mathbb Z는 유사 콤팩트 공간이 아니며, 따라서 가산 콤팩트 공간도 아니다.

### 극한점 콤팩트 공간이 아닌 유사 콤팩트 공간
쌍대 가산 위상을 갖춘 비가산 집합 X를 생각하자. 즉, X의 열린집합은 공집합이거나, 여집합이 가산 집합이다. 하우스도르프 공간 Y에 대하여 연속 함수 X\to Y는 상수 함수밖에 없다. 따라서 X는 유사 콤팩트 공간이다. X의 가산 무한 부분 집합은 이산 닫힌집합이다. 따라서 X는 극한점 콤팩트 공간이 아니다.

## 참고 문헌

## 외부 링크
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 

분류:위상 공간의 성질