[논문 리뷰] A characterization of Tychonoff spaces with applications to paratopological groups

Тарас Банах, Alex Ravsky|arXiv (Cornell University)|2014. 10. 06.

Advanced Topology and Set Theory인용 수 3

한 줄 요약

이 논문은 정규 준일반화를 통해 Tychonoff 공간을 특성화하며, 반정규 공간이 완전히 정규임을 보여주는 정규 준일반화에 의해 위상이 유도될 때에만 완전히 정규임을 증명한다. 이는 파라위상군 이론에서 오랫동안 미해결된 문제를 해결하며, 모든 정규 파라위상군이 완전히 정규임을 보이고, 모든 하우스도르프 파라위상군이 자연스러운 준일반화 구조를 통해 기능적으로 하우스도르프이자 부분메트릭 가능함을 밝힌다.

ABSTRACT

We prove that a semiregular topological space $X$ is completely regular if and only if its topology is generated by a normal quasi-uniformity. This characterization implies that each regular paratopological group is completely regular. This resolves an old problem in the theory of paratopological groups, which stood open for about 60 years. Also we define a natural uniformity on each paratopological group and using this uniformity prove that each (first countable) Hausdorff paratopological group is functionally Hausdorff (and submetrizable). This resolves another two known open problems in the theory of paratopological groups.

연구 동기 및 목표

• 정규 준일반화를 사용하여 Tychonoff 공간을 특성화하기.
• 모든 정규 파라위상군이 완전히 정규인지 여부라는 미해결 문제를 해결하기.
• 모든 하우스도르프 파라위상군이 기능적으로 하우스도르프이자 부분메트릭 가능함을 확립하기.
• 파라위상군의 위상 분석을 용이하게 하기 위해 자연스러운 준일반화를 정의하기.

제안 방법

• 반정규 위상공간이 완전히 정규임을 보여주는 정규 준일반화에 의해 위상이 생성될 때에만 완전히 정규임을 증명한다.
• 이 특성화를 활용하여 모든 정규 파라위상군이 완전히 정규임을 유도한다.
• 각 파라위상군에 대해 그 군 연산과 위상을 사용하여 표준 준일반화를 정의한다.
• 이 준일반화의 성질을 적용하여 모든 하우스도르프 파라위상군이 기능적으로 하우스도르프임을 보인다.
• 이 준일반화의 구조를 활용하여 첫 번째 가산성 조건을 만족하는 하우스도르프 파라위상군에서의 부분메트릭 가능성을 확립한다.
• 반정규성, 정규 준일반화, 완전 정규성 간의 상호작용을 이용하여 위상적 결과를 도출한다.

실험 결과

연구 질문

• RQ1 반정규 위상공간이 완전히 정규가 되는 조건은 무엇인가?
• RQ2 모든 정규 파라위상군이 완전히 정규인가?
• RQ3 모든 파라위상군에 대해 위상적 성질을 분석할 수 있는 자연스러운 준일반화를 정의할 수 있는가?
• RQ4 모든 하우스도르프 파라위상군은 기능적으로 하우스도르프인가?
• RQ5 모든 첫 번째 가산성 조건을 만족하는 하우스도르프 파라위상군은 부분메트릭 가능인가?

주요 결과

• 반정규 위상공간이 완전히 정규임을 보여주는 정규 준일반화에 의해 위상이 생성될 때에만 완전히 정규임이 성립한다.
• 모든 정규 파라위상군이 완전히 정규임을 보여주는 것으로, 60년간의 미해결 문제를 해결한다.
• 모든 하우스도르프 파라위상군이 표준 준일반화 구조를 통해 기능적으로 하우스도르프임을 보인다.
• 모든 첫 번째 가산성 조건을 만족하는 하우스도르프 파라위상군은 부분메트릭 가능하다.
• 파라위상군에 정의된 자연스러운 준일반화가 하우스도르프 조건과 첫 번째 가산성 조건 하에서 기능적 하우스도르프성과 부분메트릭 가능성을 보장한다.
• 정규 준일반화를 통한 특성화는 위상공간에서 완전 정규성 분석을 위한 새로운 도구를 제공한다.