[논문 리뷰] Expansions of the reals which do not define the natural numbers

Antongiulio Fornasiero|arXiv (Cornell University)|2011. 04. 09.

Advanced Topology and Set Theory참고 문헌 9인용 수 6

한 줄 요약

이 논문은 자연수를 정의하지 않는 실수의 일阶 확장, 특히 i-미니멀 및 제약 구조에 초점을 맞춰 조사한다. 내부 또는 어디서도 조밀하지 않은 성질, 영집합 성질, 하우스도르프 차원이 0인 성질이라는 세 가지 순수성 조건이 동치임을 증명하며, i-미니멀성은 정의 가능한 집합에 대해 잘 정의된 차원과 측도 가능성을 암시함을 보인다.

ABSTRACT

We study first-order expansions of the reals which do not define the set of natural numbers. We also show that several stronger notions of tameness are equivalent to each others.

연구 동기 및 목표

• 자연수를 정의하지 않는 실수의 확장, 특히 모형 이론적 순수성 조건을 특성화하기.
• i-미니멀성, d-미니멀성, 제약 구조 등의 다양한 순수성 개념 간의 관계를 명확히 하기.
• 이미지가 어디서도 조밀한 집합이 되는 정의 가능한 이산 집합의 이미지를 갖는 제약 구조가 자연수를 정의하거나 i-미니멀이 되는지 조사하기.
• 제약 구조에서 잘 정의된 차원 함수의 존재성과 성질을 탐구하기.
• 제약 구조에서의 병리적 현상, 예를 들어 르베그 측도 가능하지 않은 집합이나 프로젝티브 집합이 아닌 집합이 정의 가능한지 분석하기.

제안 방법

• 모형 이론적 순수성 조건 정의 사용: i-미니멀성(실수 내 정의 가능한 집합은 내부가 있거나 어디서도 조밀함), d-미니멀성(정의 가능한 집합은 이산 집합의 유한 합집합), 제약성(정의 가능한 함수에 의해 이미지가 되는 이산 집합의 이미지는 어디서도 조밀함).
• 위상수학적 및 측도 이론적 도구 적용: 르베그 측도, 하우스도르프 차원, 거의 열린 집합의 개념.
• 열린 코어 개념과 o-미니멀성 간의 관계 활용, 특히 o-미니멀 열린 코어를 갖는 확장에서의 적용.
• o-미니멀성과 옹호 기하학에서 알려진 결과 활용: 차원 공리와 정의 가능한 함수의 성질.
• Miller(2005) 및 Hieronymi(2010)의 정리들을 활용하여 자연수의 정의 가능성과 구조적 순수성 간의 함의 관계 유도.
• 정의 가능한 집합 위의 정의 가능한 함수 분석: 단조 증가 정의 가능한 함수는 닫힌 어디서도 조밀한 집합 외부에서는 C¹임을 증명.

실험 결과

연구 질문

• RQ1 정의 가능한 실수 부분집합에 대해 i-미니멀성, 영집합 성질, 하우스도르프 차원 0이 동치인가?
• RQ2 모든 제약 구조적 실수 확장이 자연수를 정의하거나 i-미니멀인가?
• RQ3 제약 구조에서 표준 차원 공리들을 만족하는 잘 정의된 차원 함수가 존재하는가?
• RQ4 제약 구조 내에서 르베그 측도 가능하지 않거나 프로젝티브 집합이 아닌 정의 가능한 집합이 존재하는가?
• RQ5 제약 구조의 열린 코어는 여전히 i-미니멀인가?

주요 결과

• 정리 1.1은 세 가지 순수성 조건이 동치임을 증명한다: 실수의 모든 정의 가능한 부분집합은 내부가 있거나 어디서도 조밀하거나, 영집합이거나, 하우스도르프 차원이 0이다.
• 정리 1.3은 i-미니멀 구조에서 모든 비어있지 않은 정의 가능한 집합이 르베그 측도 가능하고, 거의 열려 있으며, 정사영에 따른 차원과 하우스도르프 차원이 일치함을 보여준다.
• 정리 1.4(C. Miller 소속): o-미니멀 구조가 차원이 0인 닫힌 집합으로 확장될 경우, 그 결과 구조는 자연수를 정의하거나 그 확장이 i-미니멀이 된다.
• 사실 1.7는 이분법을 제시한다: 구조는 자연수를 정의하거나 제약적이며, 제약성이 자연수를 정의하지 않기 위한 필수 조건임을 보여준다.
• 결론 1.8은 이론이 결정 가능할 경우 반드시 제약적이어야 하며, 그 역은 성립하지 않음을 나타낸다.
• 논문은 르베그 측도 가능하지 않은 집합이나 프로젝티브 집합이 아닌 집합을 정의할 수 있는 제약 구조의 예를 제시하며, 이러한 구조가 측도 이론적 병리적 행동을 보일 수는 있지만 여전히 모형 이론적으로는 순수한 구조임을 보여준다.