Locally injective maps in O-minimal

structures without poles are surjective

Author:
Adam H. Lewenberg

Journal:
Proc. Amer. Math. Soc. **124** (1996), 2839-2844

MSC (1991):
Primary 03C60, 06F20; Secondary 26B99, 54C30

MathSciNet review:
1327024

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: If is continuous and locally injective, then is in fact surjective and a homeomorphism, provided is definable in an o-minimal expansion without poles of the ordered additive group of real numbers; `without poles' means that every one-variable definable function is locally bounded. Some general properties of definable maps in o-minimal expansions of ordered abelian groups without poles are also established.

**[B]**Nicolas Bourbaki,*General topology. Chapters 1–4*, Elements of Mathematics (Berlin), Springer-Verlag, Berlin, 1989. Translated from the French; Reprint of the 1966 edition. MR**979294****[vdD]**Lou van den Dries,*-minimal structures and tame topology*, preprint, 1995.**[vdDL]**Lou van den Dries and Adam H. Lewenberg,*𝑇-convexity and tame extensions*, J. Symbolic Logic**60**(1995), no. 1, 74–102. MR**1324502**, 10.2307/2275510**[D]**Albrecht Dold,*Lectures on algebraic topology*, 2nd ed., Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 200, Springer-Verlag, Berlin-New York, 1980. MR**606196****[ER]**B. Curtis Eaves and Uriel G. Rothblum,*Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields*, Math. Programming**53**(1992), no. 3, Ser. A, 307–321. MR**1152256**, 10.1007/BF01585709**[F]**Otto Forster,*Lectures on Riemann surfaces*, Graduate Texts in Mathematics, vol. 81, Springer-Verlag, New York-Berlin, 1981. Translated from the German by Bruce Gilligan. MR**648106****[Hu]**Sze-tsen Hu,*Homotopy theory*, Pure and Applied Mathematics, Vol. VIII, Academic Press, New York-London, 1959. MR**0106454****[KPS]**Julia F. Knight, Anand Pillay, and Charles Steinhorn,*Definable sets in ordered structures. II*, Trans. Amer. Math. Soc.**295**(1986), no. 2, 593–605. MR**833698**, 10.1090/S0002-9947-1986-0833698-1**[OR]**J. M. Ortega and W. C. Rheinboldt,*Iterative solution of nonlinear equations in several variables*, Academic Press, New York-London, 1970. MR**0273810****[Pe]**Ya’acov Peterzil,*A structure theorem for semibounded sets in the reals*, J. Symbolic Logic**57**(1992), no. 3, 779–794. MR**1187447**, 10.2307/2275430**[Pi]**Anand Pillay,*On groups and fields definable in 𝑜-minimal structures*, J. Pure Appl. Algebra**53**(1988), no. 3, 239–255. MR**961362**, 10.1016/0022-4049(88)90125-9**[PSS]**Anand Pillay, Philip Scowcroft, and Charles Steinhorn,*Between groups and rings*, Rocky Mountain J. Math.**19**(1989), no. 3, 871–885. Quadratic forms and real algebraic geometry (Corvallis, OR, 1986). MR**1043256**, 10.1216/RMJ-1989-19-3-871**[S]**Michael Spivak,*A comprehensive introduction to differential geometry. Vol. I*, 2nd ed., Publish or Perish, Inc., Wilmington, Del., 1979. MR**532830**

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC (1991):
03C60,
06F20,
26B99,
54C30

Retrieve articles in all journals with MSC (1991): 03C60, 06F20, 26B99, 54C30

Additional Information

**Adam H. Lewenberg**

Affiliation:
Department of Mathematics, University of Illinois at Urbana-Champaign, Urbana, Illinois 61801

Email:
adams@math.uiuc.edu

DOI:
https://doi.org/10.1090/S0002-9939-96-03352-7

Keywords:
Piecewise linear topology,
PL-topology,
o-minimal theory,
o-minimal structure,
proper map,
surjective local homeomorphism

Received by editor(s):
May 27, 1994

Received by editor(s) in revised form:
March 14, 1995

Communicated by:
Andreas R. Blass

Article copyright:
© Copyright 1996
American Mathematical Society