Intégration des fonctions sous-analytiques et volumes des sous-ensembles sous-analytiques
Soit une fonction sous-analytique de à valeurs dans Nous montrons que l’intégrale est une fonction log-analytique de Nous en déduisons que le volume -dimensionnel des éléments d’une famille sous-analytique de sous-ensembles sous-analytiques globaux de l’espace euclidien est une fonction log-analytique de Un corollaire de ce résultat est le caractère log-analytique de la fonction densité -dimensionnelle d’un sous-analytique global de dimension en tout point de sa fermeture topologique....