Separation of global semianalytic sets
Tom 95 / 2009
Annales Polonici Mathematici 95 (2009), 179-186
MSC: 03C64, 12D15.
DOI: 10.4064/ap95-2-8
Streszczenie
Given global semianalytic sets 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.
