On regular open semi-algebraic sets
[For the entire collection see Zbl 0756.00007.] A regular open subset of topological space is a set that coincides with the interior of its closure. Clearly, the interior of the closure of any set is regular open. If we work in the semialgebraic category, the interior of the closure of a semialgebraic set is regular open and semialgebraic. On the other hand, any open semialgebraic set is a finite union of basic open sets, that is, of sets which are finite intersections of strict polynomial inequalities (finiteness theorem). Of course, a basic open set \(S\) need not be regular open, but as mentioned above, so is the interior \(T\) of its closure; now we call such a \(T\) a basic regular open set. The author proves in this paper a regular finiteness theorem, namely: any open semialgebraic set is a finite union of basic regular open sets. This holds in any semialgebraic set as ambient space, provided its boundary has codimension at least 2 (a fairly mild assumption). The proof is a nice mixture of topology (triangulations) and real algebra (real spectra).
- scientific article; zbMATH DE number 4190663
- More on basic semialgebraic sets
- Une note sur la présentation des semi-algébriques de base. (A note on the presentation of the semi-algebraic sets of the basis.)
- Low dimensional sections of basic semialgebraic sets
- scientific article; zbMATH DE number 3975830
- Une description axiomatique des categories de faisceaux de structures algébriques sur les espaces topologiques booleens
- scientific article; zbMATH DE number 4015674 (Why is no real title available?)
- Every nonempty open set of the digital n-space is expressible as the union of finitely many nonempty regular open sets
- Topological elementary equivalence of regular semi-algebraic sets in three-dimensional space
- On open and closed morphisms between semialgebraic sets
- Closure Theorem for Partially Semialgebraic Sets
- On orderings in real surfaces
- Open locally semi-algebraic maps
This page was built for publication: On regular open semi-algebraic sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4037348)
