“O-minimal theory”的意思、由来-开放百科全书

词条

O-minimal theory

释义

Set-theoretic definition
Model theoretic definition
Examples
See also
Notes
References
External links

In mathematical logic, and more specifically in model theory, an infinite structure (M,<,...) which is totally ordered by < is called an o-minimal structure if and only if every definable subset X ⊂ M (with parameters taken from M) is a finite union of intervals and points.

O-minimality can be regarded as a weak form of quantifier elimination. A structure M is o-minimal if and only if every formula with one free variable and parameters in M is equivalent to a quantifier-free formula involving only the ordering, also with parameters in M. This is analogous to the minimal structures, which are exactly the analogous property down to equality.

A theory T is an o-minimal theory if every model of T is o-minimal. It is known that the complete theory T of an o-minimal structure is an o-minimal theory.^[1] This result is remarkable because, in contrast, the complete theory of a minimal structure need not be a strongly minimal theory, that is, there may be an elementarily equivalent structure which is not minimal.

Set-theoretic definition

O-minimal structures can be defined without recourse to model theory. Here we define a structure on a nonempty set M in a set-theoretic manner, as a sequence S = (S_n), n = 0,1,2,... such that

S_n is a boolean algebra of subsets of Mⁿ
if A ∈ S_n then M × A and A ×M are in S_n+1
the set {(x₁,...,x_n) ∈ Mⁿ : x₁ = x_n} is in S_n
if A ∈ S_n+1 and π : Mⁿ⁺¹ → Mⁿ is the projection map on the first n coordinates, then π(A) ∈ S_n.

If M has a dense linear order without endpoints on it, say <, then a structure S on M is called o-minimal if it satisfies the extra axioms

the set {(x,y) ∈ M² : x < y} is in S₂
the sets in S₁ are precisely the finite unions of intervals and points.

The "o" stands for "order", since any o-minimal structure requires an ordering on the underlying set.

Model theoretic definition

O-minimal structures originated in model theory and so have a simpler — but equivalent — definition using the language of model theory.^[2] Specifically if L is a language including a binary relation <, and (M,<,...) is an L-structure where < is interpreted to satisfy the axioms of a dense linear order,^[3] then (M,<,...) is called an o-minimal structure if for any definable set X ⊆ M there are finitely many open intervals I₁,..., I_r without endpoints in M ∪ {±∞} and a finite set X₀ such that

Examples

Examples of o-minimal theories are:

The complete theory of dense linear orders in the language with just the ordering.
RCF, the theory of real closed fields.^[4]
The complete theory of the real field with restricted analytic functions added (i.e. analytic functions on a neighborhood of [0,1]ⁿ, restricted to [0,1]ⁿ; note that the unrestricted sine function has infinitely many roots, and so cannot be definable in an o-minimal structure.)
The complete theory of the real field with a symbol for the exponential function by Wilkie's theorem. More generally, the complete theory of the real numbers with Pfaffian functions added.
The last two examples can be combined: given any o-minimal expansion of the real field (such as the real field with restricted analytic functions), one can define its Pfaffian closure, which is again an o-minimal structure.^[5] (The Pfaffian closure of a structure is, in particular, closed under Pfaffian chains where arbitrary definable functions are used in place of polynomials.)

In the case of RCF, the definable sets are the semialgebraic sets. Thus the study of o-minimal structures and theories generalises real algebraic geometry. A major line of current research is based on discovering expansions of the real ordered field that are o-minimal. Despite the generality of application, one can show a great deal about the geometry of set definable in o-minimal structures. There is a cell decomposition theorem,^[6] Whitney and Verdier stratification theorems and a good notion of dimension and Euler characteristic.

Notes

1. ^Knight, Pillay and Steinhorn (1986), Pillay and Steinhorn (1988).
2. ^Marker (2002) p.81
3. ^The condition that the interpretation of < be dense is not strictly necessary, but it is known that discrete orders lead to essentially trivial o-minimal structures, see, for example, {{MR|0899083}} and {{MR|0943306}}.
4. ^Marker (2002) p.99
5. ^Patrick Speisseger, Pfaffian sets and o-minimality, in: Lecture notes on o-minimal structures and real analytic geometry, C. Miller, J.-P. Rolin, and P. Speissegger (eds.), Fields Institute Communications vol. 62, 2012, pp. 179–218. {{doi|10.1007/978-1-4614-4042-0_5}}
6. ^Marker (2002) p.103

References

{{cite book | first=Lou | last=van den Dries | title=Tame Topology and o-minimal Structures | year=1998 | publisher=Cambridge University Press | series=London Mathematical Society Lecture Note Series | volume=248 | location=Cambridge | zbl=0953.03045 | isbn=978-0-521-59838-5 }}
{{cite journal | journal=Bulletin of the American Mathematical Society | last=Marker | first=David | volume=37 | year=2000 | pages=351–357 | title=Review of "Tame Topology and o-minimal Structures" | url=http://www.ams.org/bull/2000-37-03/S0273-0979-00-00866-1/S0273-0979-00-00866-1.pdf | doi=10.1090/S0273-0979-00-00866-1 | issue=3 }}
{{cite book | last=Marker | first=David | title=Model theory: An introduction | series=Graduate Texts in Mathematics | volume=217 | location=New York, NY | publisher=Springer-Verlag | year=2002 | isbn=978-0-387-98760-6 | zbl=1003.03034 }}
{{cite journal |last=Pillay |first=Anand |author2=Steinhorn, Charles |year=1986 |title=Definable Sets in Ordered Structures I |journal=Transactions of the American Mathematical Society |volume=295 | issue=2 | pages=565–592 |url=http://www.ams.org/journals/tran/1986-295-02/S0002-9947-1986-0833697-X/S0002-9947-1986-0833697-X.pdf |doi=10.2307/2000052 |jstor=2000052 | zbl=0662.03023 }}
{{cite journal |author=Knight, Julia | authorlink = Julia F. Knight|author2=Pillay, Anand |author3=Steinhorn, Charles |year=1986 |title=Definable Sets in Ordered Structures II |journal=Transactions of the American Mathematical Society |volume=295 |pages=593–605 |doi=10.2307/2000053 |jstor=2000053 |issue=2 | zbl=0662.03024 }}
{{cite journal |last=Pillay |first=Anand |author2=Steinhorn, Charles |year=1988 |title=Definable Sets in Ordered Structures III | journal=Transactions of the American Mathematical Society | volume=309 | pages=469–476 | doi=10.2307/2000920 | jstor=2000920 | issue=2 | zbl=0707.03024 }}
{{cite journal | last=Wilkie | first=A.J. | authorlink=Alex Wilkie | title=Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function | journal=Journal of the American Mathematical Society | year=1996 | volume=9 | url=https://www.ams.org/jams/1996-9-04/S0894-0347-96-00216-0/S0894-0347-96-00216-0.pdf | doi=10.1090/S0894-0347-96-00216-0 | pages=1051–1095 | issue=4 }}
{{cite journal | last1=Denef | first1=J. | last2=van den Dries| first2= L. | title=p-adic and real subanalytic sets | journal=Annals of Mathematics | volume=128 | year=1989 | jstor=1971463 | pages=79–138 | issue=1 | doi = 10.2307/1971463 }}

External links

Model Theory preprint server
Real Algebraic and Analytic Geometry Preprint Server

3 : Model theory|Topology|Real algebraic geometry

随便看