[논문 리뷰] Various topologies on trees

Peter Nyikos|ArXiv.org|2004. 12. 31.

Advanced Topology and Set Theory참고 문헌 12인용 수 20

한 줄 요약

이 논문은 나무 위의 여러 위상구조를 조사하며, 주로 굵은 및 미세한 와이드 위상과 간격 위상을 중심으로 다루며, 굵은 와이드 위상이 초수축성, 단조 정규 공간을 유도하는 반면, 미세한 와이드 위상은 모든 나무 위에 초초수축성, 단조 정규 위상을 유도함을 보여준다. 간격 위상은 체계적인 집합론적 의존성을 드러내며, 정규성 및 메트라이징 가능성과 같은 성질들이 종종 ZFC를 초월한 공리에 따라 달라진다.

ABSTRACT

This is a survey article on trees, with a modest number of proofs to give a flavor of the way these topologies can be efficiently handled. Trees are defined in set-theorist fashion as partially ordered sets in which the elements below each element are well-ordered. A number of different topologies on trees are treated, some at considerable length. Two sections deal in some depth with the coarse and fine wedge topologies, and the interval topology, respectively. The coarse wedge topology gives a class of supercompact monotone normal topological spaces, and the fine wedge topology puts a monotone normal, hereditarily ultraparacompact topology on every tree. The interval topology gives a large variety of topological properties, some of which depend upon set-theoretic axioms beyond ZFC. Many of the open problems in this area are given in the last section.

연구 동기 및 목표

• 나무 위의 다양한 위상적 구조, 특히 와이드 및 간격 위상구조를 체계화하고 분석하는 것.
• 다양한 위상구조에 의해 유도되는 위상적 성질—예를 들어 단조 정규성, 초초수축성, 메트라이징 가능성—을 조사하는 것.
• ZFC를 초월한 집합론적 공리, 특히 아론샤인 나무와 특수 나무의 맥락에서 위상적 성질의 의존성 탐구.
• 다양한 집합론적 가정 하에서 나무 위상구조의 정규성, 메트라이징 가능성 및 파라컴팩트성에 관한 열린 문제를 해결하는 것.
• 특수 나무 및 R-특수 나무가 정규성 및 메트라이징 가능성과 관련하여 위상적 행동을 결정하는 데서 수행하는 역할을 명확히 하는 것.

제안 방법

• 모든 원소의 조상이 잘순서지워진 부분순서집합으로서 나무를 정의하여 기초적인 구조를 확립.
• 굵은 와이드 위상을 정의하고, 모든 나무 위에서 초수축성, 단조 정규 공간을 유도함을 보여줌.
• 미세한 와이드 위상을 정의하고, 모든 나무 위에서 초초수축성, 단조 정규 위상을 유도함을 증명함.
• 간격 위상을 분석하여, CH, MA 및 약한 쿠레파 나무의 존재와 같은 집합론적 공리에 민감한 성질을 드러냄.
• 프레싱던트 렘마와 정규 및 비정규 집합의 성질을 적용하여 cwH(완전히 약한 유전적) 나무를 특성화함.
• 강제 확장 및 대규모 기수 가정(예: MA + ¬wKH)을 사용하여 정규성 및 메트라이징 가능성의 일致성 결과를 분석함.

실험 결과

연구 질문

• RQ1 어떤 집합론적 가정 하에서 모든 정규 나무는 단조 정규가 되는가?
• RQ2 ZFC에 독립적으로 모든 완전히 정규 나무가 메트라이징 가능할 수 있는가?
• RQ3 V = L 하에서, 가산 파라컴팩트하지만 정규가 아닌 아론샤인 나무가 존재할 수 있는가?
• RQ4 모든 R-특수, 가산 파라컴팩트 나무는 반드시 집합별로 정규인가?
• RQ5 비특수이면서 가산 메타컴팩트이고 비가산 분지가 없는 나무의 존재에 대한 일치성 강도는 무엇인가?

주요 결과

• 굵은 와이드 위상은 모든 나무에 대해 초수축성, 단조 정규 위상을 제공한다.
• 미세한 와이드 위상은 모든 나무에 대해 초초수축성, 단조 정규 위상을 제공한다.
• MA + ¬wKH 하에서, ω₂ 이하의 높이를 가진 모든 cwH 나무는 단조 정규이다.
• 모든 R-특수, cwH, 가산 파라컴팩트 나무는 정리 4.39에 의해 (집합별로) 정규이다.
• MA + ¬CH 및 강력하게 컴팩트한 많은 랜덤 실수를 포함하는 모델에서는 PMEA가 성립하며, 모든 정규이자 첫 번째 가산 나무는 cwn이므로 메트라이징 가능하다.
• σ-순서화 가능한 나무의 존재는 σ-순서화 가능성과 cwH 성질과 동치이며, 정리 4.45에 의해 입증됨.