On the separation of basic semialgebraic sets by polynomials

DOI10.1007/BF01258667MaRDI QIDQ1104369zbMATH OpenOpenAlexFDO

Authors Ludwig Broecker

Publication date 1988

Published in Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/155296

zbMATH Keywords

real closed fieldSAPstrong approximation property

Mathematics Subject Classification ID

Quadratic forms over general fields (11E04) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Ordered fields (12J15) Real algebraic and real-analytic geometry (14Pxx)

Review text

Let \({\mathbb{A}}^ n(R)\) denote the n-dimensional affine space over the real closed field \(R\). We say that two sets \(A\) and \(B\) contained in \({\mathbb{A}}^ n(R)\) are separated by a function \(f: {\mathbb{A}}^ n(R)\to R\) if \(f>0\) on A and \(f<0\) on B. According to a theorem of Mostowski every two disjoint, closed semialgebraic subsets o connection that \textit{M. A. Reichert} in Math. Comput. 46, 637-658 (1986; Zbl 0605.14028) has constructed elliptic curves E over quadratic fields k having torsion groups \(E_{tor}(k)\cong {\mathbb{Z}}/N{\mathbb{Z}}\) for 11\(\leq N\leq 18\), \(N\neq 17\).]

Recommendations

• Separation of semialgebraic sets
• Positive polynomials on nondegenerate basic semi-algebraic sets
• Separation of algebraic sets and the Łojasiewicz exponent of polynomial mappings
• On basic semialgebraic sets
• scientific article; zbMATH DE number 2196571
• Separable polynomials over finite dimensional algebras
• Séparation de semi-algébriques. (Separation of semi-algebraic sets)
• Basicness of semialgebraic sets
• scientific article; zbMATH DE number 4035963
• Separating families for semi-algebraic sets

Cites work

• Classification of Finite Spaces of Orderings
• scientific article; zbMATH DE number 3871539 (Why is no real title available?)
• Minimale Erzeugung von Positivbereichen
• On the description of the reduced Witt ring
• Quotients and Inverse Limits of Spaces of Orderings
• Spaces of Orderings IV
• Spaces of orderings: Systems of quadratic forms, local structure, and saturation
• The Witt Ring of a Space of Ordering
• Über die Anzahl der Anordnungen eines kommutativen Körpers

Cited in

(9)

• A lower bound for the complexity of separating functions
• On basic semialgebraic sets
• Separating families for semi-algebraic sets
• On Bröcker's t-invariant and separating families for constructible sets
• About the image of the total signature map in the two-dimensional case
• Algebraic and analytic finite spaces of orderings.
• Separation of semialgebraic sets
• scientific article; zbMATH DE number 681993 (Why is no real title available?)
• A separation theorem in dimension 3

This page was built for publication: On the separation of basic semialgebraic sets by polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1104369)