[논문 리뷰] Openly factorizable spaces and compact extensions of topological semigroups

Тарас Банах, Svetlana Dimitrova|arXiv (Cornell University)|2008. 11. 26.

Advanced Topology and Set Theory참고 문헌 7인용 수 4

한 줄 요약

이 논문은 의사완비, 분리 가능, 개방적으로 인수분해 가능한 위상수학적 반군 S의 반군 연산이 그 스톤-체히 컴팩티피케이션 βS로 연속적으로 연장된다는 것을 증명한다. 핵심 기여는 개방적으로 인수분해 가능한 공간의 스펙트럼적 특성화이며, 특히 의사완비이자 분리 가능할 경우, 이러한 공간들은 βS로 연속적인 반군 확장을 갖는다는 것을 증명함으로써, 반군 컴팩티피케이션 이론에서 오랫동안 남아있던 문제를 해결한다.

ABSTRACT

We prove that the semigroup operation of a topological semigroup $S$ extends to a continuous semigroup operation on its the Stone-Čech compactification $βS$ provided $S$ is a pseudocompact openly factorizable space, which means that each map $f:S o Y$ to a second countable space $Y$ can be written as the composition $f=g\circ p$ of an open map $p:X o Z$ onto a second countable space $Z$ and a map $g:Z o Y$. We present a spectral characterization of openly factorizable spaces and establish some properties of such spaces.

연구 동기 및 목표

• 위상수학적 반군 S의 반군 연산이 그 스톤-체히 컴팩티피케이션 βS로 연속적으로 연장되는 조건을 규명하는 것.
• 두 번째 가산 공간 Y로의 연속적 사상 f:S→Y가 개방 사상 p:X→Z를 통해 인수분해되는 성질을 가진 공간의 클래스인 개방적으로 인수분해 가능한 공간을 도입하고 연구하는 것.
• 두 번째 가산 공간들의 역스펙트럼을 이용한 개방적으로 인수분해 가능한 공간의 스펙트럼적 특성화를 제공하는 것.
• 개방적으로 인수분해 가능한 공간과 에버라인, 코르손, 발디비아, 두군디 공간 등의 다른 컴팩트 공간 클래스 간의 관계를 조사하는 것.
• 개방적으로 인수분해 가능한 컴팩트 공간의 메트릭성 및 구조적 성질에 관한 열린 문제를 다루는 것.

제안 방법

• 두 번째 가산 공간 Y로의 연속적 사상 f:S→Y가 f=g∘p의 형태로 인수분해되는 성질을 통해 개방적으로 인수분해 가능한 공간의 개념을 도입함. 여기서 p:X→Z는 개방적이며 Z는 두 번째 가산이다.
• 두 번째 가산 공간들의 역스펙트럼을 이용하여 개방적으로 인수분해 가능한 공간의 스펙트럼적 특성화를 수립함. 이는 이러한 공간들이 개방적이고 연속적인 ω-완비 역스펙트럼의 극한임을 보여준다.
• 의사완비이자 분리 가능하며 개방적으로 인수분해 가능한 위상수학적 반군 S에 대해, S 위의 반군 연산이 βS로 연속적으로 연장됨을 증명한다.
• Hewitt 완비화 υX와 스톤-체히 컴팩티피케이션 βX를 사용하여 실수 완비성과 의사완비성 간의 관계를 분석함. υX=βX이기 위한 조건은 X가 의사완비일 때임을 보인다.
• Shchepin의 개방 정규 함수자 이론을 응용하여, 개방적으로 생성된 공간과 개방적으로 인수분해 가능한 컴팩트 공간의 클래스가 이러한 함수자에 의해 보존됨을 보여준다.
• 컴팩트 공간의 계층을 분석하여, 개방적으로 인수분해 가능한 공간을 두군디, 에버라인, 코르손, 발디비아 컴팩트 공간과 비교함. [0,ω₁]와 같은 비메트릭적 예를 제시한다.

실험 결과

연구 질문

• RQ1 위상수학적 반군 S의 반군 연산이 언제 그 스톤-체히 컴팩티피케이션 βS로 연속적으로 연장되는가?
• RQ2 모든 개방적으로 인수분해 가능한 컴팩트 공간은 개방적으로 생성되거나 두군디 컴팩트인가?
• RQ3 모든 개방적으로 인수분해 가능한 에버라인 또는 코르손 컴팩트 공간은 반드시 메트릭적인가?
• RQ4 모든 순서수 λ에 대해 순서 공간 [0,λ]는 개방적으로 인수분해 가능한가?
• RQ5 산만하거나 선형적으로 순서된 컴팩트 공간의 클래스 내에서 개방적으로 인수분해 가능한 공간은 어떻게 특징지어지는가?

주요 결과

• 의사완비이자 분리 가능하며 개방적으로 인수분해 가능한 위상수학적 반군 S의 반군 연산은 그 스톤-체히 컴팩티피케이션 βS로 연속적으로 연장된다.
• 개방적으로 인수분해 가능한 공간은 두 번째 가산 공간들의 개방적이고 연속적인 ω-완비 역스펙트럼의 극한으로서의 스펙트럼적 특성화를 갖는다.
• 순서 공간 [0,ω₁]는 개방적으로 인수분해 가능하지만, 개방적으로 생성되지는 않으며, 두군디 공간도 아니며, κ-adic 공간도 아니다. 이는 개방적으로 인수분해 가능한 비메트릭 컴팩트 공간의 비정상적인 예이다.
• 모든 개방적으로 생성된 컴팩트 공간은 개방적으로 인수분해 가능하지만, 그 역은 성립하지 않으며, [0,ω₁]가 이를 보여준다.
• 개방적으로 인수분해 가능한 공간의 클래스는 개방적으로 생성된 공간의 클래스를 진하게 포함하며, 에버라인 컴팩트 공간과의 교집합은 오직 메트릭인 경우에만 존재한다.
• [0,ω₂]는 발디비아 컴팩트가 아니지만, [0,ω₁]는 발디비아 컴팩트이다. 이는 모든 순서 공간이 발디비아 컴팩트가 아니라는 것을 시사한다.