We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Algebraic Geometry

Title: Urysohn in action: separating semialgebraic sets by polynomials

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.
Comments: 4 pages, 1 figure, submitted as en extended abstract for the last POEMA workshop
Subjects: Algebraic Geometry (math.AG); Optimization and Control (math.OC)
Cite as: arXiv:2207.00570 [math.AG]
  (or arXiv:2207.00570v1 [math.AG] for this version)

Submission history

From: Victor Magron [view email]
[v1] Fri, 1 Jul 2022 17:48:49 GMT (34kb,D)

Link back to: arXiv, form interface, contact.