최근 수정 시각 : 2022-05-29 18:23:29

콤팩트성

해석학 · 미적분학
Analysis · Calculus
{{{#!wiki style="word-break: keep-all; margin:0 -10px -5px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-6px -1px -11px"
{{{#!wiki style="letter-spacing: -1px"
<colbgcolor=#8f76d6> 함수 합성 · 항등원 · 역원 · 멱함수( 비례·반비례 ) · 초등함수( 대수함수 · 초월함수) · 특수함수 · 범함수 · 다변수 ( 동차 · 숨은 함수( 다가 함수 )) · 그래프 · 대칭 · 증감표 · 극값 · 연속 · 매끄러움 · 계단형 · 미끄럼틀형 · 볼록/오목 · 닮은꼴 함수 · 병리적 함수 · 해석적 연속 · 로그함수 · 지수함수 · 삼각함수
정리 · 토픽 좌표계 · 중간값 정리 · 최대·최소 정리 · 부동점 정리 · 오일러 동차함수 정리 · 립시츠 규칙
극한 부정형 · 어림( 유효숫자 ) · 근방 · 수열의 극한 · 엡실론-델타 논법 · 수렴 ( 균등수렴 ) · 발산 · 점근선 · 무한대 · 무한소 · 스털링 근사
정리 · 토픽 로피탈의 정리 · 슈톨츠-체사로 정리
수열
· 급수
규칙과 대응 · 단조 수렴 정리 · 멱급수 · 테일러 급수 ( 일람 ) · 조화급수 · 그란디 급수 · 망원급수 ( 부분분수분해 ) · 오일러 수열 · 베르누이 수열 · 파울하버의 공식 · 리만 재배열 정리
정리 · 토픽 바젤 문제 · 라마누잔합 · 0.999…=1 · 콜라츠 추측미해결
미분 도함수 일람 · 차분 · 유율법 · 변화량 · 변분법 · 도함수 ( 편도함수 ) · 곱미분 · 몫미분 · 연쇄 법칙 · 역함수 정리 · 임계점 ( 변곡점 · 안장점 ) · 미분형식 · 미분방정식 ( 풀이 ) · [math(boldsymbolnabla)] · 라그랑주 승수법
정리 · 토픽 평균값 정리 ( 롤의 정리 ) · 스토크스 정리 ( 발산 정리 ) · 라플라스 변환 · 푸리에 해석 ( 푸리에 변환 ) · 아다마르 변환
적분 역도함수 일람 · 부분적분 ( LIATE 법칙 · 도표적분법 · 예제 ) · 치환적분 · 정적분 ( 예제 ) · 이상적분 · 중적분 ( 선적분 · 면적분 ) · 르베그 적분 · 스틸체스 적분 · 코시 주요값
정리 · 토픽 미적분의 기본정리 · 2학년의 꿈 · 리시 방법 · 야코비안
실해석 측도론 ( 측도 · 르베그 측도 ) · 유계( 콤팩트성 ) · 칸토어 집합 · 비탈리 집합
정리 · 토픽
복소해석 복소평면 · 편각 · 코시-리만 방정식
정리 · 토픽 오일러 공식 ( 드 무아브르 공식 ) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
여타 하위 학문 수치해석학 ( FEM ) · 미분기하학 · 해석기하학 · 해석적 정수론 ( 소수 정리 ) · 확률론 ( 중심극한정리 )
기타 뉴턴-랩슨 방법 · 디랙 델타 함수 · 리만 가설미해결 · 카오스 이론미해결 · merry=x-mas
응용 수리물리학 · 수리경제학( 경제수학) · 공업수학 }}}}}}}}}}}}

기하학 · 위상수학
Geometry · Topology
{{{#!wiki style="margin:0 -10px -5px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-6px -1px -11px"
{{{#!wiki style="letter-spacing: -1px"
평면기하학에 대한 내용은 틀:평면기하학 참고
기본 대상
공리 유클리드 기하학
비유클리드 기하학
도형 기본 도형 부피 · 꼬인 위치 · 각기둥 · 각뿔 · 원기둥 · 원뿔 · ( 공 모양 ) · 전개도 · 겨냥도 · 다면체 ( 정다면체 ) · 정사영
곡면 타원면 · 타원포물면 · 쌍곡포물면 · 원환면
프랙탈 도형 시에르핀스키 삼각형 · 시에르핀스키 사각형( 멩거 스펀지) · 망델브로 집합 · 코흐 곡선 · 드래곤 커브
기타 다포체 · 초구 · 일각형 · 이각형
다루는 대상과 주요토픽
위상수학 위상도형 사영평면 · 뫼비우스의 띠 · 클라인의 병 · 매듭( 목록)
위상 공간 택시 거리 공간 · 연결 공간 · 옹골 공간 · 다양체 · 위상수학자의 사인곡선
대수적 위상수학 호모토피 · 호몰로지
미분기하학 미분다양체 · 측지선 · 곡률 · 열률 · 텐서 · 쌍곡 공간( 쌍곡삼각형 · 푸앵카레 원반) · 타원 공간( 구면삼각형)
정리 · 추측
실베스터-갈라이 정리 · 해안선 역설 · 바나흐-타르스키 역설 · 라이데마이스터 변환 · 오일러 지표 · 푸앵카레 정리 · 호지 추측미해결
분야
논증기하학 · 미분기하학 · 해석기하학 · 매듭이론 · 프랙탈 이론 · 정보기하학 · 위상 데이터분석 }}}}}}}}}}}}

1. 개요2. 정의3. 직관적인 이해4. 관련 정리
4.1. 하이네 보렐 정리4.2. 티호노프 정리4.3. 기타

1. 개요

콤팩트성의 개념을 대략적으로 설명하자면 무한히 뻗어나가지 않는 성질이다. 처음 해석학을 공부하게 되면 미분적분학 엡실론-델타 논법 다음으로 마주치게 되는 비직관적인 개념이다. 이를 직관적으로 이해하려면 해석학이나 위상수학을 필히 어느 정도 공부해야 한다. 특히 해석학을 처음 배우는데 어떤 집합이 콤팩트인 걸 정의만으로 직접 보이라고 하면 고역이다. 당장 닫힌 구간 [math(left[0,1right])]이 콤팩트인 것을 귀류법을 쓰지 않고 직접 증명하는 것만 봐도 '어떻게 이런 생각을 할 수 있나' 할 정도로 발상이 심히 괴이하다(…). 귀류법을 쓰면 볼차노-바이어슈트라스 정리를 증명할 때와 비슷하게 증명 가능.

연속함수의 콤팩트 집합의 보존에서 콤팩트 집합의 정의에 대한 동기를 유추할 수 있다. 콤팩트의 개념없이 다루는 일변수함수의 최대 최소 정리를 잘 살펴보면 닫힌 집합 [a, b]의 볼차노-바이어슈트라스 정리(닫힌 구간의 무한 부분집합은 극한점(집적점)을 닫힌 구간 내에서 가진다는것)를 이용하는 것이 핵심임을 살펴볼 수 있는데 이 볼차노-바이어슈트라스 정리가 의미하는 것이 점렬 콤팩트성이고 이것이 일반화 된것이 콤팩트 집합이다. 후술하겠지만 거리공간만 다룰때는 콤팩트의 정의가 점렬 콤팩트와 동치이다.
정의의 역사적인 내용을 알고싶다면 여기를 참고하라.

대한수학회에서는 그냥 '콤팩트 집합'을 쓰거나, '옹골집합'으로 번역할 것을 권장한다. Rudin 한국어 번역본이나 김김계 등에서 '옹골'이란 용어를 사용하기도 한다. 이 번역명에 대해서는 호불호가 갈리는 편이라고는 하나, 완비거리공간 한정으로라도 의미에 잘 들어맞는 표현이기 때문인지 현재는 번역 용어로 훌륭히 자리잡았다. 이외에 옛날 용어로 긴밀집합이라는 말도 쓰인다.[1]

2. 정의

우선, 수리논리학에서 콤팩트성이 어떻게 정의되는지 먼저 이해하는 것이 도움이 된다.
임의의 문장 [math(\phi)]가 임의의 문장 집합 [math(\Gamma)]의 귀결일 때, [math(\Delta \models \phi)]를 만족시키는 [math(\Gamma)]의 어떤 유한 부분집합 [math(\Delta)]가 존재한다.
이것은 1차 술어논리의 메타정리로, 논리체계의 무모순성과 동치이다. 무모순한 논리 체계는 항상 콤팩트성을 만족한다.

해석학에서의 콤팩트성은 이 개념을 확장한 것이다. 실해석학에서 콤팩트성은 다음과 같이 정의된다.
어떤 [math(A \subset \mathbb{R})]에 대하여, 임의의 [math(A)]의 열린 덮개(open cover)[2] 가 유한 부분덮개(finite subcover)를 가질 때, [math(A)]를 콤팩트 집합(compact set)이라고 한다.

위상수학에서는 더 일반적으로 정의한다.
어떤 위상공간 [math(T)]에 대하여, 임의의 [math(T)]의 열린 덮개(open cover)가 유한 부분덮개(finite subcover)를 가질 때, [math(T)]를 콤팩트공간 (compact space)라고 한다.

위상공간에서 compact의 개념은 공간 자체의 성질이다. 즉, subspace topology 등을 생각해도 불변한다는 것. open set은 open relative to Y 라는 개념이 존재하지만, compact에서는 이러한 개념이 불필요하다.

3. 직관적인 이해

콤팩트는 말그대로 '작다'는 의미이다. ' 유계(bounded)'라는 개념을 일반화했다고 보면 된다. 예를 들어 토러스(torus)는 콤팩트인데 반해, 직선이나 평면은 콤팩트가 아니다. 위상 공간에는 '거리'라는 것이 없으므로 유계라는 개념을 이렇게 복잡하게 확장할 수 밖에 없는 것이다.
실해석학 수준에서는 어느 정도 예를 들 수 있다. 그러니까 [math(\left(0,1\right))]와 같은 집합을 보면, [math(\left(0,1/2\right),\left(0,2/3\right),\left(0,3/4\right),\cdots)]와 같은 집합들을 생각하면, 이 집합들을 모두 합집합했을 때 [math(\left(0,1\right))]를 덮으므로 열린 덮개가 되지만, 유한 개만 뽑아서 [math(\left(0,1\right))]을 덮을 수는 없다. 또 다른 식의 설명으로는, 점을 계속 찍었을 때 극한을 취해서 이 집합 안에서 극한을 가지지 않을 수 있느냐는 것으로도 볼 수 있다. 예를 들어 [math(\left(0,1\right))]에서는 간단히 [math(1/2,1/3,1/4,\cdots)]와 같은 수열을 취하면 [math(\left(0,1\right))]의 안에서 수렴하지 않는다. 하지만 [math(\left[0,1\right])]에서는 백날 점을 찍어봐도 바깥으로 나갈 수가 없다. 이러한 공간을 극한점 콤팩트 공간(limit point compact space)라고 부르는데, 정의는 다음과 같다.
어떤 위상공간 [math(T)]에 대하여, 임의의 [math(T)] 안에서 정의된 무한 수열이 [math(T)] 안에서 극한점을 갖는다면 [math(T)]를 극한점 콤팩트 공간(limit point compact space)라고 한다.
거리화 가능 공간(metrizable space)이면 콤팩트, 점렬 콤팩트, 극한점 콤팩트가 모두 동치라는 것이 알려져 있다.

4. 관련 정리

4.1. 하이네 보렐 정리

유클리드 공간 [math(\mathbb{R}^n)]의 부분집합이 닫혀있으면서 유계인 것과 콤팩트는 동치라는 정리이다. 증명을 간단히 요약하면, 먼저 콤팩트 집합이면 닫혀있으면서 유계인 것을 보이는 건[3] 비교적 쉽다(간단하게 유한 부분덮개가 없는 열린 덮개를 찾으면 된다). 반대 방향을 보이기 위해 우선 [math(n)]차원 상자, 즉 유계 닫힌 구간 [math(n)]개의 데카르트곱이 콤팩트임을 보여야 한다. 그러고 나면 닫혀있고 유계인 [math(\mathbb{R}^n)]의 부분집합은 적당한 [math(n)]차원 상자에 포함되고, 따라서 콤팩트집합의 닫힌 부분집합이 콤팩트인 것을 증명하면 끝난다.
일반적인 거리공간에서는 이 정리가 더 이상 성립하지 않으나, 완비이고 완전유계인 거리공간은 콤팩트공간이라는 일반화된 하이네 보렐 정리가 있다. 한편, 연속함수공간에서는 아젤라-아스콜리 정리(Arzelà-Ascoli Theorem)[4]라는 것이 알려져 있다.

4.2. 티호노프 정리

콤팩트 집합들 [math(C_\alpha \left(\alpha\in I\right))]들의 곱공간 [math( \prod_{\alpha\in I}C_\alpha)]도 콤팩트라는 것을 의미한다. (비가산개일 수도 있음에 유의). 선택 공리와 동치이다. 증명은 보통 tube lemma와 zorn's lemma를 사용하는데, 이해하고 나면 어렵지는 않지만 증명과정이 길고 귀찮다.

4.3. 기타

다음 조건들은 서로 동치이다.
[math(T)]가 거리공간일 때,
1.[math(T)]가 콤팩트하다.
1.모든 항이 [math(T)]에 속한 임의의 수열에 대하여 수렴하는 부분수열이 존재한다.
1.[math(T)]가 완전유계(totally bounded)[5]이고 완비적(complete)[6]이다.



[1] 이슬비저 <맛있는 해석학>에서는 '긴밀'집합이라는 용어를 쓰고(2019년 개정판에서는 '콤팩트'로 바뀜), 박대희저 <위상수학> 4판에서는 그냥 '컴팩트'라는 이름으로 챕터를 구성하고 진도를 나가되 번역어로 '긴밀', '옹골', '아담'(...)이라는 말이 있다고 소개만 한다. [2] 어떤 집합[math(A)]를 주어진 위상공간의 어떠한 열린집합들의 합집합으로 포함시킬수 있을 때, 그 열린집합들을 [math(A)]의 열린덮개라 한다. 쉽게 말해 주어진 집합[math(A)]가 종이라고 하고, 도장을 여러 번 찍어 그 종이를 완전히 덮은 정도로 보면 된다. [3] 이는 유클리드 공간뿐 아니라 거리가 주어진 공간에서는 항상 성립하는 사실이다. [4] 실수의 콤팩트인 부분집합에서 정의된 연속함수공간의 부분집합이 유계이고 동등연속(equi-continuous)이면 콤팩트이다. [5] 모든 양수 [math(\epsilon)]에 대하여 [math(\epsilon)]를 반지름으로 한 유한 개의 공으로 [math(T)]를 덮을 수 있다. [6] 모든 코시 수열이 수렴한다