[논문 리뷰] Selected results on selection principles

Ljubiša D. R. Kočinac|arXiv (Cornell University)|2012. 01. 07.

Advanced Topology and Set Theory참고 문헌 35인용 수 78

한 줄 요약

이 논문은 위상수학에서 선택 원리의 최근 발전을 조사하며, 상대적 및 스타 선택 원리에 중점을 두고 있으며, 게임 이론, 함수 공간, 초공간과의 연관성을 다룬다. 주요 결과로는 강한 프레셰 연속성을 통한 상대 γ-집합의 특성화와, 절대적 및 상대적 스타 투어위치스 성질 간의 차이를 들며, ℝ 내에서 비가чёт 가능한 상대 γ-집합의 존재성에 대한 ZFC 내에서의 결정불가능성 결과를 강조한다.

ABSTRACT

We review some selected recent results concerning selection principles in topology and their relations with several topological constructions.

연구 동기 및 목표

• 고전적 결과를 초월한 선택 원리의 최근 발전을 검토하는 것, 특히 Scheepers의 이전 서베이에서 다루지 않은 바를 중심으로 하기.
• 선택 원리와 함수 공간, 초공간, 게임 이론적 성질 등의 위상수학적 구성 간의 상호작용을 탐구하는 것.
• 특히 상대 γ-집합과 상대 스타-투어위치스 성질에 초점을 맞춘 상대 선택 원리의 연구를 통해, 이들이 매장 공간 X에 의존하는 방식을 강조하는 것.
• 스타 선택 원리의 절대적 및 상대적 형태 간의 차이를 명확히 하여, 상대적 성질이 절대적 성질보다 엄밀히 약하다는 것을 보여주는 것.
• ℝ 내에서 비가산 상대 γ-집합의 존재성에 대한 집합론적 독립성 문제를 조사하며, 이가 ZFC 내에서 결정불가능하다는 것을 보여주는 것.

제안 방법

• 논문은 위상공간의 커버 가족에 대해 S1(A,B) 및 Sfin(A,B)로 표현된 선택 원리를 사용한다.
• 게임 이론적 표현 방식, 예를 들어 G1(ΩX, O^gp_Y)를 사용하여 선택 원리와 승리 전략을 특성화한다.
• 집합론의 개념, 예를 들어 허구의 교차 수 𝔪 및 기수 p(2^ω), p(ω^ω)를 활용하여 곱공간 내 상대 γ-집합을 분석한다.
• 강한 스타-투어위지스 성질의 상대적 형태, 예를 들어 X 내에서의 강한 스타-투어위지스 성질을 도입하고 분석한다. 여기서 Y ⊆ X 이고, Y의 점들은 유한 개를 제외한 모든 스타에 속한다.
• 연속 사상과 강한 프레셰 연속성 등의 위상수학적 성질을 사용하여 함수 공간 내 상대 γ-집합을 특성화한다.
• Gerlits-Nagy, Borel, Miller 등의 연구에서 알려진 결과를 활용하여 ZFC 내에서 독립성 결과를 도출한다.

실험 결과

연구 질문

• RQ1 공간 X의 부분공간 Y가 X 내에서 상대 γ-집합이 되는 조건은 무엇이며, 이는 절대적 의미에서의 γ-집합과 어떻게 다를까?
• RQ2 선택 원리 S1(ΩX, ΓY)와 평가 함수 π: Cp(X) → Cp(Y)의 강한 프레셰 성질 간의 관계는 무엇인가?
• RQ3 공간 X 내에서 부분공간 Y가 절대적으로 강한 스타-투어위지스 성질을 갖지 않더라도 상대적으로 강한 스타-투어위지스 성질을 가질 수 있는가? 만약 가능하다면, 이러한 성질을 만족하는 공간은 무엇인가?
• RQ4 ℝ 내에서 비가산 상대 γ-집합의 존재성은 ZFC 내에서 결정 가능한가? 또한 관련된 기수 불변량은 무엇인가?
• RQ5 기수 p(2^ω)와 p(ω^ω)는 허구의 교차 수 𝔪과 어떻게 관련되어 있으며, 어떤 독립성 결과를 도출할 수 있는가?

주요 결과

• Tychonoff 공간 X의 부분공간 Y가 X 내에서 상대 γ-집합이 되는 것은 평가 함수 π: Cp(X) → Cp(Y)가 강한 프레셰 연속일 때이고, 그 때에만 해당된다.
• 상대 γ-집합 성질은 유전적임을 보였지만, 절대 γ-집합 성질은 그렇지 않다.
• 공간 X(즉, Mrówka-Isbel Ψ-공간)와 부분공간 Y가 존재하여, Y는 X 내에서 상대적으로 강한 스타-투어위지스 성질을 가지지만 절대적으로는 그렇지 않다.
• ℝ 내에서 비가산 상대 γ-집합의 존재성은 ZFC 내에서 결정불가능하며, 이는 기수 p(2^ω)가 𝔪와 독립적이라는 것으로 증명된다.
• ZFC 내에서 p < p(ω^ω) < p(2^ω)일 수도 있고, p < p(ω^ω) = p(2^ω)일 수도 있으며, 이는 이러한 기수들이 서로 독립적임을 보여준다.
• 기수 p(2^ω)는 2^ω 내에서 상대 γ-집합이 되지 않는 부분집합의 최소 크기이며, 마찬가지로 ω^ω에 대해서도 동일하다.