Mathematical Morphological Distributive Concepts over Unions and Intersections

Abstract

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.

Keywords

Share and Cite:

Ackora-Prah, J. , Acquah, R. and Ayekple, Y. (2016) Mathematical Morphological Distributive Concepts over Unions and Intersections. Advances in Pure Mathematics, 6, 633-637. doi: 10.4236/apm.2016.610052.

1. Introduction

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  ,  . Matheron and Serra also used the techniques in texture and image analysis  ,  . In our recent paper titled “Revised Mathematical Morphological Concepts”  , 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  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.

2. Preliminaries

2.1. Definitions

The following definitions are important for our purpose.

Definition 1 (Dilation) Let the image set X and the structuring element B be subsets of the discrete space : , . The dilation of X by B is defined as ; or the Dilation of a binary image A by struc- ture element B, is .

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, .

Definition 2 (Erosion) Let the image set X and the structuring element B be subsets of the discrete space : , . The erosion of X by B is defined as ; or the Erosion of a binary image A by structure element B, is .

Similarly erosion transform allows image objects to shrink in size, that is, .

2.2. Algebraic Properties of Dilation and Erosion

We note that Dilation is commutative and associative, that is, and , where as Erosion is non-commutative and non-associative, that is, and respectively.

Furthermore, Dilation and Erosion are both translation invariant, that is, if x is a vector belonging to A and B ( , ), then and

. Also both Dilation and Erosion are increasing in A, that is, if an image set is a subset of (), then and

. However, Erosion is decreasing in B, that is, if a structuring element is a subset of (), then. Dilation and Erosion trans- forms are duals of each other, that is, and. Di- lation and Erosion are also not the inverse of each other, that is, and. Both the dilation and erosion transforms have an identity set, I, such that and. Dilation transform has an empty set, that is, such that.

3. Results

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.

The Distribution of Morphological Operators over Set Union and Intersection

Theorem 1 (The distribution of Dilation over union with n distinct structural ele- ments)

If

Then

Proof:

If

Then

This implies

Let assume that if

Then

Now we show that if

Then

Theorem 2 (The distribution of Erosion over union with n distinct structural ele- ments)

If

Then

Proof:

If

Then

This implies

Let assume that if

Then

Now we show that if

Then

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.

Theorem 3 (Non-distribution of Erosion over intersection)

If

Then

Proof:

If

Then

This implies

Let assume that if

Then

Now we show that if

Then

Theorem 4 (Non-distribution of Dilation over intersection)

If

Then

Proof:

If

Then

This implies

Let assume that if

Then,

Now, we show that if

Then,

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.

4. Conclusion

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.

Conflicts of Interest

The authors declare no conflicts of interest.

  Matheron, G. (1975) Random Sets and Integral Geometry. Wiley, New York.  Minkowski, H. (1903) Vorlumen und Oberflache. Mathematische Annalen, 57, 447-495. http://dx.doi.org/10.1007/BF01445180  Serra, J.C. (1982) Image Analysis and Mathematical Morphology. Academic Press, New York.  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     customer@scirp.org +86 18163351462(WhatsApp) 1655362766  Paper Publishing WeChat 