가산 콤팩트 공간: 두 판 사이의 차이

'''가산콤팩트 공간'''(可算compact空間, {{llang|en|countably compact space}})은 [[위상공간위상 공간 (수학)|위상 공간]]으로서, 그 공간에 임의의 [[가산집합가산 집합|가산]] [[열린 덮개]]가 주어질 때마다 각 열린 덮개에 대해 유한 열린 덮개를 가지는 것을 의미한다. 임의의 위상공간의위상 공간의 부분 부분공간으로서공간으로서 이런 성질을 가지는 집합이 '''가산콤팩트성'''(可算compact性, {{llang|en|countable compactness}})을 갖는다고도 한다.<ref name="a">James R. Munkres (2000), ''Topology'', Prentice Hall, p.181.</ref>

* [[제1가산공간제1 가산 공간]]이고 가산콤팩트 공간이면 점렬 콤팩트 공간이다.