콤팩트 공간

위키백과, 우리 모두의 백과사전.
(컴팩트 공간에서 넘어옴)
이동: 둘러보기, 검색

수학에서, 콤팩트 공간(영어: compact space)은 대략 경계 없이 무한히 뻗어나가지 않는 공간이다. 유클리드 공간의 부분 집합의 경우, 이는 닫힌 유계 집합동치이다.

정의[편집]

위상 공간 X에 대하여, 다음 조건들이 서로 동치이며, 이를 만족시키는 위상 공간을 콤팩트 공간이라고 한다.

  • X의 모든 열린 덮개는 유한 부분 덮개를 갖는다. 즉, X의 임의의 열린 집합들의 집합 \mathcal U에 대하여, 만약 \bigcup\mathcal U=X라면, \bigcup\mathcal U'유한 집합 \mathcal U'\subset\mathcal U가 존재한다.
  • X의 임의의 닫힌 부분집합들의 집합 \mathcal C\subset\mathcal P(X)유한 교집합 성질(finite intersection property)을 만족하시킨다면, \bigcap C\ne\varnothing이다.
  • X 위의 임의의 필터 \mathcal F\subset\mathcal P(X)에 대하여, (하나 이상의 점으로) 수렴하는 필터 \mathcal F'\supset\mathcal F가 존재한다.
  • X 위의 임의의 초필터는 (하나 이상의 점으로) 수렴한다.

성질[편집]

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

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

어떤 합집합에 의해 보존되는 성질이 콤팩트 공간에서 국소적으로 성립한다면, 이는 대역적으로도 성립한다.[1]:18 즉, 위상 공간의 성질 P가 다음 조건을 만족시킨다고 하자.

  • 어떤 위상 공간 X의 부분 집합 A, B가 성질 P를 만족시키면, A\cup B 역시 성질 P를 만족시킨다.

위상 공간 X에서, 성질 P가 국소적으로 성립한다고 하자. 즉,

  • 임의의 점 x\in X에 대하여, 성질 P를 만족시키는 열린 근방 N\ni x가 존재한다.

그렇다면 X는 성질 P를 (대역적으로) 만족시킨다.

유클리드 공간의 콤팩트 집합[편집]

유클리드 공간 \mathbb R^n의 임의의 부분 집합 S\subset\mathbb R^n에 대해 다음 조건들이 서로 동치이다.

[편집]

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

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

관련 개념[편집]

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

  1. 뇌터 공간
  2. 국소 콤팩트 공간
  3. 가산콤팩트 공간
  4. 극한점 콤팩트 공간
  5. 린델뢰프 공간
  6. 점렬 콤팩트 공간
  7. 파라콤팩트 공간
  8. 유사콤팩트 공간
  9. 메조콤팩트 공간
  10. 메타콤팩트 공간
  11. 직교 콤팩트 공간
  12. 시그마-콤팩트 공간
  13. 반콤팩트 공간
  14. 초콤팩트 공간
  15. 희박 콤팩트 공간
  16. 준파라콤팩트 공간

개념들 간의 함의 관계[편집]

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

  1. 뇌터 → 콤팩트
  2. 초콤팩트 → 콤팩트
  3. 콤팩트 → 국소 콤팩트
  4. 콤팩트 → 반콤팩트 → 시그마-콤팩트 → 린델뢰프
  5. 린델뢰프이고 가산콤팩트 → 콤팩트
  6. 국소 콤팩트이고 린델뢰프 → 반콤팩트
  7. 콤팩트 → 가산콤팩트 → 유사콤팩트
  8. 점렬 콤팩트 → 가산콤팩트 → 극한점 콤팩트
  9. 제1 가산 가산콤팩트 → 점렬 콤팩트
  10. T1 공간에서 점렬 콤팩트, 가산콤팩트, 극한점 콤팩트는 동치.
  11. T4 유사콤팩트 → 가산콤팩트
  12. 콤팩트 → 희박 콤팩트 → 유사콤팩트
  13. 희박 콤팩트이고 파라콤팩트 → 콤팩트
  14. 유사콤팩트 완비 정칙 공간 → 희박 콤팩트
  15. 거리화 가능 공간에서 콤팩트, 가산콤팩트, 점렬 콤팩트, 극한점 콤팩트, 유사콤팩트, 희박 콤팩트는 동치.
  16. T4 린델뢰프 → 파라콤팩트 (모리타의 정리)
  17. 콤팩트 → 파라콤팩트 → 메조콤팩트 → 메타콤팩트 → 직교 콤팩트
  18. 파라콤팩트 → 준파라콤팩트
  19. 준파라콤팩트 정칙 공간 → 파라콤팩트

역사[편집]

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

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

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

참고 문헌[편집]

  1. Jänich, Klaus (1984년). 《Topology》 (영어). Springer. 

바깥 고리[편집]