[논문 리뷰] On metrizable enveloping semigroups

Eli Glasner, Michael Megrelishvili외 1명|arXiv (Cornell University)|2006. 06. 15.

Mathematical Dynamics and Fractals참고 문헌 1인용 수 5

한 줄 요약

이 논문은 메트릭 공간인 컴act $G$-공간 $X$에 대해, 포락 세마그룹 $E(X)$가 메트릭화 가능할 조건을 규명한다. 즉, $E(X)$가 메트릭화 가능함과 동치인 조건으로는, 시스템이 허리티지 애슬로우 에퀴컨티뉴어스(HAE), 허리티지 비감도성(HNS), 또는 아스플룬드 바나흐 공간 위에 적절한 표현을 갖는 것임을 보인다. 주요 기여는 $E(X)$의 메트릭화 가능성과 이러한 동역학적 성질 간의 동치성으로, 약한 거의 주기적(WAP) 및 라돈–니코디움(RN) 시스템의 기존 특성화를 확장한다.

ABSTRACT

When a topological group $G$ acts on a compact space $X$, its enveloping semigroup $E(X)$ is the closure of the set of $g$-translations, $g\in G$, in the compact space $X^X$. Assume that $X$ is metrizable. It has recently been shown by the first two authors that the following conditions are equivalent: (1) $X$ is hereditarily almost equicontinuous; (2) $X$ is hereditarily non-sensitive; (3) for any compatible metric $d$ on $X$ the metric $d_G(x,y):=\sup\{d(gx,gy): g\in G\}$ defines a separable topology on $X$; (4) the dynamical system $(G,X)$ admits a proper representation on an Asplund Banach space. We prove that these conditions are also equivalent to the following: the enveloping semigroup $E(X)$ is metrizable.

연구 동기 및 목표

• 메트릭 공간 동역학계 $(G,X)$의 포락 세마그룹 $E(X)$가 언제 메트릭화 가능한지 규명하는 것.
• 약한 거의 주기적(WAP) 및 라돈–니코디움(RN) 시스템의 기존 특성화를 $E(X)$의 메트릭화 가능성으로 통합하는 것.
• HAE가 핵심 조건임을 규명함으로써, WAP 시스템을 초월한 메트릭화 가능 포락 세마그룹을 갖는 시스템의 범위를 확장하는 것.
• 메트릭화 가능 포락 세마그룹과 $G$의 메트릭화 가능 오른쪽 위상 세마그룹 컴팩티피케이션 간의 대응관계를 확립하는 것.

제안 방법

• 포락 세마그룹 $E(X)$를 $X^X$ 위의 곱위상에서 $G$-이동의 폐포로 정의한다.
• 등장성 및 감도 성질을 분석하기 위해 거리함수 $d_G(x,y) = \sup_{g \in G} d(gx, gy)$를 사용한다.
• 밀도 있는 $G$-불변 등장성 점 집합이 거의 등장성임을 보이기 위해 베르의 카테고리 정리를 적용한다.
• 아스플룬드 공간과 세마그룹 컴팩티피케이션의 성질을 활용하여, $E(X)$의 메트릭화 가능성과 HAE 조건 간의 동치성을 증명한다.
• 예시(예: 원주 위의 2진수 이동)를 구성하여 HAE 조건이 WAP를 함의하지 않음을 보이며, WAP 조건을 완화함을 보인다.
• 메트릭화 가능 포락 세마그룹이 $G$의 메트릭화 가능 오른쪽 위상 세마그룹 컴팩티피케이션과 정확히 일치함을 증명한다.

실험 결과

연구 질문

• RQ1 메트릭 공간 동역학계 $(G,X)$의 포락 세마그룹 $E(X)$가 언제 메트릭화 가능한가?
• RQ2 메트릭 공간 $X$에 대해 허리티지 애슬로우 에퀴컨티뉴어스(HAE) 조건이 $E(X)$의 메트릭화 가능성과 동치인가?
• RQ3 메트릭화 가능 $E(X)$를 갖는 시스템의 범위를 WAP 시스템을 초월하여 확장할 수 있으며, 만약 그렇다면 그 최소 조건은 무엇인가?
• RQ4 메트릭화 가능 포락 세마그룹은 작용하는 군 $G$의 세마그룹 컴팩티피케이션과 어떻게 관련이 있는가?
• RQ5 HAE이지만 WAP가 아닌 동역학계가 존재하는가? 만약 존재한다면, 그 $E(X)$는 어떤 형태인가?

주요 결과

• 포락 세마그룹 $E(X)$는 시스템 $(G,X)$가 허리티지 애슬로우 에퀴컨티뉴어스(HAE)일 때이고 그 때에만 메트릭화 가능하다.
• 메트릭 공간 $X$에 대해 HAE, 허리티지 비감도성(HNS), 거리 $d_G$의 메트릭화 가능성, 아스플룬드 바나흐 공간 위의 적절한 표현은 모두 동치이다.
• HAE이지만 WAP가 아닌 시스템가 존재한다. 예를 들어, $X = \mathbb{R}/\mathbb{Z} \times (\mathbb{N} \cup \{\infty\})$ 위의 2진수 이동은 $E(X)$가 2진 정수와 위상동형이며, 불연속 함수를 포함한다.
• HAE이면서 메트릭 공간인 시스템의 포락 세마그룹 $E(X)$는 스스로도 메트릭화 가능하고 HAE 성질을 갖는다.
• 메트릭화 가능 포락 세마그룹의 집합은 $G$의 메트릭화 가능 오른쪽 위상 세마그룹 컴팩티피케이션의 집합과 정확히 일치한다.
• 군 $G$가 가환일 경우, 점 전이성(WAP) 시스템은 그 포락 세마그룹과 위상동형이며, 이는 가환 메트릭화 가능 세미위상 세마그룹이다.