[논문 리뷰] Metrisability of Manifolds

David Gauld|ArXiv.org|2009. 10. 05.

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

한 줄 요약

이 논문은 메트릭성과 동치인 다양한 위상적 조건을 규명하여 메트라이잭빌리티를 가진 다양한 다양체를 종합적으로 특성화한다. 이는 완전한 메트릭성, 베르 성질, 다양한 커버링 및 분리 공리와 같은 성질을 포함한다. 표준 집합론적 가정 하에 메트라이잭빌리티가 여러 보다 약한 위상적 성질들과 동치임을 입증하며, 일부 동치 관계가 마틴의 공리나 연속체 가설과 같은 공리에 의존함을 보여준다.

ABSTRACT

Manifolds have uses throughout and beyond Mathematics and it is not surprising that topologists have expended a huge effort in trying to understand them. In this article we are particularly interested in the question: `when is a manifold metrisable?' We describe many conditions equivalent to metrisability.

연구 동기 및 목표

• 다양체에 대한 메트라이잭빌리티와 동치인 조건들을 규명하고 체계화한다.
• 마틴의 공리와 연속체 가설과 같은 집합론적 공리가 메트라이잭빌리티를 결정하는 데 미치는 영향을 명확히 한다.
• 완전한 정규성 또는 강한 유한성 분리성과 같은 성질이 메트라이잭빌리티를 유도하는지 여부에 대한 오랫동안 남아있던 질문을 해결한다.
• 분리성과 정규성만으로는 메트라이잭빌리티를 보장하지 못함을 보이며 반례를 제시한다.
• 다양체의 맥락에서 메트라이잭빌리티가 편의성, α-유리성, 그리고 다양한 위상적 성질들과 동치임을 입증한다.

제안 방법

• 다양체의 정의로 유럽 공간으로의 국소 위상동형을 기초로 한다.
• 일반 위상수학의 결과를 적용하며, 특히 베르 공간의 성질, 체히 완전성, 가산 순서의 기저 등에 초점을 맞춘다.
• 마틴의 공리(MA)와 연속체 가설(CH)과 같은 집합론적 도구를 사용하여 동치 관계의 독립성을 분석한다.
• 장 레이(장 레이)와 y축을 구간으로 대체한 2차원 다양체와 같은 반례를 구성하여 정규성, 분리성 또는 완전한 정규성이 메트라이잭빌리티를 유도하지 않음을 보여준다.
• 일반 위상수학에서 알려진 동치 관계(예: 국소 볼록 공간에서의 베르 공간과 볼테라 공간 간의 동치)를 활용하여 다양체에 대한 함의를 도출한다.
• 완전한 메트라이잭빌리티 ⇒ 편의성 ⇒ α-유리성 등의 성질 간 함의관계를 분석하고, 이를 메트라이잭빌리티와 연결한다.

실험 결과

연구 질문

• RQ1 다양체에 대해 어떤 위상적 성질이 메트라이잭빌리티와 동치인가?
• RQ2 마틴의 공리(MA)나 연속체 가설(CH)과 같은 집합론적 공리가 메트라이잭빌리티와 완전한 정규성 또는 강한 유한성 분리성 등의 성질 간 동치 관계에 어느 정도 영향을 미치는가?
• RQ3 분리성 또는 정규성만으로도 다양체에서 메트라이잭빌리티를 보장할 수 있는가?
• RQ4 정규성과 분리성을 만족하지만 메트라이잭빌리블리하지 않은 다양체가 존재하는가?
• RQ5 어떤 조건에서 다양체에 대해 완전한 정규성이 메트라이잭빌리티와 동치가 되는가?

주요 결과

• 다양체의 메트라이잭빌리티는 완전한 메트릭성, 편의성, α-유리성, 그리고 베르 성질과 동치이다.
• 메트라이잭빌리블리하지 않은 분리성 2차원 다양체가 존재함을 보여, 분리성이 메트라이잭빌리티를 보장하지 못함을 입증한다.
• 장 레이(장 레이)는 정규성, 분리성, α-유리성을 만족하지만 메트라이잭빌리블리하지 않은 다양체로서, 정규성과 분리성이 메트라이잭빌리티를 유도하지 않음을 보여준다.
• 마틴의 공리(MA)와 ¬CH 하에서, 완전한 정규성은 다양체에서 메트라이잭빌리티를 유도하지만, CH 하에서는 완전한 정규성이지만 메트라이잭빌리블리하지 않은 다양체가 존재한다.
• 강한 유한성 분리성과 완전한 정규성의 조합조차도 일반적으로 메트라이잭빌리티를 유도하지 않으며, 이는 CH 기반의 구성에 의해 입증된다.
• 성질(a)이나 가산 순서의 기저와 같은 성질과의 동치 관계는 집합론적 가정과 무관하게 모든 다양체에서 성립한다.