울트라필터와 작은 집합, 그리고 곱 연산에 대한 최신 연구 동향
** SPM Bulletin 22호(2007년 9월)에서는 울트라필터와 ‘작은’ 집합 사이의 관계를 조명한 초청 논문과 여러 연구 발표를 수록한다. 특히 I‑울트라필터의 구조, 0‑포인트와 P‑포인트와의 연관성, 그리고 van der Waerden 이상(산술 진행을 포함하지 않는 집합)과 관련된 W‑울트라필터가 곱 연산에 대해 닫혀 있는가 하는 문제를 제시한다. **
저자: ** - **편집·주요 담당**: Boaz Tsaban (Weizmann Institute of Science) – 이메일: boaz.tsaban@weizmann.ac.il - **초대 기고**: Jana Flaškova (University of West Bohemia) - **연구 발표 저자**: - Andrzej Kucharski & Szymon Plewik - James Hirschorn - Dominique Lecomte (두 편의 논문) - Saharon Shelah (세 편) - 기타(연구 발표에 명시된 저자) **
**
SPM Bulletin 22호는 2007년 9월에 발행된 수학 전산·집합 이론 분야의 소식지를 담고 있다. 첫 부분인 ‘Editor’s note’에서는 제1회 유럽 집합 이론 회의가 성공적으로 개최되었으며, 이 회의에서 Jana Flašková의 강연을 계기로 초청 논문이 기획되었다는 배경을 설명한다. 이어지는 초청 논문 ‘Ultrafilters and small sets’에서는 울트라필터와 ‘작은’ 집합 사이의 깊은 연관성을 탐구한다. 저자는 0‑포인트(그리즐로프)와 I‑울트라필터(바움가트너)라는 두 개념을 재정의하고, 이를 자연수 집합 ℕ 위의 다양한 이상 I에 적용한다.
‘작은’ 집합의 예로는
- **thin set**: 증가열 aₙ에 대해 limₙ aₙ / aₙ₊₁ = 0,
- **almost thin set**: limₙ aₙ / aₙ₊₁ < 1,
- **(SC)‑set**: limₙ (aₙ₊₁ – aₙ) = ∞,
- **summable ideal I₁/ₙ**: ∑_{a∈A} 1/a < ∞,
- **density zero ideal Z₀**: lim sup |A∩n|/n = 0
등을 제시한다. 이러한 이상에 대해 I‑울트라필터가 존재함을 보이면서, 그 존재가 ZFC와 독립임을 증명한다. 특히, ‘thin’과 ‘almost thin’이 같은 클래스의 I‑울트라필터를 만든다는 결과와, 모든 0‑포인트가 I‑울트라필터의 한 형태라는 사실을 강조한다.
다음으로, 저자는 I‑울트라필터와 전통적인 P‑포인트, Q‑포인트, 그리고 ‘selective ultrafilter’ 사이의 관계를 상세히 분석한다. 예를 들어, X = 2^ℕ이면 P‑포인트는 ‘유한 및 수렴 수열’이라는 이상에 대한 I‑울트라필터와 일치하고, X = ω₁이면 ‘순서형이 ≤ ω인 집합’에 대한 I‑울트라필터와 동일함을 보인다. 이러한 관점은 P‑포인트를 특정 이상에 대한 특수한 I‑울트라필터로 재해석함으로써, 기존 이론을 보다 일반적인 프레임워크 안에 끌어들인다.
연구 발표 섹션(3.x)은 8개의 독립적인 논문 초록을 나열한다.
- **3.1**: 역시 시스템과 I‑favorable 공간 사이의 동등성, σ‑완전 역시 시스템을 이용한 메트릭 컴팩트 공간의 표현.
- **3.2**: σ‑directed 카운터블 집합 가족에 대한 강력한 조합 원리와 게임 이론적 해석, CH와의 호환성 탐구.
- **3.3·3.4**: Kechris‑Solecki‑Todorcevic 이분법을 고차 차원(유한·무한)으로 확장, 연속·베어 측정 가능한 동형사상의 차이를 분석.
- **3.5**: 대연속성(ℵ₂보다 큰 연속성)과 오라클을 이용한 반복 강제법, c.c.c. 조건 하에서의 연속성 조절.
- **3.6**: 무한 곱의 폴리시 공간에서 Borel 계층의 구조를 Levý‑Solóvay 모델 내에서 조사.
- **3.7**: Baire 공간 위의 Borel 함수들을 특징짓는 무한 게임 제시.
- **3.8**: CH 가정 하에 ℵ₂ 크기의 Lindelöf 정규 공간이 존재함을 보이며, Arhangel’skiĭ 문제에 대한 일관성 결과를 제공.
‘Problem of the Issue’(4)에서는 van der Waerden 이상 W를 정의한다. W는 산술 진행을 임의의 길이까지 포함하지 않는 모든 자연수 집합의 모임이다. 저자는 다음 질문을 제시한다: **W‑울트라필터는 곱 연산에 대해 닫혀 있는가?** 여기서 곱 연산은 두 울트라필터 U, V에 대해 U·V를 정의하고, 그 결과가 다시 W‑울트라필터가 되는지를 묻는다. 기존 결과에 따르면 P‑이상에 대해서는 닫힘이 알려져 있으나, W는 P‑이상이 아니므로 답이 미정이다. 저자는 부정적인 답을 기대하면서도, 만약 긍정적이라면 W‑울트라필터가 P‑포인트도 아니고 thin‑울트라필터도 아닌 새로운 종류의 자유 울트라필터를 제공할 것이라고 언급한다.
마지막 섹션(5)에서는 이전 호에서 제시된 미해결 문제들을 열거한다. 여기에는 S₁(Ω, T) ⇒ Ufin(Γ, Γ)?, p = p*, CH 하에서의 다양한 선택 원리, Menger 성질과 Hurwicz 성질 사이의 관계 등 집합 위상 및 선택 원리 분야의 핵심 질문들이 포함된다.
전체적으로, 이 호는 울트라필터 이론의 최신 동향을 포괄적으로 제시하고, 특히 ‘작은’ 집합과의 상호작용, 고차 차원의 분석적 그래프 이분법, 그리고 강제법을 통한 연속성 조절 등 다양한 연구 방향을 제시한다. 특히 van der Waerden 이상과 관련된 문제는 기존의 P‑이상 연구를 넘어 새로운 구조적 통찰을 요구한다는 점에서 향후 연구의 중요한 출발점이 될 것이다.
**
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기