Separation of global semianalytic sets
Volume 95 / 2009
Annales Polonici Mathematici 95 (2009), 179-186
MSC: 03C64, 12D15.
DOI: 10.4064/ap95-2-8
Abstract
Given global semianalytic sets $A$ and $B$, we define a minimal analytic set $N$ such that $\overline{A}\setminus N$ and $\overline{B}\setminus N$ can be separated by an analytic function. Our statement is very similar to the one proved by Bröcker for semialgebraic sets.
