Let be a closed semialgebraic subset of euclidean space of codimension at least one, and containing the origin as a non-isolated point. We prove that, for every real , there exists an algebraic set which approximates to order at . The special case generalizes the result of the authors that every semialgebraic cone of codimension at least one is the tangent cone of an algebraic set.
We show that if X, Y are smooth, compact k-dimensional submanifolds of ℝⁿ and 2k+2 ≤ n, then each diffeomorphism ϕ: X → Y can be extended to a diffeomorphism Φ: ℝⁿ → ℝⁿ which is tame (to be defined in this paper). Moreover, if X, Y are real analytic manifolds and the mapping ϕ is analytic, then we can choose Φ to be also analytic. We extend this result to some interesting categories of closed (not necessarily compact) subsets of ℝⁿ, namely, to the category of Nash submanifolds...
A version of Michael's theorem for multivalued mappings definable in o-minimal structures with M-Lipschitz cell values (M a common constant) is proven. Uniform equi-LCⁿ property for such families of cells is checked. An example is given showing that the assumption about the common Lipschitz constant cannot be omitted.
In this paper we introduce the notion of modified Nash triviality for a family of zero sets of real polynomial map-germs as a desirable one. We first give a Nash isotopy lemma which is a useful tool to show triviality.Then, using it, we prove two types of modified Nash triviality theorem and a finite classification theorem for this triviality. These theorems strengthen similar topological results.
This is a generalized and improved version of our earlier article [Studia Math. 124 (1997)] on the Whitney extension theorem for subanalytic -Whitney fields (with p finite). In this new version we consider Whitney fields definable in an arbitrary o-minimal structure on any real closed field R and obtain an extension which is a -function definable in the same o-minimal structure. The Whitney fields that we consider are defined on any locally closed definable subset of Rⁿ. In such a way, a local...
Let f: ℝⁿ → ℝ be a C² semialgebraic function and let c be an asymptotic critical value of f. We prove that there exists a smallest rational number such that |x|·|∇f| and are separated at infinity. If c is a regular value and , then f is a locally trivial fibration over c, and the trivialisation is realised by the flow of the gradient field of f.
We prove that the number of distinct homotopy types of limits of one-parameter semi-algebraic families of closed and bounded semi-algebraic sets is bounded singly exponentially in the additive complexity of any quantifier-free first order formula defining the family. As an important consequence, we derive that the number of distinct homotopy types of semi-algebraic subsets of defined by a quantifier-free first order formula , where the sum of the additive complexities of the polynomials appearing...
We give a characterization of the irreducible components of a Weierstrass-type (W-type) analytic (resp. algebraic, Nash) variety in terms of the orbits of a Galois group associated in a natural way to this variety. Since every irreducible variety of pure dimension is (locally) a component of a W-type variety, this description may be applied to any such variety.
We prove that the semialgebraic, algebraic, and algebraic nonsingular points of a definable set in o-minimal structure with analytic cell decomposition are definable. Moreover, the operation of taking semialgebraic points is idempotent and the degree of complexity of semialgebraic points is bounded.
For a symmetric (= invariant under the action of a compact Lie group G) semialgebraic basic set C, described by s polynomial inequalities, we show, that C can also be written by s + 1 G-invariant polynomials. We also describe orbit spaces for the action of G by a number of inequalities only depending on the structure of G.
We associate to a given polynomial map from to itself with nonvanishing Jacobian a variety whose homology or intersection homology describes the geometry of singularities at infinity of this map.