유사 콤팩트 공간

일반위상수학에서 **유사 콤팩트 공간**(類似compact空間, pseudocompact space)은 콤팩트 공간의 개념의 여러 변형 중 하나이다.
# 정의

## 유사 콤팩트 공간
위상 공간 X에 대하여, 다음 네 조건이 서로 동치이며, 이를 만족시키는 X를 **유사 콤팩트 공간**이라고 한다. * 임의의 연속 함수 X\to\mathbb R의 상은 유계 집합이다. * 임의의 연속 함수 X\to\mathbb R의 상은 콤팩트 집합이다.zbl=0169.53903438, Theorem 2.3.(v) * 임의의 연속 함수의 열 (f_n\colon X\to\mathbb R)_{n\in\mathbb N}에 대하여, 만약 f_n이 국소 균등 수렴한다면, 균등 수렴한다.320, Theorem 1501, Theorem 2.(iii) * 디니 정리가 성립한다. 즉, 임의의 유계 연속 함수의 열 (f_n\colon X\to\mathbb R)_{n\in\mathbb N} 및 유계 연속 함수 f\colon X\to\mathbb R에 대하여, 만약 임의의 x에서 f_0(x)\le f_1(x)\le\cdots이며, f_n이 f로 점별 수렴한다면, f_n은 f로 균등 수렴한다.zbl=0082.16003321, Theorem 3zbl=1059.54001177, d-7, (m) 즉, 유사 콤팩트 공간은 모든 실수 값 연속 함수가 유계 함수가 되는 위상 공간이다.
## 희박 콤팩트 공간
위상 공간 X에 대하여, 다음 세 조건이 서로 동치이며, 이를 만족시키는 X를 **희박 콤팩트 공간**이라고 한다. * 임의의 열린집합들의 집합족 \mathcal U\subseteq\mathcal P(X)에 대하여, 만약 \mathcal U가 국소 유한 집합족이라면, \mathcal U는 유한 집합이다. * 임의의 열린집합들의 집합족 \mathcal U\subseteq\mathcal P(X)에 대하여, 만약 \mathcal U가 국소 유한 집합족이자 서로소 집합족이라면, \mathcal U는 유한 집합이다.zbl=0089.17601500–501, Theorem 1.(ii) * 임의의 가산 열린 덮개 \mathcal U\subseteq\mathcal P(X)에 대하여, 합집합이 조밀 집합인 유한 부분 집합 \mathcal U'\subseteq\mathcal U가 존재한다.500–501, Theorem 1.(iv) 즉, 희박 콤팩트 공간은 열린집합들의 국소 유한 집합족이 유한 집합족밖에 없는 위상 공간이다.
# 성질

## 연산에 대한 닫힘
희박 콤팩트 공간의 정칙 닫힌집합은 희박 콤팩트 공간이다. 반대로, 모든 정칙 닫힌 진부분 집합이 희박 콤팩트 공간인 위상 공간은 희박 콤팩트 공간이다.506, Theorem 14 유사 콤팩트 공간과 희박 콤팩트 공간의 곱공간에 대하여, 다음이 성립한다. * 희박 콤팩트 공간의 곱공간들의 집합 (X_i)_{i\in I}에 대하여, 만약 국소 콤팩트 공간이 아닌 것이 하나 이하라면, 곱공간 \textstyle\prod_{i\in I}X_i은 희박 콤팩트 공간이다.141, Theorem 4.6 특히, 콤팩트 공간과 희박 콤팩트 공간의 곱공간은 희박 콤팩트 공간이다.zbl=0151.30001141, Lemma 4.5 * 점렬 콤팩트 공간과 희박 콤팩트 공간의 곱공간은 희박 콤팩트 공간이다.143, Theorem 5.2 * 두 희박 콤팩트 공간 X, Y에 대하여, 만약 적어도 하나가 제1 가산 공간이라면, X\times Y는 희박 콤팩트 공간이다.504, Theorem 6 * 두 유사 콤팩트 티호노프 공간 X, Y에 대하여, 만약 적어도 하나가 콤팩트 생성 공간이라면, X\times Y는 유사 콤팩트 티호노프 공간이다.208, Theorem 3.10.26 유사 콤팩트 공간과 희박 콤팩트 공간의 상·원상에 대하여, 다음이 성립한다. * 연속 함수 f\colon X\to Y에 대하여, 만약 X가 유사 콤팩트 공간이라면, f(X) 역시 유사 콤팩트 공간이다. * 연속 함수 f\colon X\to Y에 대하여, 만약 X가 희박 콤팩트 공간이라면, f(X) 역시 희박 콤팩트 공간이다. * 열린 완전 사상 f\colon X\to Y에 대하여, 만약 Y가 유사 콤팩트 공간이라면, X 역시 유사 콤팩트 공간이다.
## 함의 관계
다음과 같은 함의 관계가 성립한다. :{| | || || 콤팩트 공간 |- | || ↗ || || ↘ |- | 뇌터 공간 || || || || 가산 콤팩트 공간 || → || 희박 콤팩트 공간 || → || 유사 콤팩트 공간 |- | || ↘ || || ↗ || || ↘ |- | || || 점렬 콤팩트 공간 || || || || 극한점 콤팩트 공간 |} 부제=가산 콤팩트 공간 ⇒ 희박 콤팩트 공간 만약 X가 위상 공간이며, \\{U_0,U_1,\dots\\}가 가산 무한 개의 열린집합들의 국소 유한 집합족이라면, :\left\\{X\setminus\bigcup_{i\ge n}\operatorname{cl}U_i\colon n=0,1,2,\dots\right\\} 는 X의 가산 열린 덮개이며, 유한 부분 덮개를 갖지 않는다. 증명 끝 부제=희박 콤팩트 공간 ⇒ 유사 콤팩트 공간 희박 콤팩트 공간 X가 주어졌으며, f\colon X\to\mathbb R가 임의의 연속 함수라고 하자. 그렇다면, :\\{f^{-1}((i,i+2))\colon i=\dots,-2,-1,0,1,2,\dots\\} 는 X의 국소 유한 열린 덮개이다. 따라서 이는 유한 덮개이며, f(X)는 유한 개의 열린구간 (i-1,i+1)들의 합집합에 포함된다. 즉, f(X)는 유계 집합이다. 증명 끝 완비 정칙 공간에 대하여, 다음 두 조건이 서로 동치이다.502, Theorem 3zbl=0684.54001207, Theorem 3.10.22 * 희박 콤팩트 공간이다. * 유사 콤팩트 공간이다. 증명 완비 정칙 공간 X가 주어졌으며, \\{U_0,U_1,\dots\\}가 가산 무한 개의 열린 집합들의 국소 유한 집합족이라고 하자. 모든 i=0,1,2,\dots에 대하여 x_i\in U_i를 고르자. 완비 정칙성에 따라 :f_i(x_i)=1 :f_i|_{X\setminus U_i}=0 인 연속 함수 f_i\colon X\to[0,1]가 존재한다. 함수 :f=\sum_{i=0}^\infty f_i\colon X\to[0,\infty) 를 생각하자. 국소 유한성에 따라, 이는 국소적으로 유한합이며, 국소적으로 연속 함수이다. 따라서 f는 연속 함수이며, 또한 유계 함수가 아니다. 증명 끝 유사 콤팩트 정규 공간은 극한점 콤팩트 공간이다. 따라서, (T1에 대하여 가산 콤팩트 공간과 극한점 콤팩트 공간의 개념이 동치이므로,) 정규 하우스도르프 공간에 대하여, 다음 네 조건이 서로 동치이다.502, Theorem 4 * 가산 콤팩트 공간이다. * 극한점 콤팩트 공간이다. * 희박 콤팩트 공간이다. * 유사 콤팩트 공간이다. 증명 정규 하우스도르프 공간 X가 가산 콤팩트 공간이 아니라고 하자. T1 공간의 경우 가산 콤팩트 공간과 극한점 콤팩트 공간이 동치이므로, X는 극한점 콤팩트 공간이 아니다. \\{x_0,x_1,\dots\\}\subseteq X가 가산 무한 집합이며, 극한점을 갖지 않는다고 하자. 그렇다면 이는 닫힌집합이며, 이산 공간이다. 함수 :f\colon\\{x_0,x_1,\dots\\}\to\mathbb R :f(x_i)=i\forall i\in\\{0,1,\dots\\} 를 생각하자. \\{x_0,x_1,\dots\\}가 이산 공간이므로 이는 연속 함수이다. 티체 확장 정리에 따라, 이를 확장하는 연속 함수 :g\colon X\to\mathbb R :g(x_i)=i\forall i=0,1,\dots 가 존재한다. g는 유계 함수가 아니므로, X는 유사 콤팩트 공간이 아니다. 증명 끝 거리화 가능 공간의 경우, 콤팩트 공간·점렬 콤팩트 공간·가산 콤팩트 공간·극한점 콤팩트 공간·희박 콤팩트 공간·유사 콤팩트 공간의 개념이 모두 동치이다. (뇌터 공간 조건은 심지어 유클리드 공간의 경우에도 나머지 조건들보다 강하다.) 이 밖에도, 다음과 같은 함의 관계들이 성립한다. * 유사 콤팩트 완비 정칙 공간은 베르 공간이다.207, Example 3.10.23 * 파라콤팩트 희박 콤팩트 공간은 콤팩트 공간이다.504, Theorem 8 * 메타콤팩트 유사 콤팩트 완비 정칙 공간은 콤팩트 공간이다.zbl=0468.54014 * 가산 파라콤팩트 희박 콤팩트 공간은 가산 콤팩트 공간이다.505, Theorem 9 * 유사 콤팩트 균등 공간은 완전 유계 공간이다. 특히, 유사 콤팩트 완비 균등 공간은 콤팩트 공간이다.zbl=0082.16002 * 기약 공간은 희박 콤팩트 공간이다.
## 유사 콤팩트 위상군
군 G와 그 위의 유사 콤팩트 위상에 대하여, 다음 두 조건이 서로 동치이다.121, Corollary 2.4.2 * 위상군이다. * 군의 곱셈 (g,h)\mapsto gh가 연속 함수이다. 즉, 유사 콤팩트 위상군의 경우 정의에서 역원의 연속성을 생략하여도 좋다. 모든 위상군은 완비 정칙 공간이므로, 유사 콤팩트 위상군은 자동적으로 희박 콤팩트 공간이다. 다음과 같은 함의 관계가 성립한다.zbl=1323.22001193, Theorem 3.7.2195, Corollary 3.7.8 :유사 콤팩트 위상군 → 완전 유계 위상군 → 균형군 특히, 모든 유사 콤팩트 위상군은 베유 완비화를 갖는다. 임의의 유사 콤팩트 위상군들의 집합의 곱은 유사 콤팩트 위상군이다.zbl=0214.28502487, Theorem 1.4 위상군에 대하여, 다음 네 조건이 서로 동치이다.490, Theorem 2.8 * 임의의 연속 함수 G\to\mathbb R는 G의 왼쪽 균등 공간 구조에 대하여 균등 연속 함수이다. * 임의의 연속 함수 G\to\mathbb R는 G의 오른쪽 균등 공간 구조에 대하여 균등 연속 함수이다. * 임의의 유계 연속 함수 G\to\mathbb R는 G의 왼쪽 균등 공간 구조에 대하여 균등 연속 함수이다. * 임의의 유계 연속 함수 G\to\mathbb R는 G의 오른쪽 균등 공간 구조에 대하여 균등 연속 함수이다. 이 조건을 (U)라고 하자. 그렇다면, 위상군에 대하여, 다음 세 조건이 서로 동치이다. * 유사 콤팩트 공간이다. * 완전 유계 위상군이며, 조건 (U)를 만족시킨다.490, Theorem 2.7 * 완전 유계 위상군이며, 그 베유 완비화는 위상 공간으로서 스톤-체흐 콤팩트화와 일치한다.494, Theorem 4.1.(e)
# 예

## 가산 콤팩트 공간이 아닌 희박 콤팩트 공간
닫힌구간 [0,1] 위에, 통상적인 위상에서의 열린집합들과 집합 :[0,1]\setminus\\{1/n\colon n=1,2,\dots\\} 을 부분 기저로 하는 위상을 주자. 이는 희박 콤팩트이지만, 가산 콤팩트 공간이 아니며, 또한 하우스도르프 공간이지만 정칙 공간이 아니다.441, Example 3.1 임의의 정규 하우스도르프 공간 X 및 닫힌집합 Y\subseteq X에 대하여, 스톤-체흐 콤팩트화 사이의 표준적인 매장 \beta Y\hookrightarrow\beta X가 존재한다. 이제, 다음과 같은 위상 공간을 생각하자. :\beta\mathbb R\setminus(\beta\mathbb N\setminus\mathbb N) 이는 유사 콤팩트 티호노프 공간이지만, 가산 콤팩트 공간이 아니다.208, Example 3.10.29
## 희박 콤팩트 공간이 아닌 유사 콤팩트 공간
\mathbb Q\times(\mathbb Q^+\cup\\{0\\}) 위에 모든 점 (x,y)이 다음과 같은 국소 기저를 갖는 위상을 주자. :\mathcal B_{(x,y)}=\begin{cases} \\{(x-\epsilon,x+\epsilon)\times\\{0\\}\colon\epsilon\in\mathbb R^+\\} & y=0 \\\ \\{\\{(x,y)\\}\cup((x-y/\sqrt3-\epsilon,x-1+\epsilon)\cup(x+y/\sqrt3-\epsilon,x+1+\epsilon)\times\\{0\\})\colon\epsilon\in\mathbb R^+\\} & y\in\mathbb Q^+ \end{cases} 이렇게 만든 위상 공간은 유사 콤팩트 공간이지만, 희박 콤팩트 공간이 아니다. 구체적으로, \\{(n,\infty)\times\\{0\\}\colon n=0,1,\dots\\}은 무한 국소 유한 집합족이다. 이는 콜모고로프 공간이지만 T1 공간이 아니며, 정칙 공간이나 정규 공간도 아니다.442, Example 3.2