[논문 리뷰] o-Boundedness of free objects over a Tychonoff space

Lyubomyr Zdomskyy|ArXiv.org|2005. 09. 26.

Advanced Topology and Set Theory참고 문헌 21인용 수 5

한 줄 요약

이 논문은 Tychonoff 공간 X 위에서의 자유 위상군 F(X), A(X), 그리고 자유 국소 볼록 공간 L(X)에서 o-유계성의 성질을 선택 원리들을 통해 특성화하며, Menger 및 Hurewicz 성질이 ZFC 일致성 하에서 l-불변임을 보여준다. 자유 대상의 o-유계성은 X의 조합적 커버링 성질과 대응되며, 강력한 위상-조합적 구조를 지닌 OF-미결정 위상군의 구성이 가능해진다.

ABSTRACT

In this paper we characterize [strict] o-boundedness of the free (abelian) topological group F(X) (A(X)) as well as the free locally-convex linear topological space L(X) in terms of properties of a Tychonoff space X. These properties appear to be close to so-called selection principles, which permits us to show, that (it is consistent with ZFC that) the property of Hurewicz (Menger) is l-invariant. This gives a method of construction of OF-undetermined topological groups with strong combinatorial properties.

연구 동기 및 목표

• Tychonoff 공간 X의 위상적 성질에 관해 자유 (아벨) 위상군 F(X) 및 A(X), 그리고 자유 국소 볼록 공간 L(X)의 o-유계성을 특성화하는 것.
• F(X), A(X), L(X)의 o-유계성과 Menger, Scheepers, Hurewicz 등의 선택 원리 간의 관계를 설정하는 것.
• Menger 및 Hurewicz 성질이 ZFC 일치성 하에서 l-불변임을 보여주며, 이를 더 넓은 위상적 불변량의 범주로 확장하는 것.
• 강력한 조합적 및 위상적 성질을 지닌 OF-미결정 위상군을 구성하는 방법을 제공하는 것.

제안 방법

• 선택 원리—특히 Menger, Scheepers, Hurewicz 성질—을 자유 위상군에서 o-유계성을 특성화하는 조합적 도구로 사용한다.
• 다중커버링 공간 이론과 균일 구조를 적용하여 F(X) 및 A(X)의 왼쪽 및 오른쪽 균일성에 기반해 o-유계성을 분석한다.
• C_p(X) 및 L_p(X)를 통한 X의 위상적 성질과 F(X), A(X), L(X)의 o-유계성 간의 이중성 관계를 활용한다.
• l-동치(선형 위상공간으로서의 C_p(X)의 동형)를 정의하고, l-불변성을 정의하며, 선택 원리가 l-동치 하에서 보존됨을 증명한다.
• 게임 이론적 기법(예: 승리 가능한 다중커버링 공간)을 적용하여 o-유계성과 선택 원리 간의 함의 관계를 증명한다.
• 가산 콤팩트 공간 Z와 Z² 위의 비-Lindelöf 거리함수를 갖는 예를 구성하여, 곱공간에서 Lindelöf 성질이 실패할 수 있음을 보여주는 반례를 제시한다.

실험 결과

연구 질문

• RQ1 Tychonoff 공간 X에 대해 자유 위상군 F(X)가 o-유계가 되기 위한 조건은 무엇인가?
• RQ2 Menger, Scheepers, Hurewicz 등의 선택 원리가 X 위의 자유 대상의 o-유계성과 어떻게 관련되어 있는가?
• RQ3 Menger 및 Hurewicz 성질은 l-불변인가, 즉 위상공간 간의 l-동치 하에서 보존되는가?
• RQ4 F(X), A(X), L(X)의 o-유계성은 X의 성질과 그 함수공간의 성질을 통합적으로 특성화할 수 있는가?
• RQ5 자유 국소 볼록 공간 L(X)은 o-유계성과 X의 커버링 성질 간의 이중성에서 어떤 역할을 하는가?

주요 결과

• 자유 아벨 위상군 A(X)는 X가 Menger 성질을 갖는 것과 동치로 o-유계이다.
• 자유 위상군 F(X)는 X가 Scheepers 성질을 갖는 것과 동치로 o-유계이다.
• 자유 국소 볼록 공간 L(X)는 X가 Hurewicz 성질을 갖는 것과 동치로 o-유계이다.
• Menger 및 Hurewicz 성질은 ZFC 일치성 하에서 l-불변이며, X와 Y가 l-동치이면 X가 Menger (또는 Hurewicz) 성질을 갖는 것과 동치로 Y도 동일한 성질을 갖는다.
• l-불변성의 증명은 l-동치 하에서 선택 원리의 동치성과 다중커버링 공간에서의 게임 이론적 기법의 적용에 기반한다.
• 반례를 구성하여 두 가산 콤팩트 공간의 곱공간이 비-Lindelöf 거리함수를 가질 수 있음을 보여주며, 이러한 설정에서 Lindelöf 성질이 실패할 수 있음을 설명한다.