Part of the
Algorithms and Computation in Mathematics
book series (AACIM, volume 10)
We first define the topology of semi-algebraic sets and study connectedness in a general real closed field. In order to study the properties of closed and bounded semi-algebraic sets in Section 4, we introduce semi-algebraic germs in Section 3. The semi-algebraic germs over a real closed field constitute a real closed field containing infinitesimals, closely related to the field of Puiseux series, and play an important role throughout the whole book. We end the chapter with a section on semi-algebraic differentiable functions.
KeywordsTangent Space Open Neighborhood Simple Root Implicit Function Theorem Finite Union
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
ensembles définissables de
, Fund. Math. 17, 210–239 (1931).MATHGoogle Scholar
, Topologische Eigenshaften algebraischer Gebilde über einen beliebigen reell-abgeschlossenen Konstantenkörper
, Dissertation, Univ. Heidelberg (1954).Google Scholar
. Inst. Hautes Etudes Sci., (preprint) (1964).Google Scholar
Triangulation of semi-analytic sets
. Ann. Scuola Norm. Sup. Pisa, Sci. Fis. Mat. (3) 18, 449–474 (1964).MathSciNetMATHGoogle Scholar
© Springer-Verlag Berlin Heidelberg 2003