가산 콤팩트 공간: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
편집 요약 없음 |
편집 요약 없음 |
||
3번째 줄: | 3번째 줄: | ||
== 성질 == |
== 성질 == |
||
* [[컴팩트 공간]]이면 가산컴팩트 공간이다. 반대로, 가산컴팩트 공간이고 [[린델뢰프 공간]]이면 컴팩트 공간이다. |
* [[컴팩트 공간]]이면 가산컴팩트 공간이다. 반대로, 가산컴팩트 공간이고 [[린델뢰프 공간]]이면 컴팩트 공간이다. |
||
* 가산컴팩트 공간은 [[유사컴팩트 공간]]이다. 반대로, 유사컴팩트 공간이고 [[T4 공간|T<sub>4</sub> 공간]]이면 가산컴팩트 공간이다. |
|||
* [[점렬 컴팩트 공간]]은 가산컴팩트 공간이다. |
* [[점렬 컴팩트 공간]]은 가산컴팩트 공간이다. |
||
* 가산컴팩트 공간이면 [[ |
* 가산컴팩트 공간이면 [[극한점 컴팩트 공간]]이다. 반대로, <math>T_1</math> 공간이고 극한점 컴팩트 공간이면 가산컴팩트 공간이다.<ref name="a"/> |
||
* [[거리 공간]]에서는 컴팩트, 가산컴팩트, 집적점 컴팩트, 점렬 |
* [[거리 공간]]에서는 컴팩트, 가산컴팩트, 집적점 컴팩트, 점렬 컴팩트, 유사컴팩트의 개념이 모두 동치이다. |
||
== 주석 == |
== 주석 == |
2011년 3월 18일 (금) 15:29 판
가산컴팩트 공간(Countably compact space)은 위상공간으로서, 그 공간에 임의의 가산 열린 덮개가 주어질 때마다 각 열린 덮개에 대해 유한 열린 덮개를 가지는 것을 의미한다. 임의의 위상공간의 부분공간으로서 이런 성질을 가지는 집합이 가산컴팩트성(countable compactness)을 갖는다고도 한다.[1]
성질
- 컴팩트 공간이면 가산컴팩트 공간이다. 반대로, 가산컴팩트 공간이고 린델뢰프 공간이면 컴팩트 공간이다.
- 가산컴팩트 공간은 유사컴팩트 공간이다. 반대로, 유사컴팩트 공간이고 T4 공간이면 가산컴팩트 공간이다.
- 점렬 컴팩트 공간은 가산컴팩트 공간이다.
- 가산컴팩트 공간이면 극한점 컴팩트 공간이다. 반대로, 공간이고 극한점 컴팩트 공간이면 가산컴팩트 공간이다.[1]
- 거리 공간에서는 컴팩트, 가산컴팩트, 집적점 컴팩트, 점렬 컴팩트, 유사컴팩트의 개념이 모두 동치이다.
주석
참고 문헌
- James R. Munkres (2000), Topology, Prentice Hall.