Separation of semialgebraic sets

DOI10.1090/S0894-0347-99-00302-1MaRDI QIDQ4243740zbMATH OpenFDO

Authors Francesca Acquistapace, Fabrizio Broglia, Carlos Andradas

Publication date 19 May 1999

Published in Journal of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/alg-geom/9611023

zbMATH Keywords

algorithmdecidability of separation problem of semialgebraic sets

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Decidability of theories and sets of sentences (03B25) Semialgebraic sets and related spaces (14P10) Software, source code, etc. for problems pertaining to algebraic geometry (14-04)

Abstract: In this paper we study the problem of deciding whether two disjoint semialgebraic sets of an algebraic variety over R are separable by a polynomial. For that we isolate a dense subfamily of Spaces of Orderings, named Geometric, which suffice to test separation and that reduce the problem to the study of the behaviour of the semialgebraic sets in their boundary. Then we derive several characterizations for the generic separation, among which there is a Geometric Criterion that can be tested algorithmically. Finally we show how to check recursively whether we can pass from the generic separation to the separation of the two sets, yielding a decision procedure to solve the problem.

Recommendations

• scientific article; zbMATH DE number 1089735
• scientific article; zbMATH DE number 1080049
• A separation theorem in dimension 3

Cites work

• scientific article; zbMATH DE number 3871539 (Why is no real title available?)
• scientific article; zbMATH DE number 4029737 (Why is no real title available?)
• scientific article; zbMATH DE number 177474 (Why is no real title available?)
• scientific article; zbMATH DE number 3523738 (Why is no real title available?)
• scientific article; zbMATH DE number 1080049 (Why is no real title available?)
• scientific article; zbMATH DE number 914533 (Why is no real title available?)
• A note on a separation problem
• A separation theorem in dimension 3
• Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant
• Characterization of fans and hereditarily pythagorean fields
• Classification of Finite Spaces of Orderings
• Low dimensional sections of basic semialgebraic sets
• On basic semialgebraic sets
• On the Mostowski number
• On the separation of basic semialgebraic sets by polynomials
• Quotients and Inverse Limits of Spaces of Orderings
• Real algebraic geometry and the 17th Hilbert problem
• Resolution of singularities of an algebraic variety over a field of characteristic zero. I
• Semidefinite representations for finite varieties
• Spaces of Orderings IV
• Spaces of orderings and abstract real spectra
• The Witt Ring of a Space of Ordering
• Ubiquity of Łojasiewicz's example of a nonbasic semialgebraic set

Cited in

(14)

• On the separation of basic semialgebraic sets by polynomials
• Separating families for semi-algebraic sets
• Algebraic and analytic finite spaces of orderings.
• Separation of sets and Wolfe duality
• ON THE IRREDUCIBLE COMPONENTS OF A SEMIALGEBRAIC SET
• scientific article; zbMATH DE number 4036600 (Why is no real title available?)
• On disjunctions of algebraic sets in completely simple semigroups
• Mechanised Separation Algebra
• scientific article; zbMATH DE number 1875420 (Why is no real title available?)
• On basic semialgebraic sets
• Complements of unbounded convex polyhedra as polynomial images of \({{\mathbb{R}}}^n\)
• Semialgebraic sets and some versions of the Tarski-Seidenberg-Macintyre theorem
• A lower bound for the complexity of separating functions
• Separation of global semianalytic sets

This page was built for publication: Separation of semialgebraic sets

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