Ensemble rectifiable
En mathématiques, un ensemble rectifiable est une généralisation pluridimensionnelle de courbe rectifiable. Ce sont les objets différentiels de la théorie géométrique de la mesure, fondée par Herbert Federer.
Définitions
[modifier | modifier le code]Une partie A de est m-rectifiable s'il existe une famille dénombrable d'applications de classe telle que
où est la mesure de Hausdorff de dimension m.
A est purement non m-rectifiable si pour toute application de classe ,
On obtient des définitions équivalentes en remplaçant par application lipschitzienne.
Propriétés
[modifier | modifier le code]- Un exemple de partie purement non 1-rectifiable de est le produit de l'ensemble de Smith-Volterra-Cantor par lui-même.
- Les parties rectifiables sont une généralisation, du point de vue de la théorie de la mesure, des sous-variétés. Par exemple, on peut définir la notion de sous-espace (de dimension m) presque tangent en un point de A, et montrer que A est m-rectifiable si et seulement si, en -presque chacun de ses points, elle admet un tel sous-espace presque tangent.
- Toute partie de -mesure finie est réunion d'une partie m-rectifiable et d'une partie purement non m-rectifiable (dont l'intersection est nécessairement -négligeable).
- Théorème de projection de Besicovitch-Federer : si une partie A, de -mesure finie, est purement non m-rectifiable, alors pour presque tout sous-espace P de dimension m, le projeté orthogonal de A sur P est -négligeable.
Référence
[modifier | modifier le code](en) T.C. O'Neil, « Geometric measure theory », dans Encyclopedia of Mathematics, Springer online (lire en ligne)
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.