Fuzzy Relational Mathematical Morphology: Erosion and Dilation

Abstract

In the recent years, the subject if fuzzy mathematical morphology entered the field of interest of many researchers. In our recent paper [23], we have developed the basis of the (unstructured) L-fuzzy relation mathematical morphology where L is a quantale. In this paper we extend it to the structured case. We introduce structured L-fuzzy relational erosion and dilation operators, study their basic properties, show that under some conditions these operators are dual and form an adjunction pair. Basing on the topological interpretation of these operators, we introduce the category of L-fuzzy relational morphological spaces and their continuous transformations.

Introduction

Mathematical morphology has its origins in geological problems centered in the processes of erosion and dilation. The founders of mathematical morphology are engineer G. Matheron [18] and his student, engineer J. Serra [22]. The idea of the classical mathematical morphology can be explained as the process of modifying a subset A of a cube in an n-dimensional Euclidean space by cutting out pieces of B from A (in case of erosion) or glueing them down to the set A (in case of dilation). The set B, intuitively, small if compared with A, is called the structuring set. In the first works on fuzzy morphology A and B were crisp sets, however soon the interest of some researchers was directed also to the case when A and B could be fuzzy. This allowed to describe gray scale processes of erosion and dilation. The first fundamental works on fuzzy mathematical morphology are the two papers by B. De Baets, E. Kerre and M. Gupta [7, 8].

In the first period of the development of fuzzy mathematical morphology the domain where the operators of erosion and dilation were defined was restricted by Euclidean spaces , both in crisp and fuzzy approaches. This framework was usually adequate for studying practical problems in geology, it was appropriate also for applications of mathematical morphology in different applied sciences, in particular in pattern recognition, image processing, digital topology, etc. Additionally it was convenient since all basic constructions of fuzzy morphology, in particular, “cutting” and “glueing” pieces B from or to A were defined by means of the use of the linear structure in the Euclidean space. However, some researchers were attracted by the idea to extend basic concepts and constructions of fuzzy morphology from to a more general context. This idea was interesting not only theoretically, but also in view of possible applications in some tasks beyond the classical ones. The principle how to find the “correct” extensions for the definitions were found in the interrelations between erosion and dilation operators that can be observed in almost all “classical” approaches. Namely, the principal features are that erosion and dilation are dual operators and the pair is an adjunction.

This observation has lead to two mainstreams in the generalized approach to fuzzy mathematical morphology: the algebraic and the relational one. The algebraic approach, in its most general form, is based on two complete lattices and and two mappings: a mapping that preserves arbitrary infima, and a mapping that preserves arbitrary joins. These mappings and should be related by Galois connection. This approach was initiated by Heijecman [12] and further developed by I. Bloch [3, 4] and some other authors. The second, less formal relational approach, considers a set X equipped with some relation R; this relation is used instead of linear transformations applied in the classical case, that is when X is the Euclidean space, see e.g. [19], see also [23].

In this paper, we start to develop an approach to L-fuzzy relational morphology in which, as different from e.g. [19] and [23], the erosion and dilation are structured by some L-fuzzy set B.

The paper consists of five sections. In the first one we recall and specify terminology related to quantales and L-fuzzy relations. In the second section images and preimages of L-fuzzy sets under L-fuzzy relations are considered; these images and preimages are closely related to the operators of erosion and dilation introduced and studied in Sect. 3. In the fourth section we consider interrelations between operators of erosion and dilation. Namely, we show that under some conditions they are dual and make an adjoint pair. In the next, fifth section, we introduce the category of L-fuzzy relational morphological spaces and its subcategory of unstructured fuzzy relational morphological spaces. We study some properties of this categories and compare these categories with certain categories of Fuzzy Topology. In the last, Conclusion section, we list some directions where our approach to the concept of fuzzy morphological spaces could be further developed.

Preliminaries

In this section, we recall some well-known concepts that will make the context of our work. The restricted volume of the paper does not allow to reproduce here all information used in the work. A reader is referred to the monographs [11, 21] and other standard references sources for the remaining details.

Lattices, Quantales, Girard Monoids and MV-algebras

In our paper, is a complete infinitely distributive lattice with bottom and top elements and respectively. Given a binary associative monotone operation on , the tuple is called a quantale if commutes over arbitrary joins:

The operation will be referred to as the product or the conjunction. A quantale is called commutative if the product is commutative. A quantale is called integral if the top element acts as the unit, that is for every .

In a quantale a further binary operation , the residuum, can be introduced as associated with operation of the quantale via the Galois connection, that is for all Explicitly residium can be defined by .

Further, a unary operator is called negation if it is an order reversing involution, that is and for all . For us it is important that negation in a quantale is well-coordinated with the original quantale structure . Explicitly, this means that the negation should be defined according to the laws of fuzzy logic, that is . Therefore, to satisfy the properties of the negation, we have to request that

Quantales satisfying this property are called Girard monoids [16] or Girard quantales. Girards quantales are a generalization of the concept of an MV-algebra, see e.g. [13, 14]: A quantale is called an MV-algebra if

In an MV-algebra operation distributes also over arbitrary meets see e.g. [13, 14]:

In a Girard quantale a further binary operation , so called co-product or disjunction, can be defined by setting

Co-product is a commutative associative monotone operation and, in case iks integral, acts as a zero, that is for every . Important properties of operations in Girard quantales are given in the next Lemma:

Lemma 1

Operation in a Girard quantale is distributive over arbitrary meets:

The proof follows from the following series of equalities justified by definitions:

In a similar way one can prove the following Lemma.

Lemma 2

If in a Girard quantale operation distributes over arbitrary meets, then the corresponding operation distributes over arbitrary joins:

We will need also the following Lemma, the proof of which can be found in [13, Lemme 1.4]; we reformulate it a way convenient for our use:

Lemma 3

In a Girard quantale the following equality holds:

A quantale is called divisible if

see e.g. [15, p. 128]. It is known that every MV-algebra is divisible [15, p. 129]. We will need a stronger version of this property:

Definition 1

A quantale is called strongly divisible if

Lemma 4

In a strongly divisible quantale L the equality holds for all .

Proof

.

On the other hand, by strong divisibility    

In our work is always an integral commutative quantale, sometimes satisfying additional, explicitly stated, conditions.

L-fuzzy Relations, L-fuzzy Relational Sets

Definition 2

(see e.g. [25]). An L-fuzzy relation from a set X to a set Y is an L-fuzzy subset of the product , that is a mapping . In case when it is called an L-fuzzy relation on the set X. The triple (X, Y, R) where R is an L-fuzzy relation from X to Y is called an L-fuzzy relational triple and if the pair (X, R) is called an L-fuzzy relational set.

We will need some special properties of L-fuzzy relations specified below:

Definition 3

(see e.g. [24]). An L-fuzzy relation is called left connected if . R is called strongly left connected if for every there exists such that . An L-fuzzy relation R is called right connected if . R is called strongly right connected if for every there exists such that . An L- fuzzy relation R on a set X is called reflexive if for every . An L-fuzzy relation R on a set X is called symmetric, if for all . An L-fuzzy relation R on a set X is called transitive if for all .

Image and Preimage Operators on L-fuzzy Power-Sets Induced by L-fuzzy Relations

The subject of this section is, what we call, upper and lower image and preimage operators induced by an L-fuzzy relation . TAs we will see they are closely related to the operators of fuzzy relational erosion and dilation. These operators , and their basic properties can be found in different papers where L-fuzzy power-sets are involved. For reader’s convenience we briefly discuss them here.

Definition 4

The upper image of an L-fuzzy set under L-fuzzy relation is the L-fuzzy set defined by for all

Definition 5

The upper preimage of an L-fuzzy set under L-fuzzy relation is the L-fuzzy set defined by for all .

Definition 6

The lower image of an L-fuzzy set under L-fuzzy relation is the L-fuzzy set defined by for all

Definition 7

The lower preimage of an L-fuzzy set under L-fuzzy relation is the L-fuzzy set defined by for all

Proposition 1

If relation is strongly left connected, then for every .

Proof

Given , we take such that Then

On the other hand,    

Proposition 2

If relation is strongly right connected, then for every .

Proof

Let be fixed and let satisfy . Then

In its turn,    

Operators of Structured L-fuzzy Relational Erosion and Dilation

Structured Relational L-fuzzy Erosion

Modifying the definition of L-fuzzy relational erosion given in [19], see also [23] to the case when the fuzzy erosion of a fuzzy set is structured by a fuzzy set , we come to the following definition

Definition 8

Given and , the erosion of A structured by B in a fuzzy relational triple (X, Y, R) is the L-fuzzy set defined by

Considering erosion for all when is fixed, we get the operator of erosion

Thus L-fuzzy erosion is actually the lower image operator induced by L-fuzzy relation .

In the next proposition we collect some properties of erosion operators.

Proposition 3

1. . If R is left connected, then for every where is the constant function with value .

2. Operator is non-decreasing, that is if then

3. If then for every

4. If is distribute over arbitrary meets, then, given a family and , we have

Proof

(1) From the definition it is clear that for every we have

In case , we have for every . In its turn, if R(x, y) is left connected, then for every and hence

The statements (2) and (3) are obvious.

(4) Given a family of L-fuzzy sets and , by meet-distributivity of we have    

In the rest of this subsection, we consider the case when , that is when is an L-fuzzy relation on a set X. In this case erosion has some important additional properties.

Proposition 4

If L-fuzzy relation is reflexive, then for every and every it holds In particular, .

Proof

Notice that for every

   

Corollary 1

If L-fuzzy relation R is reflexive, then .

To formulate the next proposition, we denote .

Proposition 5

If L-fuzzy relation R is reflexive and symmetric and distributes over arbitrary meets, then for any L-fuzzy sets and it holds

Proof

Inequality follows from Corrolary 1. To show the other inequality let be sets, be an L-fuzzy relation, define in the same way as the given L-fuzzy relation and let . Then by meet-distributivity of and symmetry of R and twice applying inequality we have

   

In case we do not need to use meet-distributivity of and so we have:

Corollary 2

If the L-fuzzy relation R is reflexive and symmetric and , then for any it holds . In particular this means that operator is idempotent.

Structured L-fuzzy Dilation

As before, let X, Y be sets, an L-fuzzy relation and let and be L-fuzzy sets. Generalizing definition of relational dilation of the L-fuzzy set given in [19], see also [23], for the situation when dilation of A is structured by B, we come to the following definition:

Definition 9

Given , its L-fuzzy dilation structured by is an L-fuzzy set defined by

Considering dilation for all when the structuring L-fuzzy set B is fixed, we get the operator of dilation

In the next proposition we collect basic properties of dilation operator .

Proposition 6

Let be an L-fuzzy relation. Then

1. and if R is right connected, then for any , and in particular .

2. 

3. If then for every

4. If operation is distributes over arbitrary joins, then given a family of L-fuzzy sets , it holds

Proof

(1) For every we have

Hence, for every , that is If R is right connected, then for all .

The proof of (2) and (3) is obvious.

(4) Let a family of L-fuzzy sets and be given. Recalling that by Lemma 2 co-product distribures over arbitrary joins, we have

   

In the rest of this subsection, we consider the case when that is when R is an L-fuzzy relation on the set X. In this case dilation has some additional properties.

Proposition 7

If L-fuzzy relation R is reflexive, then for every and every it holds In particular,

Proof

Given any point , by reflexivity of R we have:    

Corollary 3

If L-fuzzy relation R is reflexive, then for all .

To formulate the next proposition we recall that

Proposition 8

If the L-fuzzy relation is reflexive and symmetric and operation is distributes over arbitrary meets, then for all L-fuzzy sets and the following inequality holds

Proof

The inequality follows from Corollary 3. We establish the second inequality as follows. Let be sets and take some Then

   

Since in case in the proof we do not need join-distributivity of the co-product , we get the following corollary from the previous theorem.

Corollary 4

If the L-fuzzy relation R is reflexive and symmetric, then

and hence operator is idempotent.

Interrelations Between Fuzzy Relational Erosion and Dilation

One of the most important attributes of mathematical morphology is the interrelations between erosion and dilation which manifest in two ways: as the adjunction between erosion and dilation and as the duality between erosion and dilation. One or both of them exist in all approaches to fuzzy morphology known to us. It is the aim of this section to study the corresponding interrelation in our case. Unfortunately, to get the analogues of these interconnections in case of structured relational erosion and dilation, we have to assume additional conditions laid down on the quantale .

Duality Between Fuzzy Relational Erosion and Dilation

Theorem 1

Let be a Girard quantale. Then for every operators and make a dual pair:

Proof

We prove the theorem by a series of equivalent transitions which are justified by the definition of Girard quantale:

   

Corollary 5

Let be a Girard quantale. Then for every

Adjunction

When studying the problem of adjunction between operators and , we inevitably (?) have to assume that and constitute an adjuction. In the next definition we specify what we mean by this.

Definition 10

A pair is called adjunctive if for any

Unfortunately, at the moment we have only one example of an adjunctive pair - namely the one that corresponds to Łukasiewicz t-norm and its generalizations.

Theorem 2

Let be a strongly divisible Girard monoid, distribute over arbitrary meets and be an adjunctive pair. Then is an adjunctive pair.

Proof

Since both functors and are defined on the lattice and take values in the same lattice , the adjunction just means that these functors are related by Galois connection, that is for any :

We prove this by the following series of transitions:

(by Lemma 2)

(by adjunction )

(by Lemma 4)

   

Fuzzy Morphological Spaces

Basing on the concepts of stratified relational erosion and dilation and the results obtained in the previous sections, in this section we introduce the concept of a fuzzy relational morphological space and consider its basic properties. Special attention is made to interpreting these properties from topological point of view. To make exposition more homogeneous, in this section we assume that is a fixed quantale and operation distributes over arbitrary meets. Further, let X be a set and be a reflexive symmetric L-fuzzy relation on the set X. Now, properties of the erosian operator obtained in in Proposition 3 and Corollaries 1, 2 and properties of dilation operator obtained established in Proposition 6 and Corollaries 3, 4 allow to get the following list of properties:

1. for every .

2. If then

3. Given , we have

4. for every .

5. for every

6. for every , and hence operator is idempotent.

7. for every .

8. If then

9. Given , it holds

10. for every .

11. for every .

12. for every and hence operator is idempotent.

Thus properties (1)–(5) remind basic properties of an L-fuzzy stratified pre-interior Alexandroff operator [2, Appendix A]. Moreover, in case when (5) is replaced by (5), they are just the axioms of an L-fuzzy stratified interior Alexandroff operator. In its turn, properties (6)–(10) of the dilation operator remind basic properties of the L-fuzzy stratified Alexandroff pre-closure operator [2, Appendix A]. Moreover, in case when (10) is replaced by (10), they are just the axioms of an L-fuzzy stratified closure Alexandroff operator.

Remark 1

Stratified interior means that for all and stratified closure in our context mean that for all (and not only for , see e.g. [15, 17]). The adjective Alexandroff means that the intersection axiom in the definition of interior and closure of an L-fuzzy topological space hold for arbitrary families (and not only finite) of (fuzzy) sets, see e.g. [1, 6]. Thus, the tuple reminds the definition of a pre-di-topological space [5].

Definition 11

A quadruple is called an L-fuzzy relational morphological space.

Further, in case operator is idempotent by property and operator is idempotent by property . Therefore by setting in an L-fuzzy relational morphological space families of L-fuzzy sets and , we obtain a fuzzy di-topological [5] space . However, wishing to view it as a special type of an L-fuzzy relational morphological space, we call such spaces pure L-fuzzy relational morphological spaces - “pure” in the sense that they were not influenced by structuring.

To view L-fuzzy morphological spaces as a category and the category of pure L-fuzzy morphological spaces as its subcategory, we must specify its morphisms. We do it patterned after the topological background of these categories.

Definition 12

Let and be two L-fuzzy relational morphological spaces. A mapping is called a continuous transformation from to if and only if the following conditions are satisfied:

1. ;

2. 

3. 

The proof of the following proposition is obvious

Proposition 9

Given three L-fuzzy morphological spaces , and and continuous transformations and , the composition is a continuous transformation. Given an L-fuzzy morphological space , the identity mapping is continuous.

Corollary 6

L-fuzzy morphological spaces and their continuous transformations constitute a category

Remark 2

In this section we did not assume any additional conditions on the quantale except of the conditions supposed throughout the paper and meet-semicontinuity of the operation . However, in case when is a Girard quantale and/or satisfied conditions assumed in Theorem 3, some additional results, in particular, of categorical nature, can be obtained for the L-fuzzy relational morphological spaces. However, this will be the subject of the subsequent work.

Conclusion

In this paper, we have introduced the structured versions of L-fuzzy relational erosion and dilation operators defined on the L-power-set of the relational set (X, R), generalizing (unstructured) L-fuzzy relational erosion and dilation counterparts introduced in [19] and further studied in [23]. After considering first separately and independently properties of L-fuzzy relational erosion and dilation we proceed with the study of interrelations between these operators. When developing the research in this direction we assume that L is a Girard quantale and in some cases impose additional conditions on the operation in the quantale L. The main result here is that under assumption of some conditions the operators and are dual and represent an adjunctive pair. In the last, fifth section we introduce category of L-fuzzy morphological spaces. Introducing these categories, we base on a certain analogy on behavior of erosion and dilation operators with topological operators of interior and closure.

As the main directions for the further research of structured L-fuzzy relational erosion and dilation operators and the corresponding categories of L-fuzzy morphological spaces we view the following.

• When studying the interrelations between structured L-fuzzy relational erosion and structured L-fuzzy relational dilation we had to impose some additional conditions on the quantale L, see e.g. Definitions 1 and 2. These conditions are sufficient but we do not know yet whether they are necessary. Probably these results can be obtained for some weaker conditions.

• In this paper, we address to the basic concepts of structured L-fuzzy relational mathematical morphology, namely erosion and dilation. Aiming to develop more or less full-bodied version of structured L-fuzzy relational mathematical morphology, as the second step we see the study of structured L-fuzzy relational opening and closing operators. At present we are working in this direction.

• As a challenging direction for the further research we consider the study of structured L-fuzzy relational morphological spaces, in particular to develop the categorical approach to L-fuzzy relational spaces.

• Quite interesting, especially from the point of possible application, will be to compare structured L-fuzzy relational morphological spaces with some kind of fuzzy rough approximation systems (cf [9, 10, 20], etc,). In particular, it could be useful in the study of big volumes of transformed data.

• One of the main directions of mathematical morphology is image processing. Probably, also our approach will have useful application in this area.