# Fuzzy Sets, Fuzzy S-Open and S-Closed Mappings

Authors: B. Ahmad; Athar Kharal
Journal: Advances in Fuzzy Systems
 (2009)

---

## Abstract

Several properties of fuzzy semiclosure and fuzzy semi-interior of fuzzy sets defined by Yalvac (1988), have been established and supported by counterexamples. We also study the characterizations and properties of fuzzy semi-open and fuzzy semi-closed sets. Moreover, we define fuzzy s-open and fuzzy s-closed mappings
and give some interesting characterizations.


---

## Body

## 1. Introduction

The concept of fuzzy set was  introduced by Zadeh in his classical paper [1]. This concept provides a natural foundation for treating mathematically the fuzzy phenomena, which exist pervasively in our real world, and for building new branches of fuzzy mathematics. In the area of Fuzzy Topology, introduced by Chang [2], much attention has been paid to generalize the basic concepts of General Topology in fuzzy setting and thus a modern theory of Fuzzy Topology has been developed.In recent years, Fuzzy Topology has been found to be very useful in solving many practical problems. Du et al. [3] fuzzified the very successful 9-intersection Egenhofer model [4, 5] for depicting topological relations in Geographic Information Systems (GIS) query. In [6, 7], El Naschie showed that the notion of Fuzzy Topology might be relevant to quantum particle physics and quantum gravity in connection with string theory and e∞ theory. Tang [8] used a slightly changed version of Chang’s fuzzy topological space to model spatial objects for GIS databases and Structured Query Language (SQL) for GIS.Levine [9] introduced the concepts of semi-open sets and semicontinuous mappings in topological spaces. Interestingly, his work found applications in the field of Digital Topology [10]. For example, it was found that the digital line is a T1/2-space [11], which is a weaker separation axiom based upon semi-open sets. Fuzzy Digital Topology [12] was introduced by A. Rosenfeld, which demonstrated the need for the fuzzification of weaker forms of notions of Classical Topology. Azad [13] carried out this fuzzification in 1981, and presented some general properties of fuzzy spaces. Several properties of fuzzy semi-open (resp., fuzzy semi-closed), fuzzy regular open (resp., closed) sets have been discussed. Moreover he defined fuzzy semicontinuous (resp., semi-open and semi-closed) functions and studied the properties of fuzzy semicontinuous function in product related spaces. Finally, he defined and characterized fuzzy almost continuous mappings. For related subsequent work in this direction, we refer to [14–27].In this paper, our aim is to further contribute to the study of fuzzy semi-open and fuzzy semi-closed  sets defined by Yalvac [26] by establishing several important fundamental identities and inequalities supported by counterexamples. Cameron and Woods [28] introduced the concepts of s-continuous mappings and s-open mappings. They investigated the properties of these mappings and their relationships to properties of semi-open sets. Khan and Ahmad [29] further worked on the characterizations and properties of s-continuous, s-open and s-closed mappings. We fuzzify the findings of [28, 29]. We define fuzzy s-open and fuzzy s-closed mappings and establish some interesting characterizations of these mappings.


## 2. Preliminaries

In order to make this paper self-contained, we briefly recall certain definitions and results; for those not described, we refer to [1, 2, 13, 26].LetX={x} be a space of points (objects), with a generic element x. A fuzzy set λ in X is characterized by membership function λ(x) from X to the unit interval [0,1].The symbolΦ denotes the empty fuzzy set defined as μΦ(x)=0, for all x∈X. For X, the membership function is defined as μX(x)=1, for all x∈X.Definition 1 (see [2]).
Letf:X→Y be a mapping. Let β be a fuzzy set in Y with membership function β(y). Then the inverse of β, written as f-1(β), is a fuzzy set in X whose membership function is defined by
(1)f-1(β)(x)=β(f(x)),∀x∈X.
Conversely, let λ be a fuzzy set in X with membership function λ(x). The image of λ, written as f(λ), is a fuzzy set in Y whose membership function is given by
(2)f(λ)(y)={supx∈f-1(y){λ(x)},iff-1(y)is  nonempty,0,otherwise,
for all y∈Y.Definition 2 (see [2]).
A fuzzy topology is a familyτ of fuzzy sets in X, which satisfies the following conditions:(1)
Φ,X∈τ;(2)
Ifλ,μ∈τ, then λ⋀μ∈τ;(3)
Ifλi∈τ for each i∈I, then ∨iλi∈τ.τ is called a fuzzy topology for X, and the pair (X,τ) is an fts. Every member of τ is called τ-open fuzzy set (or simply an open fuzzy set). A fuzzy set is τ-closed if and only if its complement is τ-open.As in general topology, the indiscrete fuzzy topology contains onlyΦ and X, while the discrete fuzzy topology contains all fuzzy sets.


## 3. Fuzzy Semi-Open and Fuzzy Semi-Closed Sets

Definition 3 (see [13]).
Letλ be a fuzzy set in an fts (X,τ). Then λ is called a fuzzy semi-open set of X, if there exists a ν∈τ such that ν≤λ≤Clν. A fuzzy set μ is fuzzy semi-closed if and only if its complement μc is fuzzy semi-open. The class of all fuzzy semi-open (resp., fuzzy semi-closed) sets in X is denoted by FSO(X) (resp., FSC(X)).Definition 4 (see [26]).
Letλ be a fuzzy set in an fts X. Then semi-closure (briefly sCl) and semi-interior (briefly sInt) of λ are defined as
(3)sClλ=⋀{β∣λ≤β,βfuzzy semi-closed},sIntλ=∨{β∣β≤λ,βfuzzy semi-open},
and are called the fuzzy semi-closure of λ and fuzzy semi-interior of λ, respectively.It is immediate that(1)
sClλ≥λ and sIntλ≤λ;(2)
λ≤μ⇒sClλ≤sClμ, sIntλ≤sIntμ.It is known [13] that a fuzzy set λ in an fts X is(1)
fuzzy semi-closed if and only ifIntClλ≤λ (resp., sClλ=λ);(2)
fuzzy semi-open if and only ifλ≤ClIntλ (resp., sIntλ=λ).The following are characterizations of fuzzy semi-closed sets, the proof of Theorem1 is straightforward.Theorem 1.
A fuzzy setλ is fuzzy semi-closed if and only if there exists a fuzzy closed set ψ such that Intψ≤λ≤ψ.Theorem 2.
For a fuzzy setλ in an fts X, λ is fuzzy semi-closed  if and only if sIntsClλ≤λ .Proof.
(⇒) If λis a fuzzy semi-closed set, that is,λ=sClλ, then sIntsClλ=sIntλ≤λ.
(⇐) Suppose sInt(sClλ)≤λ. Since sClλ is fuzzy semi-closed, so there exists a closed set ψ such that Intψ≤sClλ≤ψ. Thus Intψ≤sIntsClλ≤λ≤sClλ≤ψ or Intψ≤λ≤ψ. Hence λ is fuzzy semi-closed and λ=sClλ.Remark 1.
It is easily seen that(1)
ifλ is fuzzy semi-open (resp., fuzzy semi-closed), then Intλ,sIntλ,sClλ, and Clλ are fuzzy semi-open (resp., fuzzy semi-closed);(2)
a nonvoid nowhere dense fuzzy setλ is fuzzy semi-closed and not fuzzy semi-open.The converse of  Remark1(2) is, in general, not true as is shown by  following.Example 1.
LetX={a,b,c} be a set and I={0,.3,.5,.7,1} be the lattice of membership grades for fuzzy sets in X. Let μ={a.7,b0,c1},ν={a.7,b.5,c.3}, and ω={a.5,b.5,c.5} be fuzzy sets on X, and τ the fuzzy topology generated by μ,ν, and ω. Then τ={Φ,μ,ν,ω,{a.5,b0,c.5},{a.5,b.5,c.3}, {a.7,b0,c.3},{a.7,b0,c.5},{a.7,b.5,c.5},{a.7,b.5,c1},X}. Calculations give that fuzzy set ω is both fuzzy semi-closed and fuzzy semi-open but IntClω=ω.Theorem 3.
For fuzzy setsλ and μ in an fts X, one has(1)
sInt(λ∨μ)≥sIntλ∨sIntμ;(2)
sInt(λ⋀μ)=sIntλ⋀sIntμ;(3)
sCl(λ∨μ)=sClλ∨sClμ;(4)
sCl(λ⋀μ)≤sClλ⋀sClμ.Proof.
(1)sIntλ and sIntμ are both fuzzy semi-open . λ≤λ∨μ,μ≤λ∨μ imply sIntλ≤sInt(λ∨μ) and sIntμ≤sInt(λ∨μ). Combining, sIntλ∨sIntμ≤sInt(λ∨μ) or
(4)sInt(λ∨μ)≥sIntλ⋁sIntμ.
(2)λ⋀μ≤λ and λ⋀μ≤μ imply sInt(λ⋀μ)≤sIntλ⋀sIntμ. Conversely sIntλ≤λ and sIntμ≤μ imply sIntλ⋀sIntμ≤λ⋀μ and sIntλ⋀sIntμ is fuzzy semi-open. But sInt(λ⋀μ) is the largest fuzzy semi-open set such that sInt(λ⋀μ)≤λ⋀μ, hence sIntλ⋀sIntμ≤sInt(λ⋀μ). This gives the equality.
(3) and (4) follow easily from (2).The inequalities(1) and (4) of Theorem 3, are in general irreversible, as is shown by following.Example 2.
LetX={a,b} be a set and I={0,.5,1} be the lattice of membership grades for fuzzy sets on X. Let μ={a.5,b1},ν={a.0,b1}, and ω={a1,b.5} be fuzzy sets on X, and τ the fuzzy topology generated by μ, ν, and ω. Then
(5)τ={Φ,μ,ν,ω,{a.5,b.5},{a0,b.5},X}.
We choose fuzzy sets α={a.5,b0},β={a0,b.5},γ={a.5,b1} and δ={a1,b.5}. Then calculations give that
(6)sInt(α∨β)={a.5,b.5}≮{a0,b.5}=sIntα∨sIntβ,sClγ⋀sClδ={a1,b.5}≮{a.5,b.5}=sCl(γ⋀δ).It is known [30] that for a fuzzy set λ in an fts X, we have(1)
ClsClλ=Clλ;(2)
IntClλ≤sClλ.We use this and Theorem1, and prove the following.Theorem 4.
Letλ be a fuzzy set in an fts X. Then one has the following:(1)
sClsClλ=sClλ(sIntsIntλ=sIntλ);(2)
sIntsClλ≥IntClλ;(3)
IntsIntsClλ=IntClλ;(4)
sIntsClλ≤IntClλ∨λ.Proof.
(1) By the fact that sClλ is fuzzy semi-closed and that λ is fuzzy semi-closed if and only if sClλ=λ, it follows immediately.
(2) Since , IntClλ≤sClλ, so that IntClλ≤sIntsClλ, since all fuzzy open sets are fuzzy semi-open.
(3) By (2), IntClλ≤sIntsClλ, so that IntClλ≤IntsIntsClλ. Also sClλ≤Clλ, so that sIntsClλ≤Clλ and IntsIntsClλ≤IntClλ. Consequently, we get (3).
(4) Now IntClλ≤IntClλ∨λ≤Clλ so by Theorem 1, IntClλ∨λ is fuzzy semi-closed. Also λ≤IntClλ∨λ. Since sClλ is the smallest fuzzy semi-closed set with λ≤sClλ, therefore, sClλ≤IntClλ∨λ. Which implies sIntsClλ≤sClλ≤IntClλ∨λ or sIntsClλ≤IntClλ∨λ.The inequalites(2) and (4) of Theorem 4 may, in general, not be reversible as is shown in the following.Example 3.
LetX={a,b,c} be a set and I={0,.3,.5,.7,1} be the lattice of membership grades for fuzzy sets on X. Let μ={a.5,b1,c.3}, ν={a0,b.5,c1}, and ω={a.3,b.7,c.5} be fuzzy sets on X, and τ the fuzzy topology generated by μ, ν, and ω. Then τ={Φ,μ,ν,ω,{a0,b.5,c.5},{a0,b.5,c.3}, {a.3,b.7,c.3},{a.5,b1,c.5},{a.3,b.7,c1},{a.5,b1,c1},X}.
We choose fuzzy setsλ={a.7,b.5,c.5} and ψ={a0,b0,c.5}, then calculations give that
(7)sIntsClλ={a.7,b.5,c.5}≮{a0,b.5,c.5}=IntClλ;IntClψ∨ψ={a0,b0,c.5}≮{a0,b0,c0}=sIntsClψ.Theorem 5.
For any fuzzy setλ in an fts X, we have(1)
(sIntλ)c=sCl(λc),(2)
(sClλ)c=sInt(λc).Proof.
(1)
(8)(sIntλ)c=1-sIntλ=1-∨{μ∣μ∈FSO(X)andμ≤λ}=⋀{1-μ∣μ∈FSO(X)andμ≤λ}=⋀{ψ∣ψc∈FSO(X)andψ≥λc},whereψ=1-μ=sCl(λc).
(2) Similar to (1).


## 4. Fuzzy S-Open and Fuzzy S-Closed Mappings

First, we defineDefinition 5.
A functionf:X→Y is said to be fuzzy s-open (resp., fuzzy s-closed) if the image of every fuzzy semi-open (resp., fuzzy semi-closed) set is fuzzy open (resp., fuzzy closed).Obviously a fuzzy s-open function is fuzzy open.Definition 6 (see [31]).
A fuzzy pointe is called a boundary point of a fuzzy set λ if and only if e∈Clλ⋀Clλc. The union of all the boundary points of λ is called a boundary of λ, denoted by Bdλ. It is clear that
(9)Bdλ=Clλ⋀Clλc.Next, we defineDefinition 7.
Semiboundary (briefly sBd) of a fuzzy setλ in an fts X is defined as
(10)sBdλ=sClλ⋀sClλc.In the following, we characterize fuzzy s-open mappings in terms of sInt, sCl, and sBd.Theorem 6.
For a functionf:X→Y, a fuzzy set α in an fts X and a fuzzy set β in an fts Y, then the following are equivalent:(1)
f is fuzzy s-open;(2)
f(sIntα)≤Intf(α);(3)
sIntf-1(β)≤f-1(Intβ);(4)
f-1(Clβ)≤sCl(f-1(β));(5)
f-1(Bd(β))≤sBd(f-1(β)).Proof.
(1)⇒(2) obviously f(sIntα)≤f(α). f is fuzzy s-open gives f(sIntα)that is fuzzy open in Y. But Intf(α) is the largest fuzzy open set such that Intf(α)≤f(α). Therefore f(sIntα)≤Intf(α), for any fuzzy set α in X. This gives (2).
(2)⇒(3) For any fuzzy set β in Y, f-1(β)=α is a fuzzy set in X. Then by (2)(11)f(sIntf-1(β))≤Int(f(f-1(β))≤Int(β),
or f(sIntf-1(β))≤Intβ or sIntf-1(β)≤f-1f(sIntf-1(β))≤f-1(Intβ) or sIntf-1(β)≤f-1(Intβ). This gives (3).
(3)⇒(4) By (3), we have
(12)sIntf-1(β)≤f-1(Intβ)(f-1(Intβ))c≤(sIntf-1(β))c=sCl(f-1(β))c(byTheorem5(1)),
or (f-1(Intβ))c≤sCl(f-1(β))c or f-1(Clβc)≤sClf-1(βc) or f-1(Clψ)≤sClf-1(ψ) where ψ=βc, a fuzzy set in Y. This gives (4).
(4)⇒(5) For a fuzzy set β in Y, Bdβ=Clβ⋀Cl(βc) is a fuzzy closed set in Y. Now f-1(Bdβ)=f-1(Clβ)⋀f-1(Clβc). Using (4) we have
(13)f-1(Bdβ)≤sCl(f-1(β)⋀sCl(f-1(βc))
or
(14)f-1(Bdβ)≤sClf-1(β)⋀sCl(f-1(β))c=sBdf-1(β).
This gives (5).In  the following, we  give characterizations of fuzzy s-closed mappings as follows.Theorem 7.
A functionf:X→Y is fuzzy s-closed if and only if Clf(λ)≤f(sClλ), for each fuzzy set λ in an fts X.Proof.
(⇒) Obviously f(λ)≤f(sClλ). f(sClλ) is fuzzy closed, since f is fuzzy s-closed. But Clf(λ) is the smallest fuzzy closed set with f(λ)≤Clf(λ). Therefore Clf(λ)≤f(sClλ).
(⇐) Let λ∈FSC(X). We show that f(λ) is fuzzy closed. By hypothesis, Clf(λ)≤f(sClλ)=f(λ) or Clf(λ)≤f(λ). This proves that f(λ) is fuzzy closed.Theorem 8.
If a functionf:X→Y is fuzzy s-closed then for each fuzzy set β in an fts Y and each fuzzy semi-open set μ in an fts X with μ≥f-1(β), there exists a fuzzy open set ν in Y with ν≥β such that f-1(ν)≤μ.Proof.
Letμ be an arbitrary fuzzy semi-open set in X with μ≥f-1(β), where β is a fuzzy set in Y. Clearly (f(μc))c=ν (say) is fuzzy open in Y. Since f-1(β)≤μ, then straightforward calculations give that β≤ν. Moreover, we have
(15)f-1(ν)=f-1(f(μc))c=(f-1f(μc))c≤μorf-1(ν)≤μ.Theorem 9.
Letf:X→Y be a surjective function from an fts X to an fts Y. If for each fuzzy set β in Y and each fuzzy semi-open set μ in X with μ≥f-1(β), there exists a fuzzy open set ν in Y with ν≥β such that f-1(ν)≤μ, then f is s-closed.Proof.
Letψ be an arbitrary fuzzy semi-closed set in X and y∈(f(ψ))c. Then
(16)f-1(y)≤f-1(f(ψ))c=(f-1f(ψ))c≤ψc
or f-1(y)≤ψc. Since ψc is fuzzy semi-open, therefore there exists a fuzzy open set νy with y∈νy such that f-1(νy)≤ψc. Since f is surjective, we have y∈νy≤(f(ψ))c. Thus (f(ψ))c=∨{νy∣y∈(f(ψ))c} is fuzzy open in Y or f(ψ) is fuzzy closed in Y. This proves that f is s-closed.Combining Theorems8 and 9, we have the following.Theorem 10.
A surjective functionf:X→Y is fuzzy s-closed if and only if for each fuzzy set β in Y and each fuzzy semi-open set μ in X with μ≥f-1(β), there exists a fuzzy open set ν in Y with ν≥β such that f-1(ν)≤μ.



---

*Source: 303042-2009-06-21.xml*