## 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