Borne d'invariant metrique pour une famille noetherienne
Wybrane pełne teksty z tego czasopisma
The motivation of this paper is a question asked by B. Teissier in : if [fi] : M --> N is an analytic morphism between two real analytic manifolds M and N, and if K is a compact subanalytic set of M, then for every point x[sub 0] in [fi](K) there exists an open neighbourhood U of x[sub 0] in N and a constant [gamma] > 0 such that for all x in U and all (a, b) in the same connected component of [fi^-1(x) intersection of sets K], there exist a rectifiable curve in [fi-1(x) intersection of sets K joining a and b with length less than [gamma]. In this paper we prove the following statement: let [Omega] be an open set of [R^n], N a real analytic manifold, [fi] : [Omega] --> N a proper analytic morphism and [K is a subset of set Omega] an analytic subset of [Omega]. Then for every point y[sub 0] of N there an open neighbourhood U in N and a constant [eta] > 0 such that for all y in U there exists C[sub y] > 0 satisfying the following: for every points a, b of the same connected component of [fi^-1(y) intersection of sets K] there exists an analytic rectifiable curve [sigma] in [fi^-1(y) intersection of sets] K joining a and b with [absolute value of sigma is less than or equal to] C[sub y] [absolute value a - b^eta], where [absolute value of sigma] is the length of [sigma] and [absolute value a - b] is the euclidean distance between a and b.
Bibliogr. 5 poz.,