[논문 리뷰] Tame topology over definable uniform structures: viscerality and dp-minimality

Alfred Dolich, John Goodrick|arXiv (Cornell University)|2015. 05. 24.

Advanced Topology and Set Theory참고 문헌 19인용 수 3

한 줄 요약

이 논문은 정의 가능한 균일 위상에 의한 내장 구조의 프레임워크를 제안하며, 정의 가능한 집합에서 바람직한 날카로움(예: 유한한 불연속성 집합, 열린 집합에서의 연속성)을 보장하는 것은 오직 내장성(viscerality)만으로도 충분하다는 것을 보여준다. 또한 추가로 공간을 메우지 않는 조건을 가정할 경우, 정의 가능한 전단사 사상 하에서 위상 차원의 불변성을 확립한다. 이는 dp-최소성 조건 하에서 이전에 얻어진 결과들을 일반화하며, dp-최소적이지만 약한 o-최소적이지 않은 새로운 내장 구조의 예를 구성한다.

ABSTRACT

A visceral structure on a model is given by a definable base for a uniform topology on its universe M in which all basic open sets are infinite and any infinite definable subset X of M has non-empty interior. Assuming only viscerality, we show that the definable sets in M satisfy some desirable topological tameness conditions. For example, any definable unary function has a finite set of discontinuities; any definable function from some Cartesian power of M into M is continuous on an open set; and assuming definable finite choice, we obtain a cell decomposition result for definable sets. Under an additional topological assumption (no space-filling functions), we prove that the natural notion of topological dimension is invariant under definable bijections. These results generalize some of the theorems proved by Simon and Walsberg, who assumed dp-minimality in addition to viscerality. In the final two sections, we construct new examples of visceral structures a subclass of which are dp-minimal yet not weakly o-minimal.

연구 동기 및 목표

• 정의 가능한 균일 위상이 부여된 모형에서 정의 가능한 집합의 위상적 날카로움을 조사하는 것.
• 모든 기본 열린 집합이 무한하고, 모든 무한한 정의 가능한 부분집합이 내부가 비어 있지 않은 내장성의 조건이 정의 가능한 함수와 집합의 구조에 미치는 영향을 이해하는 것.
• 이전에 dp-최소성이라는 더 강한 가정 하에서 확보된 결과들을 내장성 조건만으로 약화시켜 일반화하는 것.
• 특히 dp-최소적이지만 약한 o-최소적이지 않은 내장 구조의 새로운 예를 구성하여, 모형 이론적 날카로움의 계층을 더 잘 이해하는 것.

제안 방법

• 모형의 전체집합 위에 정의 가능한 기저를 통해 균일 위상을 정의함으로써 내장 구조를 정의하며, 모든 기본 열린 집합이 무한함을 보장하는 것.
• 내장성 조건을 이용해 단항 정의 가능한 함수의 경우 유한한 불연속성 집합을 유도하는 위상적 성질을 도출하는 것.
• 정의 가능한 유한 선택 원리를 적용하여 정의 가능한 집합에 대한 셀 분해 정리를 확립하는 것.
• 정의 가능한 전단사 사상 하에서 위상 차원의 불변성을 증명하기 위해 '공간을 메우는 함수가 없다'는 조건을 도입하는 것.
• 모형 이론적 및 위상적 제약 조건을 통해 내장 구조의 새로운 예를 구성하며, dp-최소성이 약한 o-최소성을 의미하지는 않음을 보여주는 것.
• 정의 가능한 위상, 균일 구조, 그리고 모형 이론적 성질(예: dp-최소성, o-최소성) 간의 상호작용을 분석하는 것.

실험 결과

연구 질문

• RQ1 dp-최소성을 가정하지 않고 내장성 조건만으로 어떤 위상적 날카로움 성질이 도출되는가?
• RQ2 내장성 조건은 어떻게 정의 가능한 함수가 어떤 열린 집합에서 연속이 되도록 보장하는가?
• RQ3 내장 구조에서 정의 가능한 전단사 사상 하에서 위상 차원이 언제 불변하는가?
• RQ4 dp-최소적이지만 약한 o-최소적이지 않은 내장 구조를 구성할 수 있는가?
• RQ5 내장성, dp-최소성, 그리고 정의 가능한 위상에서 공간을 메우는 함수의 부재 사이의 관계는 무엇인가?

주요 결과

• 내장 구조 내의 모든 정의 가능한 단항 함수는 오직 유한 개의 불연속점을 가진다.
• 모델의 유클리드 거듭제곱에서 전체집합으로의 모든 정의 가능한 함수는 어떤 열린 부분집합에서 연속적이다.
• 정의 가능한 유한 선택을 가정할 경우, 구조는 정의 가능한 집합에 대해 셀 분해를 가진다.
• 공간을 메우는 함수가 없다는 가정 하에서, 위상 차원은 정의 가능한 전단사 사상 하에서 불변하다.
• dp-최소적이지만 약한 o-최소적이지 않은 내장 구조가 존재하며, 이는 날카로움 성질의 엄밀한 계층을 보여준다.
• 이전의 Simon과 Walsberg의 정리들을 dp-최소성을 초깃값으로 가정하지 않아도 되도록 일반화하였다.