Théorie géométrique de la mesure
En mathématiques, la théorie géométrique de la mesure (ou théorie de la mesure géométrique) est l'étude des propriétés géométriques de la mesure d'ensembles (typiquement dans un espace euclidien). Elle a été fondée par Herbert Federer. L'idée est de résoudre certains problèmes géométriques en les formulant dans le cadre de l'analyse fonctionnelle, facilitant leur résolution.
Histoire
modifierLa théorie de la mesure géométrique est connue pour intervenir efficacement dans la résolution du problème de Plateau qui consiste à trouver une surface d'aire minimale avec des contraintes sur les bords de celle-ci. C'est conjointement que les mathématiciens américains Herbert Federer et Wendell Fleming proposèrent d’utiliser des courants au début des années 1960[1]. Bien qu'ils soient les premiers à employer le terme de mesure géométrique, les concepts de la théorie remonte aux travaux du mathématicien italien Ennio de Giorgi et du français Jean-Pierre Kahane sur des ensembles non rectifiables tels que les fractales. En 1969, Federer et Fleming publie un ouvrage de référence qui pose les bases de la théorie de la mesure géométrique.
Bien que commode, l'utilisation de courants pour représenter des surfaces limite ces dernières à avoir une orientation claire, ce qui limite les problèmes que l'on peut résoudre. Dans l'optique de surmonter ce problème d'orientation, Frederick J. Almgren[2] en 1966, puis William K. Allard[3] en 1972, développent la théorie des varifolds.
Dans l'optique de représenter encore plus fidèlement les surfaces, avec notamment des informations de courbure, des mathématiciens ont étudié les cycles normaux, introduit par Federer[4], développé par M. Zähle[5]. Ceux-ci généralisent la notion de courant sur des espaces de dimension plus grande, tel que le fibré normal de la surface, afin de capturer plus d'informations sur celle-ci.
Cadre
modifierAlgèbre extérieur et mesure de Lebesgue
modifierEn théorie de la mesure géométrique, pour travailler sur des objets tels que des surfaces et des volumes, on utilise les outils de l'algèbre extérieur. Brièvement, on peut définir cet algèbre sur un espace vectoriel . On introduit une base de et la base dual correspondante. L'algèbre extérieur de est le quotient de l'algèbre tensorielle par son idéal bilatère . On note alors l'algèbre extérieur .
Celui-ci peut être muni de l'opération (appelé produit extérieur) qui est une opération bilinéaire et antisymétrique pour obtenir l'espace des -vecteurs de :De façon similaire, on définit l'espace des -formes (ou -covecteurs):En particulier et dans le contexte d'études d'une surface orientable , on peut notamment traiter le plan tangent orienté (à condition qu'il existe) à cette surface comme un multi-vecteur. On introduit ensuite la notion de forme différentielle qui permet notamment de généraliser les concepts de dérivée et d'intégration sur des espaces courbe de dimension supérieure à 1. Une -forme différentielle sur est alors un élément du dual des -formes sur et pour toute forme différentielle , celle-ci peut s'écrire sous la formeLes formes différentielles permettent notamment de généraliser les concepts de gradient, de divergence et de rotationnel des champs vectoriels, qui sont des notions clés de la physique mathématique.
Mesure de Hausdorff et ensembles rectifiables
modifierAfin d'appliquer les outils d'analyse et en particulier de l'intégration, il faut pouvoir mesurer les sous-variétés plongées dans des espaces plus grands. On introduit la quantité suivanteLa mesure de Hausdorff est définie comme la limite de la quantité ci-dessus lorsque tend vers 0:
Cette mesure (borélienne) a deux propriétés intéressantes dans le cadre de la mesure géométrique :
- La mesure de Hausdorff -dimensionnelle coïncide avec la mesure de Lebesgue : sur .
- Cette mesure permet de considérer des volumes de sous-variétés de dimension inférieur à celle de la variété dans laquelle elles sont plongées. Par exemple, une courbe dans a une mesure de Lebesgue nulle mais sa mesure de Hausdorff est égale à sa longueur.
La théorie de la mesure géométrique s'applique donc sur des objets (des ensembles) sur lesquels la notion de "volume" peut être définit rigoureusement. On s'intéresse notamment aux ensembles rectifiables.
Un ensemble rectifiable est un ensemble dans lequel il est possible de définir une notion de longueur ou d'aire. Plus précisément, un ensemble rectifiable est un sous-ensemble de l'espace euclidien qui peut être approximé par une union finie de rectangles dans un sens précis.
Formellement, soit un sous-ensemble de . On dit que est rectifiable si l'ensemble des points de (le bord de ) ayant un voisinage qui intersecte est au plus dénombrable. En d'autres termes, l'ensemble des points où "sort" de son enveloppe convexe est au plus dénombrable. La définition (équivalente) de Federer est que est -rectifiable si et seulement si -presque tous les points de sont dans une réunion dénombrable de -sous-variétés .
Les ensembles rectifiables sont donc des ensembles relativement réguliers pour lesquels il est possible de définir une longueur ou une aire.
Outils de la théorie de la mesure géométrique
modifierCourants
modifierFondamentalement, un -courant est une forme linéaire sur l'espace des -formes différentielles. Un ensemble -rectifiable induit un courant par intégration de forme différentielles sur :où avec une base orthonormée du plan tangent .Une propriété intéressante de cette formulation est son invariance par rapport à une éventuelle paramétrisation de . En effet, supposons que soit une paramétrisation globale de , alors, on peut écrire le courant sous la formequi est invariante à la paramétrisation puisqu'une reparamétrisation implique un changement de variable dans l'expression précédente.
Varifolds
modifierPour définir les varifolds, il faut d'abord définir la grassmannienne . Celle-ci peut se définir comme l'ensemble des sous-espaces de dimension d'un espace de dimension .
Un -varifold est alors une mesure de Borel finie sur l'espace produit . C'est une forme linéaire sur l'ensemble des fonctions continues à support compact sur cet espace produit. Un ensemble -rectifiable est associé à un varifold rectifiable, noté Grâce au théorème de représentation de Riesz, est associé à une unique forme linéaire sur l'ensemble des fonctions continues sur .
Applications
modifierAnatomie computationnelle
modifierLa multiplication de données médicales, en particulier de données anatomiques, qu'il s'agisse d'images (2D), de scans, de résultats d'IRM (3D) ou autre, il est pertinent de chercher à construire un modèle statistique de ces données anatomiques. Ceci, par exemple, pour détecter les anomalies, aider aux diagnostics, comprendre l'évolution de certaines maladies type Alzeihmer. Pour construire de tels modèles, il faut pouvoir comparer des formes entre elles et donc construire des métriques calculables sur de grands ensembles de données ce qui est possible en représentant et comparant les formes par le prisme de la mesure géométrique...
Notes et références
modifier- Herbert Federer et Wendell H. Fleming, « Normal and Integral Currents », Annals of Mathematics, vol. 72, no 3, , p. 458–520 (ISSN 0003-486X, DOI 10.2307/1970227, lire en ligne, consulté le )
- Kenneth A. Brakke et John M. Sullivan, Plateau's problem : an invitation to varifold geometry, American Mathematical Society, (ISBN 0-8218-2747-2 et 978-0-8218-2747-5, OCLC 46240311, lire en ligne)
- William K. Allard, « On the First Variation of a Varifold », Annals of Mathematics, vol. 95, no 3, , p. 417–491 (ISSN 0003-486X, DOI 10.2307/1970868, lire en ligne, consulté le )
- Herbert Federer, « Curvature Measures », Transactions of the American Mathematical Society, vol. 93, no 3, , p. 418–491 (ISSN 0002-9947, DOI 10.2307/1993504, lire en ligne, consulté le )
- (en) M. Zähle, « Integral and current representation of Federer's curvature measures », Archiv der Mathematik, vol. 46, no 6, , p. 557–567 (ISSN 1420-8938, DOI 10.1007/BF01195026, lire en ligne, consulté le )
Lien externe
modifier(en) Review par Casper Goffman de l'ouvrage de référence Geometric measure theory de H. Federer