로스베거 경계 군과 라므세 이론의 새로운 연결

초록

본 논문은 σ-콤팩트 군 안에서 로스베거 경계 부분군을 라므세 파티션 관계로 완전히 특징짓고, 임의의 비가산 기수 κ에 대해 ONE이 포인트-오픈 게임에서 승리 전략을 갖는 T₀ 위상군을 구성한다. 첫 번째 예시는 σ-콤팩트 공간에 포함되지 않는 경우이며, 두 번째 예시는 σ-콤팩트이면서도 같은 게임적 성질을 유지한다는 점에서 흥미롭다.

상세 분석

로스베거 경계(Rothberger bounded)라는 개념은 선택적 커버링 성질 중 가장 강력한 형태 중 하나로, 모든 열린 커버 {Uₙ : n∈ℕ}에 대해 각 n에 대해 하나의 원소 xₙ∈Uₙ를 선택하여 전체 집합이 전체 공간을 커버하도록 하는 게임적 정의와 동치이다. 기존 연구에서는 로스베거 경계가 메트릭 공간이나 σ-콤팩트 공간에서 어떻게 행동하는지 부분적으로 알려졌지만, 군 구조와 결합했을 때는 아직 체계적인 이론이 부족했다. 저자들은 먼저 σ-콤팩트 군 G에 대한 부분군 H가 로스베거 경계임을 “∀α<ω₁, (α→(α)²_ℵ₀)”와 같은 라므세 파티션 관계와 동등하게 만들었다. 여기서 (α→(α)²_ℵ₀) 는 모든 색칠 χ: