Double-sided probing by map of Asplund's distances using Logarithmic Image Processing in the framework of Mathematical Morphology
Guillaume Noyel (IPRI, SIGPH@iPRI), Michel Jourlin (LHC, IPRI)

TL;DR
This paper links Mathematical Morphology with Asplund's distances using Logarithmic Image Processing, showing how the distance map relates to dilations and erosions, and applies it to pattern matching.
Contribution
It introduces a novel connection between Asplund's distances and morphological operations within the Logarithmic Image Processing framework, simplifying computations with flat structuring elements.
Findings
The distance map is the logarithm of the ratio of dilation and erosion.
The approach simplifies with flat structuring elements.
Application demonstrated in pattern matching.
Abstract
We establish the link between Mathematical Morphology and the map of Asplund's distances between a probe and a grey scale function, using the Logarithmic Image Processing scalar multiplication. We demonstrate that the map is the logarithm of the ratio between a dilation and an erosion of the function by a structuring function: the probe. The dilations and erosions are mappings from the lattice of the images into the lattice of the positive functions. Using a flat structuring element, the expression of the map of Asplund's distances can be simplified with a dilation and an erosion of the image; these mappings stays in the lattice of the images. We illustrate our approach by an example of pattern matching with a non-flat structuring function.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
11institutetext: International Prevention Research Institute, 95 cours Lafayette, 69006 Lyon, France 22institutetext: Lab. H. Curien, UMR CNRS 5516, 18 rue Pr. B. Lauras, 42000 St-Etienne, France
Double-sided probing by map of Asplund’s distances using Logarithmic Image Processing in the framework of Mathematical Morphology
Guillaume Noyel 11
Michel Jourlin 1122
Abstract
We establish the link between Mathematical Morphology and the map of Asplund’s distances between a probe and a grey scale function, using the Logarithmic Image Processing scalar multiplication. We demonstrate that the map is the logarithm of the ratio between a dilation and an erosion of the function by a structuring function: the probe. The dilations and erosions are mappings from the lattice of the images into the lattice of the positive functions. Using a flat structuring element, the expression of the map of Asplund’s distances can be simplified with a dilation and an erosion of the image; these mappings stays in the lattice of the images. We illustrate our approach by an example of pattern matching with a non-flat structuring function.
Keywords:
Map of Asplund’s distances, Mathematical Morphology, dilation, erosion, Logarithmic Image Processing, Asplund’s metric, double-sided probing, pattern recognition
1 Introduction
Asplund’s metric is a useful method of pattern matching based on a double-sided probing, i.e. a probing by a greatest lower bound probe and a least upper bound probe. It was originally defined for binary shapes, or sets [1, 7], by using the smallest homothetic shape (probe) containing the shape to be analysed and the greatest homothetic probe contained by the shape. Jourlin et al. [13, 14] have extended this metric to functions and to grey-level images in the framework of the Logarithmic Image Processing (LIP) [15, 16] using a multiplicative or an additive LIP law [11]. Then, Asplund’s metric has been extended to colour and multivariate images by a marginal approach in [23, 11] or by a spatio-colour (i.e. vectorial [21, 22]) approach in [24].
Other approaches of double-sided probing have been previously defined in the framework of Mathematical Morphology [19, 27]. The well-known hit-or-miss transform [27] allows to extract all the pixels such that the first set of a structuring element fits the object while the second set misses it (i.e. fits its background). An extension based on two operations of dilation (for grey level images) has been proposed in [18]. It consists of a unique structuring element, which is used in the two dilations in order to match the signal from above and from below.
Banon et al. [2] use two structuring elements obtained by two translations of a unique template along the grey level axis. They use an erosion and an anti-dilation to count the pixels whose values are in between the two structuring elements.
Odone et al. [25] use an approach inspired by the computation of the Hausdorff distance. They consider a grey level image as a tridimensional (3D) graph. They dilate by a 3D ball a template in order to compute a 3D “interval”. Then, for any point of the image, they translate vertically the “interval” in order to contain the maximum number of points of the function and they count this number.
Barat et al. [4] present a unified framework for these last three methods. They show that they correspond to a neighbourhood of functions (i.e. a tolerance tube) with a different metric for each method. Their topological approach is named virtual double-sided image probing (VDIP) and they defined it as a difference between a grey-scale dilation and an erosion. For pattern matching, only the patterns which are in the tolerance tube are selected. It is a metric defined on the equivalence class of functions according to an additive grey level shift.
In [13], Jourlin et al. have introduced the logarithmic homothetic defined according to the LIP multiplication. This makes a compensation of the lighting variation due to a multiplicative effect, i.e. a thickening or a thinning of the object crossed by the light.
In the current paper, the important novelty introduced is the link between the map of Asplunds’ metrics defined in the LIP multiplicative framework and the operations of Mathematical Morphology. We will show that the map of Asplunds’ distances in the LIP multiplicative framework is the logarithm of the ratio between a dilation and an erosion.
This gives access to many other notions well defined in the corpus of Mathematical Morphology.
The paper is organised as follows: 1) a reminder of the main notions (LIP, Asplund’s metrics, fundamental operations and framework of Mathematical Morphology), 2) the demonstration of the link between the map of Asplund’s distances and Mathematical Morphology for flat structuring element (se) and for non-flat ones and 3) an illustration of pattern matching with Asplund’s metric.
2 Prerequisites
In the current section, we remind the different mathematical notions and frameworks to be used: LIP model, Asplund’s metric and the basis of Mathematical Morphology.
2.1 Logarithmic Image Processing (LIP)
The LIP model, created by Jourlin et al. [15, 17, 16, 10], is a mathematical framework for image processing based on the physical law of transmittance. It is perfectly suited to process images acquired with transmitted light (when the object is located between the source and the sensor) but also with reflected light, due to the consistency of the model with human vision [6]. The mathematical operations performed using the LIP model are consistent with the physical principles of image formation. Therefore the values of an image defined in stay in this bounded domain. For 8 bits images and the 256 grey levels are in the range of integers .
A grey scale image is a function defined on a domain with values in , . is a member of the space .
Due to the link with the transmittance law: , the grey-scale is inverted in the LIP framework, [math] corresponds to the white extremity of the grey scale, when no obstacle is located between the source and the sensor, while the other extremity corresponds to the black value, when the source cannot be transmitted through the obstacle.
In the LIP sense, the addition of two images corresponds to the superposition of two obstacles (objects) generating and :
[TABLE]
From this law, we deduce the LIP multiplication of by a scalar :
[TABLE]
It corresponds to a thickness change of the observed object in the ratio . If , the thickness is increased and the image becomes darker than , while if , the thickness is decreased and the image becomes brighter than .
The LIP laws satisfy strong mathematical properties. Let be the set of functions defined on with values in . We equipped it with the two logarithmic laws and (\mathcal{F}(D,[-\infty,M[),\mathbin{\ooalign{\bigtriangleup\crcr\raise 1.4pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle+}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle+}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle+}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle+}}}}}}},\mathbin{\ooalign{\bigtriangleup\crcr\raise 1.4pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}) becomes a real vector space. (\mathcal{I},\mathbin{\ooalign{\bigtriangleup\crcr\raise 1.4pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle+}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle+}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle+}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle+}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle+}}}}}}},\mathbin{\ooalign{\bigtriangleup\crcr\raise 1.4pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}) is the positive cone of this vector space [16].
There exists a colour version of the LIP model [12].
The LIP framework has been successfully applied to numerous problems for industry, medical applications, digital photography, etc. It gives access to new notions of contrast and metrics which take into account the variation of light, for example the Asplund’s metric for functions.
2.2 Asplund’s metric for functions using the LIP multiplicative law
Let us remind the novel notion of Asplund’s metric defined in [13, 14] for functions in place of sets. It consists of using the logarithmic homothetic \lambda\mathbin{\ooalign{\bigtriangleup\crcr\raise 1.4pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}f.
Let and the space of positive images be .
Definition 1
Asplund’s metric Given two images , , is chosen as the probing function for example, and we define the two numbers: \lambda=\inf\left\{\alpha,f\leq\alpha\mathbin{\ooalign{\bigtriangleup\crcr\raise 1.4pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}g\right\} and \mu=\sup\left\{\beta,\beta\mathbin{\ooalign{\bigtriangleup\crcr\raise 1.4pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}g\leq f\right\}. The corresponding “functional Asplund’s metric” d_{As}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}} (with the LIP multiplication) is:
[TABLE]
From a mathematical point of view [11], d_{As}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}} is a metric if the images are replaced by their equivalence classes f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}=\{g/\exists k>0,k\mathbin{\ooalign{\bigtriangleup\crcr\raise 1.4pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}g=f\} and g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}.
The relation (\exists k>0,k\mathbin{\ooalign{\bigtriangleup\crcr\raise 1.4pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}g=f) is clearly an equivalence relation written , because it satisfies the three properties: i) reflexivity , ii) symmetry , and iii) transitivity , and . Let us now give a rigorous definition of the multiplicative Asplund’s metric using the space of equivalence classes \mathcal{I}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}
[TABLE]
d_{As}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}(f_{1},g_{1}) is defined by eq. 3 between two elements and of the equivalence classes f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}} and g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}.
The demonstration of the metric properties are in the appendix (section 6).
Several examples have shown the interest of using Asplund’s metric for pattern matching between a template function and the function . For each point of , the distance d_{As}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}(f_{\left|D_{t}(x)\right.},t) is computed in the neighbourhood centred in , with being the restriction of to . Therefore, one can define a map of Asplund’s distances [23].
Definition 2
Map of Asplund’s distances Given a grey-level image and a probe , , their map of Asplund’s distances is:
[TABLE]
is the neighbourhood associated to centred in .
One can notice that the template is acting like a structuring element.
2.3 Short reminder on Mathematical Morphology
In this subsection we give a reminder of the basis notions used in Mathematical Morphology (MM) [19]. MM is defined in complete lattices [27, 9, 3, 5].
Definition 3
Complete lattice Given a set and a binary relation defining a partial order on , we say that is a partially ordered set or poset. is a complete lattice if any non empty subset of has a supremum (a least upper bound) and an infimum (a greatest lower bound). The infimum and the supremum will be denoted, respectively, by and . Two elements of the complete lattice are important: the least element and the greatest element .
The set of images from to , , is a complete lattice with the partial order relation , by inheritance of the complete lattice structure of . The least and greatest elements are the constant functions and whose values are equal respectively to [math] and for all elements of . The supremum and infimum are respectively, for any
[TABLE]
The set of functions is also a complete lattice with with the usual order , like the set of all subsets of , written , with the set inclusion .
Definition 4
Erosion, dilation, anti-erosion, anti-dilation [3] Given and two complete lattices, a mapping is
an erosion iff , , then we write ; 2. 2.
a dilation iff , , then we write ; 3. 3.
an anti-erosion iff , , then we write ; 4. 4.
an anti-dilation iff , , then we write .
As the definitions of these mappings apply even to the empty subset of , we have: , , and .
Erosions and dilations are increasing mappings: , while anti-erosions and anti-dilations are decreasing mappings: , .
Definition 5
Structuring element [26, 9, 29] Let us define a pulse function of level at the point :
[TABLE]
The function can be decomposed into the supremum of its pulses . It is easy to define dilations and erosions which are not translation-invariant (in the domain ). Let be a map associating to each pulse function a (functional) “window” . Then the operator defined by:
[TABLE]
is a dilation. When all ‘windows” are translation invariant (in ), they take the form with being a structuring element (or structuring function).
In this case the previously defined dilation and erosion , in the same lattice , can be simplified:
[TABLE]
is the definition domain of the structuring function . The symbols and represent the extension to functions [27] of Minkowski operations between sets [20, 8]. Notice: in the case of a flat structuring element with its values equal to zero (i.e. , ), we have and .
3 Map of Aplund’s distances and mathematical morphology
We now link the map of Asplund’s distances with Mathematical Morphology.
Given a complete lattice with the natural order , the map of the least upper bounds between the probe and the function is defined as:
[TABLE]
The map of the greatest lower bounds between the probe and the function is defined as:
[TABLE]
The two mappings and are defined between two complete lattices and with the natural order . Therefore, the least element of corresponds to the constant function equal to zero, and the greatest element is the constant function equal to , .
Using the equations 10 and 11 the map of Asplund’s distances (eq. 5) can be simplified:
[TABLE]
In addition, , , , we have:
[TABLE]
We assume that . Using equation 13, equation 10 becomes:
[TABLE]
In a similar way:
[TABLE]
3.1 Case of a flat structuring element
In the case of a flat structuring element (, ), the equations 14 and 15 can be simplified.
[TABLE]
Notice: the infimum is changed into a supremum because the function is a continuous decreasing mapping. The reflected (or transposed) domain is and the reflected structuring function is defined by the reflection of its definition domain , [28]. Similarly:
[TABLE]
With the equations 16 and 17, the map of Asplund’s distances (eq. 12) becomes:
[TABLE]
This important result shows that, with a flat probe, the map of Aplünd’s distances can be computed using logarithms and operations of morphological erosion and dilation of an image. From an implementation point of view, the programming of the map of Aplünd’s distances becomes easier, because the majority of image processing libraries contains morphological operations.
Notice: by replacing the dilation and erosion by rank-filters [26] one can compute the map of Asplund’s distances with a tolerance [14, 23].
3.2 General case: a structuring function
Using a general structuring function in the equations 14 and 15, the map of Asplund’s distances is expressed as:
[TABLE]
Let us study the properties of mappings , ,
[TABLE]
According to definition 4, 2 (p. 4), is a dilation. In addition,
[TABLE]
Similarly, we have:
[TABLE]
According to definition 4, 1 (p. 4), is an erosion. In addition,
[TABLE]
Therefore, the map of Asplund’s distances is the logarithm of the ratio between a dilation and an erosion of the function by the structuring function . The map of the least upper bounds is a dilation and the map of the greatest lower bounds is an erosion. The two maps are defined from the lattice and the lattice with their respective natural orders.
4 Illustration
In figure 1 (a), we extract a tile (i.e. the probe or the structuring function) in an image and we look for the similar ones in a darken image, , by means of a LIP multiplication of 0.3. Physically, it corresponds to an object with a stronger light absorption. Importantly, the probe has a non convex domain shape and is not flat. We compute the map of Asplund’s distances between the probe and the image with a tolerance, As_{B,p}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}f^{d}, as introduced in [14, 23]. This metric, robust to noise, is computed by discarding of the points which are the closest to the least upper bounds and to the greatest lower bounds. The tiles are located at the local minima of the distance map which are extracted by a threshold of 0.7 (fig. 1 (b)). The tiles similar to the probe, according to the Asplund’s distance, have been correctly detected (fig. 1 (c)). Notice that the domain of the probe is slightly smaller than the domain of the tiles.
5 Conclusion
In the current paper, we have shown that the map of Asplund’s distances between a probe and a function using the LIP multiplication is linked with morphological operations. The probe corresponds to a structuring function and the map of Asplund’s distances is the logarithm of the ratio between a dilation and an erosion of the function by the structuring function into the lattice of positive functions . The dilation is the map of the least upper bounds , between the function and the probe , while the erosion is the map of the greatest lower bounds .
The dilation and the erosion are mappings between the complete lattices of the images and the lattice with the natural order. When using a flat structuring element, the expression of the map of Asplund’s distances can be simplified with a dilation and an erosion of the image into the same lattice of the images . An example of pattern matching has been presented with a non-flat structuring function.
The obtained results set the pattern matching approach by Asplund’s distances in the well established framework of Mathematical Morphology. The current reasoning can be extended to the double-sided probing by Asplund’s distances for colour and multivariate images using the LIP multiplicative or the LIP additive framework [23, 11, 24]. This will be presented in a coming paper.
6 Appendix
Le us demonstrate that the Aplünd’s metric d_{As}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}} is a metric in the space of equivalence classes \mathcal{I}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}. In order to be a metric on (\mathcal{I}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}\times\mathcal{I}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}})\rightarrow\mathbb{R}^{+}, d_{As}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}} must satisfy the four following properties:
(positivity): \forall f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}\neq g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}\in\mathcal{I}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}, , \lambda\mathbin{\ooalign{\bigtriangleup\crcr\raise 1.4pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}(x)>\mu\mathbin{\ooalign{\bigtriangleup\crcr\raise 1.4pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}(x) (def. 3, p. 3), because g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}>0
because \mathcal{I}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}} is an ordered set with the order
\Rightarrow\forall f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}\neq g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}\in\mathcal{I}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}, d_{As}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}(f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}},g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}})>0. 2. 2.
(Axiom of separation):
[TABLE]
Reciprocally:
[TABLE]
Eq. 24 and 25 \left\{\forall f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}},g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}\in\mathcal{I}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}\right., \left.d_{As}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}(f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}},g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}})=0\Leftrightarrow f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}=g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}\right\}. 3. 3.
(Triangle inequality): Let us define: d_{As}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}(f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}},g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}})=\ln(\lambda_{1}/\mu_{1}), d_{As}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}(g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}},h^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}})=\ln(\lambda_{2}/\mu_{2}) and d_{As}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}(f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}},h^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}})=\ln(\lambda_{3}/\mu_{3}). We have
[TABLE]
[TABLE]
[TABLE]
In the same way:
[TABLE]
\Rightarrow\forall f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}},g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}},h^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}\in\mathcal{I}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}},d_{As}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}(f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}},h^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}})\leq d_{As}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}(f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}},g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}})+d_{As}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}(g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}},h^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}). 4. 4.
(Axiom of symmetry): Let us define: d_{As}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}(f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}},g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}})=\ln(\lambda_{1}/\mu_{1}), d_{As}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}(g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}},f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}})=\ln(\lambda_{2}/\mu_{2}).
Def. 3 \lambda_{1}=\inf\left\{k:\forall x,g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}\geq\frac{1}{k}\mathbin{\ooalign{\bigtriangleup\crcr\raise 1.4pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}\right\}, because
\Rightarrow\frac{1}{\lambda_{1}}=\sup\left\{k^{\prime}:\forall x,g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}\geq k^{\prime}\mathbin{\ooalign{\bigtriangleup\crcr\raise 1.4pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}\right\} .
In the same way, we have .
Therefore, \forall f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}},g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}\in\mathcal{I}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}, d_{As}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}(f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}},g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}})=\ln(\lambda_{1}/\mu_{1})=\ln(\lambda_{2}/\mu_{2})=d_{As}^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}(g^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}},f^{\mathbin{\ooalign{\bigtriangleup\crcr\raise 0.98pt\hbox{\mathchoice{\scalebox{1.0}[0.7]{\displaystyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\textstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}{\scalebox{1.0}[0.7]{\scriptscriptstyle\mathchoice{\scalebox{0.7}[1.0]{\displaystyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\textstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptstyle\scriptscriptstyle\times}}{\scalebox{0.7}[1.0]{\scriptscriptstyle\scriptscriptstyle\times}}}}}}}}).
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] Asplund, E.: Comparison between plane symmetric convex bodies and parallelograms. Mathematica Scandinavica 8, 171–180 (1960)
- 2[2] Banon, G.J.F., Faria, S.D.: Morphological approach for template matching. In: Proceedings X Brazilian Symposium on Computer Graphics and Image Processing. pp. 171–178 (Oct 1997)
- 3[3] Banon, G.J.F., Barrera, J.: Decomposition of mappings between complete lattices by mathematical morphology, part i. general lattices. Signal Processing 30(3), 299 – 327 (1993), http://www.sciencedirect.com/science/article/pii/0165168493900153
- 4[4] Barat, C., Ducottet, C., Jourlin, M.: Virtual double-sided image probing: A unifying framework for non-linear grayscale pattern matching. Pattern Recognition 43(10), 3433 – 3447 (2010), http://www.sciencedirect.com/science/article/pii/S 0031320310001962
- 5[5] Birkhoff, G.: Lattice Theory, American Mathematical Society Colloquium Publications, vol. 25. American Mathematical Society, Providence, RI, 3 edn. (1967)
- 6[6] Brailean, J., Sullivan, B., Chen, C., Giger, M.: Evaluating the EM algorithm for image processing using a human visual fidelity criterion. In: Acoustics, Speech, and Signal Processing, 1991. ICASSP-91., 1991 International Conference on. pp. 2957–2960 vol.4 (Apr 1991)
- 7[7] Grünbaum, B.: Measures of symmetry for convex sets. In: Proceedings of Symposia in Pure Mathematics. pp. 233–270 vol.7 (1963)
- 8[8] Hadwiger, H.: Vorlesungen über Inhalt, Oberfläche und Isoperimetrie. Grundlehren der mathematischen Wissenschaften, Springer (1957)
