최근 수정 시각 : 2024-10-11 04:03:02

콤팩트성

해석학· 미적분학
Analysis · Calculus
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"
<colbgcolor=#26455A>실수와 복소수 실수( 실직선 · 아르키메데스 성질) · 복소수( 복소평면 · 극형식 · 편각) · 근방 · 유계 · 콤팩트성 · 완비성
함수 함수 · 조각적 정의 · 항등함수 · 역함수 · 멱함수 · 다변수함수( 동차함수 · 음함수) · 다가 함수 · 함수의 그래프 · 좌표계 · 닮은꼴 함수 · 극값 · 볼록/오목 · 증감표
초등함수( 대수함수 · 초월함수 · 로그함수 · 지수함수 · 삼각함수) · 특수함수 · 범함수( 변분법 · 오일러 방정식) · 병리적 함수
극한·연속 함수의 극한 · 수열의 극한 · 연속함수 · ε-δ 논법 · 수렴( 균등수렴) · 발산 · 부정형 · 점근선 · 무한대 · 무한소 · 특이점 · 0.999…=1
중간값 정리 · 최대·최소 정리 · 부동점 정리 · 스털링 근사 · 선형근사( 어림)
수열· 급수 수열( 규칙과 대응) · 급수( 멱급수 · 테일러 급수( 일람) · 조화급수 · 그란디 급수( 라마누잔합) · 망원급수( 부분분수분해)) · 그물
오일러 수열 · 베르누이 수열 · 월리스 곱
단조 수렴 정리 · 슈톨츠-체사로 정리 · 축소구간정리 · 급수의 수렴 판정 · 리만 재배열 정리 · 바젤 문제 · 파울하버의 공식 · 오일러-매클로린 공식 · 콜라츠 추측미해결
미분 미분 · 도함수( 이계도함수 · 도함수 일람) · 곱미분 · 몫미분 · 연쇄 법칙 · 임계점( 변곡점 · 안장점) · 매끄러움
평균값 정리( 롤의 정리) · 테일러 정리 · 역함수 정리 · 다르부 정리 · 로피탈 정리
립시츠 규칙 · 뉴턴-랩슨 방법 · 유율법 · 경사하강법
적분 적분 · 정적분( 예제) · 스틸체스 적분 · 부정적분( 부정적분 일람) · 부분적분( LIATE 법칙 · 도표적분법 · 예제) · 치환적분 · 이상적분( 코시 주요값)
미적분의 기본정리 · 적분의 평균값 정리
리시 방법 · 2학년의 꿈
다변수· 벡터 미적분 편도함수 · 미분형식 · · 중적분( 선적분 · 면적분 · 야코비안) · 야코비 공식
라그랑주 승수법 · 오일러 동차함수 정리 · 선적분의 기본정리 · 스토크스 정리( 발산 정리 · 그린 정리 변분법
미분방정식 미분방정식( 풀이) · 라플라스 변환
측도론 측도 · 가측함수 · 곱측도 · 르베그 적분 · 절대 연속 측도 · 라돈-니코딤 도함수
칸토어 집합 · 비탈리 집합
복소해석 코시-리만 방정식 · 로랑 급수 · 유수 · 해석적 연속 · 오일러 공식( 오일러 등식 · 드 무아브르 공식) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
함수해석 공간 위상 벡터 공간 · 국소 볼록 공간 · 거리공간 · 프레셰 공간 · 노름공간 · 바나흐 공간 · 내적공간 · 힐베르트 공간 · Lp 공간
작용소 수반 작용소 · 에르미트 작용소 · 정규 작용소 · 유니터리 작용소 · 컴팩트 작용소
대수 C*-대수 · 폰 노이만 대수
정리 한-바나흐 정리 · 스펙트럼 정리 · 베르 범주 정리
이론 디랙 델타 함수( 분포이론)
조화해석 푸리에 해석( 푸리에 변환 · 아다마르 변환)
관련 분야 해석 기하학 · 미분 기하학 · 해석적 정수론( 1의 거듭제곱근 · 가우스 정수 · 아이젠슈타인 정수 · 소수 정리 · 리만 가설미해결) · 확률론( 확률 변수 · 중심극한정리) · 수치해석학 · 카오스 이론 · 분수계 미적분학 · 수리물리학( 양-밀스 질량 간극 가설미해결 · 나비에 스토크스 방정식의 해 존재 및 매끄러움미해결) · 수리경제학( 경제수학) · 공업수학
기타 퍼지 논리 · 합성곱
}}}}}}}}} ||

<rowcolor=#fff> ' 기하학· 위상수학
'
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"
평면기하학에 대한 내용은 틀:평면기하학 참고.
기본 대상
공리 유클리드 기하학 · 비유클리드 기하학
도형 기본 도형 평면 · 부피 · 꼬인 위치 · 각기둥 · 각뿔 · 원기둥 · 원뿔 · ( 공 모양) · 전개도 · 겨냥도 · 다면체 ( 정다면체) · 정사영
곡면 타원면 · 타원포물면 · 쌍곡포물면 · 원환면
프랙털 도형 시에르핀스키 삼각형 · 시에르핀스키 사각형( 멩거 스펀지) · 망델브로 집합 · 코흐 곡선 · 드래곤 커브
기타 다포체 · 초구 · 준구 · 일각형 · 이각형
다루는 대상과 주요 토픽
대수기하학 대수다양체 · · 스킴 · 에탈 코호몰로지 · 모티브 · 타원곡선
미분기하학 미분다양체 · 측지선 · 곡률( 스칼라 곡률 · 리만-크리스토펠 곡률 텐서 · 리치 텐서) · 열률 · 텐서 · 쌍곡 공간( 쌍곡삼각형 · 푸앵카레 원반) · 타원 공간( 구면삼각형) · 아핀접속
위상수학 위상 공간 유계 · 옹골 집합 · 다양체 · 택시 거리 공간 · 연결 공간 · 위상수학자의 사인곡선
위상도형 사영평면 · 뫼비우스의 띠 · 클라인의 병 · 매듭( /목록)
주요 성질·정리 분리공리 · 우리손 거리화정리( 우리손 보조정리) · 베르 범주 정리
대수적 위상수학 호모토피 · 사슬 복합체 · 호몰로지 이론( 호몰로지 · 코호몰로지) · 사상류 군 · 닐센-서스턴 분류
기타 차원 · 좌표계 · 거리함수 · 그물 · 쾨니히스베르크 다리 건너기 문제
정리·추측
실베스터-갈라이 정리 · 해안선 역설 · 바나흐-타르스키 역설 · 라이데마이스터 변환 · 오일러 지표 · 푸앵카레 정리 · 페르마의 마지막 정리 · 호지 추측미해결 · 버츠와 스위너톤-다이어 추측미해결
분야
논증기하학 · 대수기하학 · 미분기하학 · 해석 기하학 · 매듭이론 · 프랙털 이론 · 정보기하학 · 위상 데이터분석 }}}}}}}}}


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

1. 개요

Compactness

콤팩트성의 개념을 대략적으로 설명하자면 무한히 뻗어나가지 않고 유한한 개념들을 가지는 성질이다. 처음 해석학을 공부하게 되면 미분적분학 엡실론-델타 논법 다음으로 마주치게 되는 비직관적인 개념이다. 이를 이해하려면 해석학이나 위상수학을 필히 어느 정도 공부해야 한다. 특히 해석학을 처음 배우는데 어떤 집합이 콤팩트인 걸 정의만으로 직접 보이라고 하면 매우 어렵다. 당장 닫힌 구간 [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. 균등연속성

콤팩트이면서 거리화 가능 공간[5] 위에서 정의된 연속함수는 균등연속(uniformly continuous) 함수라는 정리이다.

만약, 콤팩트집합이 아닌 실수체 R을 생각하자. R 위에서 정의된 함수 f(x)=x^2 은 균등연속이 아닌데, 임의의 delta에 대해 x>1/delta면 그 상의 길이가 1을 초과하기 때문이다. 그러나 이를 콤팩트공간인 [0,1]로 제한하면 delta=1/2 epsilon 으로 잡으면 된다. 미분가능한 함수의 경우 delta를 epsilon의 미분계수의 절댓값의 최댓값의 역수로 잡으면 된다는 사실을 알 수 있다.

공간이나 함수가 어떻게 생겼는지 전혀 모르는 상황에서 균등연속을 보장해 주는 아주 강력한 정리이다.

4.4. 기타

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


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