Voir la source de Distance de Hausdorff

[[Image:Hausdorff 1913-1921.jpg|thumb|[[Felix Hausdorff]] (1868-1942) est le mathématicien à l'origine de la distance portant maintenant son nom.]]
En [[mathématiques]], et plus précisément en [[géométrie]], la '''distance de Hausdorff'''<ref>Également appelée ''distance de Hausdorff-Pompeiu'', par exemple dans {{en}} R. Tyrrell Rockafellar et Roger J.-B. Wets, ''Variational analysis'', [[Springer Science+Business Media|Springer]], 1998 {{ISBN|9783540627722}} [https://books.google.ca/books?id=8ujVd_aeKygC&lpg=PP1&dq=ISBN%209783540627722&hl=fr&pg=PA117 lire en ligne].</ref> est un outil [[topologie|topologique]] qui mesure les dissemblances entre deux [[sous-ensemble]]s d’un [[espace métrique]] sous-jacent. Cette [[Distance (mathématiques)|distance]] apparait dans deux contextes bien différents : dans le domaine du traitement de l'image et en mathématiques.

== Champs d'intervention de la distance de Hausdorff ==

Pour le [[traitement d'images]], elle est un outil aux propriétés multiples, source de nombreux algorithmes. Elle indique si deux formes sont les mêmes et, si elles sont différentes, la distance quantifie ces dissemblances. En dimension 2, la distance de Hausdorff permet de numériser une image ou encore de reconnaître une forme. Cet outil, issu des [[mathématiques pures]], n'est pas toujours adapté pour les traitements industriels. Par exemple, deux formes aux contours de longueurs différentes peuvent être proches, au sens de cette distance. Pour ces raisons, on utilise parfois des variantes, comme la [[distance de Hausdorff modifiée]].

Pour le mathématicien, cette distance est à la géométrie ce que la [[Convergence uniforme|norme de la convergence uniforme]] est à l'[[analyse (mathématiques)|analyse]]. La convergence uniforme, en [[analyse fonctionnelle (mathématiques)|analyse fonctionnelle]], procède d'une démarche qui consiste à travailler sur un nouvel ensemble. On n'étudie plus le comportement des nombres, réels ou complexes, sur lesquels est définie la fonction, mais celui d'un ensemble de fonctions. Typiquement, on cherche à résoudre une question à l'aide d'une [[Suite et série de fonctions|suite de fonctions]], qui sont vues comme des points d'un vaste espace, et qui convergent vers la solution. Les [[série de Fourier|séries de Fourier]] procèdent d'une démarche de cette nature. Il est tentant d'aborder un problème de géométrie de la même manière. Un point de l'espace devient un solide, on recherche à trouver une solution à l'aide d'une suite de solides ''convergeant'' vers la solution. La notion de convergence demande une topologie, celle induite par la distance de Hausdorff offre une réponse.

Un exemple d'application est le [[isopérimétrie|problème isopérimétrique]] dans le plan euclidien. La question est de savoir quelle est la surface de plus grande aire possible, pour un périmètre donné, la réponse est le [[disque (géométrie)|disque]]. Une méthode consiste à construire une suite, par exemple de polygones, qui ''converge'' vers la solution.

Les premières questions qui se posent sont un peu de même nature que celles de l'analyse fonctionnelle. Dans quel cas l'espace est [[espace complet|complet]], quels sont les [[Compacité (mathématiques)|compacts]], dispose-t-on d'applications continues, existe-t-il des sous-espaces aisément manipulables et [[Partie dense|denses]], un peu à l'image des polygones ? Les réponses sont suffisamment positives pour que la démarche soit féconde. Si l'espace sous-jacent est complet, l'espace utilisant la distance de Hausdorff l'est aussi. Les compacts, si l'espace métrique est euclidien, [[Théorème de Borel-Lebesgue|sont les ensembles fermés bornés]], les polygones forment un ensemble dense, enfin la [[somme de Minkowski]] est continue.

Dans ce domaine, le travail mathématique a un effet direct sur la mise au point d'algorithmes répondant spécifiquement aux besoins de l'industrie.

== Construction de la distance ==
=== Approche intuitive ===
[[Image:Distance de Hausdorff (1).jpg|thumb|Distance de Hausdorff entre deux ensembles ''C'' et ''D''.]]

L'idée intuitive de Hausdorff est de définir la distance entre deux ensembles ''C'' et ''D'' comme indiqué sur la figure de droite. ''C'' représente le carré rouge et ''D'' le disque bleu de même surface et de même centre. À l'endroit où les deux figures coïncident, la couleur est violette, sinon elle est bleue ou rouge. Les différences entre les deux figures se matérialisent sous la forme de 4 lunules bleues et 4 presque triangles rouges.

On considère le point du carré le plus éloigné du disque, c'est un sommet du carré, à une distance ''a'' du disque. On considère ensuite le point du disque le plus éloigné du carré, c'est le sommet de la lunule et sa distance au carré est notée ''b''. La distance de Hausdorff est la plus grande valeur des deux, en l'occurrence ''a'', pour l'exemple choisi. Les valeurs ''a'' et ''b'' sont parfois appelées '''distance de Hausdorff relative'''.

La distance de Hausdorff, pour l'ingénieur en imagerie, est un indicateur de ''similarité'' entre deux formes géométriques, c'est la raison même de son utilité<ref>{{en}} W. Rucklidge, ''{{Langue|en|Efficient Visual Recognition Using the Hausdorff Distance}}'', LNCS 1173,
Berlin, Springer, 1996 {{ISBN|978-3-540-61993-2}}.</ref>.

Pour que cette distance puisse vérifier le premier axiome, c'est-à-dire celui indiquant que la distance entre deux figures distinctes n'est jamais nulle, on ne peut considérer tous les ensembles. Deux [[boule unité|boules]], une [[Ouvert (topologie)|ouverte]] et l'autre [[Fermé (topologie)|fermée]], de même centre et de même rayon seraient deux ensembles différents à une distance nulle. Une autre raison pousse à limiter les ensembles considérés. La distance entre une droite et une boule serait infinie, ce qui n'est pas possible d'après les axiomes de la distance. Pour cette raison, Hausdorff limite l'ensemble aux [[Partie bornée|bornés]]. Cette distance est souvent utilisée pour étudier des géométries proches de celles d'un [[topologie d'un espace vectoriel de dimension finie|espace de dimension finie]], pour cette raison, on impose parfois aux ensembles d'être compacts<ref>Le choix de la compacité n'est pas toujours pris, on accepte alors tous les fermés bornés : {{Article|lang=en|auteur=J. Henrikson|url=https://web.archive.org/web/20120616230015/http://www-math.mit.edu/phase2/UJM/vol1/HAUSF.PDF|titre=Completeness and Total Boundedness of the Hausdorff Metric|revue=[[MIT]] Undergraduate Journal of Mathematics|vol=1|date=1999|p.=69-79}}.</ref>. Enfin, la distance d’un point à l'ensemble vide n'est pas bien définie (l’application rigoureuse de la définition la voudrait infinie<ref>{{Ouvrage|lang=en|auteur=Reinhard Klette|auteur2={{Lien|Azriel Rosenfeld}}|titre=Digital Geometry: Geometric Methods for Digital Picture Analysis|éditeur=Elsevier|date=2004|url={{Google Livres|bNC1991jsFQC|page=87}}|page=87}}.</ref>) ; pour cette raison, l'ensemble vide n'est pas considéré.

=== Formulations de la distance ===
Il existe différentes manières d'exprimer la distance ''d''(''X'', ''Y'') entre deux ensembles fermés bornés non vides ''X'' et ''Y'' d'un [[espace métrique]] (''E'', δ). La première correspond à la définition du paragraphe précédent :
<center><math>d(X,Y):=\max \; \{ \sup_{y\in Y} \delta(X,y), \quad \sup_{x\in X}\delta(x,Y)\}= \max \; \{ \sup_{y\in Y} \inf_{x \in X} \delta(x,y), \quad \sup_{x\in X} \inf_{y \in Y} \delta(x,y)\}</math><ref name=":0">{{Ouvrage|auteur1=[[Jean Dieudonné]]|titre=[[Éléments d'analyse]]|tome=I|titre volume=Fondements de l'analyse moderne|passage=61 (exercice 3)|lieu=Paris|éditeur=[[Gauthier-Villars]]|date=1979|isbn=978-2-04-010410-8|oclc=489875029|consulté le=2022-07-08}}.</ref>.</center>

Une autre formulation consiste à considérer les ensembles ''X{{ind|r}}'' et ''Y{{ind|r}}'', où ''r'' est un réel positif. Ici, ''X{{ind|r}}'' (resp. ''Y{{ind|r}}'') désigne l'ensemble des points de ''E'' à une distance inférieure ou égale à ''r'' de ''X'' (resp. ''Y'')<ref>Par exemple dans un [[espace vectoriel normé]], l'ensemble ''X{{ind|r}}'' est la [[somme de Minkowski]] de ''X'' et de ''rB'', où ''B'' désigne la [[boule unité]] fermée.</ref>, aussi appelés [[Voisinage (mathématiques)|r-voisinages]] de X et de Y<ref>{{Ouvrage|lang=en|auteur=Kenneth Falconer|titre=Fractal Geometry: Mathematical Foundations and Applications|éditeur=[[John Wiley & Sons|Wiley]]|date=2003|numéro d'édition=2|lire en ligne={{Google Livres|xTKvG_j4LvsC|page=124}}|page=124|consulté le=14/7/2022}}.</ref>. La distance prend alors la forme suivante<ref>Les deux dernières expressions sont utilisées par exemple dans {{en}} Andrejs Treibergs, ''[http://www.math.utah.edu/~treiberg/isoperim/isop.pdf Inequalities that Imply the Isoperimetric Inequality]'', [[University of Utah]], 2002.</ref> :

<center><math>d(X,Y) = \min \{r \in\R_+\mid X \subset Y_r \quad \text{et}\quad Y \subset X_r\}.</math></center>

=== Définition formelle ===
Soient (''E'', δ) un espace métrique et ''E{{ind|H}}'' l'ensemble des fermés bornés non vides de ''E''. La distance de Hausdorff ''d'' sur ''E{{ind|H}}'' est l'application ''d'', de ''E{{ind|H}}'' × ''E{{ind|H}}'' dans ℝ{{ind|+}}, définie par la formule ci-dessus.

Ces notations sont utilisées dans tout le reste de l'article.

''Remarque'' : la distance δ s'applique à deux points, ou à un point et une partie, tandis que la distance de Hausdorff ''d'' s'applique à deux parties (fermées, bornées et non vides). Par exemple dans ℝ :
<center><math>\delta (0,[-1,1]) = 0 \quad\text{et}\quad d(\{0\},[-1,1]) = 1.</math></center>

Si la distance sur ''E'' est bornée, la distance de Hausdorff est définie sur tous les fermés non vides de ''E'' (tous sont bornés). Dans le cas contraire, la « distance » étendue aux fermés non bornés peut prendre des valeurs infinies.

Il est également possible de définir la distance de Hausdorff entre deux sous-ensembles non fermés de ''E'' comme la distance de Hausdorff entre leurs [[Adhérence (mathématiques)|adhérences]]. On munit ainsi l’ensemble des sous-ensembles de ''E'' d’un [[Espace pseudométrique|écart]] (puisque deux sous-ensembles distincts mais partageant la même adhérence auront une distance de Hausdorff nulle).

=== Exemple ===
[[File:Geogebra-export1.svg|thumb|La distance entre deux itérés successifs d'un triangle de Sierpinski égale ici à 1.]]
La distance de Hausdorff entre un [[triangle]] et sa [[frontière (topologie)|frontière]] est égale au rayon du [[Bissectrice|cercle inscrit]] dans le triangle. L'application au calcul de la distance de Hausdorff entre deux itérés successifs de la suite classique de compacts convergeant vers le [[triangle de Sierpinski]] est immédiate. On peut multiplier les exemples avec d'autres attracteurs de [[Système de fonctions itérées|systèmes de fonctions itérées]].

== Continuité ==
=== Ensemble dense ===
{{article détaillé|Partie dense}}
[[Image:DigitalPicture.jpg|thumb|left|Exemple d'[[image matricielle]].]]
[[Image:Distance de Hausdorff (2).jpg|thumb|Les [[polygone]]s et les carrés choisis sur une grille définissent deux ensembles denses.]]

L'existence d'ensembles denses intéresse autant le mathématicien que l'ingénieur en traitement d'images. Pour l'ingénieur, un sous ensemble dense permet d'approximer n'importe quel point de ''E{{ind|H}}'' (le terme point désigne un élément de l'ensemble étudié, ici des figures géométriques). Ainsi ''F{{ind|H}}'' est dense dans ''E{{ind|H}}'' lorsque pour tout point ''X'' de ''E{{ind|H}}'' et pour tout [[nombre réel]] ε strictement positif, il existe un point ''Y'' de ''F{{ind|H}}'' à une distance inférieure à ε de ''X''.

L'ensemble dense est choisi plus ''petit'' pour pouvoir être travaillé plus commodément. La figure de droite illustre deux ensembles denses, si ''E'' est un [[espace euclidien]], comme le plan pour le traitement d'images. Le premier exemple correspond aux ''[[pixel]]s''. L'espace est quadrillé par un ensemble de droites (des hyperplans en dimension quelconque) dont les directions sont toutes orthogonales à un vecteur d'une [[base orthonormale]] et les droites parallèles entre elles sont régulièrement espacées. Cette grille définit un ensemble de petits carrés (d'hypercubes si la dimension est quelconque), le premier ensemble dense est celui constitué d'un [[ensemble fini]] de petits carrés de cette nature. Les ingénieurs parlent d'[[image matricielle]]

En mathématiques, on choisit souvent le pas de la grille égal à 1/2{{exp|''n''}}, où ''n'' est un entier quelconque, il existe ainsi une infinité de « tailles de grille » possibles, de plus en plus précises à mesure que ''n'' augmente. Une forme, par exemple le cercle violet sur la figure de droite, est approximée par ces petits carrés. Un algorithme consiste à sélectionner un petit carré s'il possède une intersection non vide avec la figure qu'il doit approximer.

Une deuxième méthode consiste à choisir comme ensemble dense les [[polygone]]s, ou encore les [[polyèdre]]s dans le cas d'une dimension quelconque. Pour un ingénieur, beaucoup moins d'informations sont nécessaires pour décrire une figure géométrique avec cette méthode. Cette approche permet, soit un gain de temps, soit une précision accrue. La deuxième figure de droite est une approximation polygonale, aussi appelée [[image vectorielle]]. Pour le mathématicien, les polyèdres forment un ensemble contenant strictement le précédent, il est donc naturel qu'il soit dense, lui aussi.

Il est parfois utile de conserver la [[ensemble convexe|convexité]], une fois encore, les polyèdres convexes forment un ensemble dense parmi les convexes de ''E{{ind|H}}''.
{{Démonstration|contenu=
[[Image:Distance de Hausdorff (3).jpg|thumb]]
Ici, ''E'' désigne un espace euclidien de dimension ''d''. Ici, ''G{{ind|H}}'' désigne l'ensemble hypercubes fermés de la grille et d'arêtes de longueur 2<sup>-n</sup> et ''X'' désigne un fermé borné de ''E{{ind|H}}''. La démonstration est un peu plus riche que celle annoncée dans le paragraphe.

* '''Il existe une suite de polygones (''P''<sub>n</sub>), décroissante pour l'inclusion, telle que ''P''<sub>n</sub> contienne ''X'' et telle que la distance entre ''X'' et ''P''<sub>n</sub> soit inférieure à (d/2<sup>2n</sup>)<sup>1/2</sup> :'''

On considère l'ensemble des hypercubes de ''G''<sub>n</sub> ayant une intersection non nulle avec ''X'', l'union des éléments de cet ensemble est noté ''P''<sub>n</sub>. Deux des ensembles sont illustrés sur la figure de droite. La figure ''X'' est un polygone dont la frontière est dessinée en noir. Le premier ensemble illustré correspond aux carrés bleus, le deuxième, deux fois plus fin et qui cache en partie les carrés bleus, est illustré par la couleur rouge.

La décroissance de la suite ainsi que le fait que ''P''<sub>n</sub> contienne ''X'' sont garantis par construction.

La plus grande distance possible est obtenue si ''X'' intersecte un hypercube uniquement en un sommet, le sommet le plus éloigné est le point de ''P''<sub>n</sub> le plus éloigné de ''X'', la distance est celle de la plus grande diagonale, égale à (d/2<sup>2n</sup>)<sup>1/2</sup>.

La distance entre ''P''<sub>n</sub> et ''X'' tend vers 0, par définition de la [[Limite (mathématiques)|limite]], 4''X'' est bien celle de la suite des polygones.

* '''Si ''X'' est convexe, la suite des enveloppes convexes (''K''<sub>n</sub>) des polygones ''P''<sub>n</sub> est une suite décroissante pour l'inclusion, tel que ''Q''<sub>n</sub> contienne ''X'' et tel que la distance entre ''X'' et ''Q''<sub>n</sub> soit inférieure à (d/2<sup>2n-2</sup>)<sup>1/2</sup> :'''

Le raisonnement est le même que le précédent, il suffit de remarquer qu'ajouter une couche de petits cubes construit une figure qui contient l'enveloppe convexe ''K''<sub>n</sub>.
}}

=== Fonctions continues ===
[[Image:Koch curve.svg|thumb|right|La [[courbe de Koch]] permet de construire une suite convergente pour la distance de Hausdorff et dont le périmètre diverge.]]
Si une fonction est continue, ce qu'elle représente est bien conservée par de petites modifications. Un exemple essentiel est la [[somme de Minkowski]]. À deux ensembles ''X'' et ''Y'', on associe l'ensemble des vecteurs de la forme ''x'' + ''y'' où ''x'' est élément de ''X'' et ''y'' de ''Y''. En imagerie, sommer une figure avec un petit disque permet d'atténuer les contours. En mathématiques pures, la somme de Minkowski intervient dans de nombreux [[théorème isopérimétrique|théorèmes isopérimétriques]]. Le fait que ''C'' soit un compact convexe implique l'égalité ''C'' + ''C'' = 2''C'' (ce qui n'est pas une évidence, la première partie correspondant à une somme de Minkowski et la deuxième à une [[homothétie]] de rapport 2). C'est un élément clé de la démonstration du [[théorème de Minkowski]], utilisé en [[théorie algébrique des nombres]].

Un deuxième exemple est donné par la fonction [[mesure (mathématiques)|mesure]], si ''E'' est un espace euclidien. La [[mesure de Lebesgue]] associe à une figure son ''volume''. Elle possède une forme de continuité pour la distance de Hausdorff, elle est [[Semi-continuité|semi continue supérieurement]]. Cela indique que si un algorithme construit une figure à l'aide d'approximations de plus en plus précises, la figure finale possède une mesure qui ne fait pas de ''saut'' vers le bas. Mathématiquement, on le modélise par une suite (''X{{ind|n}}'') de figures qui converge vers une figure ''X'', au sens de Hausdorff. Le volume de la figure ''X'' n'est pas beaucoup plus petit que celui de ''X{{ind|n}}'', si ''n'' est grand. Si μ désigne la mesure de Lebesgue, c'est-à-dire la fonction qui à une figure associe son volume :
<center><math>\limsup_{n \to \infty} \mu(X_n) \leq \mu(X).</math></center>

S'il n'existe pas de possibilité de saut vers le bas, il peut y en avoir vers le haut. On peut s'en rendre compte en construisant une image à l'aide d'étapes successives, notées (''X{{ind|n}}''). On suppose que l'image est composée de pixels trop petits pour être visibles. À chaque étape, l'algorithme ajoute quelques points isolés dans une surface ''C''. Comme ils sont isolés, les images ''X{{ind|n}}'' ne contiennent rien de visible dans ''C'' tant que ''n'' reste petit. En revanche, si ''n'' devient très élevé, on peut voir apparaître une surface visible dans ''C'', de [[mesure (mathématiques)|mesure]] non nulle, qui est souvent un artéfact indésirable. Mathématiquement, cela provient du fait qu'il existe un [[ensemble dénombrable]] de points, qui forment chacun un ensemble de mesure nulle, dont l'adhérence n'est pas de mesure nulle. On peut prendre par exemple les points de ''C'' à coordonnées rationnelles.

À la différence du volume, la fonction [[périmètre]], ou plus précisément la mesure de la frontière, ne possède aucune continuité. Il est possible de construire deux figures très proches, au sens de Hausdorff, et de périmètres aussi éloignés qu'on le souhaite. À l'aide de la [[courbe de Koch]], il est possible de construire une suite convergente de figures géométriques, dont les périmètres successifs divergent. Cette discontinuité, pour l'ingénieur, signifie qu'un algorithme uniquement fondé sur la distance de Hausdorff risque de ne pas respecter précisément les contours. C'est une des raisons qui poussent à utiliser des [[Distance de Hausdorff modifiée|distances modifiées]]<ref>Un exemple de cette nature est donné dans É. Baudrier {{et al.}}, « [http://documents.irevues.inist.fr/bitstream/handle/2042/17752/GRETSI_2007_1309.pdf?sequence=1 Une méthode de comparaison d'images…] », ''Colloque GRETSI, 11-14 septembre 2007, Troyes'', {{p.|1309-1312}}.</ref>.
{{boîte déroulante début|align=left|titre=Démonstrations}}
Ici, ''E'' désigne un espace euclidien.

* '''La somme de Minkowski est continue:'''
:Soit ''X'' et ''Y'' deux éléments de ''E{{ind|H}}''. L'objectif est de montrer que la somme de Minkowski est continue en (''X'', ''Y''), c'est-à-dire :
<center><math>\forall \epsilon > 0 \quad \exists \eta >0 \quad \forall X_1,Y_2 \in E_H \quad d(X,X_1)\le \eta \quad\text{et}\quad d(Y,Y_1)\le \eta \;\Rightarrow\; d(X+Y,X_1+Y_1)\le \epsilon</math></center>

:On choisit η égal à ε/2. Soit ''x'' + ''y'' un point de ''X'' + ''Y''. Il existe un point ''x''<sub>1</sub> (resp. ''y''<sub>1</sub>) de ''X''<sub>1</sub> (resp. ''Y''<sub>1</sub>) à distance inférieure à ε/2 de ''X'' (resp. Y). Le point ''x''<sub>1</sub> + ''y''<sub>1</sub> de ''X''<sub>1</sub> + ''Y''<sub>1</sub> est nécessairement à une distance inférieure à ε de ''X'' + ''Y''. On montre de même que tout point de ''X''<sub>1</sub> + ''Y''<sub>1</sub> est à une distance inférieure de ε à ''X'' + ''Y'', ce qui montre la proposition.

Avant d'étudier la continuité de la mesure de Lebesgue, deux propositions intermédiaires simplifient la démonstration.

* '''Une suite de fermés bornés (''X''<sub>n</sub>) de ''E{{ind|H}}'', décroissante au sens de l'inclusion, est convergente au sens de Hausdorff. La limite est l'intersection des éléments de la suite :'''
:Soit ''X'' l'intersection des éléments de la suite. L'ensemble ''X'' est borné, car il est inclus dans un ensemble borné, par exemple ''X''<sub>1</sub>. L'ensemble est fermé car l'intersection de fermés est un fermé.

:Il ne reste plus qu'à montrer que si ε est un réel strictement positif, il existe un entier ''N'' tel que pour tout ''n'' plus grand que ''N'', un élément de ''X''<sub>n</sub> n'est jamais à une distance plus grande de ''X'' que ε. Par contraposé, cela revient à montrer que tout élément ''y'' qui est à une distance plus grande de ''X'' que ε n'est dans aucun ''X''<sub>n</sub>, si ''n'' est plus grand que ''n'', ou simplement que ''y'' n'est pas dans ''Y''<sub>n</sub>. Comme ''y'' n'est pas dans ''X'' et que ''X'' est l'intersection des différents ''X''<sub>n</sub>, au moins l'un de ces ensembles ne le contient pas. Notons ''X''<sub>N</sub>, l'un de ceux-là, si ''n'' est plus grand que ''N'', ''X''<sub>n</sub> est inclus dans ''X''<sub>N</sub> et ne peut contenir ''y''. On en déduit que ''X'' contient la limite de la suite (''X''<sub>n</sub>). Réciproquement la limite contient nécessairement ''X'', qui est inclus dans chaque ''X''<sub>n</sub>.

Une fois connu le comportement d'une suite décroissante pour l'inclusion, on peut démontrer la convergence de sa mesure.

* '''Soit une suite de fermés bornés (''X''<sub>n</sub>) d'éléments mesurables de ''E''<sub>H</sub>, décroissante au sens de l'inclusion. La limite ''X'' est mesurable et la mesure de ''X'' est la limite de la suite des mesures de ''X''<sub>n</sub> :'''
:''X'' est une intersection dénombrable d'ensembles mesurables, c'est un ensemble mesurable. Considérons la suite de fonctions (χ<sub>n</sub>) de ''E'' dans ''R'', où χ<sub>n</sub> est la fonction qui à ''x'' associe 0, si ''x'' n'est pas élément de ''X''<sub>1</sub> ou si ''x'' est élément de ''X''<sub>n</sub> et 1 sinon. C'est une suite de fonctions croissantes positives et qui converge simplement vers une fonction χ. Le [[théorème de convergence monotone]] montre que :
<center><math>\lim_{n \to \infty} \int_E \chi_n = \int_E \chi </math></center>

:Ce qui, en termes de mesure ensembliste prend la forme suivante et démontre la proposition :
<center><math>\lim_{n \to \infty} \mu(X_1) -\mu(X_n) = \mu(X_1) - \mu(X)\;</math></center>

Les deux propositions intermédiaires permettent de conclure. Pour montrer la semi-continuité de la mesure, il suffit de montrer que si une suite ''X''<sub>n</sub> de figures mesurables de ''E''<sub>H</sub> convergent vers une figure ''X'' alors la limite supérieure des mesures de ''X''<sub>n</sub> ne dépasse pas celle de ''X''. C'est la méthode utilisée dans la démonstration.

* '''La mesure de Lebesgue est semi-continue supérieurement:'''
:On commence par construire une suite sur lequel il est possible d'appliquer les deux lemmes. Soit ''Y''<sub>n</sub> l'[[Adhérence (mathématiques)|adhérence]] de l'union de tous les ''X''<sub>p</sub> pour ''p'' supérieur à ''n''. La suite (''Y''<sub>n</sub>) est bien une suite décroissante de fermés. Il reste à montrer qu'elle est bornée et que sa limite est bien la figure ''X''. À partir d'un certain rang, tout élément de la suite ''X''<sub>p</sub> est inclus dans ''X'' + ''B'', où ''B'' désigne la boule unité. L'union des ''X''<sub>p</sub>, si ''p'' dépasse ce rang est borné car ''X'' l'est. L'ensemble ''Y''<sub>n</sub> est une union fini ensembles bornés, les premiers ''X''<sub>p</sub> et d'un autre ensemble borné, l'union des ''X''<sub>p</sub>, quand ''p'' dépasse le rang précédent, ''Y''<sub>n</sub> est bien borné.

:Montrons que la limite de (''Y''<sub>n</sub>) est ''X''. Soit ''x'' un élément de ''X'' et ε un réel strictement positif. Comme ''x'' est élément de l'ensemble ''X'', il existe un ''N'' tel que pour tout ''n'' plus grand que ''N'' la boule de centre ''x'' et de rayon ε rencontre ''X''<sub>n</sub>. On en déduit que cette boule intersecte tous les éléments de la suite ''Y''<sub>n</sub>. Cette propriété est vraie pour tout ε, ce qui montre que ''x'' est dans l'adhérence de toutes ces unions, et nécessairement dans chaque ''Y''<sub>n</sub>, ce qui signifie qu'il appartient à l'ensemble limite. Supposons maintenant que ''y'' n'est pas dans ''X'', il n'est pas non plus dans son adhérence car ''X'' est fermé, il existe un réel ε tel que la boule de centre ''y'' et de rayon 2ε ne rencontre pas ''X''. Autrement dit, la boule de centre ''y'' et de rayon ε ne rencontre aucun membre d'une section finissante de la suite (''X''<sub>n</sub>). Ceci montre qu'à partir d'un certain rang, ''y'' n'est pas dans l'adhérence de l'union de cette section finissante et n'est dans aucun ''Y''<sub>n</sub>, si ''n'' est suffisamment élevé.

:Finalisons la démonstration. On cherche à prouver que, si ε est un réel strictement positif, il existe un entier ''N'' tel que si ''n'' est un entier plus grand que ''N'', alors la mesure de ''X''<sub>n</sub> ne dépasse pas la somme de la mesure de ''X'' et de ε. La suite des mesures de ''Y''<sub>n</sub> est une suite décroissante qui tend vers la mesure de ''X''. À partir d'un certain rang ''N'', elle ne dépasse pas somme de la mesure de ''X'' et de ε. Or aucune mesure de ''X''<sub>n</sub> ne dépasse celle de ''Y''<sub>N</sub> ce qui termine la démonstration :
<center><math>\forall n \ge N \quad \mu(X_n) \le \mu (Y_N) \le \mu (X) + \epsilon \quad\text{et}\quad \limsup_{n \to \infty} \mu(X_n) \leq \mu(X)</math></center>
{{Boîte déroulante fin}}

== Propriétés ==
La distance de Hausdorff sur ''E'' définit une distance sur l’ensemble ''K''(''E'') des compacts non vides de ''E''. ''K''(''E'') est alors un espace métrique et sa topologie dépend de celle de ''E''.

Si ''E'' est un [[espace complet]], alors ''K''(''E'') est complet<ref>{{Ouvrage|lang=en|auteur=Gerald Edgar|titre=Measure, Topology, and Fractal Geometry|passage=72|éditeur=[[Springer Science+Business Media|Springer]]|date=2008|oclc=255688131|lire en ligne={{Google Livres|dk2vruTv0_gC|page=72}}|consulté le=14/7/2022}}.</ref>. Le [[théorème du point fixe de Banach]] s'applique donc. L'application du théorème du point fixe à K(E) est à la base de l'étude d'un [[système de fonctions itérées]]. On en déduit également le [[Théorème du collage|théorème de collage.]]

Si ''E ''est un [[espace compact]], alors ''K''(''E'') est compact<ref name=":0" />.

Par conséquent, toute [[Suite (mathématiques)|suite]] <math>(A_n)_{n\in\N}</math> d’ensembles de ''K''(''E'') décroissante au sens de l’inclusion admet une [[Limite (mathématiques)|limite]] au sens de la distance de Hausdorff, à savoir <math>\bigcap_{n \in\N}{A_n}.</math>

=== Propriété ===

Le calcul de la distance de Hausdorff peut se faire en utilisant une [[carte de distances]].

=== Comparaison de squelettes ===

Selon Choi et {{Lien|langue=de|fr=Hans-Peter Seidel|texte=Seidel}}<ref>{{en}} Sung Woo Choi et Hans-Peter Seidel, « Hyperbolic Hausdorff distance for [[Squelettisation|medial axis transform]] », ''Graphics Models'', vol. 63, {{n°|5}}, 2001, {{p.|369-384}}.
</ref>, la distance de Hausdorff telle qu'elle est définie n'est pas adaptée à la comparaison de formes par leur [[Squelettisation (informatique)#Squelette pondéré|squelette pondéré]]. En effet, la [[Squelettisation (informatique)|squelettisation]] est une transformation très sensible aux perturbations apparaissant dans les formes. Même si la distance de Hausdorff de deux formes est très faible (les formes sont très similaires), leurs squelettes respectifs peuvent être très différents. Ainsi, la distance de Hausdorff entre des squelettes peut ne pas correspondre à la similarité de leurs formes d'origine.

Afin de résoudre ce problème, Choi et Seidel ont proposé de remplacer la distance euclidienne par la [[distance hyperbolique]] dans le calcul de la distance de Hausdorff.

== Notes et références ==
{{Références}}

== Voir aussi ==
=== Articles connexes ===
* [[Convergence de Gromov-Hausdorff]]
* [[Liste de fractales par dimension de Hausdorff]]
* [[Dimension de Hausdorff]]

=== Bibliographie ===
* {{en}} [[Herbert Federer]], ''Geometric Measure Theory'', Springer, rééd. 1996 {{ISBN|978-3-540-60656-7}}
* {{en}} [[James Munkres]], ''Topology; A First Course'', [[Prentice Hall]], {{2e}} impr., 1997 {{ISBN|978-9-81307682-2}}

=== Lien externe ===
{{en}} [http://cgm.cs.mcgill.ca/~godfried/teaching/cg-projects/98/normand/main.html Hausdorff distance between convex polygons]

{{portail|géométrie}}

[[Catégorie:Distance remarquable|Hausdorff]]
[[Catégorie:Imagerie numérique]]