가산 콤팩트 공간

가산 컴팩트 공간(Countably compact space)은 위상공간으로서, 그 공간에 임의의 가산 열린 덮개가 주어질 때마다 각 열린 덮개에 대해 유한 열린 덮개를 가지는 것을 의미한다. 임의의 위상공간의 부분공간으로서 이런 성질을 가지는 집합이 가산 컴팩트성(countable compactness)을 갖는다고도 한다.

성질

• 컴팩트 공간이면 가산 컴팩트 공간이다. 반대로, 가산 컴팩트 공간이고 린델뢰프 공간이면 컴팩트 공간이다.
• 점열 컴팩트 공간은 가산 컴팩트 공간이다.
• 가산 컴팩트 공간이면 극한 컴팩트 공간이다. 그 역이 성립하려면 $T_{1}$공간이면 된다.
• 거리 공간에서는 컴팩트, 가산 컴팩트, 극한 컴팩트, 점열 컴팩트의 개념이 모두 동치이다.

참고 문헌

• James R. Munkres (2000), Topology, Prentice Hall.