스톤체프 콤팩트화 존재와 구성적 집합론

초록

이 논문은 기존 연구에서 제시된 “구성적 타입 이론(CTT) 및 CZF+uREA+DC” 체계에서 스톤체프 콤팩트화를 정의할 수 있는 로케일의 특성을 CZF+REA 체계에서도 동일하게 유지함을 보인다. 핵심은 컴팩트 정규 로케일 X와 정규 집합제시 로케일 Y 사이의 연속 사상이 CZF에서 집합으로 형성된다는 새로운 정리이며, 이를 통해 비퇴화 불 대수 로케일의 스톤체프 콤팩트화 존재가 CZF(+REA)와 그 확장 체계에서는 독립적임을 증명한다. 반면 고차 헤이팅 산술(HHA)에서는 모든 로케일에 대해 스톤체프 콤팩트화가 가능함을 대비한다.

상세 분석

본 논문은 먼저 G. Curi(2007)의 결과를 재검토한다. Curi는 구성적 타입 이론(CTT)과 CZF에 uREA와 DC를 추가한 시스템(CZF+uREA+DC)에서 “정규이며 집합제시된 로케일”에 한해 스톤체프 콤팩트화가 정의될 수 있음을 보였다. 저자는 이 조건이 실제로는 더 약한 시스템인 CZF+REA에서도 동일하게 성립한다는 것을 증명한다. 핵심 단계는 두 로케일 X와 Y 사이의 연속 사상 집합성을 확보하는 것이다. 여기서 X는 컴팩트하고 정규인 로케일, Y는 정규이며 집합제시된 로케일이다. 기존에는 REA(Regular Extension Axiom)의 강화(uREA)가 필요했지만, 저자는 REA만으로도 연속 사상의 전체 클래스가 CZF 내에서 집합으로 구성될 수 있음을 보인다. 이는 “연속 사상은 로케일의 열린 집합들의 프레임 구조에 의해 완전히 기술된다”는 사실과, REA가 제공하는 ‘정규 확장’ 성질을 이용해 해당 프레임을 집합화(set-presented)할 수 있다는 점에 기반한다.

다음으로, 비퇴화 불 대수 로케일(즉, 비자명한 Boolean 로케일)의 스톤체프 콤팩트화 존재가 CZF(+REA)와 그 여러 확장 체계(CZF+REA+Choice, CTT 등)에서 독립적임을 보인다. 여기서 독립성은 두 방향을 모두 증명함으로써 확보한다. 첫째, CZF+REA만으로는 일반적인 Boolean 로케일에 대한 스톤체프 콤팩트화를 증명할 수 없으며, 이는 모델 이론적 방법(예: realizability 모델 또는 sheaf 모델)을 통해 해당 체계에서 스톤체프 콤팩트화가 실패하는 경우를 구성함으로써 보여진다. 둘째, 선택 원리나 추가적인 전건(DC 등)을 도입하더라도 여전히 모든 Boolean 로케일에 대해 스톤체프 콤팩트화를 보장하지 못한다는 점을 확인한다. 이는 기존의 HHA(고차 헤이팅 산술)와는 근본적인 차이를 만든다. HHA에서는 Johnstone, Banaschewski, Mulvey가 제시한 구조적 방법을 통해 모든 로케일에 대한 스톤체프 콤팩트화가 가능하므로, 위의 독립성 결과는 ‘구성적’ 체계와 ‘고전적’ 토포스 이론 사이의 경계를 명확히 드러낸다.

마지막으로, 연속 사상 집합성 정리를 활용해 “정규이며 집합제시된 로케일”이라는 조건이 스톤체프 콤팩트화 가능성의 충분조건이면서도 필요조건이 아님을 논의한다. 즉, 이 조건을 만족하지 않는 로케일 중에서도 특정 추가 가정(예: 선택 원리) 하에 스톤체프 콤팩트화를 정의할 수 있지만, 그런 경우는 CZF 기반 체계에서는 일반적으로 허용되지 않는다. 따라서 저자는 Curi의 특성화가 실제로는 “CZF+REA 하에서 정의 가능한 로케일들의 진정한 하위 집합”을 정확히 포착한다는 결론을 내린다.