두 개의 순서합 위 자유 불 대수

초록

**
부분 순서 집합 (P)에 대해 (P)를 생성 집합으로 포함하는 가장 일반적인 불 대수 (F(P))가 존재한다. 이를 (P)에 대한 자유 불 대수라 부른다. 본 논문에서는 (P=P_{0}\cup P_{1}) 형태, 즉 두 개의 잘 정렬(웰오더링) (P_{0},P_{1})의 합집합으로 이루어진 부분 순서 집합 위의 자유 불 대수를 연구한다. 이러한 대수를 **거의 순서 대수(near‑ordinal algebra)**라 명명한다. Maurice Pouzet의 질문에 답하여, 모든 비가산 기수 (\kappa)에 대해 크기 (\kappa)인 서로 동형이 아닌 거의 순서 대수가 (2^{\kappa})개 존재함을 보인다. 위상적으로는 자유 불 대수가 0‑차원 콤팩트 분배 격자와 대응한다. 이 관점에서 ((\omega_{1}+1)\times(\omega_{1}+1))의 닫힌 부분 격자를 모두 분류하고, 그 수가 (\aleph_{1})개에 불과함을 증명한다. 반면, Tikhonov 플랭크 ((\omega_{1}+1)\times(\omega+1))의 닫힌 부분집합은 위상 유형이 (2^{\aleph_{1}})개 존재한다는 사실도 보여준다.

**

상세 요약

**
이 논문은 자유 불 대수와 위상학적 격자 이론을 연결하는 흥미로운 교차점을 탐구한다. 자유 불 대수 (F(P))는 주어진 부분 순서 집합 (P)를 생성원으로 하는 가장 큰 불 대수이며, 이는 집합론적 구조를 불 대수적 관점에서 재현한다는 점에서 기본적 의미를 가진다. 저자들은 특히 (P)가 두 개의 웰오더링 (P_{0},P_{1})의 합집합인 경우에 집중한다. 웰오더링은 순서형이 잘 정의된 선형 순서이므로, 각각의 (P_{i})는 전형적인 ‘순서형’ 구조를 제공한다. 두 개를 합친 (P)는 일반적인 선형 순서가 아니지만, 여전히 부분 순서 구조를 유지한다. 이러한 (P)에 대한 자유 불 대수를 ‘거의 순서 대수’라 부르는 것은, 이들이 순서형 대수와 비슷하면서도 새로운 복합성을 띤다는 점을 강조한다.

주요 결과는 두 부분으로 나뉜다. 첫 번째는 동형 다양성에 관한 것으로, 모든 비가산 기수 (\kappa)에 대해 크기 (\kappa)인 거의 순서 대수가 (2^{\kappa})개 존재한다는 정리이다. 이는 기존에 알려진 ‘잘 정렬 위의 자유 불 대수는 거의 유일하다’는 직관에 반하는 강력한 반례를 제공한다. 증명은 복잡한 합성 기법과, 각기 다른 순서형을 섞어 만든 (P)들의 구조적 차이를 이용한다. 특히, 각 (P)를 특정한 ‘분할 함수’에 의해 구분함으로써, 그에 대응하는 자유 불 대수의 동형 유형을 구분한다. 결과적으로, 기수 (\kappa)가 커질수록 가능한 구조가 기하급수적으로 늘어나며, 이는 자유 불 대수의 풍부한 다양성을 보여준다.

두 번째는 위상학적 해석이다. 자유 불 대수는 Stone 듀얼리티에 의해 0‑차원 콤팩트 하우스도르프 공간, 즉 ‘Stone 공간’과 일대일 대응한다. 따라서 (F(P))의 구조를 연구하면 ((\omega_{1}+1)\times(\omega_{1}+1))와 같은 제품 공간의 닫힌 부분 격자를 분석하는 문제와 동치가 된다. 저자는 이 제품 공간의 모든 닫힌 부분 격자를 완전하게 분류하고, 그 수가 (\aleph_{1})개에 불과함을 증명한다. 이는 직관적으로 ‘두 개의 큰 순서형을 곱하면 복잡도가 크게 증가할 것’이라는 기대와 달리, 격자 구조는 오히려 제한적임을 의미한다.

반면, Tikhonov 플랭크 ((\omega_{1}+1)\times(\omega+1))에 대해서는 상황이 크게 달라진다. 여기서는 닫힌 부분집합의 위상 유형이 (2^{\aleph_{1}})개에 달한다는 결과를 얻는다. 이는 같은 차원의 제품이라도 한쪽 인덱스가 가산인 경우와 비가산인 경우에 따라 위상적 복잡도가 급격히 변한다는 사실을 강조한다. 이러한 차이는 ‘플랭크’라는 특수한 공간이 갖는 비정규성(예: 비정규성 점의 존재)과 연관이 깊으며, 자유 불 대수의 위상적 표현이 얼마나 민감하게 구조를 반영하는지를 보여준다.

전체적으로 이 논문은 (1) 자유 불 대수의 동형 분류에 새로운 풍부함을 부여하고, (2) Stone 듀얼리티를 통한 위상학적 해석이 어떻게 격자와 공간의 복잡성을 동시에 드러내는지를 명확히 제시한다. 특히, ‘거의 순서 대수’라는 새로운 클래스의 도입은 순서론, 대수, 위상학을 연결하는 연구에 새로운 방향을 제시한다는 점에서 학문적 의의가 크다.

**