A note on a separation problem
The subject of this note is the following problem: Let \(A_ 0\), \(Z_ 0\) be semianalytic closed germs in \({\mathbb{R}}^ n_ 0\) with \(A_ 0\cap Z_ 0=\{0\}\). Under what conditions does there exist an analytic function germ h, positive on \(Z_ 0\backslash\{0\}\) and negative on \(A_ 0\backslash\{0\}?\) It is proven that a sufficient condition is dim \(A_ 0=1\), and in that case h can be chosen polynomial. This is applied to solve in low dimensions some open problems on semialgebraic sets. For instance, it is shown: (I) Let U be a 1- or 2-dimensional open semialgebraic set of a real algebraic variety. If U is basic, so is \(\bar U\). - (II) Let V be a real algebraic curve and U an open semialgebraic subset of V. Then \(U=\{h>0\}, \bar U=\{h\geq 0\}\) for some polynomial \(h\in {\mathbb{R}}[V]\). (III) Let V be a real algebraic surface and \(V_ c\) its maximum dimension locus. Then \(V_ c=\{h\geq 0\}\) for a polynomial \(h\in {\mathbb{R}}[V]\).
- An algorithmic criterion for basicness in dimension 2
- Tameness of holomorphic closure dimension in a semialgebraic set
- Separation problems and forcing
- Note on separated subsets of GTS
- Distributions de signes
- scientific article; zbMATH DE number 4032073 (Why is no real title available?)
- Separation of semialgebraic sets
- A note on separation in AP
- A separation theorem in dimension 3
- ON THE IRREDUCIBLE COMPONENTS OF A SEMIALGEBRAIC SET
- The t-invariant of analytic set germs of dimension 2.
- Separating sets, metric tangent cone and applications for complex algebraic germs
- Séparation de semi-algébriques. (Separation of semi-algebraic sets)
This page was built for publication: A note on a separation problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q798723)
