콤팩트성 정리

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

수리논리학에서 콤팩트성 정리(compact性定理, 영어: compactness theorem)는 1차 논리명제들의 집합모형을 가질 필요충분조건은 그 임의의 유한 부분집합이 모형을 갖는 것이라는 내용이다. 1차 논리보다 강력한 논리에 기반한 이론에서 콤팩트성은 성질로 보기에는 너무 강력하므로, 고차 논리에서는 콤팩트성을 더 일반화한 개념을 사용해야 한다.

정의[편집]

콤팩트성 정리에 따르면, 부호수 \sigma의 (등호를 포함하는) 1차 논리 이론 T에 대하여, 다음이 서로 동치이다.

응용[편집]

콤팩트성 정리를 이용하여, 어떤 1차 논리적 명제가 표수 0인 임의의 에 대해 성립한다면, 상수 p가 존재해서 표수가 p보다 큰 임의의 체에 대해 이 명제가 성립함을 알 수 있다.

증명은 다음과 같다. φ가 그 명제일 때, 가정에 따라 그 부정 ¬φ와 체의 공리들 및 무한개의 명제들 1+1≠0, 1+1+1≠0, …로 이루어진 집합의 모형은 존재하지 않는다. 그러므로 그 집합의 어떤 유한 부분집합이 모형을 갖지 않으며, 이는 달리 말하면 표수가 몇몇 유한한 자연수들 중 하나가 아니면서 ¬φ가 성립하는 체가 존재하지 않는다는 뜻이므로 증명이 끝난다.

명제 논리의 콤팩트성 정리는 불 대수스톤 쌍대성에 따라, 스톤 공간에 대한 티호노프의 정리(콤팩트 공간의 임의의 곱이 여전히 콤팩트 공간)와 동치이다.[1] "콤팩트성 정리"라는 이름은 이로부터 기인하였다.

역사[편집]

쿠르트 괴델이 가산 부호수에 대한 콤팩트성 정리를 1930년에 증명하였다.[2] 아나톨리 말체프(러시아어: Анато́лий Ива́нович Ма́льцев)가 일반적인 경우를 1936년에 증명하였다.[3][4]

참고 문헌[편집]

  1. Truss, John K. (1997). 《Foundations of Mathematical Analysis》. Oxford University Press. ISBN 0198533756
  2. (독일어) Gödel, Kurt (1930년). Die Vollständigkeit der Axiome des logischen Functionenkalküls. 《Monatshefte für Mathematik und Physik》 37 (1): 349–360. doi:10.1007/BF01696781. ISSN 0026-9255.
  3. Vaught, Robert L.: Alfred Tarski's work in model theory. J. Symbolic Logic 51 (1986), no. 4, 869–882
  4. Robinson, A.: Non-standard analysis. North-Holland Publishing Co., Amsterdam 1966. page 48.

바깥 고리[편집]

같이 보기[편집]