New Trends in Neutrosophic Theory and Applications
EMAN.M.EL-NAKEEB1, H. ELGHAWALBY2, A.A.SALAMA3, S.A.EL-HAFEEZ4 1,2 Port Said University, Faculty of Engineering, Physics and Engineering Mathematics Department, Egypt. E-mails: emanmarzouk1991@gmail.com, hewayda2011@eng.psu.edu.eg 3,4 Port Said University, Faculty of Science, Department of Mathematics and Computer Science, Egypt. E-mails: drsalama44@gmail.com, samyabdelhafeez@yahoo.com
Foundation for Neutrosophic Mathematical Morphology Abstract The aim of this paper is to introduce a new approach to Mathematical Morphology based on neutrosophic set theory. Basic definitions for neutrosophic morphological operations are extracted and a study of its algebraic properties is presented. In our work we demonstrate that neutrosophic morphological operations inherit properties and restrictions of Fuzzy Mathematical Morphology.
Keywords Crisp sets operations, fuzzy sets, neutrosophic sets, mathematical morphology, fuzzy mathematical morphology.
1. Introduction Established in 1964, Mathematical Morphology was firstly introduced by Georges Matheron and Jean Serra, as a branch of image processing [12]. As morphology is the study of shapes, Mathematical Morphology mostly deals with the mathematical theory of describing shapes using set theory. In image processing, the basic morphological operators dilation, erosion, opening and closing form the fundamentals of this theory [12]. A morphological operator transforms an image into another image, using some structuring element which can be chosen by the user. Mathematical Morphology stands somewhat apart from traditional linear image processing, since the basic operations of morphology are non-linear in nature, and thus make use of a totally different type of algebra than the linear algebra. At first, the theory was purely based on set theory and operators which defined for binary cases only. Later on the theory was extended to the grayscale images as the theory of lattices was introduced, hence, a representation theory for image processing was given [7]. As a scientific branch, Mathematical Morphology expanded worldwide during the 1990Γ’€™s. It is also during that period, different models based on fuzzy set theory were introduced [3, 4]. Today, Mathematical Morphology remains a challenging research field [6, 7]. In 1995, Samarandache initiated the theory of neutrosophic set as new mathematical tool for handling problems involving imprecise indeterminacy, and inconsistent data [14]. Later on, several researchers such as Bhowmik and Pal [2], and Salama [11], studied the concept of neutrosophic
363
Florentin Smarandache, Surapati Pramanik (Editors)
set. Neutrosophy introduces a new concept which represents indeterminacy with respect to some event, which can solve certain problems that cannot be solved by fuzzy logic. This work is devoted for introducing the neutrosophic concepts to Mathematical Morphology. The rest of the paper is structured as follows: In ΓΒ§2, we introduce the fundamental definitions from the Mathematical Morphology whereas, the concepts of Fuzzy Morphology are introduced in ΓΒ§3. The basic definitions for Neutrosophic Morphological operations are extracted and a study of its algebraic properties is presented in ΓΒ§4.
2. Mathematical Morphology [5] Basically, Mathematical Morphology describes an image's regions in the form of sets. Where the image is considered to be the universe with values are pixels in the image, hence, standard set notations can be used to describe image operations [7]. The essential idea, is to explore an image with a simple, pre-defined shape, drawing conclusions on how this shape fits or misses the shapes in the image [12]. This simple pre-defined shape is called the "structuring element", and it is usually small relative to the image. In the case of digital images, a simple binary structuring elements like a cross or a square is used. The structuring elements can be placed at any pixel in the image, nevertheless, the rotation is not allowed. In this process, some reference pixel whose position defines where the structuring element is to be placed. The choice of this reference pixel is often arbitrary. 2.1. Binary Morphology In binary morphology, an image is viewed as a subset of an Euclidean space Rn or the integer grid Zn, for some dimension n. The structuring element is a binary image (i.e., a subset of the space or the grid). In this section we briefly review the basic morphological operations, the dilation, the erosion, the opening and the closing. 2.1.1. Binary Dilation: (Minkowski addition) Dilation is one of the basic operations in Mathematical Morphology, which originally developed for binary images [15]. The dilation operation uses a structuring element for exploring and expanding the shapes contained in the input image. In binary morphology, dilation is a shiftinvariant (translation invariant) operator, strongly related to the Minkowski addition. For any Euclidean space E and a binary image A in E, the dilation of A by some structuring element B is defined by: Δ??´Ò¨ Δ??ΔΎ = Γ’ˆΕ Δ??Β΄Δ?‘? where Δ??Β΄Δ?‘? is the translate of the set A along the vector Δ?‘?Γ’ˆˆΔ??ΔΎ
b, i.e., Δ??Β΄Δ?‘? ={Δ?‘Ž + Δ?‘? Γ’ˆˆ Δ??ΒΈ |Δ?‘Ž Γ’ˆˆ Δ??Β΄ , Δ?‘? Γ’ˆˆ Δ??ΔΎ}. The dilation is commutative, and may also be given by: Δ??´Ò¨ Δ??ΔΎ = Δ??ΔΎΓ’Β¨ Δ??Β΄ = Γ’ˆΕ Δ??ΔΎΔ?‘Ž . Δ?‘ŽΓ’ˆˆΔ??Β΄
An interpretation of the dilation of A by B can be understood as, if we put a copy of B at each pixel in A and union all of the copies, then we get Δ??´Ò¨ Δ??ΔΎ. The dilation can also be obtained by: Δ??´Ò¨ Δ??ΔΎ = {Δ?‘? Γ’ˆˆ Δ??ΒΈ |(Γ’ˆ’Δ??ΔΎ) Γ’ˆΕ Δ??Β΄ Γ’‰ Γ’ˆ…}, where (Γ’€“B) denotes the reflection of B, that is, Γ’ˆ’Δ??ΔΎ = {Δ?‘Δ½ Γ’ˆˆ Δ??ΒΈ |Γ’ˆ’Δ?‘Δ½ Γ’ˆˆ Δ??ΔΎ}. Where the reflection satisfies the following property: Γ’ˆ’(Δ??´Ò¨ Δ??ΔΎ) = (Γ’ˆ’Δ??Β΄)Γ’Β¨ (Γ’ˆ’Δ??ΔΎ)
364
New Trends in Neutrosophic Theory and Applications
2.1.2. Binary Erosion: (Minkowski subtraction) Strongly related to the Minkowski subtraction, the erosion of the binary image A by the structuring element B is defined by: Δ??Β΄ Γ’Š– Δ??ΔΎ = Γ’‹‚ Δ??´Òˆ’Δ?‘? . Δ?‘?Γ’ˆˆΔ??ΔΎ
Unlike dilation, erosion is not commutative, much like how addition is commutative while subtraction is not [8, 15]. An interpretation for the erosion of A by B can be understood as, if we again put a copy of B at each pixel in A, this time we count only those copies whose translated structuring elements lie entirely in A; hence Δ??Β΄ Γ’Š– Δ??ΔΎ is all pixels in A that these copies were translated to. The erosion of A by B is also may be given by the expression: A Γ’Š– B = {p Γ’ˆˆ E |Bp Γ’Š† A}, where Δ??ΔΎΔ?‘? is the translation of B by the vector p, i.e., Δ??ΔΎΔ?‘? = {Δ?‘? + Δ?‘? Γ’ˆˆ Δ??ΒΈ |Δ?‘? Γ’ˆˆ Δ??ΔΎ}, Γ’ˆ€ Δ?‘? Γ’ˆˆ Δ??ΒΈ. 2.1.3. Binary Opening [15] The opening of A by B is obtained by the erosion of A by B, followed by dilation of the resulting image by B: Δ??Β΄ Γ’ˆ˜ Δ??ΔΎ = (Δ??Β΄ Γ’Š– Δ??ΔΎ) Γ’Š• Δ??ΔΎ. The opening is also given by Δ??Β΄ Γ’ˆ˜ Δ??ΔΎ =
Γ’ˆΕ Δ??ΔΎΔ?‘Δ½ , which means that, an opening can be consider
Δ??ΔΎΔ?‘Δ½ Γ’Š†Δ??Β΄
to be the union of all translated copies of the structuring element that can fit inside the object. Generally, openings can be used to remove small objects and connections between objects. 2.1.4. Binary Closing [6] The closing of A by B is obtained by the dilation of A by B, followed by erosion of the resulting structure by B:A Γ’€Λ B = (Δ??Β΄ Γ’Š• Δ??ΔΎ) Γ’Š– Δ??ΔΎ. The closing can also be obtained by A Γ’€Λ B = (Ac Γ’ˆ˜ (Γ’ˆ’B))c, where Ac denotes the complement of A relative to E (that is, Ac = {Δ?‘Ž Γ’ˆˆ Δ??ΒΈ |Δ?‘Ž Γ’ˆ‰ Δ??Β΄}). Whereas opening removes all pixels where the structuring element wonΓ’€™t fit inside the image foreground, closing fills in all places where the structuring element will not fit in the image background, that is opening removes small objects, while closing removes small holes. 2.2. Properties of the Basic Binary Operations Here are some properties of the basic binary morphological operations (dilation, erosion, opening and closing[8]). We define the power set of X, denoted by P(X), to be the set of all crisp subset of X. For all A, B, C Γ’ˆˆ Δ?‘ƒ (Δ?‘‹), the following properties hold: Δ‚Λ
Δ??´Ò¨ Δ??ΔΎ = Δ??ΔΎΓ’Β¨ Δ??Β΄,
Δ‚Λ
Δ??Β΄ Γ’Š† Δ??ΔΎ Γ’&#x;Ε‘ ( Δ??Β΄ Γ’Š• Δ??Ε ) Γ’Š† ( Δ??ΔΎ Γ’Š• Δ??Ε ),
Δ‚Λ
Δ??Β΄ Γ’Š† (Δ??Β΄ Γ’Š• Δ??ΔΎ ),
Δ‚Λ
(Δ??Β΄ Γ’Š• Δ??ΔΎ) Γ’Š• Δ??Ε = Δ??Β΄ Γ’Š• (Δ??ΔΎ Γ’Š• Δ??Ε), and (Δ??Β΄ Γ’Š– Δ??ΔΎ) Γ’Š– Δ??Ε = Δ??Β΄ Γ’Š– (Δ??ΔΎ Γ’Š– Δ??Ε),
Δ‚Λ
Erosion and dilation satisfy the duality that is: A Γ’Š• B = (Ac Γ’Š– (Γ’ˆ’B))c, and A Γ’Š– B = (Ac Γ’Š• (Γ’ˆ’B))c,
Δ‚Λ
Δ??Β΄ Γ’Š† Δ??ΔΎ Γ’&#x;Ε‘ (Δ??Β΄ Γ’ˆ˜ Δ??Ε ) Γ’Š† (Δ??ΔΎ Γ’ˆ˜ Δ??Ε ),
365
Florentin Smarandache, Surapati Pramanik (Editors)
Δ‚Λ
A Γ’ˆ˜ B Γ’Š† Δ??Β΄,
Δ‚Λ
Opening and closing satisfy the duality that is: c
A Γ’€Λ B = (Ac Γ’ˆ˜ (Γ’ˆ’B))c, and A Γ’ˆ˜ B = (Ac Γ’€Λ (Γ’ˆ’B)) .
3. Fuzzy Mathematical Morphology When operations are expressed in algebraic or logical terms, one powerful approach leading to good properties consists of formally replacing the classical symbols in the equations by their fuzzy equivalent. This framework led to an infinity of fuzzy Mathematical Morphologies, which are constructed in families with specific properties described in [3, 13]. 3.1. Fuzzy Set Since introduced by Zadeh [16], fuzzy sets have received a great deal of interest [17]. For an ordinary set, a given element either belongs or does not belong to the set, whereas for a fuzzy set the membership of an element is determined by the value of a given membership function, which assigns to each element a degree of membership ranging between zero and one. 3.1.1. Definition [16] Let X be a fixed set. A fuzzy set Δ??Β΄ of X is an object having the form Δ??Β΄ = Γ’&#x;Β¨ Δ?œ‡Δ??Β΄ Γ’&#x;Ε , where the function Δ Β A : X Δ‚Ε½ [0,1] defines the degree of membership of the element Δ?‘Δ½ Γ’ˆˆ Δ?‘‹ to the set Δ??Β΄. The set of all fuzzy subset of X is denoted by Γ’„Δ (Δ?‘‹). The fuzzy empty set in X is denoted by 0Δ?‘“ = Γ’ŒΕ 0 Γ’ŒΕ, Δ?‘€Ò„ŽΔ?‘’Δ?‘&#x;Δ?‘’ 0 Γ’ˆΕ Δ?‘‹ Γ’&#x;Ε [0 ,1 ] and 0(Δ?‘Δ½ ) = 0, Γ’ˆ€Δ?‘Δ½ Γ’ˆˆ Δ?‘‹. Moreover, the fuzzy universe set in X is denoted by 1Δ?‘“ = Γ’ŒΕ 1 Γ’ŒΕ, Δ?‘€Ò„ŽΔ?‘’Δ?‘&#x;Δ?‘’ 1 Γ’ˆΕ Δ?‘‹ Γ’&#x;Ε [0 ,1 ] Δ?‘ŽΔ?‘›Δ?‘‘ 1(Δ?‘Δ½ ) = 1, Γ’ˆ€Δ?‘Δ½ Γ’ˆˆ Δ?‘‹. 3.2. Fuzzy Mathematical Operations [4] The fuzziness concept was introduced to the morphology by defining the degree to which the structuring element fits into the image. The operations of dilation and erosion of a fuzzy image by a fuzzy structuring element having a bounded support, are defined in terms of their membership functions. 3.2.1. Fuzzy Dilation [4] Let us consider the notion of dilation within the original formulation of Mathematical Morphology in Euclidean space E. For any two n-dimensional gray-scale images, A and B, the fuzzy dilation, Δ??Β΄ Γ’Š• Δ??ΔΎ = Γ’ŒΕ Δ?œ‡Δ??´ÒŠ•Δ??ΔΎ Γ’ŒΕ, of A by the structuring element B is an n-dimensional grayscale image, that is: Δ?œ‡Δ??´ÒŠ•Δ??ΔΎ Γ’ˆΕ Δ?‘? 2 Γ’&#x;Ε [0,1], and Δ?œ‡Δ??´ÒŠ•Δ??ΔΎ (Δ?‘Ε ) = Δ?‘ Δ?‘ΛΔ?‘? Δ?‘šΔ?‘–Δ?‘›[ Δ?œ‡Δ??Β΄ (Δ?‘Ε + Δ?‘Λ), Δ?œ‡Δ??ΔΎ (Δ?‘Λ)] Δ?‘ΛΓ’ˆˆΔ?‘? 2
Where Δ?‘Λ, Δ?‘Ε Γ’ˆˆ Δ?‘? 2 are the spatial co-ordinates of pixels in the image and the structuring element; while Δ?œ‡Δ??Β΄ , Δ?œ‡Δ??ΔΎ are the membership functions of the image and the structuring element, respectively. 3.2.2. Fuzzy Erosion [4] For any two n-dimensional gray-scale image, A and B, the fuzzy erosion Δ??Β΄ Γ’Š– Δ??ΔΎ = Γ’ŒΕ Δ?œ‡Δ??´ÒŠ–Δ??ΔΎ Γ’ŒΕ of A by the structuring element B is an n-dimensional gray-scale image, that is:
366
New Trends in Neutrosophic Theory and Applications
Δ?œ‡Δ??´ÒŠ–Δ??ΔΎ Γ’ˆΕ Δ?‘? 2 Γ’&#x;Ε [0,1], and Δ?œ‡Δ??´ÒŠ–Δ??ΔΎ (Δ?‘Ε ) = Δ?‘–Δ?‘›Δ?‘“ Δ?‘šΔ?‘ŽΔ?‘Δ½ [Δ?œ‡Δ??Β΄ (Δ?‘Ε + Δ?‘Λ), 1 Γ’ˆ’ Δ?œ‡Δ??ΔΎ (Δ?‘Λ)] Δ?‘ΛΓ’ˆˆΔ?‘? 2
where u, v ΔƒŽΔ?‘? 2 are the spatial co-ordinates of pixels in the image and the structuring element; while Δ?œ‡Δ??Β΄ , Δ?œ‡Δ??ΔΎ are the membership functions of the image and the structuring element respectively. 3.2.3. Fuzzy Closing and Fuzzy Opening [3] In a similar way the two fuzzy operations for closing and opening for any two n-dimensional gray-scale images, A and B, are defined as follows: Δ?œ‡Δ??´Ò€ΛΔ??ΔΎ (Δ?‘Ε) = Δ?‘–Δ?‘›Δ?‘“ Δ?‘šΔ?‘ŽΔ?‘Δ½ ( Δ?‘ Δ?‘ΛΔ?‘? Δ?‘šΔ?‘–Δ?‘› (Δ?œ‡Δ??Β΄ (Δ?‘Ε Γ’ˆ’ Δ?‘Λ + Δ?‘Β€), Δ?œ‡Δ??ΔΎ (Δ?‘Λ)), 1 Γ’ˆ’ Δ?œ‡Δ??ΔΎ (Δ?‘Λ)) Δ?‘ΛΓ’ˆˆΔ?‘? 2
Δ?‘€ÒˆˆΔ?‘? 2
Δ?œ‡Δ??´Òˆ˜Δ??ΔΎ (Δ?‘Ε) = Δ?‘ Δ?‘ΛΔ?‘? Δ?‘šΔ?‘–Δ?‘› ( Δ?‘–Δ?‘›Δ?‘“ Δ?‘šΔ?‘ŽΔ?‘Δ½ (Δ?œ‡Δ??Β΄ (Δ?‘Ε Γ’ˆ’ Δ?‘Λ + Δ?‘Β€), Δ?œ‡Δ??ΔΎ (Δ?‘Λ)), 1 Γ’ˆ’ Δ?œ‡Δ??ΔΎ (Δ?‘Λ)) Δ?‘ΛΓ’ˆˆΔ?‘? 2
Δ?‘€ÒˆˆΔ?‘? 2
where u, v, w ΔƒŽΔ?‘? 2 are the spatial co-ordinates of pixels in the image and the structuring element; while Δ?œ‡Δ??Β΄ , Δ?œ‡Δ??ΔΎ are the membership functions of the image and the structuring element respectively. 3.3. Properties of the Basic Operations Here are some properties of the basic fuzzy morphological operations (dilation, erosion, opening and closing [4]). We define the power set of X, denoted by Γ’„Δ (Δ?‘? 2 ), to be the set of all fuzzy subset of X, For all Δ??Β΄ , Δ??ΔΎ, Δ??Ε Γ’ˆˆ Γ’„Δ (Δ?‘? 2 ) the following properties hold: i. Monotonicity (increasing in both argument) Δ??Β΄ Γ’Š†Δ??ΔΎ Γ’&#x;Ε‘ Δ??´ÒŠ•Δ??Ε Γ’Š†Δ??ΔΎΓ’Š•Δ??Ε Δ??Β΄ Γ’Š†Δ??ΔΎ Γ’&#x;Ε‘ Δ??ΕΓ’Š•Δ??Β΄ Γ’Š†Δ??ΕΓ’Š•Δ??ΔΎ ii. Monotonicity (increasing in the first and decreasing in the argument) Δ??´ÒŠ†Δ??ΔΎ Γ’&#x;Ε‘Δ??´ÒŠ–Δ??Ε Γ’Š†Δ??ΔΎΓ’Š–Δ??Ε Δ??´ÒŠ†Δ??ΔΎ Γ’&#x;Ε‘Δ??ΕΓ’Š–Δ??´ÒŠ‡Δ??ΕΓ’Š–Δ??ΔΎ iii. Monotonicity (increasing in the first argument) Δ??´ÒŠ†Δ??ΔΎ Γ’&#x;Ε‘Δ??´Ò€ΛΔ??Ε Γ’Š†Δ??ΔΎΓ’€ΛΔ??Ε iv. Monotonicity (increasing in the first argument) Δ??´ÒŠ†Δ??ΔΎ Γ’&#x;Ε‘Δ??´Òˆ˜Δ??Ε Γ’Š†Δ??ΔΎΓ’ˆ˜Δ??Ε For any family (Δ??Β΄Δ?‘– |Δ?‘– Γ’ˆˆ Δ??ΕΊ ) Δ?‘–Δ?‘›Γ’„Δ (Z2 ) Δ?‘ŽΔ?‘›Δ?‘‘ Δ??ΔΎ Γ’ˆˆ Γ’„Δ (Z2 ), i. Γ’ˆΕ AΔ?‘– Γ’Š• B Γ’Š† Γ’ˆΕ (AΔ?‘– Γ’Š• B) and B Γ’Š• Γ’ˆΕ AΔ?‘– Γ’Š† Γ’ˆΕ (B Γ’Š• AΔ?‘– ) Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆI
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆI
Δ?‘–Γ’ˆˆΔ??ΕΊ
ii. Γ’ˆΕ AΔ?‘– Γ’Š– B Γ’Š† Γ’ˆΕ (AΔ?‘– Γ’Š– B) and B Γ’Š– Γ’ˆΕ AΔ?‘– Γ’Š‡ Γ’ˆΕ (B Γ’Š– AΔ?‘– ) iii. Γ’ˆΕ AΔ?‘– Γ’€Λ B Γ’Š† Γ’ˆΕ (AΔ?‘– Γ’€Λ B) Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
iv. Γ’ˆΕ AΔ?‘– Γ’ˆ˜ B Γ’Š† Γ’ˆΕ (AΔ?‘– Γ’ˆ˜ B) For any family (Δ??Β΄Δ?‘– |Δ?‘– Γ’ˆˆ Δ??ΕΊ ) Δ?‘–Δ?‘›Γ’„Δ (Z2 ) Δ?‘ŽΔ?‘›Δ?‘‘ Δ??ΔΎ Γ’ˆˆ Γ’„Δ (Z2 ),
367
Florentin Smarandache, Surapati Pramanik (Editors)
i. ii. iii. iv.
Γ’ˆΕ AΔ?‘– Γ’Š• B Γ’Š‡ Γ’ˆΕ (AΔ?‘– Γ’Š• B) and B Γ’Š• Γ’ˆΕ AΔ?‘– Γ’Š‡ Γ’ˆΕ (B Γ’Š• AΔ?‘– )
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆI
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆI
Δ?‘–Γ’ˆˆΔ??ΕΊ
Γ’ˆΕ AΔ?‘– Γ’Š– B Γ’Š‡ Γ’ˆΕ (AΔ?‘– Γ’Š– B) and B Γ’Š– Γ’ˆΕ AΔ?‘– Γ’Š† Γ’ˆΕ (B Γ’Š– AΔ?‘– ) Γ’ˆΕ A Δ?‘– Γ’€Λ B Γ’Š‡ Γ’ˆΕ (A Δ?‘– Γ’€Λ B )
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Γ’ˆΕ A Δ?‘– Γ’ˆ˜ B Γ’Š‡ Γ’ˆΕ (A Δ?‘– Γ’ˆ˜ B ).
4. Neutrosophic Approach to Mathematical Morphology Smarandache [14] introduced the neutrosophic components (T, I, F) which represent the membership, indeterminacy, and non-membership values respectively, Δ?‘‡ , Δ??ΕΊ , Δ??Ε‘ Γ’ˆΕ Δ?‘‹ Γ’†’] 0,1+[ where ]-0,1+[ is non-standard unit interval. Let ΓΔΎ > 0 be some infinitesimal number, hence, 1Δ€Ε€ Δ€Λ 1 Δ€Ε€ Δ Δ½ and Δ€Β 0 Δ€Λ 0 Δ€Β Δ Δ½ . 4.1. Neutrosophic Sets [1] We denote the set of all neutrosophic subset of X by Δ?’Ε (Δ?‘‹). In [1, 14], the authors gave different definition for the concept of the neutrosophic sets. For more convenience we are choosing the following definitions to follow up our work for neutrosophic morphology. In the following definitions, we consider a space E and two neutrosophic subsets of X; Δ??Β΄, Δ??ΔΎ Γ’ˆˆ Δ?’Ε (Δ?‘‹). 4.1.1. Definition [11, 14] A neutrosophic set Δ??Β΄ on the universe of discourse X is defined as: Δ??Β΄ = Γ’ŒΕ Δ?‘‡Δ??Β΄, Δ??ΕΊΔ??Β΄ , Δ??Ε‘Δ??Β΄ Γ’ŒΕ, where Δ?‘‡Δ??Β΄ , Δ??ΕΊΔ??Β΄ , Δ??Ε‘Δ??Β΄ Γ’ˆΕ Δ?‘‹ Γ’†’ [0,1 ]. 4.1.2. Definition [11] The complement of a neutrosophic set Δ??Β΄ is denoted by Ac and is defined as: Ac = Γ’ŒΕ Δ?‘‡Δ??Β΄Δ?‘? , Δ??ΕΊΔ??Β΄Δ?‘? , Δ??Ε‘Δ??Β΄Δ?‘? Γ’ŒΕ, where Δ?‘‡Δ??Β΄Δ?‘? , Δ??ΕΊΔ??Β΄Δ?‘? , Δ??Ε‘Δ??Β΄Δ?‘? Γ’ˆΕ Δ?‘‹ Γ’†’ [0,1 ] and for all Δ?‘Δ½ in X. Δ?‘‡Δ??Β΄Δ?‘? (Δ?‘Δ½ ) = 1 Γ’ˆ’ Δ?‘‡Δ??Β΄ (Δ?‘Δ½ ), Δ??ΕΊΔ??Β΄Δ?‘? (Δ?‘Δ½ ) = 1 Γ’ˆ’ Δ??ΕΊΔ??Β΄ (Δ?‘Δ½ ) and
Δ??Ε‘Δ??Β΄Δ?‘? (Δ?‘Δ½ ) = 1 Γ’ˆ’ Δ??Ε‘Δ??Β΄ (Δ?‘Δ½)
The neutrosophic empty Set of X is the triple, 0Δ?’Ε = Γ’ŒΕ 0 , 0 , 1Γ’ŒΕ, where 1(Δ?‘Δ½ ) = 1 Δ?‘ŽΔ?‘›Δ?‘‘ 0(Δ?‘Δ½ ) = 0, Γ’ˆ€Δ?‘Δ½ Γ’ˆˆ Δ?‘‹. The neutrosophic universe set of X is the triple,1Δ?’Ε = Γ’ŒΕ 1 , 1 , 0Γ’ŒΕ, where 1(Δ?‘Δ½ ) = 1 Δ?‘ŽΔ?‘›Δ?‘‘ 0(Δ?‘Δ½ ) = 0 Γ’ˆ€Δ?‘Δ½ Γ’ˆˆ Δ?‘‹. 4.2. Neutrosophic Mathematical Morphology In this section we introduce the concept of neutrosophic morphology based on the fact that the basic morphological operators make use of fuzzy set operators, or equivalently, crisp logical operators. Hence, such expressions can easily be extended using the context of neutrosophic sets. 4.2.1. Definition The reflection of the structuring element B mirrored in its origin is defined as: Δ‚Λ
Γ’ˆ’Δ??ΔΎ = Γ’ŒΕ Γ’ˆ’Δ?‘‡Δ??ΔΎ , Γ’ˆ’Δ??ΕΊΔ??ΔΎ , Γ’ˆ’Δ??Ε‘Δ??ΔΎ Γ’ŒΕ, where Γ’ˆ’Δ?‘‡Δ??ΔΎ (Δ?‘Λ) = Δ?‘‡Δ??ΔΎ (Γ’ˆ’Δ?‘Λ),
368
Γ’ˆ’Δ??ΕΊΔ??ΔΎ (Δ?‘Λ) = Δ??ΕΊΔ??ΔΎ (Γ’ˆ’Δ?‘Λ) Δ?‘ŽΔ?‘›Δ?‘‘ Γ’ˆ’ Δ??Ε‘Δ??ΔΎ (Δ?‘Λ) = Δ??Ε‘Δ??ΔΎ (Γ’ˆ’Δ?‘Λ)
New Trends in Neutrosophic Theory and Applications
Δ‚Λ
For every Δ?‘? in E, Translation of A by Δ?‘? Γ’ˆˆ Δ?‘? 2 is Δ??Β΄Δ?‘? = Γ’ŒΕ Δ?‘‡Δ??Β΄Δ?‘? , Δ??ΕΊΔ??Β΄Δ?‘? , Δ??Ε‘Δ??Β΄Δ?‘? Γ’ŒΕ, Where Δ?‘‡Δ??Β΄Δ?‘? (Δ?‘Λ) = Δ?‘‡Δ??Β΄Δ?‘? (Δ?‘Λ + Δ?‘?), Δ??ΕΊΔ??Β΄Δ?‘? (Δ?‘Λ) = Δ??ΕΊΔ??Β΄Δ?‘? (Δ?‘Λ + Δ?‘?) and Δ??Ε‘Δ??Β΄Δ?‘? (Δ?‘Λ) = Δ??Ε‘Δ??Β΄Δ?‘? (Δ?‘Λ + Δ?‘?)
Most morphological operations on neutrosophic can be obtained by combining neutrosophic set theoretical operations with two basic operations, dilation and erosion. 4.3 Neutrosophic Morphological Operations The neutrosophy concept is introduced to morphology by a triple degree to which the structuring element fits into the image in the three levels of trueness, indeterminacy, and falseness. The operations of neutrosophic erosion, dilation, opening and closing of the neutrosophic image by neutrosophic structuring element, are defined in terms of their membership, indeterminacy and non-membership functions; which is defined for the first time as far as we know. 4.3.1. The Operation of Dilation The process of the structuring element B on the image A and moving it across the image in a way like convolution is defined as dilation operation. The two main inputs for the dilation operator [7] are the image which is to be dilated and a set of coordinate points known as a structuring element which may be considered as a kernel. The exact effect of the dilation on the input image is determined by this structuring element [6]. 4.3.1.1. Definition:
(Neutrosophic Dilation)
let A and B are two neutrosophic sets; then the neutrosophic dilation 2 Δƒ B) = Γ’&#x;Β¨TAΓ’Š• (A Γ’Š• ΔƒB , IAΓ’Š• Δƒ B , FAΓ’Š• Δƒ B Γ’&#x;Ε , where for each u and v Γ’ˆˆ Δ?‘? .
is given as
Δ?‘‡Δ??´ÒŠ• Δƒ Δ??ΔΎ (Δ?‘Ε ) = Δ?‘ Δ?‘ΛΔ?‘? Δ?‘šΔ?‘–Δ?‘› (Δ?‘‡Δ??Β΄ (Δ?‘Ε + Δ?‘Λ ), Δ?‘‡Δ??ΔΎ (Δ?‘Λ)) Δ?‘ΛΓ’ˆˆΔ?‘? Δ?‘›
Δ??ΕΊΔ??´ÒŠ• Δƒ Δ??ΔΎ (Δ?‘Ε ) = sup Δ?‘šΔ?‘–Δ?‘›(Δ??ΕΊΔ??Β΄ (Δ?‘Ε + Δ?‘Λ ), Δ??ΕΊΔ??ΔΎ (Δ?‘Λ)) Δ?‘ΛΓ’ˆˆΔ?‘? Δ?‘›
Δ??Ε‘Δ??´ÒŠ• Δƒ Δ??ΔΎ (Δ?‘Ε ) = Δ?‘–Δ?‘›Δ?‘“ Δ?‘šΔ?‘ŽΔ?‘Δ½ (1 Γ’ˆ’ Δ??Ε‘Δ??Β΄ (Δ?‘Ε + Δ?‘Λ ), 1 Γ’ˆ’ Δ??Ε‘Δ??ΔΎ (Δ?‘Λ)) Δ?‘ΛΓ’ˆˆΔ?‘? Δ?‘›
4.3.2. The Operation of Erosion The erosion process is as same as dilation, but the pixels are converted to 'white', not 'black'. The two main inputs for the erosion operator [12], are the image which is to be eroded and a structuring element. The exact effect of the erosion on the input image is determined by this structuring element. The following steps are the mathematical definition of erosion for gray-scale images. 4.3.2.1. Definition:
(Neutrosophic Erosion)
let A and B are two neutrosophic sets , then the neutrosophic erosion is given 2 Δƒ B) = Γ’&#x;Β¨TAΓ’Š– (A Γ’Š– Δƒ B , IAΓ’Š– Δƒ B , FΔ??´ÒŠ– Δƒ Δ??ΔΎ Γ’&#x;Ε ; where for each u and v Γ’ˆˆ Δ?‘?
Δ?‘‡Δ??´ÒŠ– Δƒ Δ??ΔΎ (Δ?‘Ε ) = Δ?‘–Δ?‘›Δ?‘“ Δ?‘šΔ?‘ŽΔ?‘Δ½ (Δ?‘‡Δ??Β΄ (Δ?‘Ε + Δ?‘Λ ), 1 Γ’ˆ’ Δ?‘‡Δ??ΔΎ (Δ?‘Λ)) Δ?‘ΛΓ’ˆˆΔ?‘? Δ?‘›
Δ??ΕΊΔ??´ÒŠ– Δƒ Δ??ΔΎ (Δ?‘Ε ) = Δ?‘–Δ?‘›Δ?‘“ Δ?‘šΔ?‘ŽΔ?‘Δ½ (Δ??ΕΊΔ??Β΄ (Δ?‘Ε + Δ?‘Λ ), 1 Γ’ˆ’ Δ??ΕΊΔ??ΔΎ (Δ?‘Λ)) Δ?‘ΛΓ’ˆˆΔ?‘? Δ?‘›
Δ??Ε‘Δ??´ÒŠ– Δƒ Δ??ΔΎ (Δ?‘Ε ) = Δ?‘ Δ?‘ΛΔ?‘? Δ?‘šΔ?‘–Δ?‘›(1 Γ’ˆ’ Δ??Ε‘Δ??Β΄ (Δ?‘Ε + Δ?‘Λ ), Δ??Ε‘Δ??ΔΎ (Δ?‘Λ )) Δ?‘ΛΓ’ˆˆΔ?‘? Δ?‘›
369
Florentin Smarandache, Surapati Pramanik (Editors)
4.3.3. The Operation of Opening and Closing The combination of the two main operations, dilation and erosion, can produce more complex sequences. Opening and closing are the most useful of these for morphological filtering [8]. An opening operation is defined as erosion followed by a dilation using the same structuring element for both operations. The basic two inputs for opening operator are an image to be opened, and a structuring element. Gray-level opening consists simply of gray-level erosion followed by graylevel dilation. The morphological opening Γ’ˆ˜ and closing Γ’€Λ are defined by: Δƒ Δ??ΔΎ) Γ’Š• ΔƒΔ??ΔΎ Δ??Β΄ Γ’ˆ˜Δƒ Δ??ΔΎ = (Δ??Β΄ Γ’Š– Δƒ Δ??ΔΎ) Γ’Š– ΔƒΔ??ΔΎ A Γ’€ΛΔƒ B = (Δ??Β΄ Γ’Š• From a granularity perspective, opening and closing provide coarser descriptions of the set A. The opening describes A as closely as possible using not the individual pixels but by fitting (possibly overlapping) copies of E within A. The closing describes the complement of A by fitting copies of E* outside A. The actual set is always contained within these two extremes: A Γ’ˆ˜Δƒ B Γ’Š† Δ??Β΄ Γ’Š† Δ??Β΄ Γ’€ΛΔƒ B and the informal notion of fitting copies of E, or of E *, within a set is made precise in these equations: The operator Δ?’Ε (E)Γ’†’ Δ?’Ε (E) : A Γ’†’ AΓ’ˆ˜Δƒ B is called the opening by B; it is the composition of the erosion Γ’Š–, followed by the dilation Γ’Š•. On the other hand, the operator Δ?’Ε (E) Γ’†’ Δ?’Ε (E) : A Γ’†’ A Γ’€ΛΔƒ B is called the closing. To understand what e.g., a closing operation does: imagine the closing applied to a set; the dilation will expand object boundaries, which will be partly undone by the following erosion. Small, (i.e., smaller than the structuring element) holes and thin tubelike structures in the interior or at the boundaries of objects will be filled up by the dilation, and not reconstructed by the erosion, inasmuch as these structures no longer have a boundary for the erosion to act upon. In this sense the term Γ’€™closingΓ’€™ is a well-chosen one, as the operation removes holes and thin cavities. In the same sense the opening opens up holes that are near (with respect to the size of the structuring element) a boundary, and removes small object protuberances. 4.3.3.1. Neutrosophic Opening let A and B are two neutrosophic sets it's defined as the flowing: (A Γ’ˆ˜Δƒ B) = Γ’&#x;Β¨TAΓ’ˆ˜ΔƒB , IAΓ’ˆ˜ΔƒB , FAΓ’ˆ˜ΔƒBΓ’&#x;Ε ,
where u, v, wΓ’ˆˆ Δ?‘? 2
Δ?‘‡Δ??´Òˆ˜ΔƒΔ??ΔΎ (Δ?‘Ε ) = Δ?‘ Δ?‘ΛΔ?‘? Δ?‘šΔ?‘–Δ?‘› [ Δ?‘–Δ?‘›Δ?‘“ Δ?‘šΔ?‘ŽΔ?‘Δ½(Δ?‘‡Δ??Β΄(Δ?‘Ε Γ’ˆ’ Δ?‘Λ + Δ?‘Β€), 1 Γ’ˆ’ Δ?‘‡Δ??ΔΎ (Δ?‘Β€)), Δ?‘‡Δ??ΔΎ (Δ?‘Λ)] Δ?‘ΛΓ’ˆˆΔ?‘? Δ?‘›
Δ?‘§ÒˆˆΔ?‘…Δ?‘›
Δ??ΕΊΔ??´Òˆ˜ΔƒΔ??ΔΎ (Δ?‘Ε ) = Δ?‘ Δ?‘ΛΔ?‘? Δ?‘šΔ?‘–Δ?‘› [ Δ?‘–Δ?‘›Δ?‘“ Δ?‘šΔ?‘ŽΔ?‘Δ½(Δ??ΕΊΔ??Β΄ (Δ?‘Ε Γ’ˆ’ Δ?‘Λ + Δ?‘Β€), 1 Γ’ˆ’ Δ??ΕΊΔ??ΔΎ (Δ?‘Β€)), Δ??ΕΊΔ??ΔΎ (Δ?‘Λ)] Δ?‘ΛΓ’ˆˆΔ?‘? Δ?‘›
Δ?‘§ÒˆˆΔ?‘…Δ?‘›
Δ??Ε‘Δ??´Òˆ˜ΔƒΔ??ΔΎ (Δ?‘Ε ) = Δ?‘–Δ?‘›Δ?‘“ Δ?‘šΔ?‘ŽΔ?‘Δ½ [Δ?‘ Δ?‘ΛΔ?‘? Δ?‘šΔ?‘–Δ?‘›(1 Γ’ˆ’ Δ??Ε‘Δ??Β΄ (Δ?‘Ε Γ’ˆ’ Δ?‘Λ + Δ?‘Β€), Δ??Ε‘Δ??ΔΎ (Δ?‘Β€)), 1 Γ’ˆ’ Δ??Ε‘Δ??ΔΎ (Δ?‘Λ)] Δ?‘ΛΓ’ˆˆΔ?‘? Δ?‘›
Δ?‘§ÒˆˆΔ?‘…Δ?‘›
4.3.3.2. Neutrosophic Closing let A and B be two neutrosophic sets it's defined as the flowing: (Δ??Β΄ Γ’€ΛΔƒ Δ??ΔΎ) = Γ’&#x;Β¨Δ?‘‡Δ??´Ò€ΛΔƒΔ??ΔΎ , Δ??ΕΊΔ??´Ò€ΛΔƒΔ??ΔΎ , Δ??Ε‘Δ??´Ò€ΛΔƒΔ??ΔΎ Γ’&#x;Ε ,
370
where u, v, wΓ’ˆˆ Δ?‘? 2
New Trends in Neutrosophic Theory and Applications
Δ?‘‡Δ??´Ò€ΛΔƒΔ??ΔΎ (Δ?‘Ε ) = Δ?‘–Δ?‘›Δ?‘“ Δ?‘šΔ?‘ŽΔ?‘Δ½ [ Δ?‘ Δ?‘ΛΔ?‘? Δ?‘šΔ?‘–Δ?‘›(Δ?‘‡Δ??Β΄(Δ?‘Ε Γ’ˆ’ Δ?‘Λ + Δ?‘Β€), Δ?‘‡Δ??ΔΎ (Δ?‘Β€)), 1 Γ’ˆ’ Δ?‘‡Δ??ΔΎ (Δ?‘Λ)] Δ?‘ΛΓ’ˆˆΔ?‘? 2
Δ?‘€ÒˆˆΔ?‘? 2
Δ??ΕΊΔ??´Ò€ΛΔƒΔ??ΔΎ (Δ?‘Ε ) = Δ?‘–Δ?‘›Δ?‘“ Δ?‘šΔ?‘ŽΔ?‘Δ½ [ Δ?‘ Δ?‘ΛΔ?‘? Δ?‘šΔ?‘–Δ?‘›(Δ??ΕΊΔ??Β΄ (Δ?‘Ε Γ’ˆ’ Δ?‘Λ + Δ?‘Β€), Δ??ΕΊΔ??ΔΎ (Δ?‘Β€)), 1 Γ’ˆ’ Δ??ΕΊΔ??ΔΎ (Δ?‘Λ)] Δ?‘ΛΓ’ˆˆΔ?‘? 2
Δ?‘€ÒˆˆΔ?‘? 2
Δ??Ε‘Δ??´Ò€ΛΔƒΔ??ΔΎ (Δ?‘Ε ) = Δ?‘ Δ?‘ΛΔ?‘? Δ?‘šΔ?‘–Δ?‘› [ Δ?‘–Δ?‘›Δ?‘“ Δ?‘šΔ?‘ŽΔ?‘Δ½(1 Γ’ˆ’ Δ??Ε‘Δ??Β΄ (Δ?‘Ε Γ’ˆ’ Δ?‘Λ + Δ?‘Β€), 1 Γ’ˆ’ Δ??Ε‘Δ??ΔΎ (Δ?‘Β€)), Δ??Ε‘Δ??ΔΎ (Δ?‘Λ)] Δ?‘ΛΓ’ˆˆΔ?‘? 2
Δ?‘€ÒˆˆΔ?‘? 2
4.4. Algebraic Properties in Neutrosophic The algebraic properties for Neutrosophic Mathematical Morphology erosion and dilation, as well as for neutrosophic opening and closing operations are now considered. 4.4.1. Proposition Duality Theorem of Dilation let A and B be two neutrosophic sets. neutrosophic erosion and dilation are dual operations 2 Δƒ B)c = Γ’&#x;Β¨T(AΔ?‘? Γ’Š• i.e. (AΔ?‘? Γ’Š• Δƒ B)c , I(AΔ?‘? Γ’Š• Δƒ B)c , F(AΔ?‘? Γ’Š• ΔƒB)c Γ’&#x;Ε ; where for each u, v Γ’ˆˆ Δ?‘? Δ?‘‡(AΔ?‘? Γ’Š• ΔƒΔ??ΔΎ)Δ?‘? (Δ?‘Ε ) = 1 Γ’ˆ’ Δ?‘‡(AΔ?‘? Γ’Š• ΔƒΔ??ΔΎ) (Δ?‘Ε ) = 1 Γ’ˆ’ Δ?‘ Δ?‘ΛΔ?‘? Δ?‘šΔ?‘–Δ?‘›(Δ?‘‡Δ??Β΄Δ?‘? (Δ?‘Ε + Δ?‘Λ), Δ?‘‡Δ??ΔΎ (Δ?‘Λ)) = Δ?‘–Δ?‘›Δ?‘“ [1 Γ’ˆ’ Δ?‘šΔ?‘–Δ?‘›(Δ?‘‡Δ??Β΄Δ?‘? (Δ?‘Ε + Δ?‘Λ), Δ?‘‡Δ??ΔΎ (Δ?‘Λ))] Δ?‘ΛΓ’ˆˆΔ?‘? 2
Δ?‘ΛΓ’ˆˆΔ?‘? 2
= Δ?‘–Δ?‘›Δ?‘“ [Δ?‘šΔ?‘ŽΔ?‘Δ½ (1 Γ’ˆ’ TAΔ?‘? (Δ?‘Ε + Δ?‘Λ), 1 Γ’ˆ’ Δ?‘‡Δ??ΔΎ (Δ?‘Λ))] Δ?‘ΛΓ’ˆˆΔ?‘? 2
= Δ?‘–Δ?‘›Δ?‘“ [Δ?‘šΔ?‘ŽΔ?‘Δ½ (Δ?‘‡Δ??Β΄(Δ?‘Ε + Δ?‘Λ), 1 Γ’ˆ’ Δ?‘‡Δ??ΔΎ (Δ?‘Λ))]
= Δ?‘‡Δ??´ÒŠ– Δƒ Δ??ΔΎ (Δ?‘Ε)
Δ?‘ΛΓ’ˆˆΔ?‘? 2
= 1 Γ’ˆ’ Δ?‘ Δ?‘ΛΔ?‘? Δ?‘šΔ?‘–Δ?‘›(AΔ?‘? (Δ?‘Ε + Δ?‘Λ), Δ??ΕΊΔ??ΔΎ (Δ?‘Λ))
Δ??ΕΊ(AΔ?‘?Γ’Š• Δƒ Δ??ΔΎ)Δ?‘? (Δ?‘Ε ) = 1 Γ’ˆ’ Δ??ΕΊ(AΔ?‘? Γ’Š• ΔƒΔ??ΔΎ) (Δ?‘Ε )
Δ?‘Δ½Γ’ˆˆΔ?‘…Δ?‘›
= Δ?‘–Δ?‘›Δ?‘“ [1 Γ’ˆ’ Δ?‘šΔ?‘–Δ?‘›(IAΔ?‘? (Δ?‘Ε + Δ?‘Λ), Δ??ΕΊΔ??ΔΎ (Δ?‘Δ½))] Δ?‘ΛΓ’ˆˆΔ?‘? 2
= Δ?‘–Δ?‘›Δ?‘“ [Δ?‘šΔ?‘ŽΔ?‘Δ½ (1 Γ’ˆ’ IAΔ?‘? (Δ?‘Ε + Δ?‘Λ), 1 Γ’ˆ’ Δ??ΕΊΔ??ΔΎ (Δ?‘Λ))] Δ?‘ΛΓ’ˆˆΔ?‘? 2
= Δ?‘–Δ?‘›Δ?‘“ [Δ?‘šΔ?‘ŽΔ?‘Δ½ (Δ??ΕΊΔ??Β΄ (Δ?‘Ε + Δ?‘Λ), 1 Γ’ˆ’ Δ??ΕΊΔ??ΔΎ (Δ?‘Λ))] Δ?‘ΛΓ’ˆˆΔ?‘? 2
= Δ??ΕΊΔ??´ÒŠ– Δƒ Δ??ΔΎ (Δ?‘Ε)
Δ??Ε‘(AΔ?‘? Γ’Š• ΔƒΔ??ΔΎ)Δ?‘? (Δ?‘Ε ) = 1 Γ’ˆ’ Δ??Ε‘(AΔ?‘? Γ’Š• Δƒ Δ??ΔΎ) (Δ?‘Ε ) = 1 Γ’ˆ’ Δ?‘–Δ?‘›Δ?‘“ Δ?‘šΔ?‘ŽΔ?‘Δ½ (1 Γ’ˆ’ FAΔ?‘? (Δ?‘Ε + Δ?‘Λ), 1 Γ’ˆ’ Δ??Ε‘Δ??ΔΎ (Δ?‘Λ)) Δ?‘Δ½Γ’ˆˆΔ?‘…Δ?‘›
= Δ?‘ Δ?‘ΛΔ?‘? [1 Γ’ˆ’ Δ?‘šΔ?‘ŽΔ?‘Δ½ (1 Γ’ˆ’ FAΔ?‘? (Δ?‘Ε + Δ?‘Λ), 1 Γ’ˆ’ Δ??Ε‘Δ??ΔΎ (Δ?‘Λ))] Δ?‘ΛΓ’ˆˆΔ?‘? 2
= Δ?‘ Δ?‘ΛΔ?‘? [Δ?‘šΔ?‘–Δ?‘›(1 Γ’ˆ’ FΔ??Β΄ (Δ?‘Ε + Δ?‘Λ), Δ??Ε‘Δ??ΔΎ (Δ?‘Λ))] Δ?‘ΛΓ’ˆˆΔ?‘? 2
= Δ??Ε‘Δ??´ÒŠ– Δƒ Δ??ΔΎ (Δ?‘Ε)
Γ’&#x;Β¨T(AΔ?‘? Γ’Š• Δƒ B)c , I(AΔ?‘? Γ’Š• Δƒ B)c , F(AΔ?‘? Γ’Š• Δƒ B)c Γ’&#x;Ε = Γ’&#x;Β¨Δ?‘‡Δ??´ÒŠ– Δƒ Δ??ΔΎ , Δ??ΕΊΔ??´ÒŠ– Δƒ Δ??ΔΎ , Δ??Ε‘Δ??´ÒŠ– Δƒ Δ??ΔΎ Γ’&#x;Ε . 4.4.2. Proposition the Duality Theorem Closing let A and B be two neutrosophic sets, neutrosophic opening and neutrosophic closing are also dual operation i.e. (AΔ?‘? Γ’€ΛΔƒ B)c = Γ’&#x;Β¨T(AΔ?‘? Γ’€ΛΔƒ B)c , I(AΔ?‘? Γ’€ΛΔƒ B)c , F(AΔ?‘? Γ’€ΛΔƒ B)c Γ’&#x;Ε , where for all xΓ’ˆˆ Δ?‘‹ T(AΔ?‘?
Γ’€ΛΔƒ B)c (Δ?‘Ε )
= 1 Γ’ˆ’ Δ?‘‡AΔ?‘? Γ’€ΛΔƒ Δ??ΔΎ (Δ?‘Ε)
371
Florentin Smarandache, Surapati Pramanik (Editors)
π(π΄π β’Μ π΅)π (π£ ) = 1 β πππ πππ₯ [π π’π πππ(ππ΄π (π£ β π’ + π€), ππ΅(π€) ), 1 β ππ΅ (π’)] π§βπ π
π’βπ 2
= π π’π πππ [1 β π π’π πππ(ππ΄π (π£ β π’ + π€), ππ΅(π€) ), ππ΅ (π’)] π§βπ π
π’βπ 2
= π π’π πππ [ πππ πππ₯(1 β ππ΄π (π£ β π’ + π€), 1 β ππ΅(π€) ), ππ΅ (π’)] π§βπ π
π’βπ 2
= π π’π πππ [ πππ πππ₯(ππ΄π (π£ β π’ + π€), 1 β ππ΅(π€) ), ππ΅ (π’)] π§βπ π
π’βπ 2
= ππ΄ βΜ π΅ (π£)
I(Aπ β’Μ B)c (π£ ) = 1 β πΌAπ β’Μπ΅ (π£) πΌ(π΄π β’Μ π΅)π (π£ ) = 1 β πππ πππ₯ [π π’π πππ(πΌπ΄π (π£ β π’ + π€), πΌπ΅(π€) ), 1 β πΌπ΅ (π’)] π§βπ π
π’βπ 2
= π π’π πππ [1 β π π’π πππ(πΌπ΄π (π£ β π’ + π€), πΌπ΅(π€) ), πΌπ΅ (π’)] π§βπ π
π’βπ 2
= π π’π πππ [ πππ πππ₯(1 β πΌπ΄π (π£ β π’ + π€), 1 β πΌπ΅(π€) ), πΌπ΅ (π’)] π§βπ π
π’βπ 2
= π π’π πππ [ πππ πππ₯(πΌπ΄ (π£ β π’ + π€), 1 β πΌπ΅(π€) ), πΌπ΅ (π’)] π§βπ π
π’βπ 2
= πΌπ΄ βΜ π΅ (π£)
F(Ac β’Μ B)c (v) = 1 β FAc β’Μ B πΉ(π΄π β’Μ π΅)π (π£ ) = 1 β π π’π πππ [ πππ πππ₯(1 β πΉπ΄ (π£ β π’ + π€), 1 β πΉπ΅(π€) ), πΉπ΅ (π’)] π’βπ 2
π§βπ π
πΉ(π΄π β’Μ π΅)π (π£ ) = πππ πππ₯ [1 β πππ πππ₯(1 β πΉπ΄ (π£ β π’ + π€), 1 β πΉπ΅(π€) ), πΉπ΅ (π’)] π’βπ 2
π§βπ π
πΉ(π΄π β’Μ π΅)π (π£ ) = πππ πππ₯ [π π’π πππ(1 β πΉπ΄ (π£ β π’ + π€), πΉπ΅(π€) ), 1 β πΉπ΅ (π’)] π’βπ 2
π§βπ π
= Fπ΄ βΜ π΅ (π£) β¨T(Aπ β’Μ B)c , I(Aπ β’Μ B)c , F(Aπ β’Μ B)c β© = β¨Tπ΄ βΜ π΅ , Iπ΄ βΜ π΅ , πΉπ΄ βΜ π΅ β©. . Lemma 1:
for any π΄ β π©(π), and the neutrosophic universal set 1π© , we have that
Μ 1π© β π΄, A β Μ 1π© = β¨π Μ , πΌ Μ , πΉ Μ β© Aβ Aβ1π© Aβ1π© π΄β1π© Proof: ππ΄β Μ 1π© (π£ ) = π π’π πππ (ππ΄ (π£ + π’ ), 1) π’βπ 2
πΌπ΄β Μ 1π© (π£ ) = π π’π πππ (πΌπ΄ (π£ + π’ ), 1) π’βπ 2
πΉπ΄β Μ 1π© (π£ ) = πππ πππ₯ (1 β πΉπ΄ (π£ + π’ ), 1 β 0) π’βπ 2
β¨TA , IA , 1β© β β¨TA , IA , FA β© = A
372
= π π’π (ππ΄(π¦ + π₯ )) = ππ΄(π£) π’βπ 2
= π π’π (πΌπ΄ (π¦ + π₯ )) = πΌπ΄ (π£) π’βπ 2
= 1(π£)
New Trends in Neutrosophic Theory and Applications
Lemma 2: for any Δ??Β΄ Γ’ˆˆ Δ?’Ε (Δ?‘‹), and the neutrosophic empty set 0Δ?’Ε , we have that Δƒ 0Δ?’Ε Γ’Š† Δ??Β΄Δ?‘? , Δ??€Γ’Š•
Δƒ 0Δ?’Ε = Γ’&#x;Β¨Δ?‘‡AΓ’Š• AΓ’Š• Δƒ 0Δ?’Ε , Δ??ΕΊAΓ’Š• Δƒ 0Δ?’Ε , Δ??Ε‘Δ??´ÒŠ• Δƒ 0Δ?’Ε Γ’&#x;Ε
Proof: = 0(Δ?‘Ε)
Δ?‘‡Δ??´ÒŠ• Δƒ 0Δ?’Ε (Δ?‘Ε ) = Δ?‘ Δ?‘ΛΔ?‘? Δ?‘šΔ?‘–Δ?‘›(Δ?‘‡Δ??Β΄ (Δ?‘Ε + Δ?‘Λ ), 0) Δ?‘ΛΓ’ˆˆΔ?‘? 2
= 0(Δ?‘Ε)
Δ??ΕΊΔ??´ÒŠ• Δƒ 0Δ?’Ε (Δ?‘Ε ) = Δ?‘ Δ?‘ΛΔ?‘? Δ?‘šΔ?‘–Δ?‘› (Δ??ΕΊΔ??Β΄ (Δ?‘Ε + Δ?‘Λ ), 0) Δ?‘ΛΓ’ˆˆΔ?‘? 2
Δ??Ε‘Δ??´ÒŠ• Δƒ 0Δ?’Ε (Δ?‘Ε ) = Δ?‘–Δ?‘›Δ?‘“ Δ?‘šΔ?‘ŽΔ?‘Δ½ (1 Γ’ˆ’ Δ??Ε‘Δ??Β΄ (Δ?‘Ε + Δ?‘Λ ), 1 Γ’ˆ’ 1) Δ?‘ΛΓ’ˆˆΔ?‘? 2
= Δ?‘–Δ?‘›Δ?‘“ (1 Γ’ˆ’ Δ??Ε‘Δ??Β΄ (Δ?‘Ε + Δ?‘Λ)) = Δ??Ε‘Δ??Β΄Δ?‘? (Δ?‘Ε) Δ?‘ΛΓ’ˆˆΔ?‘? 2
Γ’&#x;Β¨0, 0 , FAc Γ’&#x;Ε Γ’Š† Γ’&#x;Β¨TAc , IAc , FAc Γ’&#x;Ε = Ac 4.5. Properties of the Neutrosophic Morphological Operations In this section, we investigate the basic properties of the neutrosophic morphological operation (dilation, erosion, opening and closing), which we defined in ΓΒ§4. 4.5.1. Properties of the Neutrosophic Dilation Proposition 1 The neutrosophic dilation satisfies the following properties: Γ’ˆ€ A, B Γ’ˆˆ Δ?’Ε (Z2 ) ΔƒA ΔƒB = B Γ’Š• Commutativity: AΓ’Β¨ Δƒ Δƒ Δƒ Δƒ C). Associativity: (A Γ’Š• B) Γ’Š• C = A Γ’Š• (B Γ’Š• Monotonicity: (increasing in both arguments): a) A Γ’Š† B Γ’&#x;Ε‘ Γ’ŒΕ TAΓ’Š• Δƒ C , Δ??ΕΊAΓ’Š• Δƒ C , Δ??Ε‘AΓ’Š• ΔƒC Γ’ŒΕ Γ’Š† Γ’ŒΕ TBΓ’Š• Δƒ C , Δ??ΕΊBΓ’Š• Δƒ C , Δ??Ε‘BΓ’Š• Δƒ CΓ’ŒΕ
i. ii. iii.
TAΓ’Š• Δƒ C Γ’Š† TBΓ’Š• Δƒ C , IAΓ’Š• Δƒ C Γ’Š† IBΓ’Š• Δƒ C Δ?‘ŽΔ?‘›Δ?‘‘ FAΓ’Š• Δƒ C Γ’Š‡ FBΓ’Š• ΔƒC b) A Γ’Š† B Γ’&#x;Ε‘ Γ’ŒΕ TCΓ’Š• Δƒ A , Δ??ΕΊCΓ’Š• Δƒ A , Δ??Ε‘CΓ’Š• ΔƒA Γ’ŒΕ Γ’Š† Γ’ŒΕ TCΓ’Š• Δƒ B , Δ??ΕΊCΓ’Š• Δƒ B , Δ??Ε‘CΓ’Š• ΔƒB Γ’ŒΕ TCΓ’Š• Δƒ A Γ’Š† TCΓ’Š• Δƒ B , ICΓ’Š• Δƒ A Γ’Š† ICΓ’Š• Δƒ B Δ?‘ŽΔ?‘›Δ?‘‘ FCΓ’Š• Δƒ A Γ’Š‡ FCΓ’Š• ΔƒB Proof: i), ii), iii) Obvious. Proposition2: for any family (Δ??Β΄Δ?‘– |Δ?‘– Γ’ˆˆ Δ??ΕΊ ) Δ?‘–Δ?‘› Δ?’Ε (Z2 ) Δ?‘ŽΔ?‘›Δ?‘‘ Δ??ΔΎ Γ’ˆˆ Δ?’Ε (Z2 ) a) Γ’ŒΕ T Γ’ˆΕ Ai Γ’Š• Δƒ B , I Γ’ˆΕ Ai Γ’Š• Δƒ B , F Γ’ˆΕ Ai Γ’Š• ΔƒB Γ’ŒΕ Γ’Š† Γ’ŒΕ T Γ’ˆΕ (AΔ?‘– Γ’Š• ΔƒB) , I Γ’ˆΕ (AΔ?‘– Γ’Š• Δƒ B) , F Γ’ˆΕ (AΔ?‘– Γ’Š• ΔƒB) Γ’ŒΕ iΓ’ˆˆI
iΓ’ˆˆI
iΓ’ˆˆI
Δ?‘–Γ’ˆˆI
Δ?‘–Γ’ˆˆI
iΓ’ˆˆI
Δ?‘‡ Γ’ˆΕ AΔ?‘– Γ’Š• Δƒ B Γ’Š† Δ?‘‡ Γ’ˆΕ (AΔ?‘– Γ’Š• Δƒ B) , Δ??ΕΊ Γ’ˆΕ AΔ?‘– Γ’Š• Δƒ B Γ’Š† Δ??ΕΊ Γ’ˆΕ (AΔ?‘– Γ’Š• ΔƒB) and Δ??Ε‘ Γ’ˆΕ AΔ?‘– Γ’Š• Δƒ B Γ’Š‡ Δ??Ε‘ Γ’ˆΕ (AΔ?‘– Γ’Š• Δƒ B) Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Γ’ŒΕ b) Γ’ŒΕ TBΓ’Š• , FT Γ’ˆΕ (BΓ’Š• Δƒ Γ’ˆΕ AΔ?‘– , IBΓ’Š• Δƒ Γ’ˆΕ AΔ?‘– , FBΓ’Š• Δƒ Γ’ˆΕ AΔ?‘– Γ’ŒΕ Γ’Š† Γ’ŒΕ T Γ’ˆΕ (BΓ’Š• ΔƒAΔ?‘– ) , IT Γ’ˆΕ (BΓ’Š• ΔƒA ) ΔƒA ) Δ?‘–Γ’ˆˆI
Δ?‘–Γ’ˆˆI
Δ?‘–Γ’ˆˆI
Δ?‘–Γ’ˆˆI
Δ?‘–Γ’ˆˆI
Δ?‘–
iΓ’ˆˆI
Δ?‘–
Δ?‘‡Δ??ΔΎΓ’Š• Δƒ Γ’ˆΕ AΔ?‘– Γ’Š† Δ?‘‡ Γ’ˆΕ (BΓ’Š• Δƒ AΔ?‘– ) , Δ??ΕΊΔ??ΔΎΓ’Š• Δƒ Γ’ˆΕ AΔ?‘– Γ’Š† Δ??ΕΊ Γ’ˆΕ (BΓ’Š• Δƒ AΔ?‘– ) and Δ??Ε‘Δ??ΔΎΓ’Š• Δƒ Γ’ˆΕ AΔ?‘– Γ’Š‡ Δ??Ε‘ Γ’ˆΕ (BΓ’Š• Δƒ AΔ?‘– ) Δ?‘–Γ’ˆˆΔ??ΕΊ
Proof:
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?’ŠΓ’ˆˆΔ?‘Β°
a) Γ’ŒΕ Δ?‘‡ Γ’ˆΕ Δ??Β΄Δ?‘– Γ’Š• Δƒ Δ??ΔΎ , Δ??ΕΊ Γ’ˆΕ Δ??Β΄Δ?‘– Γ’Š• Δƒ Δ??ΔΎ , Δ??Ε‘ Γ’ˆΕ Δ??Β΄Δ?‘– Γ’Š• Δƒ Δ??ΔΎ Γ’ŒΕ Γ’Š† Γ’ŒΕ Δ?‘‡ Γ’ˆΕ (Δ??Β΄Δ?‘– Γ’Š• Δƒ Δ??ΔΎ) , Δ??ΕΊ Γ’ˆΕ (Δ??Β΄Δ?‘– Γ’Š• Δƒ Δ??ΔΎ) , Δ??Ε‘ Γ’ˆΕ (Δ??Β΄Δ?‘– Γ’Š• Δƒ Δ??ΔΎ) Γ’ŒΕ Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
373
Florentin Smarandache, Surapati Pramanik (Editors)
π β© π΄π β Μ π΅ (π£ ) = π π’π πππ (π β© π΄π (π£ + π’ ), ππ΅ (π’)) π’βπ π
πβπΌ
= π π’π πππ (πππ ππ΄π (π£ + π’), ππ΅ (π’)) π’βπ π
πβπΌ
πβπΌ
= π π’π πππ (πππππ¨π (π£ + π’), ππ΅ (π’))
β€ πππ π π’π (πππππ¨π (π£ +
π’βπ π πβπΌ
πβπ° π’βπ π
π’), ππ΅ (π’)) β€ β© π(π΄π β Μ π΅) (π£)
β€ π β© (π΄π β Μ π΅) (π£)
πβπΌ
πβπΌ
πΌ β© π΄π β Μ π΅ (π£ ) = π π’π πππ (πΌ β© π¨π (π£ + π’ ), πΌπ΅ (π’)) π’βπ π
πβπΌ
πβπ°
= π π’π πππ (πππ πΌπ¨π (π£ + π’), πΌπ΅ (π’)) π’βπ π
= π π’π πππ (πππ πΌπ¨π (π£ + π’βπ π πβπΌ
πβπΌ
π’), πΌπ΅ (π’)) β€ β© π π’π (πππ πΌπ¨π (π£ + π’), πΌπ΅ (π’))
β€ β© πΌ(π΄π β Μ π΅) (π£)
πβπ° π’βπ π
πβπΌ
β€ πΌ β© (π΄π β Μ π΅) (π£) πβπΌ
πΉ β© π¨π β Μ π© (π£ ) = πππ πππ₯ (1 β πΉ β© π¨π (π£ + π’ ), 1 β πΉπ΅ (π’)) π’βπ π
πβπ°
πβπ°
= πππ πππ₯ (1 β πππ πΉπ¨π (π£ + π’), 1 β πΉπ΅ (π’)) π’βπ π
πβπΌ
= πππ πππ₯ (π π’π (1 β πΉπ¨π (π£ + π’)) , 1 β πΉπ΅ (π’)) π’βπ π
πβπΌ
= πππ π π’π(πππ₯ πΉπ¨π (π£ + π’), 1 β πΉπ΅ (π’)) π’βπ π πβπΌ
β₯ π π’π πππ (πππ₯ πΉπ¨π (π£ + π’), 1 β πΉπ΅ (π’)) πβπΌ π’βπ π
β₯ βͺ πππ (πππ₯πΉπ΄π (π£ + π’), 1 β πΉπ΅ (π’))
β₯ πΉ βͺ (π΄π β Μ π΅) (π£)
πβπΌ π’βπ π
πβπΌ
b) The proof is similar to a). Proposition 3:
for any family (π΄π |π β πΌ ) ππ π© (Z2 ) πππ π΅ β π© (Z 2 )
a) β©π βͺ Aπ β Μ B , πΌ βͺ Aπ β Μ B , πΉ βͺ Aπ β ΜB βͺ β β©π βͺ (Aπ β Μ B) , πΌ βͺ (Aπ β Μ B) , πΉ βͺ (Aπ β Μ B) βͺ πβπΌ
πβπΌ
πβπΌ
πβπΌ
πβπΌ
πβπΌ
π βͺ Aπ β ΜB β π βͺ (Aπ β Μ B) , πΌ βͺ Aπ β Μ B β πΌ βͺ (Aπ β Μ B) and πΉ βͺ Aπ β Μ B β πΉ β© (Aπ β Μ B) πβπΌ
πβπΌ
πβπΌ
πβπΌ
πβπΌ
πβπΌ
b) β©ππ΅β Μ βͺ Aπ , πΌπ΅β Μ βͺ Aπ , πΉπ΅β Μ βͺ Aπ βͺ β β©π βͺ (Aπ β Μ B) , πΌ βͺ (Aπ β Μ B) , πΉ βͺ (Aπ β Μ B) βͺ πβπΌ
πβπΌ
πβπΌ
πβπΌ
πβπΌ
πβπΌ
ππ΅β Μ βͺ Aπ β π βͺ (Aπ β Μ B) , πΌπ΅β Μ βͺ Aπ β πΌ βͺ (Aπ β Μ B) πππ πΉπ΅β Μ βͺ Aπ β πΉ β© (Aπ β Μ B) Proof: b)
πβπΌ
πβπΌ
πβπΌ
πβπΌ
πβπΌ
πβπΌ
β©ππ΅β Μ βͺ π΄π , πΌπ΅β Μ βͺ π΄π , πΉπ΅β Μ βͺ π΄π βͺ β β©π βͺ (π΅β Μ π΄π ) , πΌ βͺ (π΅β Μ π΄π ) , πΉ βͺ (π΅β Μ π΄π ) βͺ πβπΌ
374
πβπΌ
πβπΌ
πβπΌ
πβπΌ
πβπΌ
New Trends in Neutrosophic Theory and Applications
ππ΅β Μ βͺ π΄π (π£ ) = π π’π πππ (ππ΅ (π£ + π’ ), π βͺ π΄π (π’)) π’βπ π
πβπΌ
= π π’π πππ (ππ© (π£ + π’), π π’πππ¨π (π’)) π’βπ π
πβπΌ
β₯ π π’π (π π’π πππππ© (π£ + π’), ππ¨π (π’)) π’βπ π
β₯ βͺ ( π π’π πππππ© (π£ + π’), ππ¨π (π’)) πβπ° π’βπ π
πβπΌ
β₯ βͺ π(π΅β Μ π¨π ) (π£ + π’)
β₯ π βͺ (π΅β Μ π¨π ) (π£)
πβπΌ
πβπΌ
πΌπ΅β Μ βͺ π΄π (π£ ) = π π’π πππ (πΌπ© (π£ + π’ ), πΌ βͺ π¨π (π’)) π’βπ 2
πβπΌ
= π π’π πππ (πΌπ© (π£ + π’), π π’π πΌπ¨π (π’)) π’βπ 2
πβπ°
β₯ π π’π (π π’π πππ πΌπ¨π (π£ + π’), πΌπ¨π (π’)) π’βπ 2
πβπΌ
πβπΌ
β₯ βͺ (π π’π πππ πΌπ¨π (π£ + π’), πΌπ¨π (π’)) πβπ° π’βπ 2
πβπΌ
β₯ βͺ πΌ(π΅β Μ π΄π ) (π£)
β₯ πΌ βͺ (π΅β Μ π΄π ) (π£)
πβπΌ
πβπΌ
πΉ βͺ π¨π β Μ π΄π (π£ ) = πππ πππ₯ (1 β πΉπ© (π£ + π’ ), 1 β πΉ βͺ π΄π (π’)) π’βπ π
πβπ°
πβπ°
= πππ πππ₯ (1 β πΉπ© (π£ + π’), 1 β π π’ππΉπ΄π (π’)) π’βπ π
πβπΌ
= πππ πππ₯ (1 β πΉπ© (π£ + π’), πππ (1 β πΉπ΄π (π’))) π’βπ π
πβπΌ
β€ πππ (πππ πππ₯( 1 β πΉπ© (π£ + π’), 1 β πΉπ΄π (π’))) π’βπ π
πβπΌ
β€ πππ πππ (πππ₯(1 β πΉπ© (π£ + π’), 1 β πΉπ΄π (π’))) πβπΌ π’βπ π
β€ β© πππ πππ₯ (1 β πΉπ΅ (π£ + π’), 1 β πΉπ΄π (π’)) πβπΌ π’βπ π
β€ πΉ β© (π΅β Μ π΄π ) (π£) πβπΌ
a) The proof is similar to b). 4.5.2. Proposition (properties of the neutrosophic erosion): Proposition 1: The neutrosophic erosion satisfies the monotonicity, βA, B, C β π© (Z2 ). a) A β B βΉ β©TAβ Μ C , πΌAβ ΜC , πΉAβ Μ Cβͺ β β©TBβ ΜC , πΌBβ Μ C , πΉBβ ΜCβͺ Tπβ Μ π β Tπβ Μ π , Iπβ Μ π β Iπβ Μ π πππ Fπβ Μ π β Fπβ Μπ b) A β B βΉ β©TCβ ΜA , πΌCβ Μ A , πΉCβ Μ A βͺ β β©TCβ ΜB , πΌCβ Μ B , πΉCβ ΜBβͺ Tπβ Μ π β Tπβ Μ π , Iπβ Μ π β Iπβ Μ π πππ Fπβ Μ π β Fπβ Μπ Note that: dislike the dilation operator, the erosion does not satisfy commutativity and associativity. Proposition 2: for any family (π΄π |π β πΌ ) ππ π© (Z2 )πππ π΅ β π© (Z2 ) a) β©T β© Ai β ΜB , I β© Ai β ΜB , F β© Ai β ΜB βͺ β β©T β© (Ai β Μ B) , I β© (Ai β Μ B) , F β© (Ai β Μ B) βͺ iβI
iβI
iβI
iβI
iβI
iβI
375
Florentin Smarandache, Surapati Pramanik (Editors)
π β© ππ’ β Μ π β π β© (ππ’ β Μπ) , πΌ β© ππ’ β Μπ β πΌ β© (ππ’ β Μπ) andπΉ β© ππ’ β Μπ β πΉ βͺ (ππ’ β Μ π) π’βπ
π’βπ
π’βπ
π’βπ
π’βπ
π’βπ
b) β©TBβ Μ β© Ai , IBβ Μ β© Ai FBβ Μ β© Ai βͺ β β©T β© (Bβ ΜAi ) , I β© (Bβ ΜAi ) , F β© (Bβ Μ Ai ) βͺ iβI
iβI
iβI
iβI
iβI
iβI
ππ΅β Μ β© Aπ β π βͺ (Bβ Μ Aπ ) , πΌπ΅β Μ β© Aπ β πΌ βͺ (Bβ Μ Aπ ) andπΉπ΅β Μ β© Aπ β πΉ β© (Bβ Μ Aπ ) πβπΌ
Proof:
πβπΌ
πβπΌ
πβπΌ
πβπΌ
πβπΌ
a) β©T β© Ai β ΜB , I β© Ai β Μ B , F β© Ai β ΜB βͺ β β©T β© (Ai β ΜB) , I β© (Ai β ΜB) , F β© (Ai β ΜB) βͺ iβI
iβI
iβI
iβI
iβI
iβI
π β© π΄π β Μ π΅ (π£ ) = πππ πππ₯ (π β© π΄π (π£ + π’ ), 1 β ππ΅ (π’)) π’βπ π
πβπΌ
πβπΌ
= πππ πππ₯ (πππ ππ¨π (π£ + π’), 1 β ππ΅ (π’)) π’βπ π
πβπΌ
β€ πππ πππ (πππ₯ π π¨π (π£ + π’), 1 β ππ΅ (π’)) π’βπ π πβπΌ
β€ β© πππ (πππ₯ ππ¨π (π£ + π’), 1 β ππ΅ (π’))
β€ β© π(π΄π β Μ π΅) (π£)
πβπ° π’βπ π
πβπΌ
πΌ β© π΄π β Μ π΅ (π£ ) = πππ πππ₯ (πΌ β© π΄π (π£ + π’ ), 1 β πΌπ΅ (π’)) π’βπ π
πβπΌ
πβπΌ
= πππ πππ₯ (πππ πΌπ¨π (π£ + π’), 1 β πΌπ΅ (π’)) πβπΌ
π’βπ π
β€ πππ πππ(πππ₯ πΌ π¨π (π£ + π’), 1 β πΌπ΅ (π’)) π’βπ π πβπΌ
β€ β© πππ (πππ₯ πΌπ¨π (π£ + π’), 1 β πΌπ΅ (π’))
β€ β© πΌ(π΄π β Μ π΅) (π£)
πβπ° π’βπ π
πβπΌ
πΉ β© π¨π β Μ π© (π£ ) = π π’π πππ (1 β πΉ β© π¨π (π£ + π’ ), πΉπ΅ (π’)) π’βπ π
πβπ°
πβπ°
= π π’π πππ (1 β πππ πΉπ¨π (π£ + π’), πΉπ΅ (π’)) π’βπ π
πβπΌ
= π π’π πππ (π π’π (1 β πΉπ¨π (π£ + π’)) , πΉπ΅ (π’)) π’βπ π
πβπΌ
β₯ π π’π π π’π(πππ1 β πΉπ¨π (π£ + π’), πΉπ΅ (π’)) π’βπ π πβπΌ
β₯ βͺ π π’π (πππ1 β πΉπ¨π β Μ π© (π£ + π’ ), πΉπ΅ (π’))
β₯ πΉ βͺ (π΄π β Μ π΅) (π£)
πβπΌ π’βπ π
πβπΌ
b) The proof is similar to a). Proposition 3: for any family (π΄π |π β πΌ ) ππ π© (Z2 ) πππ π΅ β π© (Z2 ) a) β©π βͺ Aπ β Μ B , πΌ βͺ Aπ β Μ B , πΉ βͺ Aπ β Μ B βͺ β β©π βͺ (Aπ β Μ B) , πΌ βͺ (Aπ β Μ B) , πΉ βͺ (Aπ β Μ B) βͺ πβπΌ
πβπΌ
πβπΌ
πβπΌ
πβπΌ
πβπΌ
π βͺ ππ β Μ π β π βͺ (ππ β Μ π) , πΌ βͺ ππ β Μ π β πΌ βͺ (ππ β Μ π) and πΉ βͺ ππ β Μ π β πΉ β© (ππ β Μ π) πβπ°
πβπ°
πβπ°
πβπ°
πβπ°
πβπΌ
b) β©ππ΅β Μ βͺ Aπ , πΌπ΅β Μ βͺ Aπ , πΉπ΅β Μ βͺ Aπ βͺ β β©π βͺ (π΅β Μ Aπ ) , πΌ βͺ (π΅β Μ Aπ ) , πΉ βͺ (π΅β Μ Aπ ) βͺ πβπΌ
πβπΌ
πβπΌ
πβπΌ
πβπΌ
πβπΌ
ππ΅β Μ βͺ Aπ β π β© (π©β Μ ππ ) , πΌπ΅β Μ βͺ Aπ β πΌ β© (π©β Μ ππ ) πππ πΉπ΅β Μ βͺ Aπ β πΉ βͺ (π©β Μ ππ ) πβπΌ
376
πβπΌ
πβπΌ
πβπΌ
πβπΌ
πβπ°
New Trends in Neutrosophic Theory and Applications
Proof: a) β©π βͺ Aπ β Μ B , πΌ βͺ Aπ β Μ B , πΉ βͺ Aπ β Μ B βͺ β β©π βͺ (Aπ β Μ B) , πΌ βͺ (Aπ β Μ B) , πΉ βͺ (Aπ β ΜB) βͺ πβπΌ
πβπΌ
πβπΌ
πβπΌ
πβπΌ
πβπΌ
π βͺ π΄π β Μ π΅ (π£ ) = πππ πππ₯ (π βͺ π΄π (π£ + π’ ), ππ΅ (π’)) π’βπ π
πβπΌ
πβπΌ
= πππ πππ₯ (π π’πππ¨π (π£ + π’), ππ΅ (π’))
= πππ π π’π(πππ₯ππ¨π (π£ +
β₯ βͺ πππ (πππ₯ππ¨π (π£ + π’), ππ΅ (π’))
β₯ βͺ π(π΄π β Μ π΅) (π£)
π’βπ π
πβπΌ
π’βπ π πβπΌ
π’), ππ΅ (π’)) πβπ° π’βπ π
πβπΌ
β₯ π βͺ (π΄π β Μ π΅) (π£) πβπΌ
πΌ βͺ π΄π β Μ π΅ (π£ ) = πππ πππ₯ (πΌ βͺ π΄π (π£ + π’ ), πΌπ΅ (π’)) π’βπ π
πβπΌ
πβπΌ
= πππ πππ₯ (π π’π πΌπ¨π (π£ + π’), πΌπ΅ (π’)) π’βπ π
= πππ π π’π(πππ₯ πΌπ¨π (π£ + π’βπ π πβπΌ
πβπΌ
π’), πΌπ΅ (π’)) β₯ βͺ πππ (πππ₯ πΌ π¨π (π£ + π’), πΌπ΅ (π’)) πβπ° π’βπ π
β₯ βͺ πΌ(π΄π β Μ π΅) (π£) πβπΌ
β₯ πΌ βͺ (π΄π β Μ π΅) (π£) πβπΌ
πΉ βͺ π¨π β Μ π© (π£ ) = π π’π πππ (1 β πΉ βͺ π¨π (π£ + π’ ), πΉπ΅ (π’)) π’βπ π
πβπ°
πβπ°
= π π’π πππ (1 β π π’π πΉπ¨π (π£ + π’), πΉπ΅ (π’)) π’βπ π
πβπΌ
= π π’π πππ (πππ (1 β πΉπ¨π (π£ + π’)) , πΉπ΅ (π’)) π’βπ π
πβπΌ
= π π’π πππ (πππ 1 β πΉπ¨π (π£ + π’), πΉπ΅ (π’)) π’βπ π πβπΌ
β€ πππ π π’π (πππ1 β πΉπ¨π (π£ + π’), πΉπ΅ (π’)) πβπΌ π’βπ π
β€ β© π π’π (πππ 1 β πΉπ΄πΌ β Μ π΅ (π£ + π’ ), πΉπ΅ (π’)) πβπΌ π’βπ π
β€ πΉ β© (π΄π β Μ π΅) (π£) πβπΌ
b) The proof is similar to a). 4.5.3. Proposition
(properties of the neutrosophic closing):
The neutrosophic closing satisfies the following properties Proposition 1: The neutrosophic closing satisfies: Monotonicity, β A, B, C β π© (Z2 ) A β B βΉ β©TAβ’ΜC , πΌAβ’ΜC , πΉAβ’ΜC βͺ β β©TBβ’Μ C , πΌB β’ΜC , πΉBβ’Μ C βͺ TAβ’ΜC β TBβ’ΜC , IAβ’ΜC β IBβ’ΜC πππ FAβ’ΜC β FBβ’ΜC Proposition 2: For any family (π΄π |π β πΌ ) ππ π© (Z2 ) πππ π΅ β π© (Z 2 ) β©T β© Ai β’ΜB , I β© Ai β’ΜB , F β© Ai β’ΜBβͺ β β©T β© (Aiβ’ΜB), I β© (Ai β’ΜB) , F β© (Aiβ’ΜB) βͺ iβI
iβI
iβI
iβI
iβI
iβI
377
Florentin Smarandache, Surapati Pramanik (Editors)
Δ?‘‡ Γ’ˆΕ Ai Γ’€ΛΔƒB Γ’Š† Δ?‘‡ Γ’ˆΕ (AiΓ’€ΛΔƒB) , Δ??ΕΊ Γ’ˆΕ Ai Γ’€ΛΔƒB Γ’Š† Δ??ΕΊ Γ’ˆΕ (AiΓ’€ΛΔƒB) Δ?‘ŽΔ?‘›Δ?‘‘ Δ??Ε‘ Γ’ˆΕ Ai Γ’€ΛΔƒB Γ’Š‡ Δ??Ε‘ Γ’ˆΕ (AiΓ’€ΛΔƒB) iΓ’ˆˆI
iΓ’ˆˆI
iΓ’ˆˆI
iΓ’ˆˆI
iΓ’ˆˆI
iΓ’ˆˆI
Proposition 3: For any family (Δ??Β΄Δ?‘– |Δ?‘– Γ’ˆˆ Δ??ΕΊ ) Δ?‘–Δ?‘› Δ?’Ε (Z2 ) Δ?‘ŽΔ?‘›Δ?‘‘ Δ??ΔΎ Γ’ˆˆ Δ?’Ε (Z2 ) Γ’ŒΕ Δ?‘‡ Γ’ˆΕ AΔ?‘– Γ’€ΛΔƒB, Δ??ΕΊ Γ’ˆΕ AΔ?‘– Γ’€ΛΔƒB , Δ??Ε‘ Γ’ˆΕ AΔ?‘– Γ’€ΛΔƒBΓ’ŒΕ Γ’Š‡ Γ’ŒΕ Δ?‘‡ Γ’ˆΕ (AΔ?‘– Γ’€ΛΔƒB) , Δ??ΕΊ Γ’ˆΕ (AΔ?‘– Γ’€ΛΔƒB) , Δ??Ε‘ Γ’ˆΕ (AΔ?‘– Γ’€ΛΔƒB) Γ’ŒΕ Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘‡ Γ’ˆΕ AΔ?‘– Γ’€ΛΔƒ B Γ’Š‡ Δ?‘‡ Γ’ˆΕ (AΔ?‘– Γ’€ΛΔƒ B) , Δ??ΕΊ Γ’ˆΕ AΔ?‘– Γ’€ΛΔƒ B Γ’Š‡ Δ??ΕΊ Γ’ˆΕ (AΔ?‘– Γ’€ΛΔƒ B) Δ?‘ŽΔ?‘›Δ?‘‘ Δ??Ε‘ Γ’ˆΕ AΔ?‘– Γ’€ΛΔƒ B Γ’Š† Δ??Ε‘ Γ’ˆΕ (AΔ?‘– Γ’€ΛΔƒ B) Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Proof: The proof is similar to the procedure used in propositions ΓΒ§4.5.1 and ΓΒ§4.5.2. 4.5.4. Proposition
(properties of the neutrosophic opening):
The neutrosophic opening satisfies the following properties Proposition 1: The neutrosophic opening satisfies: Monotonicity: Γ’ˆ€ A, B, C Γ’ˆˆ Δ?’Ε (Z2 ) A Γ’Š† B Γ’&#x;Ε‘ Γ’ŒΕ TA ΔƒΓΕΌ C , Δ??ΕΊA ΔƒC Δƒ C Γ’ŒΕ Γ’Š† Γ’ŒΕ TB ΓΕΌ Δƒ C , Δ??ΕΊB ΓΕΌ Δƒ C , Δ??Ε‘B ΓΕΌ Δƒ CΓ’ŒΕ ΓΕΌ , Δ??Ε‘A ΓΕΌ TΔ??€Γ’ˆ˜Δƒ Δ??‚ Γ’Š† TΔ?? Γ’ˆ˜Δƒ Δ??‚ , IΔ??€ ΔƒΓ’ˆ˜ Δ??‚ Γ’Š† IΔ?? ΔƒΓ’ˆ˜ Δ??‚ Δ?‘ŽΔ?‘›Δ?‘‘ FΔ??€Γ’ˆ˜Δƒ Δ??‚ Γ’Š‡ FΔ?? Γ’ˆ˜ΔƒΔ??‚ Proposition 2: For any family (Δ??Β΄Δ?‘– |Δ?‘– Γ’ˆˆ Δ??ΕΊ) Δ?‘–Δ?‘› Δ?’Ε (Z2 ) Δ?‘ŽΔ?‘›Δ?‘‘ Δ??ΔΎ Γ’ˆˆ Δ?’Ε (Z2 ) Γ’ŒΕ T Γ’ˆΕ AΔ?‘– ΓΕΌΔƒ B, I Γ’ˆΕ AΔ?‘– ΓΕΌΔƒ B , F Γ’ˆΕ AΔ?‘– ΓΕΌΔƒ BΓ’ŒΕ Γ’Š† Γ’ŒΕ T Γ’ˆΕ (AΔ?‘– ΓΕΌΔƒ B) , I Γ’ˆΕ (AΔ?‘– ΓΕΌΔƒ B) , F Γ’ˆΕ (AΔ?‘– ΓΕΌΔƒ B) Γ’ŒΕ Δ?‘–Γ’ˆˆI
Δ?‘–Γ’ˆˆI
Δ?‘–Γ’ˆˆI
Δ?‘–Γ’ˆˆI
Δ?‘–Γ’ˆˆI
Δ?‘–Γ’ˆˆI
Δ?‘‡ Γ’ˆΕ AΔ?‘– ΔƒΓΕΌB Γ’Š† Δ?‘‡ Γ’ˆΕ (AΔ?‘– ΓΕΌΔƒ B) , Δ??ΕΊ Γ’ˆΕ AΔ?‘– ΓΕΌΔƒ B Γ’Š† Δ??ΕΊ Γ’ˆΕ (AΔ?‘– ΔƒB) and Δ??Ε‘ Γ’ˆΕ AΔ?‘– ΔƒΓΕΌB Γ’Š‡ Δ??Ε‘ Γ’ˆΕ (AΔ?‘– ΓΕΌΔƒ B ) ΓΕΌ Δ?‘–Γ’ˆˆI
Δ?‘–Γ’ˆˆI
Δ?‘–Γ’ˆˆI
Δ?‘–Γ’ˆˆI
Δ?‘–Γ’ˆˆI
Proposition 3: For any family (Δ??Β΄Δ?‘– |Δ?‘– Γ’ˆˆ Δ??ΕΊ ) Δ?‘–Δ?‘› Δ?’Ε (Z
2)
Δ?‘ŽΔ?‘›Δ?‘‘ Δ??ΔΎ Γ’ˆˆ Δ?’Ε (Z
Δ?‘–Γ’ˆˆI
2)
Γ’ŒΕ Δ?‘‡ Γ’ˆΕ AΔ?‘– ΓΕΌΔƒ B , Δ??ΕΊ Γ’ˆΕ AΔ?‘– ΓΕΌΔƒ B, Δ??Ε‘ Γ’ˆΕ AΔ?‘– ΔƒΓΕΌ BΓ’ŒΕ Γ’Š‡ Γ’ŒΕ Δ?‘‡ Γ’ˆΕ (AΔ?‘– ΓΕΌΔƒ B) , Δ??ΕΊ Γ’ˆΕ (AΔ?‘– ΔƒB ΓΕΌ ) , Δ??Ε‘ Γ’ˆΕ (AΔ?‘– ΔƒΓΕΌB) Γ’ŒΕ Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘‡ Γ’ˆΕ AΔ?‘– ΓΕΌΔƒ B Γ’Š‡ Δ?‘‡ Γ’ˆΕ (AΔ?‘– ΔƒΓΕΌ B) , Δ??ΕΊ Γ’ˆΕ AΔ?‘– ΔƒΓΕΌB Γ’Š‡ Δ??ΕΊ Γ’ˆΕ (AΔ?‘– ΔƒB) and Δ??Ε‘ Γ’ˆΕ AΔ?‘– ΔƒΓΕΌ B Γ’Š† Δ??Ε‘ Γ’ˆΕ (AΔ?‘– ΓΕΌΔƒ B ) ΓΕΌ Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Δ?‘–Γ’ˆˆΔ??ΕΊ
Proof The proof is similar to the procedure used in propositions ΓΒ§4.5.1 and ΓΒ§4.5.2.
5. Conclusion In this paper, our aim was to establish a foundation for what we called, Neutrosophic Mathematical Morphology. It is a new approach to Mathematical Morphology based on neutrosophic set theory. Several basic definitions for Neutrosophic Morphological operations were extracted and a study of its algebraic properties was presented. In addition, we were able to prove that Neutrosophic Morphological operations inherit properties and restrictions of fuzzy Mathematical Morphology. In future, we plane to apply the introduced concepts in Image Processing. For instance, Image Smoothing, Enhancement and Retrieval, as well as in medical imaging.
References 1. 2. 3.
378
Alblowi, S. A., Salama, A.A. and Eisa, M. "New Concepts of Neutrosophic Sets" International Journal of Mathematics and Computer Applications Research (IJMCAR),Vol. 4, Issue 1, pp. 59-6 (2014). Bhowmik, M. and Pal, M. "Intuitionistic Neutrosophic Set". England, UK, Journal of Information and Computing Science, Vol. 4, Issue 2, pp. 142-152 (2009). Bloch, I. and Maitre, H. "Fuzzy Mathematical Morphologies: a comparative study", Pattern Recognit., Vol. 28, Issue 9, pp. 1341Γ’€“1387 (1995).
New Trends in Neutrosophic Theory and Applications
4.
5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17.
De Baets, B., Kerre, E. and Gadan, M. "The Fundamentals of Fuzzy Mathematical Morphology Part 1: Basic Concept" Int. J. General System Reprint available directly from the publisher photocopying permitted by license only, Vol.23, pp. 155-171 (1995). Gonzalez, R. C. and Woods, R. E." Digital Image Processing. Prentice Hall", (2001). Hanbury, A. and Serra, J." Mathematical Morphology in the Cielab Space" in: Image Analysis and Stereology, Vol. 21, Issue 3, pp. 201-206 (2002). Heijmans, H. "Morphological Image Operators", Advances in Electronics and Electron Physics. Boston Academic Press, (1994). Heijmans, H. J. A. M., and Ronse, C. "the Algebraic Basic of Mathematical Morphology part I . Dilation and Erosion". comput. vision Graphics Image process, Vol. 50, pp. 245-295 (1989). Ross, T. "Fuzzy Logic with Engineering Applications", McGraw-Hill, New York, (1995). Ross, T. J., Booker, J. M., and Parkinson, W. J., eds., "Fuzzy Logic and Probability Applications", Bridging the Gap. Salama, A. A. and Alblowi, S. A. "Neutrosophic Set and Neutrosophic Topological Spaces", ISOR J. Mathematics, Vol. 3, Issue 3, pp. 31-35 (2012) Serra, J. " Image Analysis and Mathematical Morphology", Academic Press Inc., Landen, (1982). Shinha, D. and Dougherty, E. R. "Fuzzy Mathematical Morphology", J. Vis. Commun. Image. Represent., Vol. 3, Issue 3, pp. 286Γ’€“302 (1992). Smarandach, F. "A Unifing Field in Logics: Neutrosophic Logic. Neutrosophy, Neutrosophic set, Neutrosophic Probability". American Research Press, Rehoboth, NM,(1991). Soille, P. " Morphological Image Analysis; Principles and Applications" by pierre soille, ISBN 3-54065671-5 (1999), 2nd edition, (2003). Zadeh, L. A. " Fuzzy sets", Information and Control, Vol. 8, pp. 338-353(1965). Zimmermann, H. J. "Fuzzy Set Theory and its Application", 2nd ed., Kluwer Academic Publishers, Publisher and Reprinted by Maw Chang Book Company, Taiwan, (1991).
379