The *-variation of the Banach-Mazur game and forcing axioms

이 논문은 포지트에서 한 턴에 단일 조건 대신 가산 집합을 선택하는 Banach-Mazur 게임의 변형을 통해 정의된 새로운 성질을 제시하고, 이 성질을 가진 포지트 위의 강제법으로 PFA 가 보존됨을 증명하며 Magidor 의 정리를 재증명하고 기존 연구와의 차이점을 분석합니다.

핵심

이 논문은 수학적 논리학, 특히 '집합론'과 '강제법 (Forcing)'이라는 매우 추상적인 분야에 관한 것입니다. 하지만 핵심 아이디어를 일상적인 비유로 풀어내면 이해하기 훨씬 쉬워집니다.

이 논문의 주인공은 요시노부 야스오 (Yasuo Yoshinobu) 교수이며, 그는 **"PFA(적절한 강제법 공리)"**라는 거대한 규칙을 지키면서 새로운 수학적 세계를 만들 수 있는 '안전한 방법'을 찾아냈습니다.

아래는 이 논문의 핵심 내용을 일상적인 언어와 비유로 설명한 것입니다.

---

🎮 게임으로 이해하는 수학적 세계: "조건 선택 게임"

이 논문의 핵심은 **'반-마주르 게임 (Banach-Mazur game)'**이라는 두 사람 (1 인과 2 인) 이 하는 게임에서 시작됩니다.

• 상황: 두 사람은 수학적 '조건들 (Conditions)'이라는 블록을 쌓는 게임을 합니다.
• 목표: 1 인은 블록을 쌓아 2 인이 더 이상 쌓을 수 없게 만들려고 하고, 2 인은 계속 블록을 쌓아 게임을 끝까지 이어가려고 합니다.
• 규칙: 보통 이 게임에서 1 인은 한 번에 블록 하나만 선택합니다. 하지만 요시노부 교수는 이 게임을 변형했습니다.

🌟 새로운 규칙: "한 번에 여러 개를 고르는 게임"

요시노부 교수는 1 인이 **한 번에 '블록 한 무더기 (가산 집합)'**를 선택할 수 있게 게임을 바꿨습니다.

• 기존 게임: 1 인이 "이 블록 하나를 골라!"라고 하면 2 인이 대응합니다.
• 새로운 게임 (별표 변형): 1 인이 "이 블록 열 개를 동시에 골라!"라고 합니다. 2 인은 이 열 개의 블록을 모두 만족시키는 하나의 블록을 찾아야 합니다.

이론적으로 2 인이 이 '새로운 게임'에서도 항상 이길 수 있는 전략이 있다면, 그 수학적 도구 (포셋, Poset) 는 매우 강력하고 안전한 성질을 가진 것입니다. 요시노부 교수는 이 성질을 **"$\ast$-전술적 폐쇄성 ($\ast$-tactical closedness)"**이라고 이름 붙였습니다.

---

🛡️ 왜 이 게임이 중요한가요? "PFA 라는 보물 지키기"

수학자들은 **'PFA (적절한 강제법 공리)'**라는 매우 강력한 규칙을 가지고 있습니다. 이 규칙은 우주의 구조를 매우 아름답고 질서 있게 만들어주지만, 새로운 수학적 세계 (강제법) 를 만들 때 이 규칙이 깨지지 않도록 조심해야 합니다.

• 과거의 문제: 예전에는 PFA 를 지키기 위해 "블록을 하나씩만 고르는 게임"에서 2 인이 이겨야 한다고 생각했습니다. 하지만 이 방법은 너무 엄격해서, PFA 를 지키면서 동시에 다른 흥미로운 수학적 현상 (예: $\square$ 원리) 을 만들어내는 경우가 많지 않았습니다.
• 이 논문의 발견: 요시노부 교수는 **"아니요, 1 인이 한 번에 여러 블록을 고르는 게임에서도 2 인이 이길 수 있다면, PFA 는 여전히 안전합니다!"**라고 증명했습니다.

비유하자면:

예전에는 "도둑 (1 인) 이 문 하나만 뚫으려 해도 경비원 (2 인) 이 막아야 PFA 가 안전하다"고 생각했습니다.
하지만 요시노부 교수는 **"도둑이 문 10 개를 동시에 뚫으려 해도 경비원이 막아낼 수 있다면, PFA 는 여전히 안전하다"**는 것을 증명했습니다.
이는 PFA 를 지키는 '안전지대'가 훨씬 더 넓어졌다는 뜻입니다.

---

🧩 두 가지 다른 방법의 비교: "전략 (Operation)" vs "전술 (Tactic)"

이 논문에서는 PFA 를 지키는 두 가지 다른 강력한 방법이 있습니다.

1. 작동적 폐쇄성 (Operational Closedness): 경비원이 과거의 모든 기록을 기억하고, 현재 상황과 '몇 번째 턴인지'를 보고 최선의 수를 둡니다. (완벽한 기억력)
2. $\ast$-전술적 폐쇄성 ($\ast$-Tactical Closedness): 경비원이 과거의 모든 기록은 잊어버리고, 오직 도둑이 지금 선택한 블록 무더기만 보고 수를 둡니다. (순간 판단력)

논문의 결론:
이 두 방법은 서로 다릅니다!

• 어떤 수학적 세계는 '순간 판단력' ($\ast$-전술) 만으로는 지키기 어렵지만, '완벽한 기억력' (작동) 으로만 가능합니다.
• 반대로 어떤 세계는 '순간 판단력'으로만 가능하고, '완벽한 기억력'으로는 불가능합니다.

요시노부 교수는 이 두 가지 방법이 서로를 포함하지 않는다는 것을 구체적인 예시 (SCP 와 CC 라는 개념) 를 들어 증명했습니다. 이는 수학자들이 PFA 를 다룰 때 훨씬 더 유연하고 다양한 도구를 쓸 수 있게 해줍니다.

---

🏆 이 논문의 실제 성과: "마기도르의 정리를 다시 증명하다"

이 이론을 적용하여 요시노부 교수는 마기도르 (Magidor) 라는 유명한 수학자가 증명했던 정리를 더 쉽고 자연스럽게 다시 증명했습니다.

• 주장: "PFA 가 성립하는 우주에서도, 특정 종류의 수학적 패턴 ($\square_{\kappa, \omega_2}$) 이 존재할 수 있다."
• 의미: 예전에는 PFA 와 이 패턴이 서로 충돌한다고 생각할 수 있었지만, 요시노부 교수의 새로운 '게임 규칙'을 사용하면 이 둘이 공존할 수 있음을 보여줍니다.

---

📝 요약: 한 문장으로 정리하면?

"수학자들은 새로운 세계를 만들 때 기존 규칙 (PFA) 이 깨지지 않게 하려면, 도둑이 한 번에 여러 문을 뚫으려 해도 막아낼 수 있는 강력한 경비원 (전략) 이 필요하다는 것을 발견했습니다. 이 새로운 방법을 통해 우리는 더 넓은 수학적 세계를 안전하게 탐험할 수 있게 되었습니다."

이 논문은 추상적인 게임 이론을 통해 수학의 거대한 규칙들을 어떻게 더 유연하게 다룰 수 있는지 보여주는 훌륭한 사례입니다.

기술 요약

이 논문은 야스요 요시노부 (Yasuo Yoshinobu) 가 저술한 것으로, 강제 공리 (Forcing Axioms), 특히 **정당한 강제 공리 (Proper Forcing Axiom, PFA)**의 보존과 관련하여 새로운 강제 조건 (Poset) 의 성질을 도입하고 이를 분석한 연구입니다.

논문은 Banach-Mazur 게임의 변형을 통해 정의된 새로운 닫힘 성질인 **$\ast$-전술적 닫힘 ($\ast$-tactical closedness)**과 **$\ast$-운영적 닫힘 ($\ast$-operational closedness)**을 소개하고, 이들이 PFA 를 보존하는지 여부를 증명하며, 기존에 알려진 닫힘 성질들과의 관계를 규명합니다.

다음은 논문의 상세한 기술적 요약입니다.

---

1. 연구 문제 및 배경 (Problem & Background)

• PFA 보존 문제: 다양한 강제 공리 (PFA, MM 등) 를 보존하는 강제 조건 (Poset) 의 범주를 찾는 것은 집합론 연구의 중요한 주제입니다.
  • Larson 은 $\omega_2$-방향적으로 닫힌 (directed closed) 조건들이 PFA 를 보존함을 보였습니다.
  • König 과 저자는 $\omega_2$-닫힌 조건들이 PFA 를 보존함을 보였으나, MM 은 보존하지 않음을 보였습니다.
• 기존 성질의 한계:
  • $(\omega_1 + 1)$-전략적 닫힘 ($( \omega_1 + 1)$-strategic closedness): 이는 PFA 를 보존하기에 충분하지 않습니다. 예를 들어, $\square_{\omega_1}$ 시퀀스를 추가하는 자연스러운 조건은 $(\omega_1 + 1)$-전략적으로 닫혀 있지만, PFA 하에서는 $\square_{\omega_1}$이 성립하지 않으므로 모순이 됩니다.
  • 운영적 닫힘 (Operational closedness): 저자의 이전 연구 [22] 에서 소개된 개념으로, 두 번째 플레이어가 이전 모든 수에 대한 완전한 정보가 아닌, 이전 수들의 불리언 하한 (Boolean infimum) 과 턴 번호만 사용하여 승리하는 전략을 가질 때 성립합니다. 이는 PFA 를 보존하지만, $\ast$-전술적 닫힘과는 다른 성질인지 여부가 명확하지 않았습니다.
• 핵심 질문: PFA 를 보존하는 더 넓은 범주의 조건을 찾을 수 있는가? 그리고 기존에 알려진 강화된 닫힘 성질들 (전략적, 운영적) 과 새로운 성질들은 어떻게 다른가?

2. 방법론 (Methodology)

논문은 Banach-Mazur 게임의 변형을 통해 새로운 닫힘 성질을 정의하고 분석합니다.

• $\ast$-변형 Banach-Mazur 게임 ($G^*(P)$):
  • 기존 게임 $G_{\omega_1+1}(P)$에서는 1 번 플레이어가 한 번에 하나의 조건을 선택했습니다.
  • 새로운 게임 $G^*(P)$에서는 1 번 플레이어가 매 턴마다 **가산 집합 (countable set)**의 조건들을 선택합니다.
  • 2 번 플레이어는 1 번 플레이어가 선택한 집합들의 불리언 하한을 고려하여 대응합니다.
• 새로운 닫힘 성질의 정의:
  • $\ast$-전술적 닫힘 ($\ast$-tactical closedness): 2 번 플레이어가 1 번 플레이어가 선택한 **조건들의 집합 (set of conditions)**만을 보고 (순서나 턴 번호는 무시), 자신의 다음 수를 결정하는 승리 전략 (tactic) 을 가질 때.
  • $\ast$-운영적 닫힘 ($\ast$-operational closedness): 2 번 플레이어가 1 번 플레이어가 선택한 조건들의 집합과 **현재 턴 번호 (ordinal number)**를 모두 사용하여 자신의 다음 수를 결정하는 승리 전략 (operation) 을 가질 때.
• 보존성 증명 기법:
  • PFA 가 성립하는 모델에서 $\ast$-운영적으로 닫힌 강제 조건을 적용했을 때, PFA 가 여전히 성립함을 보이는 **밀도 논증 (density argument)**과 **강제 이름 (forcing names)**을 이용한 구성적 증명을 사용합니다.
  • 특히, Miyamoto 와 Sakai 의 이전 연구를 일반화하여 Chang 의 추측 (Chang's Conjecture, CC) 과 같은 강한 성질의 보존을 다룹니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

A. PFA 보존 정리 (Theorem 3.1)

• 결과: $\ast$-운영적으로 닫힌 ( $\ast$-operationally closed) 임의의 강제 조건에 대한 강제 작용은 PFA 를 보존합니다.
• 의의: 이는 저자의 이전 결과 (운영적 닫힘 조건에 대한 PFA 보존) 를 일반화한 것으로, $\ast$-전술적 닫힘 조건도 포함합니다.

B. Magidor 정리의 재증명 (Theorem 3.3)

• 결과: PFA 와 $\kappa \ge \omega_2$인 모든 기수 $\kappa$에 대한 $\square_{\kappa, \omega_2}$의 성립은 ZFC 와 함께 일관적입니다.
• 적용: $\square_{\kappa, \lambda}$를 강제하는 자연스러운 조건 $P_{\square_{\kappa, \lambda}}$가 **$\ast$-전술적으로 닫혀 있음 (Theorem 2.6)**을 증명하고, 이를 통해 Magidor 의 정리를 재증명합니다. 이는 $\ast$-전술적 닫힘 조건이 실제로 존재하며 유용함을 보여줍니다.

C. 운영적 닫힘과 $\ast$-전술적 닫힘의 비동치성 (Non-equivalence)

두 성질이 서로를 함의하지 않음을 보이기 위해, $MA^+(\omega_1\text{-closed})$ 가정 하에서 서로 다른 성질을 보존/파괴하는 두 가지 조합론적 원리를 도입했습니다.

1. SCP (Setwise Climbability Property) 와 $\ast$-전술적 닫힘:

   • SCP: 특정 조합론적 원리.
   • 결과 (Theorem 5.1): $MA^+(\omega_1\text{-closed})$ 하에서, $\ast$-전술적으로 닫힌 조건은 **Chang 의 추측 (CC)**을 보존합니다.
   • 의미: CC 는 CP (Climbability Property) 를 부정하므로, $\ast$-전술적 닫힘 조건은 CP 를 파괴합니다. 반면, CP 는 $(\omega_1+1)$-운영적으로 닫힌 조건으로 강제될 수 있으므로, $\ast$-전술적 닫힘은 운영적 닫힘을 함의하지 않습니다.

2. SCP-와 운영적 닫힘:

   • SCP-: SCP 에서 함수 $f$를 제거한 약한 버전.
   • 결과 (Theorem 6.1): $MA^+(\omega_1\text{-closed})$ 하에서, $(\omega_1+1)$-운영적으로 닫힌 조건은 **SCP-**를 파괴합니다.
   • 의미: SCP-는 $\ast$-전술적으로 닫힌 조건으로 강제될 수 있으므로, 운영적 닫힘은 $\ast$-전술적 닫힘을 함의하지 않습니다.

결론적으로, 두 성질은 서로 다른 범주의 조건을 기술하며, PFA 보존이라는 공통점 외에는 서로를 함의하지 않는 독립적인 성질입니다.

4. 논문의 의의 (Significance)

1. PFA 보존 범주의 확장: $\omega_2$-닫힘이나 전략적 닫힘보다 더 넓은 범주인 $\ast$-전술적/운영적 닫힘 조건들이 PFA 를 보존함을 보여주었습니다. 이는 PFA 와 관련된 강제 공리 이론의 지평을 넓혔습니다.
2. 약한 Square 원리와의 조화: Magidor 의 정리를 통해 PFA 와 약한 Square 원리 ($\square_{\kappa, \omega_2}$) 의 일관성을 새로운 관점에서 재증명함으로써, PFA 하에서 어떤 종류의 Square 원리가 허용되는지에 대한 이해를 심화시켰습니다.
3. 게임 이론적 접근의 정교화: Banach-Mazur 게임에서 플레이어가 선택하는 대상 (단일 조건 vs 가산 집합) 과 정보의 범위 (전체 이력 vs 집합만/집합+턴번호) 를 세분화하여, 강제 조건들의 위상적/조합론적 성질을 더 정밀하게 분류하는 도구를 제공했습니다.
4. 대조적 보존 성질 규명: $MA^+(\omega_1\text{-closed})$ 하에서 서로 다른 강제 조건들이 서로 다른 조합론적 원리 (CC, SCP 등) 를 어떻게 보존하거나 파괴하는지 구체적으로 보여주어, 다양한 강제 공리 간의 미세한 차이를 규명했습니다.

5. 요약

이 논문은 $\ast$-변형 Banach-Mazur 게임을 도입하여 $\ast$-전술적 닫힘과 $\ast$-운영적 닫힘이라는 새로운 개념을 정의했습니다. 이 개념들이 PFA 를 보존함을 증명하고, 이를 적용하여 Magidor 의 정리를 재증명했습니다. 또한, 기존에 알려진 운영적 닫힘과 새로운 $\ast$-전술적 닫힘이 서로를 함의하지 않으며, $MA^+(\omega_1\text{-closed})$ 하에서 서로 다른 조합론적 성질 (Chang's Conjecture, SCP 등) 에 대해 상반된 보존 성질을 가진다는 것을 증명하여, 강제 공리 이론에서 이러한 닫힘 성질들의 독립성과 위상을 명확히 했습니다.