[논문 리뷰] Order-theoretic properties of bases in topological spaces I

Menachem Kojman, David Milovich외 1명|arXiv (Cornell University)|2010. 12. 17.

Advanced Topology and Set Theory참고 문헌 24인용 수 2

한 줄 요약

이 논문은 위상수학에서의 노에터형상수(Nt)라는 기수 불변량에 대해 연구하며, 이를 바탕으로 위상공간의 곱공간과 박스곱공간에서의 행동을 분석한다. Nt는 곱공간에서 감소할 수 있으며, 특정한 컴팩트 클래스에서는 제곱과 밀도부분공간에서 보존된다. 또한 가чёт히 지지된 박스곱공간의 Nt는 ZFC와 독립적이지만, PCF 이론은 약화된 셀라의 자유도 개념을 통해 ZFC 상한을 제공한다.

ABSTRACT

Abstract. We study some cardinal invariants of an order-theoretic fashion on products and box products of topological spaces. In particular, we concentrate on the Noetherian type (Nt), defined by Peregudov in the 1990s. Some highlights of our results include: (1) There are spaces X and Y such that Nt(X × Y) < min{Nt(X), Nt(Y)}. (2) In several classes of compact spaces, the Noetherian type is preserved by their square and their dense subspaces. (3) The Noetherian type of some countably supported box products cannot be determined in ZFC. In particular, it is sensitive to square principles and some Chang Conjecture variants. (4) PCF theory can be used to provide ZFC upper bounds to Noetherian type on countably supported box products. The underlying combinatorial notion is a weakening of Shelah’s freeness. 1.

연구 동기 및 목표

• 위상공간의 곱공간과 박스곱공간에서의 노에터형상수(Nt)의 순서론적 행동을 분석하는 것.
• 컴팩트 공간의 다양한 클래스에서 Nt가 제곱과 밀도부분공간을 취할 때 보존되는지 여부를 규명하는 것.
• 가чёт히 지지된 박스곱공간에서의 Nt가 집합론적으로 ZFC와 어느 정도 독립적인지 조사하는 것.
• PCF 이론을 적용하여 가чёт히 지지된 박스곱공간에서의 Nt에 대한 ZFC 상한을 도출하는 것.
• 노에터형상수의 상한을 유도하기 위한 조합론적 도구로, 셀라의 자유도 개념의 약화된 형태를 도입하고 연구하는 것.

제안 방법

• 위상공간의 기저에 대한 순서론적 방법을 통해 노에터형상수를 분석하는 것.
• Nt(X × Y)가 min{Nt(X), Nt(Y)}보다 엄밀히 작을 수 있음을 보여주는 반례를 구성하여 곱공간에서의 Nt가 단조가 아님을 입증하는 것.
• 강제법과 제곱원리(square principles)를 사용하여, 가чёт히 지지된 박스곱공간에서의 Nt가 ZFC와 독립적임을 보여주는 것.
• PCF 이론을 적용하여, 가чёт히 지지된 박스곱공간에서의 Nt에 대한 ZFC 상한을 확립하는 것.
• 셀라의 자유도 개념의 약화된 형태를 도입하여, Nt 상한의 배경이 되는 조합론적 구조를 포착하는 것.
• 컴팩트 공간과 그 밀도부분공간에 초점을 맞추어, 제곱과 임bedding을 취할 때 Nt의 보존성을 보여주는 것.

실험 결과

연구 질문

• RQ1 곱공간 X × Y의 노에터형상수는 X와 Y의 노에터형상수의 최솟값보다 엄밀히 작을 수 있는가?
• RQ2 다양한 컴팩트 공간 클래스에서 Nt는 제곱과 밀도부분공간을 취할 때 보존되는가?
• RQ3 가чёт히 지지된 박스곱공간의 노에터형상수는 ZFC와 어느 정도 독립적인가?
• RQ4 PCF 이론을 사용하여, 가чёт히 지지된 박스곱공간의 노에터형상수에 대한 ZFC 상한을 도출할 수 있는가?
• RQ5 셀라의 자유도의 약화된 형태는 기저의 구조와 노에터형상수와 어떻게 관련되는가?

주요 결과

• Nt(X × Y) < min{Nt(X), Nt(Y)}를 만족하는 위상공간 X와 Y가 존재함을 보여, Nt가 곱공간에서 단조가 아님을 입증한다.
• 다양한 컴팩트 공간 클래스에서, Nt는 제곱 연산과 밀도부분공간으로의 이행을 취할 때 보존된다.
• 가чёт히 지지된 박스곱공간의 Nt는 ZFC만으로는 결정될 수 없으며, 제곱원리와 찬의 추측의 변형에 민감하게 반응한다.
• PCF 이론은 가чёт히 지지된 박스곱공간에서의 Nt에 대한 ZFC 상한을 제공하며, 셀라의 자유도의 조합론적 약화된 형태를 사용한다.
• 제안된 셀라의 자유도의 약화된 형태는 박스곱공간에서의 Nt 상한을 유도하기 위해 필요한 구조를 충분히 포착한다.
• 결과적으로, 노에터형상수는 특히 박스곱공간 구조에서 무한곱에서 복잡한 집합론적 행동을 보임을 보여준다.