Separation of semialgebraic sets
From MaRDI portal
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
Cites work
- 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
- 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?)
- 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 and abstract real spectra
- Spaces of Orderings IV
- The Witt Ring of a Space of Ordering
- Ubiquity of Łojasiewicz's example of a nonbasic semialgebraic set
Cited in
(17)- A lower bound for the complexity of separating functions
- On the separation of basic semialgebraic sets by polynomials
- On basic semialgebraic sets
- Separating families for semi-algebraic sets
- Algebraic and analytic finite spaces of orderings.
- Semialgebraic sets and some versions of the Tarski-Seidenberg-Macintyre theorem
- Complements of unbounded convex polyhedra as polynomial images of \({{\mathbb{R}}}^n\)
- Mechanised Separation Algebra
- Separation of global semianalytic sets
- scientific article; zbMATH DE number 4036600 (Why is no real title available?)
- scientific article; zbMATH DE number 1080049 (Why is no real title available?)
- scientific article; zbMATH DE number 1488929 (Why is no real title available?)
- scientific article; zbMATH DE number 2057 (Why is no real title available?)
- scientific article; zbMATH DE number 1875420 (Why is no real title available?)
- On disjunctions of algebraic sets in completely simple semigroups
- ON THE IRREDUCIBLE COMPONENTS OF A SEMIALGEBRAIC SET
- Separation of sets and Wolfe duality
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)
