Urysohn in action: separating semialgebraic sets by polynomials

arXiv2207.00570MaRDI QIDQ6403771FDOQ6403771

Jean B. Lasserre, Milan Korda, A. Lazarev, Victor Magron, Simone Naldi

Publication date: 1 July 2022

Abstract: A classical result from topology called Uryshon's lemma asserts the existence of a continuous separator of two disjoint closed sets in a sufficiently regular topological space. In this work we make a search for this separator constructive and efficient in the context of real algebraic geometry. Namely, given two compact disjoint basic semialgebraic sets which are contained in an $n$-dimensional box, we provide an algorithm that computes a separating polynomial greater than or equal to 1 on the first set and less than or equal to 0 on the second one.

This page was built for publication: Urysohn in action: separating semialgebraic sets by polynomials

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