A note on a separation problem (Q798723): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4101953 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sur le théorème des fonctions composées différentiables / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Central orderings in fields of real meromorphic function germs / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf01193850 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2089017372 / rank | |||
Normal rank |
Latest revision as of 11:53, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A note on a separation problem |
scientific article |
Statements
A note on a separation problem (English)
0 references
1984
0 references
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]\).
0 references
separation problem
0 references
semianalytic germ
0 references
analytic function germ
0 references
semialgebraic sets
0 references