More on the Boolean Prime Ideal Theorem

당신이 집을 지으려고 한다고 상상해 보십시오. 하지만 당신에게는 엄격한 규칙이 하나 있습니다. 바로 무한한 벽돌 더미에서 완벽한 벽돌을 즉각적으로 골라낼 수 있는 마법의 망치(선택 공리)를 사용할 수 없다는 것입니다. 이 망치 없이는 어떤 건설 프로젝트는 완성하는 것이 불가능해집니다. 수학자들은 이보다 더 작고 겸손한 도구인 '불 대수 소 아이데알 정리(Boolean Prime Ideal Theorem)'가 대부분의 집을 짓기에는 충분히 강력하면서도, '비탈리 집합(Vitali set)'이라 불리는 특정한 혼돈스러운 엉망진창을 만드는 것은 피할 수 있을 만큼 충분히 약한지 오랫동안 궁금해해 왔습니다.

이 엉망진창을 이해하기 위해, 실수 직선을 끝없이 펼쳐진 완벽하게 매끄러운 도로라고 생각해 보십시오. 비탈리 집합은 이 도로 위의 기이한 지점들의 모임으로, 이 모임을 유리수 거리(예를 들어 1마일의 분수 단위)만큼 왼쪽이나 오른쪽으로 밀어내면 원래의 지점들과 결코 겹치지 않는 완전히 새로운 지점들의 집합을 얻게 됩니다. 이것은 마치 발자국 패턴이 있어서, 이를 섞더라도 기존의 발자국과는 절대 닿지 않지만, 결과적으로는 전체 도로를 다 덮어버리는 것과 같습니다. 이는 당신이 그 모음의 크기를 전혀 측정할 수 없게 만드는 수학적 역설을 만들어냅니다. 수십 년 동안 수학자들은 질문해 왔습니다. "우리가 두 마리 토끼를 다 잡을 수 있을까? 즉, 우리의 수학을 조직할 만큼 강력한 도구(불 대수 소 아이데알 정리)를 가지면서도, 동시에 비탈리 집합이라는 혼돈스러운 발자국을 만들지 않을 수 있을까?"

Jacob Kowalczyk와 Jindřich Zapletal이 작성한 이 논문은 이 질문에 깊이 파고듭니다. 그들은 단순히 추측만 하는 것이 아니라, 자신들의 아이디어를 테스트하기 위해 완전히 새로운 수학적 우주를 구축합니다. 그들의 주요 발견은 "예, 하지만"입니다. 그들은 매우 크고 강력한 버전의 불 대수 소 아이데알 정리(복잡한 채색 및 순서 문제를 해결할 수 있을 정도의)를 가지면서도, 비탈리 집합이 존재하지 않도록 보장하는 것이 일관적임을 증old합니다. 그러나 그들은 또한 자신들의 방법이 모든 가능한 수학적 시나리오에 대해 전체 문제를 해결하는 데는 한계가 있음을 보여주며, 미래의 탐험가들을 위한 몇 가지 큰 질문들을 남겨둡니다.

거대한 수학 퍼즐

집합론의 세계에서 수학자들은 무한한 것들의 집합을 조직하려는 건축가와 같습니다. 그들의 가장 큰 도구 중 하나는 **선택 공리(Axiom of Choice)**인데, 이것은 기본적으로 "당신에게 여러 개의 상자가 있다면, 상자가 무한히 많더라도 각 상자에서 아이템을 하나씩 고를 수 있다"라고 말하는 것입니다. 이 도구는 믿을 수 없을 정도로 강력하지만, 약간은 독단적입니다. 이 도구를 사용하면 기하학적 측정 규칙을 깨뜨리는 기이하고 측정 불가능한 비탈리 집합을 만들어낼 수 있습니다.

이 혼돈을 피하기 위해, 일부 수학자들은 **의존적 선택 공리(Axiom of Dependent Choices, DC)**라는 더 약한 도구를 사용하려고 시도합니다. 이것은 "방금 고른 아이템을 바탕으로 다음 아이템을 고를 수 있다"라고 말하는 것과 같으며, 이는 일상적인 대부분의 수학에는 충분하지만, 야생적인 풀 선택 공리의 힘에는 미치지 못합니다. 핵심적인 질문은 이것이었습니다: 만약 우리가 이 더 약한 도구(DC)를 사용한다면, "모든 논리적 퍼즐은 해답을 가진다"라고 말하는 약간 덜 강력한 버전의 선택 공리인 **불 대수 소 아이데알 정리(BPI)**가 결국 우리로 하여금 혼돈스러운 비탈리 집합을 만들게 강요하게 될 것인가?

오랫동안 아무도 알지 못했습니다. 그것은 마치 특정 종류의 접착제가 다리를 단단히 고정하면서도, 동시에 다리가 갑자기 젤리로 변해버리는 일을 일으키지 않을지 묻는 것과 같았습니다.

저자들의 해결책: 새로운 세계를 건설하기

Kowalczyk와 Zapletal은 추측하는 것을 멈추고 건설하기로 했습니다. 그들은 자신들의 아이디어를 테스트하기 위해 특별한 수학적 "샌드박스"(집합론의 모델)를 구축했습니다. 그들은 표준적인 수학적 우주에서 시작하여 **강제화(forcing)**라고 불리는 기술을 사용했습니다. 강제화를 생각할 때, 이는 기존의 규칙을 깨뜨리지 않으면서 퍼즐에 새로운 조각들을 부드럽게 추가하는 방식으로 우주를 살짝 밀어내는 방법이라고 생각하십시오.

그들의 목표는 자신들의 우주에 방대한 양의 불 대수 소 아이데알 정리를 추가하는 것이었습니다. 그들은 다음과 같은 어려운 문제들을 해결할 수 있을 만큼 충분히 많은 것을 추가하고자 했습니다:

• 채색 문제(The Coloring Problem): 모든 영역이 많은 다른 영역들과 연결된 거대한 지도가 있다고 상상해 보십시오. 인접한 두 영역이 같은 색을 갖지 않도록 제한된 수의 색상으로 모든 영역을 칠할 수 있을까요? BPI는 특정 복잡한 지도에 대해 이것이 가능함을 증명하는 데 도움을 줍니다.
• 순서 문제(The Ordering Problem): 엉망진 일더미를 첫 번째부터 마지막까지 완벽한 줄로 세울 수 있을까요? BPI는 이 작업에도 도움을 줍니다.

저자들은 이 해결책들을 추가하는 방법을 찾았는데, 이는 **불 대수 균형 강제화(Boolean balanced forcing)**라고 부르는 매우 구체적이고 세심하게 통제된 방법입니다. 그들은 만약 이 특정 방법을 사용한다면, 실수로 비탈리 집합을 만드는 것 없이 이러한 문제들을 해결할 수 있는 힘을 성공적으로 추가할 수 있음을 증명했습니다.

"균형 잡힌" 기술

그들은 어떻게 혼돈을 피했을까요? 그들은 "균형(balance)"이라고 부르는 개념을 사용했습니다. 접시를 쌓는 것을 상상해 보십시오. 만약 새로운 접시를 추가한다면, 전체 더미가 기울어지지 않도록 주의해야 합니다. 그들의 수학에서, 그들은 특정 유형의 논리적 이론(게임의 규칙)에 대해, 하나의 해결책(완성)을 추가할 때 완벽하게 균형 잡힌 방식으로 추가할 수 있음을 보여주었습니다.

그들은 만약 이론이 "균형 잡혀 있다면(balanced)", 새로 추가되는 해결책들이 측정 불가능한 비탈리 집합을 만들어내지 않을 것임을 증명했습니다. 그들은 다음과 같은 것들을 포함하여 균형 잡힌 데도 매우 넓은 범주의 이론들을 식별했습니다:

• **아이데알(ideals)**을 확장하는 것에 관한 이론들 (어떤 숫자 그룹이 무시할 만큼 "작은" 것인지에 대한 규칙).
• 특정 유형의 공간 위에서 **그래프 채색(graph coloring)**에 관한 이론들 (앞서 언급한 지도 문제).
• **선형 순서(linearizing orders)**를 정하는 것에 관한 이론들 (물건들을 줄 세우는 것).

이 모든 균형 잡힌 이론들을 하나의 거대한 "슈퍼 이론"으로 결합하고 이를 통해 강제화를 수행함으로써, 그들은 다음과 같은 우주를 창조했습니다:

1. 의존적 선택 공리가 성립한다 (규칙이 안전하다).
2. 비탈리 집합이 존재하지 않는다 (혼돈스러운 발자국이 없다).
3. 불 대수 소 아이데알 정리의 매우 크고 강력한 부분이 성립한다 (다리는 튼튼하고, 지도는 채색 가능하다).

그들이 해결하지 못한 것

이것은 엄청난 진전이지만, 저자들은 자신들이 하지 못한 것에 대해서도 솔직하게 밝히고 있습니다. 그들은 불 대수 소 아이데알 정리 전체가 비탈리 집합을 만드는 것으로부터 안전하다는 것을 증명하지 못했습니다. 그들은 오직 "거대한 파편(large fragment)"에 대해서만 증명했을 뿐입니다.

그들은 다음과 같은 몇 가지 열린 질문들을 남겨두었습니다:

• 더 멀리 나아갈 수 있을까? 비탈리 집합 없이 전체 불 대수 소 아이데알 정리를 갖는 것이 가능할까?
• 실수의 부분집합들을 모두 순서대로 세우는 것과 같이, 특정한 까다로운 사례들은 어떠한가?

또한 그들은 모든 이론이 균형 잡혀 있는 것은 아니라는 점도 보여주었습니다. 어떤 특정한 유형의 수학적 규칙들은 비탈리 집합을 만드는 위험 없이 추가하기에는 너무 "불균형"합니다. 이는 "안전함"과 "혼돈" 사이의 경계가 매우 얇으며, 문제의 구체적인 구조에 따라 크게 달라짐을 시사합니다.

요약

단순하게 말해서, Kowalczyk와 Zapletal은 우리가 케이크를 아주 큰 특정 조각에 대해서는 원하는 대로 먹을 수 있다는 것을 보여주었습니다. 그들은 복잡한 순서 및 채색 문제를 해결할 수 있을 만큼 강력하면서도, 가장 악명 높은 측정의 역설들을 피할 수 있을 만큼 안전한 수학 세계를 갖는 것이 가능하다는 것을 증명했습니다. 그들이 전체 미스터리를 해결한 것은 아니지만, 안전한 지면이 어디인지, 그리고 어디에 젤리가 기다리고 있을지를 정확히 보여줌으로써 넓은 협곡 사이에 튼튼한 다리를 놓았습니다.