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
(Redirected from Interior)
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].