Distanza di Hausdorff

Abbozzo geometria
Questa voce sull'argomento geometria è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento.

In geometria, la distanza di Hausdorff è una particolare definizione di distanza introdotta da Felix Hausdorff per misurare la distanza tra due sottoinsiemi di uno spazio metrico.

Definizione

Componenti per il calcolo della Distanza di Hausdorff fra la linea verde X e quella blu Y.

Dato uno spazio metrico X {\displaystyle X} e due sottoinsiemi A , B X {\displaystyle A,B\subseteq X} definiamo qualche quantità preliminare: si dice distanza di un punto dall'insieme A {\displaystyle A} la quantità

d ( x , A ) := inf y A d ( x , y ) {\displaystyle d(x,A):=\inf _{y\in A}d(x,y)} .

Si definisce eccedenza di A su B la quantità

e ( A , B ) := sup x A d ( x , B ) {\displaystyle e(A,B):=\sup _{x\in A}d(x,B)} .

Si definisce dunque distanza di Hausdorff tra A {\displaystyle A} e B {\displaystyle B} la quantità

d ( A , B ) := max { e ( A , B ) , e ( B , A ) } {\displaystyle d(A,B):={\mbox{max}}\{e(A,B),e(B,A)\}}

Proprietà

La distanza di Hausdorff è una funzione d : P ( X ) × P ( X ) R 0 + {\displaystyle d:P(X)\times P(X)\to \mathbb {R} _{0}^{+}} . Essa soddisfa le seguenti proprietà:

  • se A = B {\displaystyle A=B} allora d ( A , B ) = 0 {\displaystyle d(A,B)=0}
  • d ( A , B ) = d ( B , A ) {\displaystyle d(A,B)=d(B,A)}
  • d ( A , B ) d ( A , C ) + d ( C , B ) {\displaystyle d(A,B)\leq d(A,C)+d(C,B)}

Tali proprietà la rendono una pseudometrica sull'insieme delle parti di X {\displaystyle X} . Essa soddisfa anche l'ultima proprietà di una metrica (cioè d ( A , B ) = 0 {\displaystyle d(A,B)=0} implica A = B {\displaystyle A=B} ) se A {\displaystyle A} e B {\displaystyle B} sono chiusi.

Campi applicativi

La distanza di Hausdorff consente di definire un concetto di continuità per multifunzioni, cioè per funzioni F : A P ( B ) {\displaystyle F:A\to P(B)} . Se si munisce P ( B ) {\displaystyle P(B)} della distanza di Hausdorff ed A {\displaystyle A} è uno spazio quantomeno topologico, è naturale dire F {\displaystyle F} continua in x 0 {\displaystyle x_{0}} se

per ogni ϵ > 0 {\displaystyle \epsilon >0} esiste un intorno di x 0 {\displaystyle x_{0}} tale che per ogni x {\displaystyle x} in quell'intorno è d ( F ( x ) , F ( x 0 ) ) < ϵ {\displaystyle d(F(x),F(x_{0}))<\epsilon } .

Al di fuori della matematica, la distanza di Hausdorff trova utilizzo in svariati campi di ricerca tra cui la computer vision e la bioinformatica. Sovente si applicano varie metriche onde trovare una stima affidabile dell'errore.

Controllo di autoritàGND (DE) 4159236-0
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica