Advances in Fuzzy Systems

Advances in Fuzzy Systems / 2009 / Article

Research Article | Open Access

Volume 2009 |Article ID 303042 | https://doi.org/10.1155/2009/303042

B. Ahmad, Athar Kharal, "Fuzzy Sets, Fuzzy S-Open and S-Closed Mappings", Advances in Fuzzy Systems, vol. 2009, Article ID 303042, 5 pages, 2009. https://doi.org/10.1155/2009/303042

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

Academic Editor: Zeki Ayag
Received10 Oct 2008
Revised28 Feb 2009
Accepted13 Apr 2009
Published21 Jun 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.

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 π‘’βˆž 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 𝑇1/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].

Let 𝑋={π‘₯} be a space of points (objects), with a generic element π‘₯. A fuzzy set πœ† in 𝑋 is characterized by membership function πœ†(π‘₯) from 𝑋 to the unit interval [0,1].

The symbol Ξ¦ denotes the empty fuzzy set defined as πœ‡Ξ¦(π‘₯)=0, for all π‘₯βˆˆπ‘‹. For 𝑋, the membership function is defined as πœ‡π‘‹(π‘₯)=1, for all π‘₯βˆˆπ‘‹.

Definition 1 (see [2]). Let π‘“βˆΆπ‘‹β†’π‘Œ be a mapping. Let 𝛽 be a fuzzy set in π‘Œ with membership function 𝛽(𝑦). Then the inverse of 𝛽, written as π‘“βˆ’1(𝛽), is a fuzzy set in 𝑋 whose membership function is defined by π‘“βˆ’1(𝛽)(π‘₯)=𝛽(𝑓(π‘₯)),βˆ€π‘₯βˆˆπ‘‹.(1) Conversely, let πœ† be a fuzzy set in 𝑋 with membership function πœ†(π‘₯). The image of πœ†, written as 𝑓(πœ†), is a fuzzy set in π‘Œ whose membership function is given by 𝑓(πœ†)(𝑦)=supπ‘₯βˆˆπ‘“βˆ’1(𝑦){πœ†(π‘₯)},ifπ‘“βˆ’1(𝑦)isnonempty,0,otherwise,(2) for all π‘¦βˆˆπ‘Œ.

Definition 2 (see [2]). A fuzzy topology is a family 𝜏 of fuzzy sets in 𝑋, which satisfies the following conditions:(1)Ξ¦,π‘‹βˆˆπœ;(2)If πœ†,πœ‡βˆˆπœ, then πœ†β‹€πœ‡βˆˆπœ;(3)If πœ†π‘–βˆˆπœ for each π‘–βˆˆπΌ, then βˆ¨π‘–πœ†π‘–βˆˆπœ.

𝜏 is called a fuzzy topology for 𝑋, and the pair (𝑋,𝜏) 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 𝑋, 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 (𝑋,𝜏). Then πœ† is called a fuzzy semi-open set of 𝑋, if there exists a 𝜈∈𝜏 such that πœˆβ‰€πœ†β‰€Cl𝜈. A fuzzy set πœ‡ is fuzzy semi-closed if and only if its complement πœ‡π‘ is fuzzy semi-open. The class of all fuzzy semi-open (resp., fuzzy semi-closed) sets in 𝑋 is denoted by FSO(𝑋) (resp., FSC(𝑋)).

Definition 4 (see [26]). Let πœ† be a fuzzy set in an fts 𝑋. Then semi-closure (briefly sCl) and semi-interior (briefly sInt) of πœ† are defined as sClπœ†=∧{π›½βˆ£πœ†β‰€π›½,𝛽fuzzysemi-closed},sIntπœ†=∨{π›½βˆ£π›½β‰€πœ†,𝛽fuzzysemi-open},(3) 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 𝑋 is

(1)fuzzy semi-closed if and only if IntClπœ†β‰€πœ† (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 Theorem 1 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 𝑋, πœ† is fuzzy semi-closed if and only if sIntsClπœ†β‰€πœ† .

Proof. (β‡’) If πœ†isafuzzysemi-closedset,thatis,πœ†=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 Remark 1(2) is, in general, not true as is shown by following.

Example 1. Let 𝑋={π‘Ž,𝑏,𝑐} be a set and 𝐼={0,.3,.5,.7,1} be the lattice of membership grades for fuzzy sets in 𝑋. Let πœ‡={π‘Ž.7,𝑏0,𝑐1},𝜈={π‘Ž.7,𝑏.5,𝑐.3}, and πœ”={π‘Ž.5,𝑏.5,𝑐.5} be fuzzy sets on 𝑋, and 𝜏 the fuzzy topology generated by πœ‡,𝜈, and πœ”. Then 𝜏={Ξ¦,πœ‡,𝜈,πœ”,{π‘Ž.5,𝑏0,𝑐.5},{π‘Ž.5,𝑏.5,𝑐.3}, {π‘Ž.7,𝑏0,𝑐.3},{π‘Ž.7,𝑏0,𝑐.5},{π‘Ž.7,𝑏.5,𝑐.5},{π‘Ž.7,𝑏.5,𝑐1},𝑋}. 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 𝑋, one has (1)𝑠𝐼𝑛𝑑(πœ†βˆ¨πœ‡)β‰₯π‘ πΌπ‘›π‘‘πœ†βˆ¨π‘ πΌπ‘›π‘‘πœ‡;(2)⋀⋀𝑠𝐼𝑛𝑑(πœ†πœ‡)=π‘ πΌπ‘›π‘‘πœ†π‘ πΌπ‘›π‘‘πœ‡;(3)𝑠𝐢𝑙(πœ†βˆ¨πœ‡)=π‘ πΆπ‘™πœ†βˆ¨π‘ πΆπ‘™πœ‡;(4)⋀⋀𝑠𝐢𝑙(πœ†πœ‡)β‰€π‘ πΆπ‘™πœ†π‘ πΆπ‘™πœ‡.

Proof. (1) sIntπœ† and sIntπœ‡ are both fuzzy semi-open . πœ†β‰€πœ†βˆ¨πœ‡,πœ‡β‰€πœ†βˆ¨πœ‡ imply sIntπœ†β‰€sInt(πœ†βˆ¨πœ‡) and sIntπœ‡β‰€sInt(πœ†βˆ¨πœ‡). Combining, sIntπœ†βˆ¨sIntπœ‡β‰€sInt(πœ†βˆ¨πœ‡) or sInt(πœ†βˆ¨πœ‡)β‰₯sIntπœ†sIntπœ‡.(4)
(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. Let 𝑋={π‘Ž,𝑏} be a set and 𝐼={0,.5,1} be the lattice of membership grades for fuzzy sets on 𝑋. Let πœ‡={π‘Ž.5,𝑏1},𝜈={π‘Ž.0,𝑏1}, and πœ”={π‘Ž1,𝑏.5} be fuzzy sets on 𝑋, and 𝜏 the fuzzy topology generated by πœ‡, 𝜈, and πœ”. Then ξ€½ξ€½π‘Žπœ=Ξ¦,πœ‡,𝜈,πœ”,.5,𝑏.5ξ€Ύ,ξ€½π‘Ž0,𝑏.5ξ€Ύξ€Ύ,𝑋.(5) We choose fuzzy sets 𝛼={π‘Ž.5,𝑏0},𝛽={π‘Ž0,𝑏.5},𝛾={π‘Ž.5,𝑏1} and 𝛿={π‘Ž1,𝑏.5}. Then calculations give that ξ€½π‘ŽsInt(π›Όβˆ¨π›½)=.5,𝑏.5ξ€ΎΜΈ<ξ€½π‘Ž0,𝑏.5ξ€Ύξ€½π‘Ž=sIntπ›Όβˆ¨sInt𝛽,sClπ›Ύβˆ§sCl𝛿=1,𝑏.5ξ€ΎΜΈ<ξ€½π‘Ž.5,𝑏.5ξ€Ύ=sCl(π›Ύβˆ§π›Ώ).(6)

It is known [30] that for a fuzzy set πœ† in an fts 𝑋, we have

(1)ClsClπœ†=Clπœ†;(2)IntClπœ†β‰€sClπœ†.

We use this and Theorem 1, and prove the following.

Theorem 4. Let πœ† be a fuzzy set in an fts 𝑋. Then one has the following: (1)π‘ πΆπ‘™π‘ πΆπ‘™πœ†=π‘ πΆπ‘™πœ†(π‘ πΌπ‘›π‘‘π‘ πΌπ‘›π‘‘πœ†=π‘ πΌπ‘›π‘‘πœ†);(2)π‘ πΌπ‘›π‘‘π‘ πΆπ‘™πœ†β‰₯πΌπ‘›π‘‘πΆπ‘™πœ†;(3)πΌπ‘›π‘‘π‘ πΌπ‘›π‘‘π‘ πΆπ‘™πœ†=πΌπ‘›π‘‘πΆπ‘™πœ†;(4)π‘ πΌπ‘›π‘‘π‘ πΆπ‘™πœ†β‰€πΌπ‘›π‘‘πΆπ‘™πœ†βˆ¨πœ†.

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. Let 𝑋={π‘Ž,𝑏,𝑐} be a set and 𝐼={0,.3,.5,.7,1} be the lattice of membership grades for fuzzy sets on 𝑋. Let πœ‡={π‘Ž.5,𝑏1,𝑐.3}, 𝜈={π‘Ž0,𝑏.5,𝑐1}, and πœ”={π‘Ž.3,𝑏.7,𝑐.5} be fuzzy sets on 𝑋, and 𝜏 the fuzzy topology generated by πœ‡, 𝜈, and πœ”. Then 𝜏={Ξ¦,πœ‡,𝜈,πœ”,{π‘Ž0,𝑏.5,𝑐.5},{π‘Ž0,𝑏.5,𝑐.3}, {π‘Ž.3,𝑏.7,𝑐.3},{π‘Ž.5,𝑏1,𝑐.5},{π‘Ž.3,𝑏.7,𝑐1},{π‘Ž.5,𝑏1,𝑐1},𝑋}.
We choose fuzzy sets πœ†={π‘Ž.7,𝑏.5,𝑐.5} and πœ“={π‘Ž0,𝑏0,𝑐.5}, then calculations give that ξ€½π‘ŽsIntsClπœ†=.7,𝑏.5,𝑐.5ξ€ΎΜΈ<ξ€½π‘Ž0,𝑏.5,𝑐.5ξ€Ύξ€½π‘Ž=IntClπœ†;IntClπœ“βˆ¨πœ“=0,𝑏0,𝑐.5ξ€ΎΜΈ<ξ€½π‘Ž0,𝑏0,𝑐0ξ€Ύ=sIntsClπœ“.(7)

Theorem 5. For any fuzzy set πœ† in an fts 𝑋, we have (1)(π‘ πΌπ‘›π‘‘πœ†)𝑐=𝑠𝐢𝑙(πœ†π‘),(2)(π‘ πΆπ‘™πœ†)𝑐=𝑠𝐼𝑛𝑑(πœ†π‘).

Proof. (1) (sIntπœ†)𝑐=1βˆ’sIntπœ†=1βˆ’βˆ¨{πœ‡βˆ£πœ‡βˆˆFSO(𝑋)andπœ‡β‰€πœ†}=∧{1βˆ’πœ‡βˆ£πœ‡βˆˆFSO(𝑋)andπœ‡β‰€πœ†}=∧{πœ“βˆ£πœ“π‘βˆˆFSO(𝑋)andπœ“β‰₯πœ†π‘},whereπœ“=1βˆ’πœ‡=sCl(πœ†π‘).(8)
(2) Similar to (1).

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

First, we define

Definition 5. A function π‘“βˆΆπ‘‹β†’π‘Œ 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 point 𝑒 is called a boundary point of a fuzzy set πœ† if and only if β‹€π‘’βˆˆClπœ†Clπœ†π‘. The union of all the boundary points of πœ† is called a boundary of πœ†, denoted by Bdπœ†. It is clear that Bdπœ†=Clπœ†βˆ§Clπœ†π‘.(9)

Next, we define

Definition 7. Semiboundary (briefly sBd) of a fuzzy set πœ† in an fts 𝑋 is defined as sBdπœ†=sClπœ†βˆ§sClπœ†π‘.(10)

In the following, we characterize fuzzy s-open mappings in terms of sInt, sCl, and sBd.

Theorem 6. For a function π‘“βˆΆπ‘‹β†’π‘Œ, a fuzzy set 𝛼 in an fts 𝑋 and a fuzzy set 𝛽 in an fts π‘Œ, then the following are equivalent: (1)𝑓 is fuzzy s-open;(2)𝑓(sInt𝛼)≀Int𝑓(𝛼);(3)sIntπ‘“βˆ’1(𝛽)β‰€π‘“βˆ’1(Int𝛽);(4)π‘“βˆ’1(Cl𝛽)≀sCl(π‘“βˆ’1(𝛽));(5)π‘“βˆ’1(Bd(𝛽))≀sBd(π‘“βˆ’1(𝛽)).

Proof. (1)β‡’(2) obviously 𝑓(sInt𝛼)≀𝑓(𝛼). 𝑓 is fuzzy s-open gives 𝑓(sInt𝛼)that is fuzzy open in π‘Œ. But Int𝑓(𝛼) is the largest fuzzy open set such that Int𝑓(𝛼)≀𝑓(𝛼). Therefore 𝑓(sInt𝛼)≀Int𝑓(𝛼), for any fuzzy set 𝛼 in 𝑋. This gives (2).
(2)β‡’(3) For any fuzzy set 𝛽 in π‘Œ, π‘“βˆ’1(𝛽)=𝛼 is a fuzzy set in 𝑋. Then by (2)𝑓sIntπ‘“βˆ’1𝑓𝑓(𝛽)≀Intβˆ’1ξ€Έ(𝛽)≀Int(𝛽),(11) or 𝑓(sIntπ‘“βˆ’1(𝛽))≀Int𝛽 or sIntπ‘“βˆ’1(𝛽)β‰€π‘“βˆ’1𝑓(sIntπ‘“βˆ’1(𝛽))β‰€π‘“βˆ’1(Int𝛽) or sIntπ‘“βˆ’1(𝛽)β‰€π‘“βˆ’1(Int𝛽). This gives (3).
(3)β‡’(4) By (3), we have sIntπ‘“βˆ’1(𝛽)β‰€π‘“βˆ’1(Int𝛽)(π‘“βˆ’1(Int𝛽))𝑐≀(sIntπ‘“βˆ’1(𝛽))𝑐𝑓=sClβˆ’1ξ€Έ(𝛽)𝑐(byTheorem5(1)),(12) or (π‘“βˆ’1(Int𝛽))𝑐≀sCl(π‘“βˆ’1(𝛽))𝑐 or π‘“βˆ’1(Cl𝛽𝑐)≀sClπ‘“βˆ’1(𝛽𝑐) or π‘“βˆ’1(Clπœ“)≀sClπ‘“βˆ’1(πœ“) where πœ“=𝛽𝑐, a fuzzy set in π‘Œ. This gives (4).
(4)β‡’(5) For a fuzzy set 𝛽 in π‘Œ, β‹€Bd𝛽=Cl𝛽Cl(𝛽𝑐) is a fuzzy closed set in π‘Œ. Now π‘“βˆ’1(Bd𝛽)=π‘“βˆ’1⋀𝑓(Cl𝛽)βˆ’1(Cl𝛽𝑐). Using (4) we have π‘“βˆ’1𝑓(Bd𝛽)≀sClβˆ’1𝑓(𝛽)∧sClβˆ’1(𝛽𝑐)ξ€Έ(13) or π‘“βˆ’1(Bd𝛽)≀sClπ‘“βˆ’1𝑓(𝛽)∧sClβˆ’1ξ€Έ(𝛽)𝑐=sBdπ‘“βˆ’1(𝛽).(14) This gives (5).

In the following, we give characterizations of fuzzy s-closed mappings as follows.

Theorem 7. A function π‘“βˆΆπ‘‹β†’π‘Œ is fuzzy s-closed if and only if Cl𝑓(πœ†)≀𝑓(sClπœ†), for each fuzzy set πœ† in an fts 𝑋.

Proof. (β‡’) Obviously 𝑓(πœ†)≀𝑓(sClπœ†). 𝑓(sClπœ†) is fuzzy closed, since 𝑓 is fuzzy s-closed. But Cl𝑓(πœ†) is the smallest fuzzy closed set with 𝑓(πœ†)≀Cl𝑓(πœ†). Therefore Cl𝑓(πœ†)≀𝑓(sClπœ†).
(⇐) Let πœ†βˆˆFSC(𝑋). We show that 𝑓(πœ†) is fuzzy closed. By hypothesis, Cl𝑓(πœ†)≀𝑓(sClπœ†)=𝑓(πœ†) or Cl𝑓(πœ†)≀𝑓(πœ†). This proves that 𝑓(πœ†) is fuzzy closed.

Theorem 8. If a function π‘“βˆΆπ‘‹β†’π‘Œ is fuzzy s-closed then for each fuzzy set 𝛽 in an fts π‘Œ and each fuzzy semi-open set πœ‡ in an fts 𝑋 with πœ‡β‰₯π‘“βˆ’1(𝛽), there exists a fuzzy open set 𝜈 in π‘Œ with 𝜈β‰₯𝛽 such that π‘“βˆ’1(𝜈)β‰€πœ‡.

Proof. Let πœ‡ be an arbitrary fuzzy semi-open set in 𝑋 with πœ‡β‰₯π‘“βˆ’1(𝛽), where 𝛽 is a fuzzy set in π‘Œ. Clearly (𝑓(πœ‡π‘))𝑐=𝜈 (say) is fuzzy open in π‘Œ. Since π‘“βˆ’1(𝛽)β‰€πœ‡, then straightforward calculations give that π›½β‰€πœˆ. Moreover, we have π‘“βˆ’1(𝜈)=π‘“βˆ’1(𝑓(πœ‡π‘))𝑐=ξ€·π‘“βˆ’1𝑓(πœ‡π‘)ξ€Έπ‘β‰€πœ‡orπ‘“βˆ’1(𝜈)β‰€πœ‡.(15)

Theorem 9. Let π‘“βˆΆπ‘‹β†’π‘Œ be a surjective function from an fts 𝑋 to an fts π‘Œ. If for each fuzzy set 𝛽 in π‘Œ and each fuzzy semi-open set πœ‡ in 𝑋 with πœ‡β‰₯π‘“βˆ’1(𝛽), there exists a fuzzy open set 𝜈 in π‘Œ with 𝜈β‰₯𝛽 such that π‘“βˆ’1(𝜈)β‰€πœ‡, then 𝑓 is s-closed.

Proof. Let πœ“ be an arbitrary fuzzy semi-closed set in 𝑋 and π‘¦βˆˆ(𝑓(πœ“))𝑐. Then π‘“βˆ’1(𝑦)β‰€π‘“βˆ’1(𝑓(πœ“))𝑐=ξ€·π‘“βˆ’1𝑓(πœ“)π‘β‰€πœ“π‘(16) or π‘“βˆ’1(𝑦)β‰€πœ“π‘. Since πœ“π‘ is fuzzy semi-open, therefore there exists a fuzzy open set πœˆπ‘¦ with π‘¦βˆˆπœˆπ‘¦ such that π‘“βˆ’1(πœˆπ‘¦)β‰€πœ“π‘. Since 𝑓 is surjective, we have π‘¦βˆˆπœˆπ‘¦β‰€(𝑓(πœ“))𝑐. Thus (𝑓(πœ“))𝑐=∨{πœˆπ‘¦βˆ£π‘¦βˆˆ(𝑓(πœ“))𝑐} is fuzzy open in π‘Œ or 𝑓(πœ“) is fuzzy closed in π‘Œ. This proves that 𝑓 is s-closed.

Combining Theorems 8 and 9, we have the following.

Theorem 10. A surjective function π‘“βˆΆπ‘‹β†’π‘Œ is fuzzy s-closed if and only if for each fuzzy set 𝛽 in π‘Œ and each fuzzy semi-open set πœ‡ in 𝑋 with πœ‡β‰₯π‘“βˆ’1(𝛽), there exists a fuzzy open set 𝜈 in π‘Œ with 𝜈β‰₯𝛽 such that π‘“βˆ’1(𝜈)β‰€πœ‡.

References

  1. L. A. Zadeh, β€œFuzzy sets,” Information and Computation, vol. 8, pp. 338–353, 1965. View at: Google Scholar
  2. C. L. Chang, β€œFuzzy topological spaces,” Journal of Mathematical Analysis and Applications, vol. 24, pp. 182–190, 1968. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  3. S. Du, Q. Qin, Q. Wang, and B. Li, β€œFuzzy description of topological relations I: a unified fuzzy 9-intersection model,” in Proceedings of the 1st International Conference on Advances in Natural Computation (ICNC '05), vol. 3612 of Lecture Notes in Computer Science, pp. 1261–1273, Changsha, China, August 2005. View at: Google Scholar
  4. M. J. Egenhofer and R. D. Franzosa, β€œPoint-set topological spatial relations,” International Journal of Geographical Information Systems, vol. 5, no. 2, pp. 161–174, 1991. View at: Publisher Site | Google Scholar
  5. M. J. Egenhofer and J. Herring, β€œCategorizing binary topological relations between regions, lines and points in geographic databases,” Department of Surveying Engineering, University of Maine, Orono, Me, USA, 1991. View at: Google Scholar
  6. M. S. El Naschie, β€œOn the uncertainty of Cantorian geometry and the two-slit experiment,” Chaos, Solitons & Fractals, vol. 9, no. 3, pp. 517–529, 1998. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  7. M. S. El Naschie, β€œOn the certification of heterotic strings, M theory and e theory,” Chaos, Solitons & Fractals, pp. 2397–2408, 2000. View at: Google Scholar
  8. X. Tang, Spatial object modeling in fuzzy topological spaces with applications to land cover change in China, Ph. D. dissertation, University of Twente, Enschede, The Netherlands, 2004, ITC Dissertation no. 108.
  9. N. Levine, β€œSemi-open sets and semi-continuity in topological spaces,” The American Mathematical Monthly, vol. 70, pp. 36–41, 1963. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  10. A. Rosenfeld, β€œDigital topology,” The American Mathematical Monthly, vol. 86, no. 8, pp. 621–630, 1979. View at: Publisher Site | Google Scholar
  11. J. Cao, M. Ganster, and I. Reilly, β€œSubmaximality, extremal disconnectedness and generalized closed sets,” Houston Journal of Mathematics, vol. 24, no. 4, pp. 681–688, 1998. View at: Google Scholar
  12. A. Rosenfeld, β€œFuzzy digital topology,” Information and Control, vol. 40, no. 1, pp. 76–87, 1979. View at: Publisher Site | Google Scholar
  13. K. K. Azad, β€œOn fuzzy semicontinuity, fuzzy almost continuity and fuzzy weakly continuity,” Journal of Mathematical Analysis and Applications, vol. 82, no. 1, pp. 14–32, 1981. View at: Publisher Site | Google Scholar | Zentralblatt MATH
  14. S. E. Abbas, β€œFuzzy super irresolute functions,” International Journal of Mathematics and Mathematical Sciences, no. 42, pp. 2689–2700, 2003. View at: Publisher Site | Google Scholar | MathSciNet
  15. B. Ahmad and M. A. Kharal, β€œOn some fuzzy mappings,” Journal of Fuzzy Mathematics, vol. 16, no. 2, pp. 341–349, 2008. View at: Google Scholar
  16. M. Athar and B. Ahmad, β€œFuzzy boundary and fuzzy semiboundary,” Advances in Fuzzy Systems, vol. 2008, Article ID 586893, 9 pages, 2008. View at: Publisher Site | Google Scholar
  17. B. Ahmad and M. Athar, β€œFuzzy almost continuous functions,” International Journal of Contemporary Mathematical Sciences, vol. 3, no. 33–36, pp. 1665–1677, 2008. View at: Google Scholar
  18. M. Caldas, G. Navalagi, and R. Saraf, β€œOn fuzzy weakly semiopen functions,” Proyecciones, vol. 21, no. 1, pp. 51–63, 2002. View at: Google Scholar
  19. M. Caldas, G. Navalagi, and R. Saraf, β€œWeakly θ-closed functions between fuzzy topological spaces,” Matematichki Vesnik, vol. 54, no. 1-2, pp. 13–20, 2002. View at: Google Scholar
  20. M. C. Cueva and R. K. Saraf, β€œPreserving fuzzy sg-closed sets,” Proyecciones, vol. 20, no. 2, pp. 127–138, 2001. View at: Google Scholar
  21. D. N. Georgiou and B. K. Papadopoulos, β€œOn fuzzy θ-convergences,” Fuzzy Sets and Systems, vol. 116, no. 3, pp. 385–399, 2000. View at: Publisher Site | Google Scholar | MathSciNet
  22. B. Ghosh, β€œSemi-continuous and semi-closed mappings and semi-connectedness in fuzzy setting,” Fuzzy Sets and Systems, vol. 35, no. 3, pp. 345–355, 1990. View at: Publisher Site | Google Scholar | MathSciNet
  23. I. M. Hanafy, β€œFuzzy β-compactness and fuzzy β-closed spaces,” Turkish Journal of Mathematics, vol. 28, no. 3, pp. 281–293, 2004. View at: Google Scholar
  24. S. J. Lee and E. P. Lee, β€œFuzzy r-continuous and fuzzy r-semicontinuous maps,” International Journal of Mathematics and Mathematical Sciences, vol. 27, no. 1, pp. 53–63, 2001. View at: Publisher Site | Google Scholar | MathSciNet
  25. M. A. Kharal and B. Ahmad, β€œOn some fuzzy mappings II,” to appear in Journal of Fuzzy Mathematics. View at: Google Scholar
  26. T. H. Yalvac, β€œSemi-interior and semiclosure of a fuzzy set,” Journal of Mathematical Analysis and Applications, vol. 132, no. 2, pp. 356–364, 1988. View at: Publisher Site | Google Scholar | MathSciNet
  27. A. M. Zahran, β€œRegularly open sets and a good extension on fuzzy topological spaces,” Fuzzy Sets and Systems, vol. 116, no. 3, pp. 353–359, 2000. View at: Publisher Site | Google Scholar | MathSciNet
  28. D. E. Cameron and G. Woods, β€œs-continuous and s-open mappings,” preprint, 1987. View at: Google Scholar
  29. M. Khan and B. Ahmad, β€œOn s-continuous, s-open and s-closed mappings,” Punjab University Journal of Mathematics, vol. 34, no. 1, pp. 107–114, 2001. View at: Google Scholar
  30. S. P. Sinha and S. Malakar, β€œOn s-closed fuzzy topological spaces,” Journal of Fuzzy Mathematics, vol. 2, no. 1, pp. 95–103, 1994. View at: Google Scholar
  31. P. Pao-Ming and L. Ying-Ming, β€œFuzzy topology—II: product and quotient spaces,” Journal of Mathematical Analysis and Applications, vol. 77, no. 1, pp. 20–37, 1980. View at: Publisher Site | Google Scholar | Zentralblatt MATH

Copyright © 2009 B. Ahmad and Athar Kharal. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Related articles

No related content is available yet for this article.
 PDF Download Citation Citation
 Download other formatsMore
 Order printed copiesOrder
Views5138
Downloads2324
Citations

Related articles

No related content is available yet for this article.

Article of the Year Award: Outstanding research contributions of 2021, as selected by our Chief Editors. Read the winning articles.