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 Geometry, geometrical structures, based on set theory, lattice theory, topology, and random functions. MM is most commonly applied to digital images, but it ...
. Originally developed for binary images, it has been expanded first to
grayscale In digital photography, computer-generated imagery, and colorimetry, a greyscale (more common in Commonwealth English) or grayscale (more common in American English) image is one in which the value of each pixel is a single sample (signal), s ...
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 (mathematics), join) and an infimum (Meet (Mathematics), meet). A conditionally complete lattice satisfies at least one of these propert ...
. The dilation operation usually uses a
structuring element In mathematical morphology, a structuring element is a shape, used to probe or interact with a given image, with the purpose of drawing conclusions on how this shape fits or misses the shapes in the image. It is typically used in morphological oper ...
for probing and expanding the shapes contained in the input image.


Binary dilation

In binary morphology, dilation is a shift-invariant (
translation invariant In physics and mathematics, continuous translational symmetry is the invariance of a system of equations under any translation (without rotation). Discrete translational symmetry is invariant under discrete translation. Analogously, an operato ...
) operator, equivalent to
Minkowski addition In geometry, the Minkowski sum of two set (mathematics), sets of position vectors ''A'' and ''B'' in Euclidean space is formed by vector addition, adding each vector in ''A'' to each vector in ''B'': A + B = \ The Minkowski difference (also ''M ...
. A binary image is viewed in mathematical morphology as a
subset In mathematics, a 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 a ...
of a
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...
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 () in everyday life refers to a sense of harmonious and beautiful proportion and balance. In mathematics, the term has a more precise definition and is usually used to refer to an object that is invariant under some transformations ...
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 physics and mathematics, continuous translational symmetry is the invariance of a system of equations under any translation (without rotation). Discrete translational symmetry is invariant under discrete translation. Analogously, an operato ...
. * It is increasing, 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. Perhaps most familiar as a pr ...
. * 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 In mathematics, the associative property is a property of some binary operations that rearranging the parentheses in an expression will not change the result. In propositional logic, associativity is a valid rule of replacement for express ...
, 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 greyscale (more common in Commonwealth English) or grayscale (more common in American English) image is one in which the value of each pixel is a single sample (signal), s ...
morphology, images are functions mapping a
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...
or
grid Grid, The Grid, or GRID may refer to: Space partitioning * Regular grid, a tessellation of space with translational symmetry, typically formed from parallelograms or higher-dimensional analogs ** Grid graph, a graph structure with nodes connec ...
''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; : infima) of a subset S of a partially ordered set P is the greatest element in P that is less than or equal to each element of S, if such an element exists. If the infimum of S exists, it is unique, ...
.


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; : infima) of a subset S of a partially ordered set P is the greatest element in P that is less than or equal to each element of S, if such an element exists. If the infimum of S exists, it is unique, ...
operator can be replaced by the
maximum In mathematical analysis, the maximum and minimum of a function (mathematics), function are, respectively, the greatest and least value taken by the function. Known generically as extremum, they may be defined either within a given Interval (ma ...
. 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. Important ...
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 conditionally complete lattice satisfies at least one of these properties for bounded subsets. For compariso ...
s are
partially ordered set In mathematics, especially order theory, a partial order on a Set (mathematics), set is an arrangement such that, for certain pairs of elements, one precedes the other. The word ''partial'' is used to indicate that not every pair of elements need ...
s, where every subset has an
infimum In mathematics, the infimum (abbreviated inf; : infima) of a subset S of a partially ordered set P is the greatest element in P that is less than or equal to each element of S, if such an element exists. If the infimum of S exists, it is unique ...
and a
supremum In mathematics, the infimum (abbreviated inf; : infima) of a subset S of a partially ordered set P is the greatest element in P that is less than or equal to each element of S, if such an element exists. If the infimum of S exists, it is unique, ...
. 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 ele ...
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 duality (order theory), dually ...
(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 of the dilation of that set, :A\bullet B = (A\oplus B)\ominus B, \, where \oplus and \ominus denote the dilation and erosion, re ...
*
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 b ...
*
Mathematical morphology Mathematical morphology (MM) is a theory and technique for the analysis and processing of Geometry, geometrical structures, based on set theory, lattice theory, topology, and random functions. MM is most commonly applied to digital images, but it ...
*
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 op ...
*
Minkowski addition In geometry, the Minkowski sum of two set (mathematics), sets of position vectors ''A'' and ''B'' in Euclidean space is formed by vector addition, adding each vector in ''A'' to each vector in ''B'': A + B = \ The Minkowski difference (also ''M ...


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