[论文解读] An introduction to o-minimal structures

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

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

一句话总结

本文提供了o-极小结构的基础介绍，这是一种统一半代数、亚解析和亚-Pfaff几何的框架。它建立了可定义集和映射的关键几何性质，通过模型论技术证明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-极小扩张。
• 利用Weierstrass准备定理和Khovanskii的结果证明o-极小性。
• 在o-极小性的几何处理中使用Rolle叶和Khovanskii-Rolle定理。
• 建立o-极小Pfaffian闭包并分析其模型论性质。

实验结果

研究问题

• RQ1 o-极小结构的定义性几何和模型论性质是什么？
• RQ2 o-极小扩张如何推广半代数和亚解析几何？
• RQ3 在何种条件下，实数域通过解析或Pfaffian函数的扩张仍保持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-极小Pfaffian闭包 $\mathcal{P}(\mathbb{R})$ 存在，并保持解析细胞分解和指数有界性。
• 目前尚无已知的指数o-极小扩张 $\mathbb{R}$ 的例子，其不是指数有界的。