Diffusion equation: Difference between revisions
en>Addbot m Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q6510183 |
|||
Line 1: | Line 1: | ||
''For use of "Erosion" in dermatopathology, see [[Erosion (dermatopathology)]]'' | |||
[[Image:Erosion.png|thumb|right|The erosion of the dark-blue square by a disk, resulting in the light-blue square.]] | |||
Erosion is one of two fundamental operations (the other being [[Dilation (morphology)|dilation]]) in [[morphological image processing]] from which all other morphological operations are based. It was originally defined for [[binary image]]s, later being extended to [[grayscale]] images, and subsequently to [[complete lattice]]s. | |||
== Binary erosion == | |||
In binary morphology, an image is viewed as a [[subset]] of a [[Euclidean space]] <math>\mathbb{R}^d</math> or the [[integer]] [[lattice graph|grid]] <math>\mathbb{Z}^d</math>, for some dimension ''d''. | |||
The basic idea in binary morphology is to probe an image with a simple, pre-defined shape, drawing conclusions on how this shape fits or misses the shapes in the image. This simple "probe" is called [[structuring element]], and is itself a binary image (i.e., a subset of the space or grid). | |||
Let ''E'' be a Euclidean space or an integer grid, and ''A'' a binary image in ''E''. | |||
The '''erosion''' of the binary image ''A'' by the structuring element ''B'' is defined by: | |||
::<math>A \ominus B = \{z\in E | B_{z} \subseteq A\}</math>, | |||
where ''B''<sub>''z''</sub> is the translation of ''B'' by the vector z, i.e., <math>B_z = \{b+z|b\in B\}</math>, <math>\forall z\in E</math>. | |||
When the structuring element ''B'' has a center (e.g., a disk or a square), and this center is located on the origin of ''E'', then the erosion of ''A'' by ''B'' can be understood as the locus of points reached by the center of ''B'' when ''B'' moves inside ''A''. For example, the erosion of a square of side 10, centered at the origin, by a disc of radius 2, also centered at the origin, is a square of side 6 centered at the origin. | |||
The erosion of ''A'' by ''B'' is also given by the expression: <math>A \ominus B = \bigcap_{b\in B} A_{-b}</math>. | |||
=== Example === | |||
Suppose A is a 13 x 13 matrix and B is a 3 x 3 matrix: | |||
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 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 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 | |||
Assuming that the origin B is at its center, for each pixel in A '''superimpose''' the origin of B, if B is completely contained by A the pixel is retained, else deleted. | |||
Therefore the '''Erosion''' of A by B is given by this 11 x 11 matrix. | |||
1 1 1 1 0 0 0 1 1 1 1 | |||
1 1 1 1 0 0 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 | |||
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 | |||
This means that only when B is '''completely contained''' inside A that the pixels values are retained, otherwise it gets deleted or eroded. | |||
===Properties=== | |||
* The erosion is [[Translational invariance|translation invariant]]. | |||
* It is [[increasing]], that is, if <math>A\subseteq C</math>, then <math>A\ominus B \subseteq C\ominus B</math>. | |||
* If the origin of ''E'' belongs to the structuring element ''B'', then the erosion is ''anti-extensive'', i.e., <math>A\ominus B\subseteq A</math>. | |||
* The erosion satisfies <math>(A\ominus B)\ominus C = A\ominus (B\oplus C)</math>, where <math>\oplus</math> denotes the [[dilation (morphology)|morphological dilation]]. | |||
* The erosion is [[distributive]] over [[set intersection]] | |||
==Grayscale erosion== | |||
In [[grayscale]] morphology, images are [[Function (mathematics)|functions]] mapping a [[Euclidean space]] or [[lattice graph|grid]] ''E'' into <math>\mathbb{R}\cup\{\infty,-\infty\}</math>, where <math>\mathbb{R}</math> is the set of [[real numbers|reals]], <math>\infty</math> is an element larger than any real number, and <math>-\infty</math> is an element smaller than any real number. | |||
Denoting an image by ''f(x)'' and the grayscale structuring element by ''b(x)'', where B is the space that b(x) is defined, the grayscale erosion of ''f'' by ''b'' is given by | |||
::<math>(f\ominus b)(x)=\inf_{y\in B}[f(y)-b(y-x)]</math>, | |||
where "inf" denotes the [[infimum]]. | |||
==Erosions on complete lattices== | |||
[[Complete lattice]]s are [[partially ordered set]]s, where every subset has an [[infimum]] and a [[supremum]]. In particular, it contains a [[least element]] and a [[greatest element]] (also denoted "universe"). | |||
Let <math>(L,\leq)</math> be a complete lattice, with infimum and supremum symbolized by <math>\wedge</math> and <math>\vee</math>, respectively. Its universe and least element are symbolized by ''U'' and <math>\emptyset</math>, respectively. Moreover, let <math>\{ X_{i} \}</math> be a collection of elements from ''L''. | |||
An erosion in <math>(L,\leq)</math> is any operator <math>\varepsilon: L\rightarrow L</math> that distributes over the infimum, and preserves the universe. I.e.: | |||
* <math>\bigwedge_{i}\varepsilon(X_i)=\varepsilon\left(\bigwedge_{i} X_i\right)</math>, | |||
* <math>\varepsilon(U)=U</math>. | |||
==See also== | |||
*[[Mathematical morphology]] | |||
*[[Dilation (morphology)|Dilation]] | |||
*[[Opening (morphology)|Opening]] | |||
*[[Closing (morphology)|Closing]] | |||
== References == | |||
* ''Image Analysis and Mathematical Morphology'' by Jean Serra, ISBN 0-12-637240-3 (1982) | |||
* ''Image Analysis and Mathematical Morphology, Volume 2: Theoretical Advances'' by Jean Serra, ISBN 0-12-637241-1 (1988) | |||
* ''An Introduction to Morphological Image Processing'' by Edward R. Dougherty, ISBN 0-8194-0845-X (1992) | |||
* ''Morphological Image Analysis; Principles and Applications'' by Pierre Soille, ISBN 3-540-65671-5 (1999) | |||
* R. C. Gonzalez and R. E. Woods, ''Digital image processing'', 2nd ed. Upper Saddle River, N.J.: Prentice Hall, 2002. | |||
[[Category:Image processing]] | |||
[[Category:Digital geometry]] | |||
[[Category:Mathematical morphology]] |
Revision as of 09:20, 13 March 2013
For use of "Erosion" in dermatopathology, see Erosion (dermatopathology)
Erosion 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 being extended to grayscale images, and subsequently to complete lattices.
Binary erosion
In binary morphology, an image is viewed as a subset of a Euclidean space or the integer grid , for some dimension d.
The basic idea in binary morphology is to probe an image with a simple, pre-defined shape, drawing conclusions on how this shape fits or misses the shapes in the image. This simple "probe" is called structuring element, and is itself a binary image (i.e., a subset of the space or grid).
Let E be a Euclidean space or an integer grid, and A a binary image in E. The erosion of the binary image A by the structuring element B is defined by:
where Bz is the translation of B by the vector z, i.e., , .
When the structuring element B has a center (e.g., a disk or a square), and this center is located on the origin of E, then the erosion of A by B can be understood as the locus of points reached by the center of B when B moves inside A. For example, the erosion of a square of side 10, centered at the origin, by a disc of radius 2, also centered at the origin, is a square of side 6 centered at the origin.
The erosion of A by B is also given by the expression: .
Example
Suppose A is a 13 x 13 matrix and B is a 3 x 3 matrix:
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 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 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
Assuming that the origin B is at its center, for each pixel in A superimpose the origin of B, if B is completely contained by A the pixel is retained, else deleted.
Therefore the Erosion of A by B is given by this 11 x 11 matrix.
1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 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 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
This means that only when B is completely contained inside A that the pixels values are retained, otherwise it gets deleted or eroded.
Properties
- The erosion is translation invariant.
- It is increasing, that is, if , then .
- If the origin of E belongs to the structuring element B, then the erosion is anti-extensive, i.e., .
- The erosion satisfies , where denotes the morphological dilation.
- The erosion is distributive over set intersection
Grayscale erosion
In grayscale morphology, images are functions mapping a Euclidean space or grid E into , where is the set of reals, is an element larger than any real number, and is an element smaller than any real number.
Denoting an image by f(x) and the grayscale structuring element by b(x), where B is the space that b(x) is defined, the grayscale erosion of f by b is given by
where "inf" denotes the infimum.
Erosions on complete lattices
Complete lattices are partially ordered sets, where every subset has an infimum and a supremum. In particular, it contains a least element and a greatest element (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.
An erosion in is any operator that distributes over the infimum, and preserves the universe. I.e.:
See also
References
- Image Analysis and Mathematical Morphology by Jean Serra, ISBN 0-12-637240-3 (1982)
- Image Analysis and Mathematical Morphology, Volume 2: Theoretical Advances by Jean Serra, ISBN 0-12-637241-1 (1988)
- An Introduction to Morphological Image Processing by Edward R. Dougherty, ISBN 0-8194-0845-X (1992)
- Morphological Image Analysis; Principles and Applications by Pierre Soille, ISBN 3-540-65671-5 (1999)
- R. C. Gonzalez and R. E. Woods, Digital image processing, 2nd ed. Upper Saddle River, N.J.: Prentice Hall, 2002.