Separating points from closed convex sets over ordered fields and a metric for $\tilde {R}^n$
HTML articles powered by AMS MathViewer
- by Robert O. Robson PDF
- Trans. Amer. Math. Soc. 326 (1991), 89-99 Request permission
Abstract:
Let $R$ be an arbitrary ordered field, let $\bar R$ be a real closure, and let $\tilde R$ and ${\tilde R^n}$ denote the real spectra of $\bar R[X]$ and $\bar R[{X_1}, \ldots ,{X_n}]$. We prove that a closed convex subset in ${R^n}$ may be separated from a point not in it via a continuous "linear" functional taking values in $\tilde R$ and that there is a $\tilde R$-valued metric on ${\tilde R^n}$. The methods rely on the ultrafilter interpretation of points in ${\tilde R^n}$ and on the existence of suprema and infima of sets in $\tilde R$.References
- Eberhard Becker, On the real spectrum of a ring and its application to semialgebraic geometry, Bull. Amer. Math. Soc. (N.S.) 15 (1986), no. 1, 19–60. MR 838786, DOI 10.1090/S0273-0979-1986-15431-5
- J. Bochnak, M. Coste, and M.-F. Roy, Géométrie algébrique réelle, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 12, Springer-Verlag, Berlin, 1987 (French). MR 949442
- Ludwig Bröcker, Real spectra and distributions of signatures, Real algebraic geometry and quadratic forms (Rennes, 1981) Lecture Notes in Math., vol. 959, Springer, Berlin-New York, 1982, pp. 249–272. MR 683137
- J. H. Conway, On numbers and games, London Mathematical Society Monographs, No. 6, Academic Press [Harcourt Brace Jovanovich, Publishers], London-New York, 1976. MR 0450066
- Jürg T. Marti, Konvexe Analysis, Lehrbücher und Monographien aus dem Gebiete der Exakten Wissenschaften, Mathematische Reihe, Band 54, Birkhäuser Verlag, Basel-Stuttgart, 1977 (German). MR 0511737, DOI 10.1007/978-3-0348-5910-3
- Sibylla Prieß-Crampe, Angeordnete Strukturen, Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas], vol. 98, Springer-Verlag, Berlin, 1983 (German). Gruppen, Körper, projektive Ebenen. [Groups, fields, projective planes]. MR 704186, DOI 10.1007/978-3-642-68628-3
- Robert O. Robson, Slices: functions for abstract real analysis, Real analytic and algebraic geometry (Trento, 1988) Lecture Notes in Math., vol. 1420, Springer, Berlin, 1990, pp. 206–222. MR 1051215, DOI 10.1007/BFb0083922
Additional Information
- © Copyright 1991 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 326 (1991), 89-99
- MSC: Primary 12J15; Secondary 12D15, 14P10, 14P99
- DOI: https://doi.org/10.1090/S0002-9947-1991-1091232-X
- MathSciNet review: 1091232