점렬 콤팩트 공간

1. 개요

점렬 콤팩트 공간은 위상 공간의 일종으로, 모든 점렬이 수렴하는 부분 점렬을 갖는 공간을 의미한다. 가산 개의 점렬 콤팩트 공간의 곱은 점렬 콤팩트 공간이며, 점렬 콤팩트 공간의 닫힌 집합과 연속적 상 역시 점렬 콤팩트 공간이다. 콤팩트 공간, 가산 콤팩트 공간 등과 밀접한 관련을 가지며, 제1 가산 공간에서는 가산 콤팩트 공간과 동치이다. 거리화 가능 공간에서는 콤팩트 공간, 점렬 콤팩트 공간, 가산 콤팩트 공간 등이 모두 동치 관계에 있다.

2. 정의

위상 공간 $X$가 다음 조건을 만족시키면, 점렬 콤팩트 공간이라고 한다.

* 모든 점렬이 수렴 부분 점렬을 갖는다. 즉, 임의의 점렬 $(x\_n)\_\{n=0\}^\backslash infty\backslash subseteq\; X$에 대하여, $x\_\{n\_i\}\backslash to\; x$인 $x\backslash in\; X$ 및

3. 성질

가산 개의 점렬 콤팩트 공간들의 곱공간은 점렬 콤팩트 공간이다. $\backslash aleph\_1$개 이하의 점렬 콤팩트 공간들의 곱공간은 가산 콤팩트 공간이다.

점렬 콤팩트 공간의 닫힌집합은 점렬 콤팩트 공간이다.

점렬 콤팩트 공간의 연속적 상은 점렬 콤팩트 공간이다.

3.1. 다른 콤팩트성과의 관계

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

4. 예시

실수 전체의 공간은 표준 위상을 가지며, 점렬 콤팩트가 아니다. 모든 자연수 n에 대해 $s\_n\; =\; n$으로 정의된 수열 $(s\_n)$은 수렴하는 부분 수열이 없다.

공간이 거리 공간이면, 점렬 콤팩트일 필요충분조건은 콤팩트인 것이다. 순서 위상을 갖는 첫 번째 비가산 서수는 콤팩트하지 않은 점렬 콤팩트 위상 공간의 예시이다.

4.1. 콤팩트 공간이 아닌 점렬 콤팩트 공간

최소 비가산 순서수 ω₁는 (순서 위상에 대하여) 점렬 콤팩트 공간이지만, 콤팩트 공간이 아니다.

4.2. 점렬 콤팩트 공간이 아닌 콤팩트 공간

두 점 이산 공간의 $2^\{\backslash aleph\_0\}$개 곱공간 $2^\{\backslash times2^\{\backslash aleph\_0\}\}$은 (티호노프 정리에 따라) 콤팩트 공간이지만, 점렬 콤팩트 공간이 아니다. 가산 무한 이산 공간의 스톤-체흐 콤팩트화 $\backslash beta\backslash mathbb\; N$은 콤팩트 공간이지만, 점렬 콤팩트 공간이 아니다.

4.3. 콤팩트 공간도 점렬 콤팩트 공간도 아닌 가산 콤팩트 공간

가산 콤팩트 공간이지만 콤팩트 공간이 아니며 점렬 콤팩트 공간도 아닌 예로는 $\backslash omega\_1\backslash times2^\{\backslash times2^\{\backslash aleph\_0\}\}$을 들 수 있다. 이는 가산 콤팩트 공간과 콤팩트 공간의 곱은 가산 콤팩트 공간이며, $\backslash omega\_1$과 $2^\{\backslash times2^\{\backslash aleph\_0\}\}$이 $\backslash omega\_1\backslash times2^\{\backslash times2^\{\backslash aleph\_0\}\}$의 닫힌집합(또는 연속적 상)이기 때문이다.

4.4. 기타

실수 전체의 공간은 표준 위상을 가지며, 순차 콤팩트가 아니다. 모든 자연수 n에 대해 $s\_n\; =\; n$으로 정의된 수열 $(s\_n)$은 수렴하는 부분 수열이 없다.

공간이 거리 공간이면, 순차 콤팩트일 필요충분조건은 콤팩트인 것이다. 순서 위상을 갖는 첫 번째 비가산 서수는 콤팩트하지 않은 순차 콤팩트 위상 공간의 예시이다. $2^\{\backslash aleph\_0\}=\backslash mathfrak\; c$개의 닫힌 단위 구간의 곱은 순차 콤팩트가 아닌 콤팩트 공간의 예시이다.

5. 관련 개념

순차 (하우스도르프) 공간에서 점렬 콤팩트성은 가산 콤팩트성과 동등하다.

비수렴 수열이 모두 추가 점으로 수렴해야 한다는 개념을 가진 일점 점렬 콤팩트화도 있다.