Weak Wu stratification in R^n
The article uses Wu's characteristic set algorithm [ \textit{W.-T. Wu},`` Mechanical theorem proving in geometries (1994; Zbl 0831.03003)] as a basic part of an algorithm to find a weak stratification of \({\mathcal F}\) semialgebraic sets. Let \(K\) be a computable ordered subfield of the field \({\mathbb{R}}\) of real numbers, \(n\) a natural number. Let \(\mathcal F=\{ f_1,...,f_s\}\) be a list of functions, \(f_i: {\mathbb{R}}^n\rightarrow {\mathbb{R}}\) such that in some neighbourhood of each point in \({\mathbb{R}}^n\), \(f_i\) is represented by an absolutely convergent power series. A polynomial in \(K[x_1,\ldots,x_n,f_1,\ldots,f_s]\) is called an \({\mathcal F}\)-polynomial. \({\mathcal F}\) is called Noetherian if all the partial derivatives of all the functions in \(\mathcal F\) are \(\mathcal F\)-polynomials. The article deals with semialgebraic sets that is with sets defined by Boolean combinations of equalities and inequalities among \(\mathcal F\)-polynomials. For \(\alpha\in {\mathbb{R}}^n,\) \(\epsilon >0,\) denote by \(N_{\epsilon}(\alpha)\) the open ball of radius \(\epsilon\) around \(\alpha.\) A set \(S\subset {\mathbb{R}}^n\) is called a \(d-\)dimensional manifold if for every \(\alpha\in S\) there is a number \(\epsilon>0\) such that \( S\cap N_{\epsilon}(\alpha)\) is analytically diffeomorphic to \({\mathbb{R}}^d \times 0^{n-d}.\) A stratification of a set is a decomposition of it into finitely many disjoint manifolds. Let the set \(S\) be given by a semialgebraic condition. According to the algorithm developed in the article a manifold \(M\) is removed from \(S,\) where \(M\) is defined by a so called basic condition. It is required that the problem of stratifying \(S\setminus M\) be in some sense less difficult than the problem of stratifying \(S,\) so this procedure will always terminate (provided that the notion of difficulty generates a well ordering). See also the paper by \textit{A. Gabrielov} and \textit{N. Vorobjov}, Discrete Comput. Geom. 14, No.~1, 71-91 (1995; Zbl 0832.68056).
- Complexity of stratifications of semi-Pfaffian sets
- Frontier and closure of a semi-Pfaffian set
- Geometric categories and o-minimal structures
- How to recognize zero?
- scientific article; zbMATH DE number 1169378 (Why is no real title available?)
- Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
- Multiplicities of Pfaffian intersections, and the Łojasiewicz inequality
- On the theory of the real exponential field
This page was built for publication: Weak Wu stratification in \(\mathbb{R}^n\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1808668)
