[論文レビュー] An introduction to o-minimal structures

Mário J. Edmundo|ArXiv.org|Dec 7, 2000

Advanced Topology and Set Theory参考文献 9被引用数 3

ひとこと要約

この論文は、代数的、部分解析的、および部分Pfaff的幾何学を統合する枠組みであるo-最小構造についての基礎的な紹介を提供する。定義可能集合と写像の主要な幾何的性質を確立し、モデル理論的技法を用いてo-最小性を示し、実数体の解析的および指数関数的関数による拡張におけるモデル完全性と量化子除去の結果を強調する。

ABSTRACT

The first papers on o-minimal structures appeared in the mid 1980s, since then the subject has grown into a wide ranging generalisation of semialgebraic, subanalytic and subpfaffian geometry. In these notes we try to show that this is in fact the case by presenting several examples of o-minimal structures and by listing some geometric properties of sets and maps definable in o-minimal structures. We omit here any reference to the pure model theory of o-minimal structures and to the theory of groups and rings definable in o-minimal structures.

研究の動機と目的

• o-最小構造を半代数的、部分解析的、および部分Pfaff的幾何学の一般化として導入すること。
• o-最小構造を理解するために必要な基礎的なモデル理論的概念を提示すること。
• o-最小構造における定義可能集合と写像の幾何的性質を説明すること。
• 解析的および指数関数的関数による実数体の主要な拡張の例を調査すること。
• o-最小理論におけるモデル完全性、量化子除去、および細胞分解に関する結果を強調すること。

提案手法

• 基本的なモデル理論を用いて、構造、言語、論理式、および定義可能集合を定義する。
• 量化子除去とモデル完全性の基準を適用して、定義可能集合を分析する。
• 解析的および指数関数的関数を加えることで、実数体のo-最小拡張を構成する。
• ワイエルシュトラスの準備定理とコファンスキーの結果を用いてo-最小性を証明する。
• ロールの葉とコファンスキー＝ロール定理を用いて、o-最小性の幾何的取り扱いを行う。
• o-最小Pfaff的閉包を確立し、そのモデル理論的性質を分析する。

実験結果

リサーチクエスチョン

• RQ1 o-最小構造の定義される幾何的およびモデル理論的性質は何か？
• RQ2 実数体のo-最小拡張は、半代数的および部分解析的幾何学をどのように一般化するか？
• RQ3 解析的またはPfaff的関数による実数体の拡張がo-最小性を保つのはどのような条件下か？
• RQ4 量化子除去とモデル完全性はo-最小構造においてどのように機能するか？
• RQ5 指数関数および対数関数は、実閉体におけるo-最小性とモデル完全性にどのように影響を与えるか？

主な発見

• $\mathbb{R}_{an,exp}$（制限付き解析的関数と指数関数を拡張したもの）は、モデル完全かつo-最小的である。
• $\mathbb{R}_{an,exp,log}$ は量化子除去をもち、明示的な公理化が可能である。
• ガンマ関数 $\Gamma_{|(0,\infty)}$ は $\mathbb{R}_{an,exp}$-定義可能ではないが、$\mathbb{R}_{G,exp}$ では定義可能である。
• リーマンゼータ関数 $\zeta_{|(1,\infty)}$ は、級数表現を用いて $\mathbb{R}_{an^{*},exp}$ で定義可能である。
• 任意のo-最小拡張 $\mathbb{R}$ に対して、o-最小Pfaff的閉包 $\mathcal{P}(\mathbb{R})$ が存在し、解析的細胞分解と指数的有界性を保つ。
• 指数的有界でない指数的o-最小拡張 $\mathbb{R}$ の例は、まだ知られていない。