{{위키데이터 속성 추적}}
[[수학]]에서 '''콤팩트 공간'''({{llang|en|compact space}}) 또는 '''옹골 공간'''은 대략 경계 없이 무한히 뻗어나가지 않는 공간이다. [[유클리드 공간]]의 부분 집합의 경우, 이는 [[닫힌 집합|닫힌]] [[유계 집합]]과 [[동치]]이다.

== 정의 ==
[[위상 공간 (수학)|위상 공간]] <math>X</math>에 대하여, 다음 조건들이 서로 [[동치]]이며, 이를 만족시키는 위상 공간을 '''콤팩트 공간'''이라고 한다.
* <math>X</math>의 모든 [[열린 덮개]]는 유한 부분 덮개를 갖는다. 즉, <math>X</math>의 임의의 열린 집합들의 집합 <math>\mathcal U</math>에 대하여, 만약 <math>\bigcup\mathcal U=X</math>라면, <math>\bigcup\mathcal U' = X</math>인 [[유한 집합]] <math>\mathcal U'\subset\mathcal U</math>가 존재한다.
* 임의의 [[닫힌집합]]들의 집합 <math>\mathcal C\subset\mathcal P(X)</math>에 대하여, 만약 <math>\mathcal C</math>가 [[유한 교집합 성질]]을 만족한다면 (즉, 임의의 유한 집합 <math>\mathcal C'\subset\mathcal C</math>에 대하여 <math>\bigcap\mathcal C'\ne\varnothing</math>이라면), <math>\bigcap\mathcal C\ne\varnothing</math>이다.
* <math>X</math>의 [[열린 덮개]]가 [[사슬 (순서론)|사슬]]이라면, 유한 부분 덮개를 갖는다.
* 모든 [[열린 덮개]] <math>\mathcal U\subset\mathcal S</math>가 유한 부분 덮개를 갖는 [[부분 기저]] <math>\mathcal S\subset\mathcal P(X)</math>가 존재한다.
* 임의의 [[필터 (수학)|필터]] <math>\mathcal F\subset\mathcal P(X)</math>에 대하여, (하나 이상의 점으로) 수렴하는 필터 <math>\mathcal F'\supset\mathcal F</math>가 존재한다.
* <math>X</math> 위의 모든 [[그물 (수학)|그물]]은 수렴 부분 그물을 갖는다.
* <math>X</math> 위의 모든 [[필터 (수학)|필터]]는 [[집적점]]을 갖는다.
* <math>X</math> 위의 모든 [[그물 (수학)|그물]]은 [[집적점]]을 갖는다.
* <math>X</math> 위의 모든 [[극대 필터]]는 (하나 이상의 점으로) 수렴한다.
* <math>X</math> 위의 모든 [[극대 그물]]은 (하나 이상의 점으로) 수렴한다.
* <math>X</math>는 [[린델뢰프 공간]]이며 [[가산 콤팩트 공간]]이다.
* 임의의 [[위상 공간 (수학)|위상 공간]] <math>Y</math>에 대하여, 사영 함수 <math>X\times Y\to Y</math>는 (정의역에 [[곱위상]]을 부여하였을 때) [[닫힌 함수]]이다.
* 임의의 [[정규 공간|정규]] [[하우스도르프 공간]] <math>Y</math>에 대하여, 사영 함수 <math>X\times Y\to Y</math>는 (정의역에 [[곱위상]]을 부여하였을 때) [[닫힌 함수]]이다.
* 모든 [[무한 집합]] <math>S\subseteq X</math>는 [[완비 집적점]]을 갖는다.

== 성질 ==
콤팩트 공간의 [[닫힌 집합]]은 콤팩트 공간이다. 임의의 수의 콤팩트 공간들의 [[곱공간]]은 콤팩트 공간이다 ([[티호노프 정리]]).

[[하우스도르프 공간]]의 콤팩트 부분 집합은 [[닫힌 집합]]이다. 그러나 이는 하우스도르프 공간이 아닌 공간에서는 성립하지 않을 수 있다.

어떤 합집합에 의해 보존되는 성질이 콤팩트 공간에서 국소적으로 성립한다면, 이는 대역적으로도 성립한다.<ref>{{서적 인용|이름=Klaus|성=Jänich|제목=Topology|출판사=Springer|날짜=1984|언어=en}}</ref>{{rp|18}} 즉, 위상 공간의 성질 <math>P</math>가 다음 조건을 만족시킨다고 하자.
* 어떤 위상 공간 <math>X</math>의 부분 집합 <math>A</math>, <math>B</math>가 성질  <math>P</math>를 만족시키면, <math>A\cup B</math> 역시 성질 <math>P</math>를 만족시킨다.
콤팩트 공간 <math>X</math>에서, 성질 <math>P</math>가 국소적으로 성립한다고 하자. 즉,
* 임의의 점 <math>x\in X</math>에 대하여, 성질 <math>P</math>를 만족시키는 [[열린 근방]] <math>N\ni x</math>가 존재한다.
그렇다면 <math>X</math>는 성질 <math>P</math>를 (대역적으로) 만족시킨다.

=== 유클리드 공간의 콤팩트 집합 ===
유클리드 공간 <math>\mathbb R^n</math>의 임의의 부분 집합 <math>S\subset\mathbb R^n</math>에 대해 다음 조건들이 서로 [[동치]]이다.
* <math>S</math>는 콤팩트 집합이다.
* ([[하이네-보렐 정리]]) <math>S</math>는 [[닫힌 집합]]이며 [[유계 집합]]이다.
* <math>S</math>는 [[가산콤팩트 공간|가산 콤팩트 집합]]이다.
* <math>S</math>는 [[점렬 콤팩트 공간]]이다.
* <math>S</math>는 [[극한점 콤팩트 공간]]이다.


=== 범주론적 성질 ===
콤팩트 공간인 [[하우스도르프 공간]]과 ([[닫힌 함수|닫힌]]) [[연속 함수]]들은 [[범주 (수학)|범주]] <math>\operatorname{CommpHaus}</math>를 이룬다. 이 범주에서, [[전사 사상]]은 [[전사 함수]]인 [[연속 함수]]이다.

=== 집합론적 성질 ===
[[선택 공리]]를 비롯한 추가적인 공리를 가정하지 않을 경우, 콤팩트 공간의 정의로서 사용되는 여러 조건들은 [[체르멜로-프렝켈 집합론]]에서 더 이상 [[동치]]가 아니게 된다.

[[체르멜로-프렝켈 집합론]] 속에서, [[위상 공간 (수학)|위상 공간]] <math>X</math>에 대하여 다음 조건들을 생각하자.
* (A) 모든 [[열린 덮개]]가 유한 부분 덮개를 갖는다. (⇔모든 [[필터 (수학)|필터]]가 [[집적점]]을 갖는다.)
* (B) 모든 [[극대 필터]]가 수렴한다.
* (C) 모든 [[덮개 (위상수학)|덮개]] <math>\mathcal U\subset\mathcal S</math>가 유한 부분 덮개 <math>\mathcal U'\subset\mathcal U</math>를 갖게 되는 [[부분 기저]] <math>\mathcal S\subset\mathcal P(X)</math>가 존재한다.
* (D) 모든 [[사슬 (순서론)|사슬]]인 [[열린 덮개]]가 유한 부분 덮개를 갖는다.
* (F) 모든 [[무한 집합]]이 [[완비 집적점]]을 갖는다.
그렇다면 다음 함의 관계가 성립한다.<ref name="De la Cruz">{{저널 인용
|url=http://statweb.stanford.edu/~odlc/papers/MLQ2003a.pdf
|성1=De la Cruz
|이름1=Omar
|성2=Hall
|이름2=Eric
|성3=Howard
|이름3=Paul
|성4=Keremedis
|이름4=Kyriakos
|성5=Rubin
|이름5=Jean E.
|제목=Products of compact spaces and the axiom of choice II
|언어=en
|저널=Mathematical Logic Quarterly
|권=49
|호=1
|쪽=57–71
|날짜=2003
|issn=0942-5616
|doi=10.1002/malq.200310004
|access-date=2021-07-19
|archive-date=2021-07-19
|archive-url=https://web.archive.org/web/20210719153311/http://statweb.stanford.edu/~odlc/papers/MLQ2003a.pdf
|url-status=
}}</ref>
* (A) ⇒ (C) ⇒ (B)
* (A) ⇒ (D) ⇒ [[가산 콤팩트 공간]]
* (A) ⇒ [[극한점 콤팩트 공간]]
* (F) ⇒ [[극한점 콤팩트 공간]]
다음이 서로 [[동치]]이다.<ref name="Herrlich" />
* [[선택 공리]]
* 조건 (A)와 (F)는 서로 [[동치]]이다.
* 조건 (B)와 (F)는 서로 [[동치]]이다.
* 조건 (C)와 (F)는 서로 [[동치]]이다.
* 조건 (A), (B), (C), (D), (F)는 서로 [[동치]]이다.
* 조건 (A)를 만족시키는 [[위상 공간 (수학)|위상 공간]]들의 [[곱공간]]은 조건 (A)를 만족시킨다.
* 조건 (F)를 만족시키는 [[위상 공간 (수학)|위상 공간]]들의 [[곱공간]]은 조건 (F)를 만족시킨다.
* 위상이 유한한 [[위상 공간 (수학)|위상 공간]]들의 [[곱공간]]은 조건 (A)를 만족시킨다.
* 유한 개의 조건 (F)를 만족시키는 [[위상 공간 (수학)|위상 공간]]들의 [[곱공간]]은 조건 (F)를 만족시킨다.
* 임의의 [[기수 (수학)|기수]] <math>\kappa</math>에 대하여, 두 점 [[이산 공간]]의 [[곱공간]] <math>2^\kappa</math>는 조건 (F)를 만족시킨다.
* 조건 (F)를 만족시키는 [[하우스도르프 공간]]의 [[범주 (수학)|범주]]는 [[하우스도르프 공간]]의 범주 <math>\operatorname{Haus}</math>의 전반사 부분 범주({{llang|en|epireflective subcategory}})이다.
다음이 서로 [[동치]]이다.<ref name="Herrlich" />
* 불 소 아이디얼 정리({{llang|en|boolean prime ideal theorem}})
* 조건 (A)와 (B)는 서로 [[동치]]이다.
* 조건 (A), (B), (C)는 서로 [[동치]]이다.
* [[유한 집합|유한]] [[위상 공간 (수학)|위상 공간]]들의 [[곱공간]]은 조건 (A)를 만족시킨다.
* 조건 (A)를 만족시키는 [[하우스도르프 공간]]들의 [[곱공간]]은 조건 (A)를 만족시킨다.
* 임의의 [[기수 (수학)|기수]] <math>\kappa</math>에 대하여, 두 점 [[이산 공간]]의 [[곱공간]] <math>2^\kappa</math>는 조건 (A)를 만족시킨다.
* 조건 (A)를 만족시키는 [[하우스도르프 공간]]의 [[범주 (수학)|범주]]는 [[하우스도르프 공간]]의 범주 <math>\operatorname{Haus}</math>의 전반사 부분 범주({{llang|en|epireflective subcategory}})이다.
다음이 서로 [[동치]]이다.<ref name="Herrlich">{{저널 인용
|성1=Herrlich
|이름1=Horst
|제목=Compactness and the Axiom of Choice
|언어=en
|저널=Applied Categorical Structures
|권=4
|쪽=1–14
|날짜=1996
|issn=0927-2852
|doi=10.1007/BF00124110
|zbl=0881.54026
|mr=1393958
}}</ref>
* [[선택 공리]]가 성립하거나, 아니면 모든 [[극대 필터]]는 [[주 필터]]이다.
* 조건 (B)를 만족시키는 [[위상 공간 (수학)|위상 공간]]들의 [[곱공간]]은 조건 (B)를 만족시킨다.

== 예 ==
<math>\mathbb R</math>의 부분집합 중 [[구간|닫힌 구간]] [0, 1]은 콤팩트이나, [[정수]]의 집합 <math>\mathbb Z</math>는 [[유계 집합]]이 아니므로 콤팩트하지 않다. 또한, 반열린 구간 [0, 1)도 닫혀 있지 않으므로 콤팩트하지 않다.

* [[공집합]]은 콤팩트 공간이다.
* 임의의 [[유한 집합]]은 어떤 [[위상 공간 (수학)|위상]]이 주어지든 콤팩트하다. 보다 일반적으로, 유한 위상([[열린집합]]의 수가 유한 개)이 주어진 임의의 위상 공간은 콤팩트하다.
* [[구간|닫힌 구간]] [0, 1]은 콤팩트하다. 이는 [[하이네-보렐 정리]]로부터 나오는 결과이다. 반열린 구간 (0,1]의 경우, 이에 대한 열린 덮개 <math>\left(\frac 1 n, 1\right]\ (n=1,2,\cdots)</math>가 유한 부분덮개를 갖지 않기에, 콤팩트하지 않다.
* 임의의 자연수 <math>n</math>에 대해, <math>n</math>[[차원]] [[구 (기하학)|구]]는 콤팩트하다. 하이네-보렐 정리에 의해, 임의의 유한 차원 [[노름 공간]]의 닫힌 단위공(closed unit ball)은 콤팩트하다. 단, 이는 무한차원 공간에 대해서는 성립하지 않는다.
* [[칸토어 집합]]은 콤팩트하다. [[p진 정수]]의 집합은 칸토어 집합과 위상동형이므로 콤팩트하다.
* [[쌍대 유한 위상]]이 주어진 임의의 공간은 콤팩트하다.
* 임의의 [[국소 콤팩트]]한 [[하우스도르프 공간]]은 한 점을 추가해서 콤팩트 집합으로 만들 수 있는데, 이를 [[알렉산드로프 콤팩트화]]라고 한다. 직선 <math>\mathbb{R}</math>의 알렉산드로프 콤팩트화는 원 <math>S^1</math>과 위상동형이며, 평면 <math>\mathbb{R}^2</math>의 알렉산드로프 콤팩트화는 구 <math>S^2</math>와 위상동형이다.
* 임의의 [[가환환]]이나 [[불 대수]]의 [[환의 스펙트럼|스펙트럼]]은 콤팩트 공간이다.
* [[힐베르트 입방체]]는 콤팩트하다.

== 관련 개념 ==
콤팩트 공간의 성질을 보다 잘 이해하고 그와 유사한 공간들을 다루기 위해 다음과 같이 여러 가지로 콤팩트 개념이 개발되어 있다.

# [[뇌터 공간]]
# [[국소 콤팩트 공간]]
# [[가산콤팩트 공간]]
# [[극한점 콤팩트 공간]]
# [[린델뢰프 공간]]
# [[점렬 콤팩트 공간]]
# [[파라콤팩트 공간]]
# [[유사콤팩트 공간]]
# [[메조콤팩트 공간]]
# [[메타콤팩트 공간]]
# [[직교 콤팩트 공간]]
# [[시그마 콤팩트 공간]]
# [[반콤팩트 공간]]
# [[초콤팩트 공간]]
# [[희박 콤팩트 공간]]
# [[준파라콤팩트 공간]]

=== 개념들 간의 함의 관계 ===
이 개념들 사이의 관계를 정리하면 다음과 같다.

# 뇌터 → 콤팩트
# 초콤팩트 → 콤팩트
# 콤팩트 → 국소 콤팩트
# 콤팩트 → 반콤팩트 → 시그마 콤팩트 → 린델뢰프
# 린델뢰프이고 가산콤팩트 → 콤팩트
# 국소 콤팩트이고 린델뢰프 → 반콤팩트
# 콤팩트 → 가산콤팩트 → 유사콤팩트
# 점렬 콤팩트 → 가산콤팩트 → 극한점 콤팩트
# [[제1 가산 공간|제1 가산]] 가산콤팩트 → 점렬 콤팩트
# [[T1 공간|T<sub>1</sub> 공간]]에서 점렬 콤팩트, 가산콤팩트, 극한점 콤팩트는 동치.
# [[T4 공간|T<sub>4</sub>]] 유사콤팩트 → 가산콤팩트
# 콤팩트 → 희박 콤팩트 → 유사콤팩트
# 희박 콤팩트이고 파라콤팩트 → 콤팩트
# 유사콤팩트 [[완비 정칙 공간]] → 희박 콤팩트
# [[거리화 가능 공간]]에서 콤팩트, 가산콤팩트, 점렬 콤팩트, 극한점 콤팩트, 유사콤팩트, 희박 콤팩트는 동치.
# 린델뢰프 [[정칙 공간]] → 파라콤팩트 ('''모리타의 정리''')
# 콤팩트 → 파라콤팩트 → 메조콤팩트 → 메타콤팩트 → 직교 콤팩트
# 파라콤팩트 [[정칙 공간]] → 준파라콤팩트

== 역사 ==
'콤팩트'라는 표현은 1906년에 [[모리스 르네 프레셰]]가 도입했다.

한때는 '콤팩트'라는 표현이 '점렬 콤팩트'(모든 [[점렬]]이 [[수렴]]하는 부분 점렬을 갖는다)를 의미하기도 했다. 이는 현대적인 위상 공간의 정의가 나타나기 이전 이 분야에서 주로 위상 공간의 특수한 예인 [[거리화 가능 공간]]만이 다루어졌고, [[거리화 가능 공간]]에서는 콤팩트와 점렬 콤팩트가 동치이기 때문이었다. 보다 일반적인 위상 공간이 본격적으로 연구되면서 덮개를 이용한 정의가 대두되었고, 과거에 거리화 가능 공간에 대해 증명된 많은 결과들은 새로운 정의를 이용해 일반적인 위상 공간에 대해 확장될 수 있었다. 이와 같은 일반화는 특히 [[함수 공간]]의 연구에 유용하게 쓰였는데, 함수 공간들은 많은 경우 [[거리화 가능 공간]]이 아니기 때문이다.

[[니콜라 부르바키]]를 비롯한 몇몇 저자들은 위의 의미에서 '준콤팩트'({{llang|en|quasicompact}})라는 표현을 사용하고, '콤팩트'라는 표현은 [[하우스도르프 공간|하우스도르프]]이고 콤팩트한 공간을 가리킬 때 쓴다.

== 같이 보기 ==
* [[콤팩트 생성 공간]]
* [[콤팩트성 정리]]
* [[린델뢰프 공간]]
* [[메타콤팩트 공간]]
* [[직교 콤팩트 공간]]
* [[파라콤팩트 공간]]
* [[완전 유계 공간]]
* [[상대 콤팩트 집합]]
== 각주 ==
{{각주}}
* {{서적 인용
|url=http://www.pearsonhighered.com/bookseller/product/Topology/9780131816299.page
|이름=James R.
|성=Munkres
|저자링크=제임스 멍크레스
|제목=Topology
|언어=en
|판=2
|출판사=Prentice Hall
|연도=2000
|isbn=978-0-13-181629-9
|zbl=0951.54001
|mr=0464128
}}
* {{서적 인용 | last=Steen | first=Lynn Arthur | 공저자=J. Arthur Seebach, Jr. |제목=Counterexamples in topology | 날짜=1978 | publisher=Springer | isbn= 978-0-387-90312-5 | mr=507446 | zbl = 0386.54001 | 판=2판 | doi = 10.1007/978-1-4612-6290-9 | 언어=en}}

== 외부 링크 ==
* {{eom|title=Compact space}}
* {{매스월드|id=CompactSpace|title=Compact space}}

[[분류:일반위상수학]]
[[분류:위상 공간의 성질]]