Simple Search

Query:

Enter a query and click »Search«...

Format:

Display: entries per page entries

Zbl 0953.03045
van den Dries, Lou
Tame topology and o-minimal structures. (English)
[B] London Mathematical Society Lecture Note Series. 248. Cambridge: Cambridge University Press. x, 180 p. \sterling 24.95; \$ 39.95 (1998). ISBN 0-521-59838-9/pbk

This book gives a beautiful introduction to aspects of o-minimality, in the spirit of Grothendieck's `tame topology'. Although, as the author comments, the subject was developed in close contact with model theory, no model-theoretic background is needed, and many of the methods come from real algebraic geometry. Much of the material is not previously published. The book begins with a definition of o-minimality, a proof that o-minimal ordered groups and ordered fields are divisible abelian and real closed respectively, and a proof that the real field $({\bbfR},<,+,\cdot)$ is o-minimal (via the Tarski -Seidenberg Theorem which is proved via a cell decomposition). The o-minimal Monotonicity and Cell Decomposition Theorems (developed in papers of Pillay and Steinhorn, and one also with Knight) are then proved in Ch. 3. Dimension and Euler characteristic and their basic properties are introduced in the next chapter. In Ch. 5 the author shows that in an o-minimal structure any definable family of definable sets is a Vapnik-Cervonenkis class (a notion from probability theory, relevant also to neural networks). This is equivalent to the fact that o-minimal structures do not have the independence property. In the next two chapters some basic point set topology is developed, followed (for o-minimal expansions of fields) by some theory of differentiation: a Mean Value Theorem, an Implicit Function Theorem, and a Cell Decomposition with $C^1$-cells and maps. A Triangulation Theorem is proved in Ch. 8, via a Good Directions Lemma. This leads to a proof that in an o-minimal expansion of an ordered field, two definable sets have the same dimension and Euler characteristic if and only if there is a definable bijection between them. Under the same assumptions, a Trivialisation Theorem is proved in Section 9. It follows that given a definable family of definable sets, the sets fall into finitely many embedded definable homeomorphism types. This and Wilkie's proof of the o-minimality of the reals with exponentiation are applied to prove a conjecture of Benedetti and Risler: roughly speaking, if we consider semialgebraic subsets of ${\bbfR}^n$ defined by a bounded number of polynomial equalities and inequalities, and the polynomials are built from monomials by a bounded number of additions, then the semialgebraic sets fall into finitely many embedded homeomorphism types. Finally, in Ch. 10 the author moves from definable sets to definable spaces, given by an atlas of charts, and constructs definable quotients. The book is an elegant and lucid account, well-suited to a beginning graduate student, with a number of exercises. No attempt is made to cover recent material on o-minimality, for example on o-minimal expansions of the reals, or on the Trichotomy Theorem of Peterzil and Starchenko and its applications to definable groups.
[H.D.Macpherson (Leeds)]

MSC 2000:: *03C64 Model theory of ordered structures
14P10 Semialgebraic sets and related spaces
03-02 Research monographs (mathematical logic)
12L12 Model theory for fields

Keywords: o-minimal structure; tame topology

Cited in: Zbl 1207.03048 Zbl 1167.03025 Zbl 1145.03017 Zbl 1141.14036 Zbl 1146.03024 Zbl 1125.03029 Zbl 1074.53064 Zbl 1035.03019 Zbl 1028.57034 Zbl 1027.53041 Zbl 0990.32002

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Simple Search

Zentralblatt MATH Berlin [Germany]