Malaya J. Mat. 2(3)(2014) 273–276
Distributive Lattice: A Rough Set Approach Sankar Kumar Roya,∗ and Susanta Berab a,b
Department of Applied Mathematics with Oceanology and Computer Programming, Vidyasagar University, Midnapore-721102, West Bengal, India.
Abstract This paper studies the distributive lattice under the rough set environment and thereby forms a concept of rough distributive lattice. We have discussed the properties of lattice theory in the approximation space and defined rough lattice, rough sublattice and complete rough lattice. We have defined approximation space by using an equivalence relation and then present rough set as a pair of two ordinary sets namely lower and upper approximation sets in the approximation space. The objective of this paper is to study the lattice theory based on rough set by using indiscernibility relation. Some important result are proved. Finally we cite some examples to illustrate the definitions and theories. Keywords:
Distributive Lattice, Rough Set, Approximation Space, Rough Lattice.
2010 MSC: 09D99, 06B75, 06D75.
1
c 2012 MJM. All rights reserved.
Introduction
The concept of rough set was introduced by Pawlak [1] which is a mathematical tool for systematic study of incomplete knowledge. The basic notions of rough set include rough set approximations and information systems. In Pawlak’s rough set the approximations are constructed by equivalence classes of an equivalence relation. For every rough set we associate two crisp sets, called lower and upper approximation sets and viewed as the set of elements which certainly and possibly belong to the set. J. Pomykala and J. A. Pomykala [7] showed that set of rough sets form a stone algebra. Davey and Priestly [4] introduced the concept of lattice theory and order. Iwinski [2] defined rough lattice and order without using any concept of indiscernibility of rough set. Rana and Roy [8] introduced rough set approach on lattice. Most of these are motivated to form lattice by inducing some order relation on rough sets. That is rough set is used as an example of lattice. But rough set is the generalization of ordinary set and therefore one of the main directions of the paper is to study the algebraic structure (lattice) based on rough set.
2
Basic Concept and Definitions
In this section, we give some basic properties and definitions related to lattice under the light of rough set environment which will be needed in the following sections. Let ρ be an equivalence relation defined over a set U. Definition 2.1. An equivalence class of x(∈ U) is denoted by [x]ρ and defined as follows: [x]ρ = {y ∈ U : (x, y) ∈ ρ}. Definition 2.2. The sets A? (X) = {x ∈ U : [x]ρ ⊆ X} and A? (X) = {x ∈ U : [x]ρ ∩ X 6= φ} are respectively called lower and upper approximations of X ⊆ U. The pair S = (U, ρ) is called an approximation space and the pair (A? (X), A? (X)) is called the rough set of X in S and is denoted by A(X). The difference B(X) = A? (X) − A? (X) is called boundary region of X and treated as the area of uncertainty. ∗ Corresponding author. E-mail address:
[email protected] (Sankar Kumar Roy).
274
Sankar Kumar Roy et al. / Distributive Lattice...
Definition 2.3. The cartesian product of two rough sets A(X) = (A? (X), A? (X)) and A(Y) = (A? (Y), A? (Y) is denoted by A(X) × A(Y) and defined as follows: A(X) × A(Y) = {(x, y) : x ∈ A? (X) and y ∈ A? (Y)} Definition 2.4. A rough set A(Y) is said to be rough subset of a rough set A(X) if A? (Y) ⊆ A? (X) and A? (Y) ⊆ A? (X) and it is denoted by A(Y) ⊆ A(X). Definition 2.5. [3] A poset (L, ≤) is called a meet-semilattice if for all a, b ∈ L, In f {a, b} exists. The definition of join-semilattice is dual one. Definition 2.6. [3] A non-empty set L together with two binary operations ‘∨’ and ‘∧’ is said to form a lattice if ∀a, b, c ∈ L, the following conditions hold: 1. a ∧ a = a, a ∨ a = a (Idempotency) 2. a ∧ b = b ∧ a, a ∨ b = b ∨ a (Commutativity) 3. a ∧ (b ∧ c) = (a ∧ b) ∧ c, a ∨ (b ∨ c) = (a ∨ b) ∨ c (Associativity) 4. a ∧ (a ∨ b) = a, a ∨ (a ∧ b) = a (Absorption). Definition 2.7. [3] A lattice L is said to be complete lattice if for every non-empty subset X of L has a least upper bound and greatest lower bound in X. Definition 2.8. [3] A lattice L is said to be modular lattice if ∀x, y, z ∈ L with x ≥ y such that x ∧ (y ∨ z) = y ∨ (x ∧ z). Definition 2.9. [3] A lattice L is said to be distributive lattice if ∀x, y, z ∈ L, x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z). Now we state two well known lemmas without proof. Lemma 2.1. A sublattice of a distributive lattice is distributive. Lemma 2.2. A distributive lattice is always modular.
2.1
Rough Lattice
In this section we present rough lattice and some properties of them based on Pawlak’s notion of roughness. Let < L, ∨, ∧ > be a lattice with two binary operations ‘∨’ and ‘∧’ defined over L and also let S = (L, ρ) be an approximation space. Let X ⊆ U and A(X) = (A? (X), A? (X)) be the rough set of X in S. Definition 2.10. A(X) is said to be rough join semi-lattice if x ∨ y ∈ A? (X), ∀ x, y ∈ X. A(X) is said to be rough meet semi-lattice if x ∧ y ∈ A? (X), ∀x, y ∈ X. Definition 2.11. A(X) is said to be rough lattice in S[= (L, ρ)] with respect to the operations ‘∨’ and ‘∧’ if ∀ x, y ∈ X (i) x ∨ y ∈ A? (X) (ii) x ∧ y ∈ A? (X) A rough lattice < A(X), ∨, ∧ > satisfy the following properties ∀x, y, z ∈ X: (i) x ∨ x = x and x ∧ x = x (Idempotency ) (ii) x ∨ y = y ∨ x and x ∧ y = y ∧ x (Commutativity) (iii) x ∧ (y ∧ z) = (x ∧ y) ∧ z and x ∨ (y ∨ z) = (x ∨ y) ∨ z (Associativity) (iv) x ∨ (x ∧ y) = x and x ∧ (x ∨ y) = x (Absorption) (v) x ≤ y ⇔ x ∧ y = x ⇔ x ∨ y = y (Consistency) Proposition 2.1. If A(X) = (A? (X), A? (X)) is a rough lattice in an approximation space S[= (L, ρ)] such that A? (X) = X, then A? (X) is a sublattice of L. Proof. Since A(X) = (A? (X), A? (X)) is a rough lattice in the approximation space S[= (L, ρ)], therefore clearly, ∀x, y ∈ A? (X), x ∨ y ∈ A? (X) and x ∧ y ∈ A? (X). Hence the proved. Proposition 2.2. If L is a distributive lattice and A(X) is a rough lattice in S[= (L, ρ)] such that A? (X) = X then A? (X) is a distributive lattice.
Sankar Kumar Roy et al. / Distributive Lattice...
275
Proof. Since A? (X) = X and A(X) is a rough lattice, therefore by Proposition 2.1, A? (X) is a sublattice of L and hence by Lemma 2.1, A? (X) is a distributive lattice. Definition 2.12. A rough subset A(Y) of a rough lattice A(X) in an approximation space S[= (L, ρ)] is said to be rough sublattice if A(Y) itself form a rough lattice with respect to the same operations. Definition 2.13. A rough lattice A(X) under an approximation space S = (L, ρ) is said to be a complete rough lattice if every non-empty subset of X has least upper bound and greatest lower bound in A? (X). Proposition 2.3. A rough lattice A(X) under an approximation space S[= (L, ρ)] is complete rough lattice if A? (X) is a complete sublattice of L. Proof. Let A? (X) is a complete sublattice of L. Then every non-empty subset of A? (X) has a least upper bound and greatest lower bound in A? (X). Since X is a non-empty subset of A? (X), therefore X has a least upper bound and greatest lower bound in A? (X). Hence A(X) is a complete rough lattice. Definition 2.14. Let < A(X), ∨, ∧ > is a rough lattice under an approximation space S[= (L, ρ)], then < A(X), ∨, ∧ > is said to be rough modular lattice (RML) if ∀ x, y, z ∈ A? (X) with x ≥ y, x ∧ (y ∨ z) = y ∨ (x ∧ z).
2.2
Rough Distributive Lattice
Definition 2.15. Let < A(X), ∨, ∧ > is a rough lattice under an approximation space S[= (L, ρ)], then < A(X), ∨, ∧ > is said to be rough distributive lattice (RDL) if ∀ x, y, z ∈ A? (X), x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z). Example 2.1. The set L = {1, 2, 4, 5, 10, 20} of factors of 20 form a lattice where the operators ‘∨’ and ‘∧’ are defined as a ∨ b =least common multiple of {a, b} and a ∧ b =greatest common divisor of {a, b} and the order relation is divisibility. Let us consider an equivalence relation ρ on L by xρy iff “x is congruent to y modulo 2” ∀x, y ∈ L. Let X = {2, 4}. Then A? (X) = φ and A? (X) = {2, 4, 10, 20}. Clearly A(X) is rough lattice. Also ∀x, y, z ∈ A? (x), x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z). Therefore A(X) is a RDL. Proposition 2.4. Rough sublattice of a RDL is RDL. Proof. Let A(X) is a RDL and A(Y) is a rough sublattice of A(X). Therefore A? (Y) ⊆ A? (X) and hence if x, y, z ∈ A? (Y) then x, y, z ∈ A? (X) and since A(X) is RDL, therefore,x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z). Therefore if x, y, z ∈ A? (Y), x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z). Proposition 2.5. If L is a distributive lattice and A(X) is a rough lattice then A(X) is a RDL. Proof. Since A(X) is a rough lattice, A? (X) ⊆ L. Therefore ∀x, y, z ∈ A? (X) imply, x, y, z ∈ L and since L is distributive, x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z). Therefore ∀x, y, z ∈ A? (X), x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z) i.e, A(X) is a RDL. Proposition 2.6. If A(X) is a RDL in S = (L, ρ) and ifA? (X) = X then X is distributive sublattice of L and vice-versa. Proof. Since A(X) is RDL and A? (X) = X, therefore ∀x, y, z ∈ A? (X) = X, x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z). Also by proposition 2.1 A? (X) is sublattice of L and since sublattice of a distributive lattice is distributive, therefore A? (X) = X is distributive sublattice of L. Conversely, let A? (X) = X is distributive sublattice of L. Therefore A? (X) is rough lattice with x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z), ∀x, y, z ∈ A? (X). So A(X) is RDL. Proposition 2.7. Two rough lattices A(X) and A(Y) are RDL iff A(X) × A(Y) is RDL. Proof. Let A(X) and A(Y) be RDL and also let A(X) = (A? (X), A? (X)) and A(Y) = (A? (Y), A? (Y)). Let (x1 , y1 ), (x2 , y2 ), (x3 , y3 ) ∈ A? (X) × A? (Y). Then x1 , x2 , x3 ∈ A? (X) and y1 , y2 , y3 ∈ A? (Y). Therefore (x1 , y1 ) ∧ {(x2 , y2 ) ∨ (x3 , y3 )}
= (x1 ∧ (x2 ∨ x3 ), y1 ∧ (y2 ∨ y3 )) = ((x1 ∧ x2 ) ∨ (x1 ∧ x3 ), (y1 ∧ y2 ) ∨ (y1 ∧ y3 )) = (x1 ∧ x2 , y1 ∧ y2 ) ∨ (x1 ∧ x3 , y1 ∧ y3 ) = {(x1 , y1 ) ∧ (x2 , y2 )} ∨ {(x1 , y1 ) ∧ (x3 , y3 ).
276
Sankar Kumar Roy et al. / Distributive Lattice...
Hence A(X) × A(Y) is RDL. Conversely, let A(X) × A(Y) be RDL. Let x1 , x2 , x3 ∈ A? (X) and y1 , y2 , y3 ∈ A? (Y). Then (x1 , y1 ), (x2 , y2 ), (x3 , y3 ) ∈ A? (X) × A? (Y). As A(X) × A(Y) is RDL, therefore (x1 , y1 ) ∧ {(x2 , y2 ) ∨ (x3 , y3 )} i.e
(x1 , y1 ) ∧ (x2 ∨ x3 , y2 ∨ y3 )
or,
(x1 ∧ (x2 ∨ x3 ), y1 ∧ (y2 ∨ y3 ))
= {(x1 , y1 ) ∧ (x2 , y2 )} ∨ {(x1 , y1 ) ∧ (x3 , y3 )} = (x1 ∧ x2 , y1 ∧ y2 ) ∨ (x1 ∧ x3 , y1 ∧ y3 ) = ((x1 ∧ x2 ) ∨ (x1 ∧ x3 ), (y1 ∧ y2 )g ∨ (y1 ∧ y3 )).
Which gives x1 ∧ (x2 ∨ x3 ) = (x1 ∧ x2 ) ∨ (x1 ∧ x3 ) and y1 ∧ (y2 ∨ y3 ) = y1 ∧ y2 ) ∨ (y1 ∧ y3 ). This imply A(X) and A(Y) are RDL. Proposition 2.8. Every RDL is RML but converse is not true. Proof. Let A(X) is a RDL. Therefore x, y, z ∈ A? (Y), x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z). If x ≥ y and x, y, z ∈ A? (Y), then x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z) = y ∨ (x ∧ z). Hence A(X) is a RDL. The converse is not true which is illustrated by the following example: Example 2.2. Let K4 = {e, a, b, c} be the Klein’s four group. Let L be the set of all subgroups of K4 . Then L = {{e}, {e, a}, {e, b}, {e, c}, K4 }. L forms a lattice under set inclusion and the operations ‘∨’ and ‘∧’ are defined by A ∨ B = A ∪ B and A ∧ B = A ∩ B, ∀A, B ∈ L. Let us consider an equivalence relation ρ on L defined by AρB iff O(A) = O(B) ∀A, B ∈ L. Let X = {{e}, {e, a}, {K4 }}. Then A? (X) = {{e}, {K4 }} and A? (X)) = {{e}, {e, a}, {e, b}, {e, c}, {K4 }}. Clearly, A(X) is a rough modular lattice but A(X) is not rough distributive lattice.
3
Conclusion
In this paper the concept of rough distributive lattice is introduced based on Pawlak’s indiscernibility relation. At first we construct rough lattice in an approximation space and then we study various properties of them compare to ordinary lattice. Our rough lattice(as we defined) is a rough set with two binary operations and it behaves in a lattice like manner within the rough boundary. As we defined RDL it is seen that the distributivity property of lattice is extended to the area of uncertainty. So we may use lattice structure when the elements of the set are not crisp.
References [1] Pawlak, Z., Rough Sets, International Journal of Computer and Information Sciences, 11(5)(1982), 341-356. [2] Iwinski,T.B., Algebraic approach to rough sets, Bull. Polish. Acad. Sci. (Math), 35(9-10)(1987), 673-683. [3] Gr¨atzer, G.,General Lattice Theory, 2nd Edition, Birkhauser Verlag, Basel-Boston, Berlin, 2003. [4] Davey, B.A. and H.A. Priestley, Introduction to Lattices and Order, Cambridge, UK: Cambridge University Press, 2001. [5] Pawlak, Z., Some issues on rough sets, Transactions on Rough Set, I, Journal Subline, Lecture Notes in Computer Science, 3100(2004), 1-58. [6] J¨arvinen, J., Lattice theory for rough sets, Transaction on Rough sets VI, Lecture notes in Computer Science, 4374(2007), 400-498. [7] J. Pomykala, J. A. Pomykala The stone algebra of rough sets,Bull. Polish Acad. sci. (Math), 36(1998), 495508. [8] Rana, D. and Roy, S. K. Rough Set Approach on Lattice, Journal of Uncertain Systems, 5(1)(2011), 72-80. Received:September 12, 2013; Accepted: March 13, 2014 UNIVERSITY PRESS Website: http://www.malayajournal.org/