[논문 리뷰] Metrizable images of the Sorgenfrey line

Mikhail Patrakeev|arXiv (Cornell University)|2014. 01. 10.

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

한 줄 요약

이 논문은 다양한 사상 유형(개방, 닫힘, 몫 등)에 대해 메트라이잭빌리티를 갖는 공간이 소르게프리 선형의 연속 상임을 특성화하며, 루신 π-기저라는 새로운 개념을 도입한다. 주요 기여는 메트라이잭빌리티를 갖는 공간이 소르게프리 선형으로부터 연속 개방 사상의 상이 되기 위한 필요충분조건이 루신 π-기저를 갖는 것임을 보이며, 이러한 공간에는 비어있지 않은 폴란드 공간이 모두 포함된다. 소르게프리 선형과 베어 공간은 이 성질을 공유함으로써, 여러 사상 유형에 대해 메트라이잭빌리티를 갖는 상의 균일한 특성화가 가능해진다.

ABSTRACT

We give descriptions of metrizable topological spaces that are images of the Sorgenfrey line under continuous maps of different types (open, closed, quotient and others). To obtain this descriptions, we introduce the notion of a Lusin pi-base, the Sorgenfrey line and the Baire space have Lusin pi-bases, and if a space X has a Lusin pi-base, then for each nonempty Polish space Y, there exists a continuous open map from X onto Y.

연구 동기 및 목표

• 개방, 닫힘, 몫, 완전 사상 등 다양한 사상 유형에 대해 소르게프리 선형의 연속 상이 되는 모든 메트라이잭빌리티 위상공간을 특성화하는 것.
• 루신 π-기저라는 위상성질을 도입하고 연구하며, 이는 소르게프리 선형에서 비어있지 않은 폴란드 공간으로의 연속 개방 전성사상의 구축을 가능하게 한다.
• 소르게프리 선형과 베어 공간 사이의 구조적 연결을 보여주어, 이들이 여러 사상 유형에 대해 동일한 메트라이잭빌리티 상의 집합을 갖는 이유를 루신 π-기저 성질의 공통성으로 설명하는 것.
• 개방, 유한-일대일, 완전 사상 등의 특정 사상에 대해 오랫동안 남아있던 메트라이잭빌리티 상의 성격에 관한 질문을 해결하기 위해, 날카로운 필요충분조건을 증명하는 것.

제안 방법

• 루신 π-기저의 개념을 도입: 비어있지 않은 열린 집합이 항상 바이어르 성질을 갖는 Gδ 집합을 포함하는 π-기저이며, 이 기저가 순서형으로 잘 정렬되어 있어 재귀적 구성이 가능하도록 하는 것.
• 소르게프리 선형과 베어 공간이 모두 루신 π-기저를 갖는다는 것을 증명: 이는 베어 공간의 표준 기저의 성질과 위상적 성질을 활용하여 수행된다.
• 일반 정리 수립: 위상공간 X가 루신 π-기저를 갖는다면, 임의의 비어있지 않은 폴란드 공간 Y에 대해 연속 개방 전성사상 f: X → Y 가 존재한다.
• 소르게프리 위상에서 중첩되고 서로소인 컴팩트 구간의 재귀적 구성 기법을 사용하여, 닫힘 및 메트라이잭빌리티 부분공간에 포함된 비가산 부분집합이 존재할 경우 모순을 이끌어내어, 닫힘 사상에 의한 상의 가산성을 증명한다.
• 완전 사상과 계승적 가산성의 성질을 적용하여, 소르게프리 선형의 임의의 닫힘 상은 최대 가산적이며 완전 메트라이잭빌리티 공간이므로 폴란드 공간임을 보인다.
• 소르게프리 선형의 메트라이잭빌리티 부분공간이 항상 계승적 가산적임을 이용하고, 일대일 선택 사상의 성질을 활용하여 원상의 크기를 유 bounds하고 가산성을 유추한다.

실험 결과

연구 질문

• RQ1 소르게프리 선형으로부터 개방 사상에 의한 연속 상이 되는 메트라이잭빌리티 공간은 무엇인가?
• RQ2 소르게프리 선형이 비어있지 않은 모든 폴란드 공간으로 연속 개방 사상의 상이 되도록 하는 소르게프리 선형의 위상적 성질은 무엇인가?
• RQ3 왜 소르게프리 선형과 베어 공간은 몫, 준개방, 이중 몫 사상에 대해 동일한 메트라이잭빌리티 상의 집합을 갖는가?
• RQ4 소르게프리 선형은 닫힘 사상이나 완전 사상에 의해 비가산 메트라이잭빌리티 공간으로 연속적으로 사상될 수 있는가?
• RQ5 일대일 또는 유한-일대일 연속 사상에 의한 소르게프리 선형의 메트라이잭빌리티 상은 무엇으로 특성화되는가?

주요 결과

• 비어있지 않은 모든 폴란드 공간은 소르게프리 선형으로부터 연속 개방 상임을 갖는다. 이는 소르게프리 선형이 루신 π-기저를 갖기 때문이다.
• 소르게프리 선형과 베어 공간는 모두 루신 π-기저를 갖는다. 이는 이들이 몫, 준개방, 이중 몫, 개방 사상에 대해 동일한 메트라이잭빌리티 상의 집합을 갖는 이유를 설명한다.
• 소르게프리 선형으로부터 연속 닫힘 사상에 의한 메트라이잭빌리티 상은 정확히 비어있지 않은 최대 가산 폴란드 공간들이다.
• 유한-일대일 연속 개방 사상에 의한 소르게프리 선형의 메트라이잭빌리티 상은 존재하지 않으며, 이는 이러한 사상이 소르게프리 위상에 어울리지 않는 방식으로 비가산 원상을 요구하기 때문이다.
• 소르게프리 선형에서 메트라이잭빌리티 공간으로의 완전 사상은 존재할 수 없다. 이는 소르게프리 선형이 메트라이잭빌리티가 아니므로, 이는 모순이기 때문이다.
• 소르게프리 선형은 닫힘 사상에 의해 비가산 메트라이잭빌리티 공간으로 연속적으로 사상될 수 없다. 왜냐하면 이러한 상은 최대 가산적이며 폴란드 공간이어야 하기 때문이다.