[논문 리뷰] Transfinite Asymptotic Dimension

Maciej Satkiewicz|arXiv (Cornell University)|2013. 10. 02.

Advanced Topology and Set Theory참고 문헌 1인용 수 10

한 줄 요약

이 논문은 무한 순서수로까지 확장된 비한계적 점근적 차원( trasdim )을 도입하고 연구한다. 세 가지 동치 정의—집합론적 랭크, 트리 랭크, 차원 게임—를 제시하고, 점근적 성질 C가 trasdim 이 가산 순서수임과 동치임을 증명한다. 주요 기여는 점근적 성질 C 가 곱에 대해 닫혀 있음을 보여, 열린 문제를 해결하는 데 있다.

ABSTRACT

Asymptotic property C for metric spaces was introduced by Dranishnikos as generalization of finite asymptotic dimension - asdim. It turns out that this property can be viewed as transfinite extension of asymptotic dimension. The original definition was given by Radul. We introduce three equivalent definitions, show that asymptotic property C is closed under products (open problem stated "Open problems in topology II") and prove some other facts, i.e. by defining dimension of a family of metric spaces. Some examples of spaces enjoying countable trasfinite asymptotic dimension are given. We also formulate open problems and state "omega conjecture", which inspired most part of this paper.

연구 동기 및 목표

• 점근적 차원을 비한계적 순서수로 형식화하고 일반화하여, 비한계적 점근적 차원(trasdim)을 도입한다.
• trasdim 의 세 가지 동치 정의를 확립한다: 부분집합의 가족에 대한 집합론적 랭크, 잘 서식한 트리에 대한 트리 랭크, 그리고 차원 게임에서의 승리 전략.
• 점근적 성질 C 가 trasdim 이 가산 순서수임과 동치임을 증명하고, 점근적 성질 C 가 곱에 대해 닫혀 있음을 보여, 열린 문제를 해결한다.
• 가산 trasdim 을 갖는 공간의 구조를 탐색하며, 예시와 함께 몇 가지 열린 문제를 다룬다: 단조성과 유한 합에 대한 최적의 차원 상한.

제안 방법

• trasdim(X) 을, 각 i ∈ σ 에 대해 유일하게 유계이고 i-비접촉적인 커버가 존재하지 않는 유한 부분집합 σ ⊆ ℕ 의 집합 A(X,d) 의 순서수 랭크로 정의한다.
• 클레인-브로이어 순서를 사용하여 잘 서식한 성질과 순서수 랭크 일致성을 확보함으로써, 집합론적 랭크 정의와 트리 랭크 정의의 동치성을 확립한다.
• 차원 게임을 두 명의 플레이어 간의 게임으로 모델링한다. 플레이어 I 가 반경을 선택하고, 플레이어 II 가 공간을 r-비접촉적인 가족으로 커버한다. trasdim 은 플레이어 II 가 승리 전략을 갖는 최소 순서수이다.
• 세 정의의 동치성을 이용하여, 어떤 공간이 점근적 성질 C 를 갖는 것과 그 trasdim 이 가산 순서수임이 동치임을 증명한다.
• 점근적 합과 적절한 공간의 개념을 사용하여 문제를 유한 차원 사례로 환원함으로써, trasdim 에 대한 귀납적 추론을 가능하게 한다.
• 오메가 추측과 관련 가정을 적용하여, trasdim 이 ω 와 그 이상인 공간의 구조를 탐색한다. 특히 무한 곱과 합의 맥락에서 고려한다.

실험 결과

연구 질문

• RQ1 점근적 성질 C 는 곱에 대해 닫혀 있는가? (논문에서 긍정적으로 해결됨.)
• RQ2 모든 가산 순서수 α 가 어떤 거리 공간의 trasdim 으로 실현될 수 있는가? (열린 문제, 부분적으로 다룸.)
• RQ3 단조성은 성립하는가? 즉, 임의의 α 와 β < α 에 대해, trasdim 이 α 인 모든 공간이 trasdim 이 β 인 부분공간을 포함하는가? (열린 문제.)
• RQ4 유한 개의 적절한 거리 공간의 합에 대해 trasdim 의 최적 상한은 무엇인가? (열린 문제, 부분 결과 존재.)
• RQ5 trasdim ≥ ω 인 모든 공간이 정확히 trasdim = ω 를 가져야 하는가? (오메가 추측, 중심 가정으로 제안됨.)

주요 결과

• 비한계적 점근적 차원(trasdim) 은 잘 정의되어 있으며, 유한하고 유일하게 유계이며 i-비접촉적인 커버의 실패를 기록하는 집합 A(X,d) 의 순서수 랭크와 같다.
• trasdim 의 세 정의는 상호 동치이다: (1) 부분집합의 가족에 대한 집합론적 랭크, (2) 잘 서식한 트리에 대한 트리 랭크, (3) 차원 게임에서의 승리 전략.
• 거리 공간이 점근적 성질 C 를 갖는 것과 그 trasdim 이 가산 순서수임이 동치이며, 이는 trasdim 과 이 성질 사이의 직접적인 연결 고리를 확립한다.
• 점근적 성질 C 는 유한 및 무한 곱에 대해 닫혀 있으며, [Pearl] 에서 제기된 열린 문제를 해결한다.
• 오메가 추측이 제안된다: 만약 trasdim X ≥ ω 이면, trasdim X = ω 이다. 이는 임의의 공간이 비가산 trasdim 을 갖는다면 무한 차원이어야 한다는 것을 시사한다.
• trasdim 이 ω 인 공간의 예시가 구성되며, 스케일된 정수 격자의 점근적 합 등이 포함된다. 또한 ω+1 과 같은 더 높은 순서수를 실현하는 데 어려움이 있으며, 이는 ∞ 로 붕괴할 수밖에 없기 때문에 직관적 이해를 제공한다.