본문으로 이동

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

편집 요약 없음
잔글 (Osteologia 사용자가 가산콤팩트 공간 문서를 가산 콤팩트 공간 문서로 옮겼습니다: 띄어쓰기. 다른 ?? 콤팩트 공간 문서들과의 일관성)
'''가산콤팩트가산 콤팩트 공간'''(可算compact空間, {{llang|en|countably compact space}})은 [[위상 공간 (수학)|위상 공간]]으로서, 그 공간에 임의의 [[가산 집합|가산]] [[열린 덮개]]가 주어질 때마다 각 열린 덮개에 대해 유한 열린 덮개를 가지는 것을 의미한다. 임의의 위상 공간의 부분 공간으로서 이런 성질을 가지는 집합이 '''가산콤팩트성가산 콤팩트성'''(可算compact性, {{llang|en|countable compactness}})을 갖는다고도 한다.<ref name="a">James R. Munkres (2000), ''Topology'', Prentice Hall, p.181.</ref>
 
== 성질 ==
* [[콤팩트 공간]]이면 가산콤팩트가산 콤팩트 공간이다. 반대로, 가산콤팩트가산 콤팩트 공간이고 [[린델뢰프 공간]]이면 콤팩트 공간이다.
* 가산콤팩트 공간은 [[유사콤팩트 공간]]이다. 반대로, 유사콤팩트 공간이고 [[T4 공간|T<sub>4</sub> 공간]]이면 가산콤팩트가산 콤팩트 공간이다.
* [[점렬 콤팩트 공간]]은 가산콤팩트가산 콤팩트 공간이다.
* 가산콤팩트 공간이면 [[극한점 콤팩트 공간]]이다.
* [[제1 가산 공간]]이고 가산콤팩트가산 콤팩트 공간이면 점렬 콤팩트 공간이다.
* [[T1 공간|T<sub>1</sub> 공간]]에서 점렬 콤팩트, 가산콤팩트, 극한점 콤팩트는 모두 동치이다.<ref name="a"/>
* [[거리화 가능 공간]]에서는 콤팩트, 가산콤팩트가산 콤팩트, 극한점 콤팩트, 점렬 콤팩트, 유사콤팩트, [[희박 콤팩트]]의 개념이 모두 동치이다.
 
== 주석 ==
* James R. Munkres (2000), Topology, Prentice Hall.
 
[[분류:일반위상수학]]
[[분류:위상공간의 성질]]
[[분류:위상공간]]