정의
콤팩트성 정리(Compactness Theorem)는 수학, 특히 수리논리학에서 제1차 논리(일계논리)에 속하는 문장들의 만족 가능성(satisfiability)에 관한 중요한 정리이다. 이 정리는 어떤 문장 집합이 만족 가능하기 위한 필요충분조건이 그 집합의 모든 유한 부분집합이 만족 가능하다는 것을 말한다.
개요
콤팩트성 정리는 모델 이론(model theory)의 핵심 정리 중 하나로, 1930년대 쿠르트 괴델과 아나토리 말체프 등의 업적을 바탕으로 발전하였다. 정식화하면 다음과 같다:
주어진 일계논리 문장들의 집합 Γ가 만족 가능할 필요충분조건은 Γ의 모든 유한 부분집합이 만족 가능하다는 것이다.
이 정리는 완전성 정리(completeness theorem)를 통해 증명되며, 완전성 정리에 따르면 문장 집합이 만족 가능할 때만 그 집합이 일관된 것과 동치이기 때문이다. 콤팩트성 정리는 무한 구조의 존재 증명이나 비표준 해석학(non-standard analysis) 등의 분야에서 중요한 도구로 사용된다.
어원/유래
“콤팩트성”이라는 용어는 위상수학에서 유래되었으며, 콤팩트 공간(compact space)의 특성과 유사한 구조적 유사성에서 비롯되었다. 콤팩트 공간에서 임의의 열린 덮개에 유한한 부분 덮개가 존재하는 성질과, 콤팩트성 정리에서 모든 유한 부분집합의 성질이 전체 집합의 성질을 결정한다는 점에서 개념적 유사성이 있다. 이에 따라 논리학에서는 이러한 성질을 ‘콤팩트성’으로 명명하였다.
정리 자체는 초기에는 괴델이 일계논리의 완전성 정리(1930)를 증명하면서 암묵적으로 사용하였으며, 이후 말체프(Anatoly Maltsev)가 명시적으로 정리하고 확장하였다.
특징
- 콤팩트성 정리는 무한한 문장 집합에 대해서도 유한한 조각들만 검사하면 만족 가능성 여부를 간접적으로 알 수 있게 해준다.
- 이 정리를 이용하여, 임의의 무한 기수의 구조를 갖는 모델을 구성할 수 있다. 예를 들어, 자연수보다 큰 무한한 수를 포함하는 비표준 모델의 존재를 보일 수 있다.
- 그러나 콤팩트성 정리는 제2차 논리(higher-order logic)에서는 성립하지 않으며, 제1차 논리에 특화된 성질이다.
- 또한, 이 정리는 선택공리(Axiom of Choice)나 그 약한 형태인 초필터 정리와 독립적으로는 증명되지 않으며, 사실 이 정리는 선택공리와 따름정리적으로 동치이다.
관련 항목
- 일계논리(First-order logic)
- 모델 이론(Model theory)
- 완전성 정리(Completeness Theorem)
- 일관성(Consistency)
- 만족 가능성(Satisfiability)
- 초구조(Hyperstructure)
- 비표준 해석학(Non-standard analysis)
- 위상수학의 콤팩트성(Topological compactness)