[논문 리뷰] A note on the precompactness of weakly almost periodic groups

Michael Megrelishvili, Vladimir Pestov외 1명|arXiv (Cornell University)|2000. 11. 21.

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

한 줄 요약

이 논문은 임의의 위상군 $G$에 대해 다음 세 조건이 동치임을 증명한다: (1) $G$의 모든 연속적 작용이 컴팩트 공간 위에서 약한 거의 폴리오믹일 때; (2) $G$ 위의 모든 유계 오른쪽 균일연속 함수가 약한 거의 폴리오믹일 때; (3) $G$가 사전콤팩트일 때. 주요 기여는 기존 결과의 역을 일반적으로 증명한 것으로, 이는 Akin과 Glasner가 단일생성군에 대해 이전에 확립한 결과를 일반화하며, 모든 연속적 작용이 컴팩트 공간 위에서 약한 거의 폴리오믹이 되게 하는 정확한 조건으로서 사전콤팩트성임을 확인한다.

ABSTRACT

An action of a group $G$ on a compact space $X$ is called weakly almost periodic if the orbit of every continuous function on $X$ is weakly relatively compact in $C(X)$. We observe that for a topological group $G$ the following are equivalent: (i) every continuous action of $G$ on a compact space is weakly almost periodic; (ii) $G$ is precompact. For monothetic groups the result was previously obtained by Akin and Glasner, while for locally compact groups it has been known for a long time.

연구 동기 및 목표

• 모든 컴팩트 공간 위에서의 연속적 작용의 약한 거의 폴리오믹성과 기저 위상군의 사전콤팩트성 간의 동치성을 확립하는 것.
• 이전에 단일생성군 및 국소콤팩트 군에 대해 증명된 결과를 일반 위상군에 대해 유효한 일반적 특성화로 일반화하는 것.
• 불변 평균과 Pachl의 결과를 사용하여 Ellis-Lawsom의 공동 연속성 정리에 대한 새로운 증명을 제공하는 것.
• 약한 거의 폴리오믹 컴팩트화 $G^w$와 최대 아미브 ${\mathcal{S}}(G)$ 사이의 관계를 명확히 하며, 특히 이들이 일치하는 조건을 규명하는 것.

제안 방법

• 불변 평균 이론과 Pachl의 유일한 애너빌리티 결과를 활용하여 위상군 내에서의 약한 거의 폴리오믹성 분석.
• Ryll-Nardzewski 정리를 적용하여 $W(G) = \mathrm{RUC}^b(G)$일 때의 유일한 애너빌리티를 유도.
• 레마 4.4를 활용한 부분군과 몫군을 통한 분리 가능 메트릭 공간의 경우로 일반 사례를 축소.
• 최대 아미브 ${\mathcal{S}}(G)$ 위의 표준 $G$-공간 구조와 그 보편 성질을 이용하여 약한 거의 폴리오믹성과 컴팩트화 구조를 연결.
• 함수의 궤적 구조 분석을 위해 $G^w$가 $G$의 최대 컴팩트 반위상 반군 몫임을 이용.
• 부분군과 환류 영상에 대해 w.a.p. 군의 클래스가 닫혀 있음을 이용한 레마 4.3을 활용해 감소 과정에서 성질 유지.

실험 결과

연구 질문

• RQ1 위상군 $G$의 모든 연속적 작용이 컴팩트 공간 위에서 약한 거의 폴리오믹이 되는 조건은 무엇인가?
• RQ2 모든 유계 연속 함수의 군 작용 하에서의 약한 거의 폴리오믹성에 대해 사전콤팩트성이 필수적이고 충분한가?
• RQ3 약한 거의 폴리오믹 컴팩트화 $G^w$와 최대 아미브 ${\mathcal{S}}(G)$가 일치하는 것이 임의의 위상군에서 사전콤팩트성을 특징짓는가?
• RQ4 단일생성군 또는 국소콤팩트 군에 대한 이전 결과에 의존하지 않고도 약한 거의 폴리오믹성과 사전콤팩트성 간의 동치성을 증명할 수 있는가?

주요 결과

• 임의의 위상군 $G$에 대해, 모든 컴팩트 공간 위에서의 연속적 작용이 약한 거의 폴리오믹일 조건은 $G$가 사전콤팩트임과 동치이다.
• 약한 거의 폴리오믹 함수의 공간 $W(G)$가 유계 오른쪽 균일연속 함수의 공간 $\mathrm{RUC}^b(G)$와 일치하는 것은 $G$가 사전콤팩트일 때에 한하여 성립한다.
• 표준 사상 $G \to G^w$가 위상적 임bedding이 되는 것은 $G$가 사전콤팩트일 때에 한하며, 일반적으로 성립하지 않음을 $\mathrm{Homeo}_+(\mathbb{I})$와 같은 반례로 보여주었다.
• 증명 과정에서 $W(G) = \mathrm{RUC}^b(G)$이면 $G$는 유일하게 애너빌리티를 가짐을 보였으며, 이는 사전콤팩트성에 도달하는 핵심 중간 단계이다.
• 이 결과는 Akin과 Glasner(단일생성군에 대해) 및 국소콤파クト 군에 대한 고전적 결과를 임의의 위상군으로 일반화한다.
• 불변 평균과 Pachl의 결과를 활용하여 Ellis-Lawsom의 공동 연속성 정리를 재증명하였으며, 더 간단하고 새로운 증명을 제공한다.