HOME

TheInfoList



OR:

Dilation (usually represented by ⊕) is one of the basic operations in
mathematical morphology Mathematical morphology (MM) is a theory and technique for the analysis and processing of geometrical structures, based on set theory, lattice theory, topology, and random functions. MM is most commonly applied to digital images, but it can be empl ...
. Originally developed for binary images, it has been expanded first to
grayscale In digital photography, computer-generated imagery, and colorimetry, a grayscale image is one in which the value of each pixel is a single sample representing only an ''amount'' of light; that is, it carries only intensity information. Graysca ...
images, and then to
complete lattices In mathematics, a complete lattice is a partially ordered set in which ''all'' subsets have both a supremum (join) and an infimum (meet). A lattice which satisfies at least one of these properties is known as a ''conditionally complete lattice.'' S ...
. The dilation operation usually uses a structuring element for probing and expanding the shapes contained in the input image.


Binary dilation

In binary morphology, dilation is a shift-invariant (
translation invariant In geometry, to translate a geometric figure is to move it from one place to another without rotating it. A translation "slides" a thing by . In physics and mathematics, continuous translational symmetry is the invariance of a system of equat ...
) operator, equivalent to
Minkowski addition In geometry, the Minkowski sum (also known as dilation) of two sets of position vectors ''A'' and ''B'' in Euclidean space is formed by adding each vector in ''A'' to each vector in ''B'', i.e., the set : A + B = \. Analogously, the Minkowski ...
. A binary image is viewed in mathematical morphology as a
subset In mathematics, Set (mathematics), set ''A'' is a subset of a set ''B'' if all Element (mathematics), elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are ...
of a
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics ther ...
R''d'' or the integer grid Z''d'', for some dimension ''d''. Let ''E'' be a Euclidean space or an integer grid, ''A'' a binary image in ''E'', and ''B'' a structuring element regarded as a subset of R''d''. The dilation of ''A'' by ''B'' is defined by ::A \oplus B = \bigcup_ A_b, where ''A''''b'' is the translation of ''A'' by ''b''. Dilation is commutative, also given by A \oplus B = B\oplus A = \bigcup_ B_a. If ''B'' has a center on the origin, then the dilation of ''A'' by ''B'' can be understood as the locus of the points covered by ''B'' when the center of ''B'' moves inside ''A''. The dilation of a square of size 10, centered at the origin, by a disk of radius 2, also centered at the origin, is a square of side 14, with rounded corners, centered at the origin. The radius of the rounded corners is 2. The dilation can also be obtained by A \oplus B = \, where ''B''''s'' denotes the
symmetric Symmetry (from grc, συμμετρία "agreement in dimensions, due proportion, arrangement") in everyday language refers to a sense of harmonious and beautiful proportion and balance. In mathematics, "symmetry" has a more precise definiti ...
of ''B'', that is, B^s=\.


Example

Suppose A is the following 11 x 11 matrix and B is the following 3 x 3 matrix: 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 1 1 1 1 0 1 1 1 0 1 1 0 0 0 1 1 1 1 0 1 1 1 0 1 1 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 For each pixel in A that has a value of 1, superimpose B, with the center of B aligned with the corresponding pixel in A. Each pixel of every superimposed B is included in the dilation of A by B. The dilation of A by B is given by this 11 x 11 matrix. 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0


Properties of binary dilation

Here are some properties of the binary dilation operator * It is
translation invariant In geometry, to translate a geometric figure is to move it from one place to another without rotating it. A translation "slides" a thing by . In physics and mathematics, continuous translational symmetry is the invariance of a system of equat ...
. * It is
increasing In mathematics, a monotonic function (or monotone function) is a function between ordered sets that preserves or reverses the given order. This concept first arose in calculus, and was later generalized to the more abstract setting of order ...
, that is, if A\subseteq C, then A\oplus B \subseteq C\oplus B. * It is
commutative In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Most familiar as the name o ...
. * If the origin of ''E'' belongs to the structuring element ''B'', then it is extensive, i.e., A\subseteq A\oplus B. * It is associative, i.e., (A\oplus B)\oplus C = A\oplus (B\oplus C). * It is distributive over
set union In set theory, the union (denoted by ∪) of a collection of sets is the set of all elements in the collection. It is one of the fundamental operations through which sets can be combined and related to each other. A refers to a union of ze ...


Grayscale dilation

In
grayscale In digital photography, computer-generated imagery, and colorimetry, a grayscale image is one in which the value of each pixel is a single sample representing only an ''amount'' of light; that is, it carries only intensity information. Graysca ...
morphology, images are functions mapping a
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics ther ...
or
grid Grid, The Grid, or GRID may refer to: Common usage * Cattle grid or stock grid, a type of obstacle is used to prevent livestock from crossing the road * Grid reference, used to define a location on a map Arts, entertainment, and media * News g ...
''E'' into \mathbb\cup\, where \mathbb is the set of reals, \infty is an element greater than any real number, and -\infty is an element less than any real number. Grayscale structuring elements are also functions of the same format, called "structuring functions". Denoting an image by ''f''(''x'') and the structuring function by ''b''(''x''), the grayscale dilation of ''f'' by ''b'' is given by ::(f\oplus b)(x)=\sup_ (y)+b(x-y) where "sup" denotes the
supremum In mathematics, the infimum (abbreviated inf; plural infima) of a subset S of a partially ordered set P is a greatest element in P that is less than or equal to each element of S, if such an element exists. Consequently, the term ''greatest l ...
.


Flat structuring functions

It is common to use flat structuring elements in morphological applications. Flat structuring functions are functions ''b''(''x'') in the form ::b(x)=\left\{\begin{array}{ll}0,&x\in B,\\-\infty,&\text{otherwise},\end{array}\right. where B\subseteq E. In this case, the dilation is greatly simplified, and given by ::(f\oplus b)(x)=\sup_{y\in E} (y)+b(x-y)\sup_{z\in E} (x-z)+b(z)\sup_{z\in B} (x-z) (Suppose ''x'' = (''px'', ''qx''), ''z'' = (''pz'', ''qz''), then ''x'' − ''z'' = (''px'' − ''pz'', ''qx'' − ''qz'').) In the bounded, discrete case (''E'' is a grid and ''B'' is bounded), the
supremum In mathematics, the infimum (abbreviated inf; plural infima) of a subset S of a partially ordered set P is a greatest element in P that is less than or equal to each element of S, if such an element exists. Consequently, the term ''greatest l ...
operator can be replaced by the
maximum In mathematical analysis, the maxima and minima (the respective plurals of maximum and minimum) of a function, known collectively as extrema (the plural of extremum), are the largest and smallest value of the function, either within a given r ...
. Thus, dilation is a particular case of
order statistics In statistics, the ''k''th order statistic of a statistical sample is equal to its ''k''th-smallest value. Together with rank statistics, order statistics are among the most fundamental tools in non-parametric statistics and inference. Impor ...
filters, returning the maximum value within a moving window (the symmetric of the structuring function support ''B'').


Dilation on complete lattices

Complete lattice In mathematics, a complete lattice is a partially ordered set in which ''all'' subsets have both a supremum (join) and an infimum (meet). A lattice which satisfies at least one of these properties is known as a ''conditionally complete lattice.'' ...
s are
partially ordered set In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a Set (mathematics), set. A poset consists of a set toget ...
s, where every subset has an
infimum In mathematics, the infimum (abbreviated inf; plural infima) of a subset S of a partially ordered set P is a greatest element in P that is less than or equal to each element of S, if such an element exists. Consequently, the term ''greatest lo ...
and a
supremum In mathematics, the infimum (abbreviated inf; plural infima) of a subset S of a partially ordered set P is a greatest element in P that is less than or equal to each element of S, if such an element exists. Consequently, the term ''greatest l ...
. In particular, it contains a
least element In mathematics, especially in order theory, the greatest element of a subset S of a partially ordered set (poset) is an element of S that is greater than every other element of S. The term least element is defined dually, that is, it is an elem ...
and a
greatest element In mathematics, especially in order theory, the greatest element of a subset S of a partially ordered set (poset) is an element of S that is greater than every other element of S. The term least element is defined dually, that is, it is an eleme ...
(also denoted "universe"). Let (L,\leq) be a complete lattice, with infimum and supremum symbolized by \wedge and \vee, respectively. Its universe and least element are symbolized by ''U'' and \varnothing, respectively. Moreover, let \{ X_{i} \} be a collection of elements from ''L''. A dilation is any operator \delta: L\rightarrow L that distributes over the supremum, and preserves the least element. That is, the following are true: * \bigvee_i\delta(X_i)=\delta\left(\bigvee_i X_i\right), * \delta(\varnothing)=\varnothing.


See also

*
Buffer (GIS) In geographic information systems (GIS) and spatial analysis, buffer analysis is the determination of a zone around a geographic feature containing locations that are within a specified distance of that feature, the buffer zone (or just buffer). A ...
*
Closing (morphology) In mathematical morphology, the closing of a set (binary image) ''A'' by a structuring element ''B'' is the erosion (morphology), erosion of the dilation (morphology), dilation of that set, :A\bullet B = (A\oplus B)\ominus B, \, where \oplus an ...
*
Erosion (morphology) Erosion (usually represented by ⊖) is one of two fundamental operations (the other being dilation) in morphological image processing from which all other morphological operations are based. It was originally defined for binary images, later bei ...
*
Mathematical morphology Mathematical morphology (MM) is a theory and technique for the analysis and processing of geometrical structures, based on set theory, lattice theory, topology, and random functions. MM is most commonly applied to digital images, but it can be empl ...
*
Opening (morphology) In mathematical morphology, opening is the dilation of the erosion of a set A by a structuring element B: :A\circ B = (A\ominus B)\oplus B, \, where \ominus and \oplus denote erosion and dilation, respectively. Together with closing, the ope ...
*
Minkowski addition In geometry, the Minkowski sum (also known as dilation) of two sets of position vectors ''A'' and ''B'' in Euclidean space is formed by adding each vector in ''A'' to each vector in ''B'', i.e., the set : A + B = \. Analogously, the Minkowski ...


Bibliography

* ''Image Analysis and Mathematical Morphology'' by Jean Serra, (1982) * ''Image Analysis and Mathematical Morphology, Volume 2: Theoretical Advances'' by Jean Serra, (1988) * ''An Introduction to Morphological Image Processing'' by Edward R. Dougherty, (1992) {{DEFAULTSORT:Dilation (Morphology) Mathematical morphology Digital geometry