<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">APM</journal-id><journal-title-group><journal-title>Advances in Pure Mathematics</journal-title></journal-title-group><issn pub-type="epub">2160-0368</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/apm.2016.610052</article-id><article-id pub-id-type="publisher-id">APM-70529</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Mathematical Morphological Distributive Concepts over Unions and Intersections
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Joseph</surname><given-names>Ackora-Prah</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Robert</surname><given-names>K. Acquah</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Yao</surname><given-names>Elikem Ayekple</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>Department of Mathematics, Kwame Nkrumah University of Science and Technology, Kumasi, Ghana</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>jaackora-prah.cos@knust.edu.gh(JA)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>12</day><month>09</month><year>2016</year></pub-date><volume>06</volume><issue>10</issue><fpage>633</fpage><lpage>637</lpage><history><date date-type="received"><day>April</day>	<month>6,</month>	<year>2016</year></date><date date-type="rev-recd"><day>Accepted:</day>	<month>September</month>	<year>10,</year>	</date><date date-type="accepted"><day>September</day>	<month>13,</month>	<year>2016</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  Mathematical Morphological concepts outline techniques for analysing and processing geometric structures based on set theory. In this paper, we present proofs of our theorems on morphological distributive properties over Unions and Intersections with respect to Dilation and Erosion. These results provide new realizations of Dilation, Erosion and conclude that they are distributive over Unions but non-distributive over Intersections.
 
</p></abstract><kwd-group><kwd>Mathematical Morphology</kwd><kwd> Dilation</kwd><kwd> Distributive</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Mathematical Morphology is a tool for the extraction of components of images used to describe and represent skeletons, boundaries etc., which involves techniques like morphological thinning, pruning and filtering. Morphological concepts date back to works done by Matheron and Minkowski who used binary mathematical morphology on integral geometry [<xref ref-type="bibr" rid="scirp.70529-ref1">1</xref>] , [<xref ref-type="bibr" rid="scirp.70529-ref2">2</xref>] . Matheron and Serra also used the techniques in texture and image analysis [<xref ref-type="bibr" rid="scirp.70529-ref1">1</xref>] , [<xref ref-type="bibr" rid="scirp.70529-ref3">3</xref>] . In our recent paper titled “Revised Mathematical Morphological Concepts” [<xref ref-type="bibr" rid="scirp.70529-ref4">4</xref>] , we outlined in details some mathematical morphological operators and their algebraic structures when they are linked with unions and intersections. We showed that the partitioning of structural elements before morphological operations is possible. In this paper, we present results on the distributive properties of Dilation and Erosion over unions and intersections. This paper is a continuation of the revised mathematical morphological concept [<xref ref-type="bibr" rid="scirp.70529-ref4">4</xref>] and hence most of the concepts that were developed and discussed in it will be used here without explaining. Therefore, we urge that you read it before going through this paper.</p></sec><sec id="s2"><title>2. Preliminaries</title><sec id="s2_1"><title>2.1. Definitions</title><p>The following definitions are important for our purpose.</p><p>Definition 1 (Dilation) Let the image set X and the structuring element B be subsets of the discrete space<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x2.png" xlink:type="simple"/></inline-formula>:<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x3.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x4.png" xlink:type="simple"/></inline-formula>. The dilation of X by B is defined as</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x5.png" xlink:type="simple"/></inline-formula>; or the Dilation of a binary image A by struc- ture element B, is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x6.png" xlink:type="simple"/></inline-formula>.</p><p>The dilation transform generally causes image objects to grow in size. From the defi- nitions above, dilation is equivalent to a union of translates of the original image with respect to the structure element, that is,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x7.png" xlink:type="simple"/></inline-formula>.</p><p>Definition 2 (Erosion) Let the image set X and the structuring element B be subsets of the discrete space<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x8.png" xlink:type="simple"/></inline-formula>:<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x9.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x10.png" xlink:type="simple"/></inline-formula>. The erosion of X by B is defined as</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x11.png" xlink:type="simple"/></inline-formula>; or the Erosion of a binary image A by structure element B, is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x12.png" xlink:type="simple"/></inline-formula>.</p><p>Similarly erosion transform allows image objects to shrink in size, that is,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x13.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s2_2"><title>2.2. Algebraic Properties of Dilation and Erosion</title><p>We note that Dilation is commutative and associative, that is, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x14.png" xlink:type="simple"/></inline-formula>and</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x15.png" xlink:type="simple"/></inline-formula>, where as Erosion is non-commutative and non-associative, that is, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x16.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x17.png" xlink:type="simple"/></inline-formula> respectively.</p><p>Furthermore, Dilation and Erosion are both translation invariant, that is, if x is a vector belonging to A and B (<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x18.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x19.png" xlink:type="simple"/></inline-formula>), then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x19.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x20.png" xlink:type="simple"/></inline-formula> and</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x21.png" xlink:type="simple"/></inline-formula>. Also both Dilation and Erosion are increasing in A, that is, if an image set <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x22.png" xlink:type="simple"/></inline-formula> is a subset of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x23.png" xlink:type="simple"/></inline-formula> (<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x24.png" xlink:type="simple"/></inline-formula>), then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x25.png" xlink:type="simple"/></inline-formula> and</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x26.png" xlink:type="simple"/></inline-formula>. However, Erosion is decreasing in B, that is, if a structuring element <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x27.png" xlink:type="simple"/></inline-formula> is a subset of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x28.png" xlink:type="simple"/></inline-formula> (<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x29.png" xlink:type="simple"/></inline-formula>), then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x30.png" xlink:type="simple"/></inline-formula>. Dilation and Erosion trans- forms are duals of each other, that is, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x31.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x32.png" xlink:type="simple"/></inline-formula>. Di- lation and Erosion are also not the inverse of each other, that is, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x32.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x33.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x32.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x33.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x34.png" xlink:type="simple"/></inline-formula>. Both the dilation and erosion transforms have an identity set, I, such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x32.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x33.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x35.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x32.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x33.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x36.png" xlink:type="simple"/></inline-formula>. Dilation transform has an empty set, that is, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x32.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x33.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x37.png" xlink:type="simple"/></inline-formula>such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x32.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x33.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x37.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x38.png" xlink:type="simple"/></inline-formula>.</p></sec></sec><sec id="s3"><title>3. Results</title><p>We present results of the distribution of morphological operators over set unions and intersections of two different sets and their extensions. The theorems and their proofs below will facilitate the understanding of the various results.</p>The Distribution of Morphological Operators over Set Union and Intersection<p>Theorem 1 (The distribution of Dilation over union with n distinct structural ele- ments)</p><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x39.png" xlink:type="simple"/></inline-formula></p><p>Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x40.png" xlink:type="simple"/></inline-formula></p><p>Proof:</p><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x41.png" xlink:type="simple"/></inline-formula></p><p>Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x42.png" xlink:type="simple"/></inline-formula></p><p>This implies <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x43.png" xlink:type="simple"/></inline-formula></p><p>Let assume that if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x44.png" xlink:type="simple"/></inline-formula></p><p>Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x45.png" xlink:type="simple"/></inline-formula></p><p>Now we show that if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x46.png" xlink:type="simple"/></inline-formula></p><p>Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x47.png" xlink:type="simple"/></inline-formula></p><p>Theorem 2 (The distribution of Erosion over union with n distinct structural ele- ments)</p><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x48.png" xlink:type="simple"/></inline-formula></p><p>Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x49.png" xlink:type="simple"/></inline-formula></p><p>Proof:</p><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x50.png" xlink:type="simple"/></inline-formula></p><p>Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x51.png" xlink:type="simple"/></inline-formula></p><p>This implies <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x52.png" xlink:type="simple"/></inline-formula></p><p>Let assume that if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x53.png" xlink:type="simple"/></inline-formula></p><p>Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x54.png" xlink:type="simple"/></inline-formula></p><p>Now we show that if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x55.png" xlink:type="simple"/></inline-formula></p><p>Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x56.png" xlink:type="simple"/></inline-formula></p><p>The dilation of a set of two different structural elements and taking the union is the same as taking the union of the structural element and dilating with the set. This shows that morphological dilation distributes over set unions. It also leads to the fact that; if any structural element can be partitioned into n distinct parts then the union of each of the partitions dilation with the set is the same as the set’s dilation with the structural element. We note also that provided any structural element can be partitioned into n distinct parts, then the union of each of the partition’s erosion with the set is equal to the set’s erosion with the structural element.</p><p>Theorem 3 (Non-distribution of Erosion over intersection)</p><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x57.png" xlink:type="simple"/></inline-formula></p><p>Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x58.png" xlink:type="simple"/></inline-formula></p><p>Proof:</p><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x59.png" xlink:type="simple"/></inline-formula></p><p>Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x60.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.70529-formula311"><graphic  xlink:href="http://html.scirp.org/file/2-5301105x61.png"  xlink:type="simple"/></disp-formula><p>This implies <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x62.png" xlink:type="simple"/></inline-formula></p><p>Let assume that if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x63.png" xlink:type="simple"/></inline-formula></p><p>Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x64.png" xlink:type="simple"/></inline-formula></p><p>Now we show that if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x65.png" xlink:type="simple"/></inline-formula></p><p>Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x66.png" xlink:type="simple"/></inline-formula></p><p>Theorem 4 (Non-distribution of Dilation over intersection)</p><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x67.png" xlink:type="simple"/></inline-formula></p><p>Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x68.png" xlink:type="simple"/></inline-formula></p><p>Proof:</p><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x69.png" xlink:type="simple"/></inline-formula></p><p>Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x70.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.70529-formula312"><graphic  xlink:href="http://html.scirp.org/file/2-5301105x71.png"  xlink:type="simple"/></disp-formula><p>This implies <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x72.png" xlink:type="simple"/></inline-formula></p><p>Let assume that if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x73.png" xlink:type="simple"/></inline-formula></p><p>Then, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x74.png" xlink:type="simple"/></inline-formula></p><p>Now, we show that if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x75.png" xlink:type="simple"/></inline-formula></p><p>Then, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-5301105x76.png" xlink:type="simple"/></inline-formula></p><p>The intersection of the erosion of a set with structural elements is equivalent to the union of the structural elements on the erosion of the set. We note that since we are supposed to take the union instead of the intersection, it shows that morphological erosion is non-distributed over set intersection. Similar arguments hold for dilation which leads to the non-distributive property of dilation over intersection.</p></sec><sec id="s4"><title>4. Conclusion</title><p>We have presented theorems and their proofs on morphological distribution properties over unions and intersections. Our results show that Dilation and Erosion are distri- butive over unions but non-distributive over intersections. In addition, our theorems facilitate the partitioning of structural elements in order to implement morphological operations.</p></sec><sec id="s5"><title>Cite this paper</title><p>Ackora-Prah, J., Acquah, R.K. and Ayekple, Y.E. (2016) Mathe- matical Morphological Distributive Concepts over Unions and Intersections. Advances in Pure Mathematics, 6, 633-637. http://dx.doi.org/10.4236/apm.2016.610052</p></sec></body><back><ref-list><title>References</title><ref id="scirp.70529-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Matheron, G. (1975) Random Sets and Integral Geometry. Wiley, New York.</mixed-citation></ref><ref id="scirp.70529-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Minkowski, H. (1903) Vorlumen und Oberflache. Mathematische Annalen, 57, 447-495. http://dx.doi.org/10.1007/BF01445180</mixed-citation></ref><ref id="scirp.70529-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Serra, J.C. (1982) Image Analysis and Mathematical Morphology. Academic Press, New York.</mixed-citation></ref><ref id="scirp.70529-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Ackora-Prah, J., Ayekple, E., Acquah, R., Andam, P., Sakyi, E. and Gyamfi, D. (2015) Revised Mathematical Morphological Concepts. Advances in Pure Mathematics, 5, 155-161. http://dx.doi.org/10.4236/apm.2015.54019</mixed-citation></ref></ref-list></back></article>