Submit your research to the International Journal "Notes on Intuitionistic Fuzzy Sets". Contact us at nifs.journal@gmail.com

Call for Papers for the 27th International Conference on Intuitionistic Fuzzy Sets is now open!
Conference: 5–6 July 2024, Burgas, Bulgaria • EXTENDED DEADLINE for submissions: 15 APRIL 2024.

Closure and interior

From Ifigenia, the wiki for intuitionistic fuzzy sets and generalized nets
Revision as of 19:33, 17 April 2009 by Vassia Atanassova (talk | contribs) (images)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
Closure
Interior

Closure and interior are two topological operators, defined over intuitionistic fuzzy sets, as follows.

Let [math]\displaystyle{ A \subset E }[/math] be an IFS. Then,

[math]\displaystyle{ C(A) = \lbrace \langle x, \sup_{y \in E} \mu_A(y), \inf_{y \in E} \nu_A(y) \rangle \ | \ x \in E \rbrace }[/math]

[math]\displaystyle{ I(A) = \lbrace \langle x, \inf_{y \in E} \mu_A(y), \sup_{y \in E} \nu_A(y) \rangle \ | \ x \in E \rbrace }[/math]

are respectively called closure and interior.

The following basic statements are valid:

  • [math]\displaystyle{ C(A) }[/math] and [math]\displaystyle{ I(A) }[/math] are intuitionistic fuzzy sets.
  • [math]\displaystyle{ I(A) \subset A \subset C(A) }[/math]
  • [math]\displaystyle{ C(C(A)) \ = \ C(A) }[/math]
  • [math]\displaystyle{ C(I(A)) \ = \ I(A) }[/math]
  • [math]\displaystyle{ I(C(A)) \ = \ C(A) }[/math]
  • [math]\displaystyle{ I(I(A)) \ = \ I(A) }[/math]

When operations and relations are applied over the closure and interior operators, the following valid statements can be formulated:

  • [math]\displaystyle{ C(A \cap B) \ = \ C(A) \cap C(B) }[/math]
  • [math]\displaystyle{ C(A \cup B) \ \subset \ C(A) \cup C(B) }[/math]
  • [math]\displaystyle{ I(A \cap B) \ \supset \ I(A) \cap I(B) }[/math]
  • [math]\displaystyle{ I(A \cup B) \ = \ I(A) \cup I(B) }[/math]
  • [math]\displaystyle{ \overline{I(\overline{A})} \ = \ C(A) }[/math]

Further, when the modal operators necessity and possibility are applied, it holds that:

  • [math]\displaystyle{ \Box (C(A)) \ = \ C(\Box(A)) }[/math]
  • [math]\displaystyle{ \Box (I(A)) \ = \ I(\Box(A)) }[/math]
  • [math]\displaystyle{ \Diamond (C(A)) \ = \ C(\Diamond (A)) }[/math]
  • [math]\displaystyle{ \Diamond (I(A)) \ = \ I(\Diamond (A)) }[/math]

If [math]\displaystyle{ A }[/math] and [math]\displaystyle{ B }[/math] are intuitionistic fuzzy sets over [math]\displaystyle{ E }[/math], the following statements hold about them:

  • If [math]\displaystyle{ A \subset B }[/math], then [math]\displaystyle{ I(A) \subset I(B) }[/math] and [math]\displaystyle{ C(A) \subset C(B) }[/math].