컴팩트성 (Compactness)

컴팩트성은 유클리드 공간의 유계성(Boundedness)과 닫힘(Closedness)을 일반화한 개념입니다. 핵심은 "무한개의 열린 집합으로 덮여 있어도, 그중 유한개만 골라내어 전체를 덮을 수 있다"는 성질에 있습니다.

1. 열린 피복과 컴팩트 집합의 정의

집합 $K \subset \mathbb{R}^n$이 컴팩트(Compact)하다는 것은 다음과 같습니다.

$K$의 임의의 열린 피복(Open Cover) $\{U_\alpha\}$에 대하여, $K \subset \bigcup_{i=1}^n U_{\alpha_i}$를 만족하는 유한 부분 피복(Finite Subcover)이 항상 존재한다.

유클리드 공간 $\mathbb{R}^n$에서 집합이 컴팩트할 필요충분조건을 제시하는 매우 중요한 정리입니다.

집합 $K \subset \mathbb{R}^n$ 가 컴팩트하다. $\iff$ $K$ 는 유계(Bounded)이고 닫힌 집합(Closed)이다.

※ 주의: 이 정리는 유한 차원 유클리드 공간에서는 성립하지만, 무한 차원 함수 공간(예: $L^p$ 공간)에서는 유계 폐집합이라고 해서 반드시 컴팩트한 것은 아닙니다.

Max-Min Theorem

컴팩트 집합 위에서 정의된 연속함수는 반드시 최댓값과 최솟값을 갖는다.

Uniform Continuity

컴팩트 집합에서 연속인 함수는 그 집합 위에서 평등 연속(Uniformly Continuous)이다.

거리 공간에서 컴팩트성은 점렬 컴팩트성과 동치입니다.

정의: 집합 $K$ 안의 임의의 수열 $\{x_n\}$이 $K$ 안의 점으로 수렴하는 부분 수열(Subsequence)을 가질 때, $K$를 점렬 컴팩트하다고 합니다.

이는 볼차노-바이어슈트라스 정리와 깊은 연관이 있습니다.

유한성으로의 회귀: 무한한 대상을 다룰 때 유한개의 '창문(Open sets)'만으로 전체를 파악할 수 있게 해줍니다.
해석학의 정당화: 적분의 존재성, 미분방정식 해의 존재성 등을 증명할 때 '함수의 치역이 흩어지지 않고 모여 있음'을 보장하는 결정적인 근거가 됩니다.