Contribution effective dans le réel
Cycles lagrangiens, fonctions constructibles et applications
Decomposition into special cubes and its applications to quasi-subanalytic geometry
The main purpose of this paper is to present a natural method of decomposition into special cubes and to demonstrate how it makes it possible to efficiently achieve many well-known fundamental results from quasianalytic geometry as, for instance, Gabrielov's complement theorem, o-minimality or quasianalytic cell decomposition.
Definable stratification satisfying the Whitney property with exponent 1
We prove that for a finite collection of sets definable in an o-minimal structure there exists a compatible definable stratification such that for any stratum the fibers of its projection onto satisfy the Whitney property with exponent 1.
Densité des ensembles semi-pfaffiens
Densité des ensembles sous-analytiques
It is shown that a sub-analytic set has a density at each point, and the notion of pure cone is defined. As in the complex case, this density may be expressed in terms of the area of the connected components of the pure tangent cone, with involved integral multiplicities.
Density of Morse functions on sets definable in o-minimal structures
We present a tameness property of sets definable in o-minimal structures by showing that Morse functions on a definable closed set form a dense and open subset in the space of definable functions endowed with the Whitney topology.
Die Beschränktheit der Stückzahl der Fasern K-analytischer Abbildungen.
Directional properties of sets definable in o-minimal structures
In a previous paper by Koike and Paunescu, it was introduced the notion of direction set for a subset of a Euclidean space, and it was shown that the dimension of the common direction set of two subanalytic subsets, called the directional dimension, is preserved by a bi-Lipschitz homeomorphism, provided that their images are also subanalytic. In this paper we give a generalisation of the above result to sets definable in an o-minimal structure on an arbitrary real closed field. More precisely, we...
Distance aux fibres d'un sous-analytique
Distance géodésique sur un sous-analytique.
Pour un ensemble sous-analytique, connexe fermé, la distance géodésique est atteinte et est uniformément équivalente, avec des constantes arbitrairement proches de 1, à une distance sous-analytique.
Éclatement des coefficients des séries entières et deux théorème des Gabrielov.
Équisingularité réelle II : invariants locaux et conditions de régularité
On définit, pour un germe d’ensemble sous-analytique, deux nouvelles suites finies d’invariants numériques. La première a pour termes les localisations des courbures de Lipschitz-Killing classiques, la seconde est l’équivalent réel des caractéristiques évanescentes complexes introduites par M. Kashiwara. On montre que chaque terme d’une de ces suites est combinaison linéaire des termes de l’autre, puis on relie ces invariants à la géométrie des discriminants des projections du germe sur des plans...
Examples of functions -extendable for each finite, but not -extendable
In Example 1, we describe a subset X of the plane and a function on X which has a -extension to the whole for each finite, but has no -extension to . In Example 2, we construct a similar example of a subanalytic subset of ; much more sophisticated than the first one. The dimensions given here are smallest possible.
Extending analyticK-subanalytic functions
Letg:U→ℝ (U open in ℝn) be an analytic and K-subanalytic (i. e. definable in ℝanK, whereK, the field of exponents, is any subfield ofℝ) function. Then the set of points, denoted Σ, whereg does not admit an analytic extension is K-subanalytic andg can be extended analytically to a neighbourhood of Ū.
Extending Tamm's theorem
We extend a result of M. Tamm as follows:Let , be definable in the ordered field of real numbers augmented by all real analytic functions on compact boxes and all power functions . Then there exists such that for all , if is in a neighborhood of , then is real analytic in a neighborhood of .
Extension of Whitney Fields from Subanalytic Sets.
Factoriality of a ring of holomorphic functions
Fields with analytic structure
Finiteness property for generalized abelian integrals
We study the integrals of real functions which are finite compositions of globally subanalytic maps and real power functions. These functions have finiteness properties very similar to those of subanalytic functions. Our aim is to investigate how such finiteness properties can remain when taking the integrals of such functions. The main result is that for almost all power maps arising in a -function, its integration leads to a non-oscillating function. This can be seen as a generalization of Varchenko...