Separation of semialgebraic sets

DOI10.1090/S0894-0347-99-00302-1zbMATH Open0917.14032arXivalg-geom/9611023MaRDI QIDQ4243740FDOQ4243740

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)

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.

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

Recommendations

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

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)

Cites Work

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

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
• Title not available (Why is that?)
• On disjunctions of algebraic sets in completely simple semigroups
• Mechanised Separation Algebra
• Title not available (Why is that?)
• 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)