[논문 리뷰] Constructing o-minimal structures with decidable theories using generic families of functions from quasianalytic classes

Daniel Miller|arXiv (Cornell University)|2010. 08. 16.

Advanced Topology and Set Theory참고 문헌 7인용 수 5

한 줄 요약

이 논문은 퀀티안알란 클래스의 일반화된 함수 가족을 사용하여 실수 체의 o-미니멀 확장을 구성하며, 그들의 일阶 논리 이론이 결정 가능하도록 한다. 이 구조들이 결정 가능함과 동시에 함수들이 효과적으로 $ C^\infty $ 임을 증명하고, 이는 그들의 도함수들이 효과적으로 근사 가능하다는 뜻이며, 일반화된, 효과적으로 $ C^\infty $ 인 가족들이 위상적으로 풍부함을 보여준다.

ABSTRACT

Let $\RR_S$ denote the expansion of the real ordered field by a family of real-valued functions $S$, where each function in $S$ is defined on a compact box and is a member of some quasianalytic class which is closed under the operations of function composition, division by variables, and extraction of implicitly defined functions. It is shown that if the family $S$ is generic (which is a certain technically defined transcendence condition), then the theory of $\RR_S$ is decidable if and only if $S$ is computably $C^\infty$ (which means that all the partial derivatives of the functions in $S$ may be effectively approximated). It is also shown that, in a certain topological sense, many generic, computably $C^\infty$ families $S$ exist.

연구 동기 및 목표

• 실수 체의 o-미니멀 확장 중에서 전이함수를 정의하는 결정 가능한 이론을 갖는 것이 존재하는지에 대한 타르스키의 미해결 질문에 답하기 위해.
• 실수 체의 퀀티안랄란 함수 가족에 의한 확장을 통해 일阶 논리 이론이 결정 가능한 조건을 설정하기 위해.
• 일반성과 효과적인 $ C^\infty $ 성질이 결정 가능성을 보장함을 보여주며, 이러한 구조들을 구성적으로 제공하기 위해.
• 위상적으로, 이러한 일반화된, 효과적으로 $ C^\infty $ 인 가족들이 매우 풍부하게 존재함을 보여주어, 결정 가능한 o-미니멀 구조의 계열이 풍부함을 보장하기 위해.

제안 방법

• 합성, 변수로의 나눗셈, 암시함수 추출에 대해 닫혀 있는 퀀티안랄란 IF-체계 $ \mathcal{C} $ 를 사용한다.
• 계산 가능한 집합 $ \Sigma $ 에 따라 인덱싱된 함수 가족 $ \mathcal{S} $ 를 정의하며, 도메인 매핑 $ \rho $ 와 어리티 매핑 $ \eta $ 를 갖는다. 각 $ S_\sigma \in \mathcal{C}_{\rho(\sigma)} $ 이다.
• 각각의 조각적 확장 $ \widehat{S}_\sigma $ 를 추가하여 실수 순서체를 확장함으로써, $ \mathbb{R}_{\mathcal{S}} $ 를 구성한다. 이 확장은 정의역 외부에서는 0이다.
• 함수들이 기대치 못한 대수적 의존성을 만족하지 않도록 보장하는 전이 조건으로서 '일반성'의 개념을 도입한다.
• 이전 연구에서 얻어진 특성화에 의존한다: $ \mathbb{R}_{\mathcal{S}} $ 의 결정 가능성은 두 오라클—근사 오라클과 정밀도 오라클—의 결정 가능성과 동치이다.
• 일반적인 $ \mathcal{S} $ 에 대해, 정밀도 오라클이 근사 오라클이 결정 가능할 경우에 결정 가능하다는 것을 증명함으로써, $ \mathbb{R}_{\mathcal{S}} $ 의 결정 가능성은 효과적인 $ C^\infty $ 성질로 귀결된다.

실험 결과

연구 질문

• RQ1 실수 체의 o-미니멀 확장 중에서 결정 가능한 일阶 논리 이론을 가지며 전이함수를 정의하는 것이 존재하는가?
• RQ2 실수 체의 퀀티안랄란 함수 가족에 의한 확장인 $ \mathbb{R}_{\mathcal{S}} $ 의 이론이 결정 가능한가?
• RQ3 일반화된 퀀티안랄란 함수 가족이 동시에 효과적으로 $ C^\infty $ 이며, 이러한 가족들의 공간에서 위상적으로 조밀한가?
• RQ4 근사 오라클이 결정 가능할 경우, 일반적인 $ \mathcal{S} $ 에 대해 정밀도 오라클은 결정 가능한가?
• RQ5 도함수의 효과적 근사와 일반성 조건이 함께 작용할 때, 일阶 논리 이론의 결정 가능성을 보장할 수 있는가?

주요 결과

• $ \mathbb{R}_{\mathcal{S}} $ 의 이론은 $ \mathcal{S} $ 가 효과적으로 $ C^\infty $ 이라는 조건과 동시에, 즉 $ \mathcal{S} $ 의 모든 편도함수들이 임의의 정밀도로 효과적으로 근사 가능할 때에만 결정 가능하다.
• 모든 일반적인 가족 $ \mathcal{S} $ 에 대해, 근사 오라클이 결정 가능할 경우 정밀도 오라클도 결정 가능하다. 이는 $ \mathbb{R}_{\mathcal{S}} $ 의 결정 가능성을 도함수 근사의 계산 가능성으로 귀결시킨다.
• 비가산적으로 많은 일반적이고 효과적으로 $ C^\infty $ 인 가족 $ \mathcal{S} $ 가 존재하며, 이들은 적절한 위상에서 $ G_\delta $ 집합으로서 조밀하다. 이는 그들의 풍부함을 시사한다.
• 이 구성은 $ \mathbb{R}_{\mathcal{S}} $ 가 o-미니멀임을 보장하며, 정의 가능한 집합의 '부드러움'을 유지하면서도 전이함수를 허용한다.
• 증명은 효과적인 암시함수 정리와 함수 가족의 매개변수에 대한 연속적 의존성에 기반하며, 일반성과 계산 가능성을 유지하기 위해 정의역을 효과적으로 축소한다.
• 결과적으로 타르스키의 질문에 대한 긍정적인 답변을 제공한다: 실수 체의 o-미니멀 확장 중에서 결정 가능한 이론을 가지며 전이함수를 정의하는 것이 존재한다.