Hutchinson metric

From HandWiki
A Julia set, a fractal related to the Mandelbrot set
A fractal that models the surface of a mountain (animation)

In mathematics, the Hutchinson metric otherwise known as Kantorovich metric is a function which measures "the discrepancy between two images for use in fractal image processing" and "can also be applied to describe the similarity between DNA sequences expressed as real or complex genomic signals".[1][2]

Formal definition

Consider only nonempty, compact, and finite metric spaces. For such a space [math]\displaystyle{ X }[/math], let [math]\displaystyle{ P(X) }[/math] denote the space of Borel probability measures on [math]\displaystyle{ X }[/math], with

[math]\displaystyle{ \delta : X \rightarrow P(X) }[/math]

the embedding associating to [math]\displaystyle{ x \in X }[/math] the point measure [math]\displaystyle{ \delta_x }[/math]. The support [math]\displaystyle{ |\mu| }[/math] of a measure in [math]\displaystyle{ P(X) }[/math] is the smallest closed subset of measure 1.

If [math]\displaystyle{ f : X_1 \rightarrow X_2 }[/math] is Borel measurable then the induced map

[math]\displaystyle{ f_* : P(X_1) \rightarrow P(X_2) }[/math]

associates to [math]\displaystyle{ \mu }[/math] the measure [math]\displaystyle{ f_*(\mu) }[/math] defined by

[math]\displaystyle{ f_*(\mu)(B)= \mu(f^{-1}(B)) }[/math]

for all [math]\displaystyle{ B }[/math] Borel in [math]\displaystyle{ X_2 }[/math].

Then the Hutchinson metric is given by

[math]\displaystyle{ d(\mu_1,\mu_2) = \sup \left\lbrace \int u(x) \, \mu_1(dx) - \int u(x) \, \mu_2(dx) \right\rbrace }[/math]

where the [math]\displaystyle{ \sup }[/math] is taken over all real-valued functions [math]\displaystyle{ u }[/math] with Lipschitz constant [math]\displaystyle{ \le\!1. }[/math]

Then [math]\displaystyle{ \delta }[/math] is an isometric embedding of [math]\displaystyle{ X }[/math] into [math]\displaystyle{ P(X) }[/math], and if [math]\displaystyle{ f : X_1 \rightarrow X_2 }[/math] is Lipschitz then [math]\displaystyle{ f_* : P(X_1) \rightarrow P(X_2) }[/math] is Lipschitz with the same Lipschitz constant.[3]

See also

Sources and notes

  1. Drakopoulos, V.; Nikolaou, N. P. (December 2004). "Efficient computation of the Hutchinson metric between digitized images". IEEE Transactions on Image Processing 13 (12): 1581–1588. doi:10.1109/tip.2004.837550. PMID 15575153. 
  2. Hutchinson Metric in Fractal DNA Analysis -- a Neural Network Approach
  3. "Invariant Measures for Set-Valued Dynamical Systems" Walter Miller; Ethan Akin Transactions of the American Mathematical Society, Vol. 351, No. 3. (March 1999), pp. 1203–1225]