Home
• Aa
• Aa
• Get access
• Cited by 1
• Cited by
##### This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

Hasson, Assaf and Onshuus, Alf 2010. Unstable structures definable in o-minimal theories. Selecta Mathematica, Vol. 16, Issue. 1, p. 121.

×

# An open mapping theorem for o-minimal structures

• DOI: http://dx.doi.org/10.2307/2694977
• Published online: 01 March 2014
Abstract

We fix an arbitrary o-minimal structure (R, ω, …), where (R, <) is a dense linearly ordered set without end points. In this paper “definable” means “definable with parameters from R”, We equip R with the interval topology and Rn with the induced product topology. The main result of this paper is the following.

Theorem. Let VRnbe a definable open set and suppose that f: VRnis a continuous injective definable map. Then f is open, that is, f(U) is open whenever U is an open subset of V.

Woerheide [6] proved the above theorem for o-minimal expansions of a real closed field using ideas of homology. The case of an arbitrary o-minimal structure remained an open problem, see [4] and [1]. In this paper we will give an elementary proof of the general case.

Basic definitions and notation. A box BRn is a Cartesian product of n definable open intervals: B = (a1, b1) × … × (an, bn) for some ai, bi, ∈ R ∪ {−∞, +∞}, with ai < bi, Given ARn, cl(A) denotes the closure of A, int(A) denotes the interior of A, bd(A) ≔ cl(A) − int(A) denotes the boundary of A, and ∂A ≔ cl(A) − A denotes the frontier of A, Finally, we let π: RnRn denote the projection map onto the first n − 1 coordinates.

Background material. Without mention we will use notions and facts discussed in [5] and [3]. We will also make use of the following result, which appears in [2].

Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

[1]A. Nesin , A. Pillay , and V. Razenj , Groups of dimension two and three definable over o-minimal structures, Annals of Pure and Applied Logic, vol. 53 (1991), pp. 279296.

[2]Y. Peterzil and C. Steinhorn , Definable compactness and definable subgroups of o-minimal groups, Journal of the London Mathematical Society, vol. 59 (1999), pp. 769786.

[3]A. Pillay and C. Steinhorn , Definable sets in ordered structures. I, Transactions of the American Mathematical Society, vol. 295 (1986), pp. 565592.

[5]L. van den Dries , Tame topology and o-minimal structures, London Mathematical Society Lecture Note Series, no. 248, Cambridge University Press, 1998.

Recommend this journal