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
::
where ''A''
''b'' is the translation of ''A'' by ''b''.
Dilation is commutative, also given by
.
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
, 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,
.
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
, then
.
* 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.,
.
* It is
associative, i.e.,
.
* 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
, where
is the set of
reals,
is an element greater than any real number, and
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
::
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
::
where
.
In this case, the dilation is greatly simplified, and given by
::
(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
be a complete lattice, with infimum and supremum symbolized by
and
, respectively. Its universe and least element are symbolized by ''U'' and
, respectively. Moreover, let
be a collection of elements from ''L''.
A dilation is any operator
that distributes over the supremum, and preserves the least element. That is, the following are true:
*
*
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