1. Introduction and Preliminaries
Theory of soft set was pioneered by Molodtsov [1], which is a completely novel approach for modeling uncertainty and vagueness. He demonstrated some applications of these theory in solving some practical problems in engineering, economics, and medical science, social science etc. The concept of soft sets was used to define soft topological spaces in [2]. The study in [2] was particularly important in the development of the field of soft topology (for more detail, see [3–6]). Generalizations of soft open sets play an effective role in soft topology through their use to improve on some known results or to open the door to redefine and investigate some of the soft topological concepts such as soft continuity [7], soft connectedness [8,9], soft separation axioms [10,11], etc. Akdag and Ozkan [12] initiated and studied the concept of soft -open sets on soft topological spaces. The concept of soft -open sets was studied by the authors of [13,14], and some properties of soft -continuity are investigated. Also, the concepts of somewhere dense and Q-sets were defined and studied by the authors of [15,16]. Al-shami et al. [17] initiated the concept of weakly soft semi-open sets and studied its main properties. Also, Al-shami et al. [18] defined and studied the concept of weakly soft -open sets. Kaur et al. [19] introduced a new approach to studying soft continuous mappings using an induced mapping based on soft sets. Al Ghour and Al-Mufarrij [20] defined new concepts of mappings over soft topological spaces: soft somewhat-r-continuity and soft somewhat-r-openness. Ameen et al. [21] explored more properties of soft somewhere dense continuity.
The notion of fuzzy soft sets was introduced by Maji et al. [22], which combines fuzzy sets [23] and soft sets [1]. Based on fuzzy topologies in the sense of Šostak [24], the notion of fuzzy soft topology is defined and some properties such as fuzzy soft continuity, fuzzy soft interior (closure) set and fuzzy soft subspace is introduced in [25,26]. The notion of r-fuzzy soft regularly open sets was defined and studied by Çetkin and Aygün [27]. In addition, the notions of r-fuzzy soft -open (resp. pre-open) sets were introduced by Taha [28]. A new approach to studying separation and regularity axioms via fuzzy soft sets was introduced by the author of [29,30] based on the paper Aygünoǧlu et al. [25]
The main contribution of this study is arranged as follows:
• In
Section 2, we are going to present the notions of fuzzy soft
-closure (
-interior) operators in fuzzy soft topological spaces based on the article Aygünoǧlu et al. [25], and study some properties of them. Also, the concept of
r-fuzzy soft
-connected sets is defined and studied.
• In
Section 3, we investigate some properties of a fuzzy soft
-continuity. Moreover, we explore and study the notions of fuzzy soft almost (weakly)
-continuous functions, which are weaker forms of fuzzy soft
-continuous functions. Also, we show that fuzzy soft
-continuity ⇒ fuzzy soft almost
-continuity ⇒ fuzzy soft weakly
-continuity, but the converse may not be true.
• In
Section 4, we introduce the notions of fuzzy soft
-irresolute (resp. strongly
-irresolute,
-irresolute open,
-irresolute closed and
-irresolute homeomorphism) functions between two fuzzy soft topological spaces
and
, and investigate some properties of these functions. Additionally, the relationships between these classes of functions are considered with the help of some examples.
• In the end, we close this study with some conclusions and open a door to suggest some future papers in
Section 5.
In this study, nonempty sets will be denoted by V, U etc. F is the set of all parameters for V and . The family of all fuzzy sets on V is denoted by (where ), and for , for all
The following notions and results will be used in the next sections:
Definition 1.1.
A fuzzy soft set on V is a function from F to such that is a fuzzy set on V, for each and , if . The family of all fuzzy soft sets on V is denoted by . In [33], the difference between two fuzzy soft sets and is a fuzzy soft set defined as follows, for each :
Definition 1.2.
A fuzzy soft point
on
V is a fuzzy soft set defined as follows:
where
is a fuzzy point on
V.
is said to belong to a fuzzy soft set
, denoted by
, if
. The family of all fuzzy soft points on
V is denoted by
.
Definition 1.3.
A fuzzy soft point is called a soft quasi-coincident with , denoted by , if . A fuzzy soft set is called a soft quasi-coincident with , denoted by , if there is and such that . If is not soft quasi-coincident with , .
Definition 1.4.
A function is said to be a fuzzy soft topology on V if it satisfies the following, for each :
(1)
(2) for each
(3) for each
Then, is said to be a fuzzy soft topological space (briefly, FSTS) based on the sense of Šostak [24].
Definition 1.5.
Let and be a FSTSs. A fuzzy soft function is said to be fuzzy soft continuous if, for each , and .
Definition 1.6.
In a FSTS , for each , and , we define the fuzzy soft operators and as follows:
,
Definition 1.7. Let be a FSTS and . A fuzzy soft set is said to be r-fuzzy soft -open [28] (resp. pre-open [28], semi-open [36] and regularly open [27]) if, (resp. , and ) for each .
Definition 1.8.
Let be a FSTS and . A fuzzy soft set is said to be an r-fuzzy soft regularly closed if, for each .
Remark 1.1.
From the previous definition, we can summarize the relationships among different types of fuzzy soft sets as in the next diagram.
Definition 1.9.
Let and be a FSTSs. A fuzzy soft function is said to be a fuzzy soft almost (resp. weakly) continuous if, for each and each with containing , there is with containing such that (resp. ).
Remark 1.2.
From Definitions 1.5 and 1.9, we have: Fuzzy soft continuity ⇒ fuzzy soft almost continuity ⇒ fuzzy soft weakly continuity.
The basic results and definitions which we need in the next sections are found in [25,26].
2. Some Properties of r-Fuzzy Soft -Closed Sets
Here, we introduce the concept of r-fuzzy soft -closed sets in fuzzy soft topological spaces based on the sense of Šostak [24], and investigate some properties of them. Also, we define and study the concepts of fuzzy soft -closure (-interior) operators. Moreover, the concept of r-fuzzy soft -connected sets is defined and characterized.
Definition 2.1. Let be a FSTS. A fuzzy soft set is said to be an r-fuzzy soft -closed if, for each and .
Proposition 2.1. Let be a FSTS, , and . Then, we have
(1) is r-fuzzy soft -closed set iff is r-fuzzy soft -open [28].
(2) Any intersection of r-fuzzy soft -closed sets is r-fuzzy soft -closed.
(3) Any union of r-fuzzy soft -open sets is r-fuzzy soft -open.
Proof. Follows from Definitions 1.7 and 2.1.
□
Proposition 2.2. Let be a FSTS, , and . If is r-fuzzy soft pre-open set such that , is r-fuzzy soft -open.
Proof. Since is r-fuzzy soft pre-open and , then Since , then , so is r-fuzzy soft -open.
□
Proposition 2.3. Let be a FSTS, , and . If is r-fuzzy soft pre-closed set such that , is r-fuzzy soft -closed.
Proof. Easily proved by a similar way in Proposition 2.2.
□
Definition 2.2. In a FSTS , for each , and , we define a fuzzy soft operator as follows:
Theorem 2.1. In a FSTS , for each , and , the operator satisfies the following properties:
(1) .
(2) .
(3) , if .
(4) .
(5) .
(6) is r-fuzzy soft -closed iff .
(7) .
Proof. (1), (2), (3) and (6) are easily proved from the definition of .
(4) From (2) and (3), . Now we show that . Suppose that is not contain . Then, there is and such that
Since , by the definition of , there is is r-fuzzy soft -closed with such that . Since , we have . Again, by the definition of , . Hence , it is a contradiction for . Thus, . Then,
(5) Since and , hence by (3), and . Thus, .
(7) From (6) and is r-fuzzy soft -closed set, hence .
□
Definition 2.3. Let be a FSTS, and . Then, we have:
(1) Two fuzzy soft sets and are called r-fuzzy soft -separated iff and for each .
(2) Any fuzzy soft set which cannot be expressed as the union of two r-fuzzy soft -separated sets is called an r-fuzzy soft -connected.
Theorem 2.2. In a FSTS , we have:
(1) If and are r-fuzzy soft -separated and , such that and , then and are r-fuzzy soft -separated.
(2) If and either both are r-fuzzy soft -open or both r-fuzzy soft -closed, then and are r-fuzzy soft -separated.
(3) If and are either both r-fuzzy soft -open or both r-fuzzy soft -closed, then and are r-fuzzy soft -separated.
Proof. (1) and (2) are obvious.
(3) Let and be an r-fuzzy soft -open. Since , and hence . Then,
Again, since , and hence . Then, Thus, and are r-fuzzy soft -separated. The other case follows similar lines.
□
Theorem 2.3. In a FSTS , then , are r-fuzzy soft -separated iff there exist two r-fuzzy soft -open sets and such that , , and .
Proof. (⇒) Let and be an r-fuzzy soft -separated, and , where and are r-fuzzy soft -open, then and . Thus, and . Hence, we obtain the required result.
(⇐) Let and be an r-fuzzy soft -open such that , , and . Then, and . Hence, and . Then, and . Thus, and are r-fuzzy soft -separated. Hence, we obtain the required result.
□
Theorem 2.4. In a FSTS , if is r-fuzzy soft -connected such that , then is r-fuzzy soft -connected.
Proof. Suppose that is not r-fuzzy soft -connected, then there is r-fuzzy soft -separated sets and such that . Let and , then . Since and , hence by Theorem 2.2(1), and are r-fuzzy soft -separated, it is a contradiction. Thus, is r-fuzzy soft -connected, as required.
□
Theorem 2.5. In a FSTS , for each , and , we define a fuzzy soft operator as follows: Then, for each , the operator satisfies the following properties:
(1) .
(2) .
(3) , if .
(4) .
(5) .
(6) is r-fuzzy soft -open iff .
(7) .
Proof. (1), (2), (3) and (6) are easily proved from the definition of .
(4) and (5) are easily proved by a similar way in Theorem 2.1.
(7) For each , and , we have = [ = .
□
3. Weaker Forms of Fuzzy Soft -Continuity
Here, we investigate some properties of fuzzy soft -continuity. As a weaker form of fuzzy soft -continuity, the concepts of fuzzy soft almost (weakly) -continuous functions are introduced, and some properties are given.
Definition 3.1. Let and be a FSTSs. A fuzzy soft function is said to be a fuzzy soft -continuous if, is r-fuzzy soft -closed set for each with , , and .
Theorem 3.1. Let and be a FSTSs, and be a fuzzy soft function. The following statements are equivalent for each , , and :
(1) is fuzzy soft -continuous.
(2) For each with , is r-fuzzy soft -open.
(3) .
(4) .
(5) .
Proof.
(1) ⇔ (2) Follows from Proposition 2.1(1) and .
(1) ⇒ (3) Let , hence by (1), is r-fuzzy soft -closed. Then, we obtain .
(3) ⇔ (4) Follows from Theorem 2.5(7).
(3) ⇒ (5) Let , hence by (3), we obtain .
(5) ⇒ (2) Let with , hence by (5), we obtain . Then, , so is r-fuzzy soft -open.
□
Lemma 3.1. Every fuzzy soft continuous function [25] is fuzzy soft -continuous.
Proof. Follows from Definition 1.5 and Theorem 3.1.
□
Remark 3.1. The converse of Lemma 3.1 is not true, as shown by Example 3.1.
Example 3.1. Let , and define as follows: , . Define fuzzy soft topologies as follows: ,
Then, the identity fuzzy soft function is fuzzy soft -continuous, but it is not fuzzy soft continuous.
Definition 3.2. Let and be a FSTSs. A fuzzy soft function is said to be a fuzzy soft almost (resp. weakly) -continuous if, for each and each with containing , there is is r-fuzzy soft -open set containing such that (resp. ), , and .
Lemma 3.2. (1) Every fuzzy soft -continuous function is fuzzy soft almost -continuous.
(2) Every fuzzy soft almost -continuous function is fuzzy soft weakly -continuous.
Proof. Follows from Definition 3.2 and Theorem 3.1.
□
Remark 3.2. The converse of Lemma 3.2 is not true, as shown by Examples 3.2 and 3.3.
Example 3.2. Let , and define as follows: , , . Define fuzzy soft topologies as follows: ,
Then, the identity fuzzy soft function is fuzzy soft almost -continuous, but it is not fuzzy soft -continuous.
Example 3.3. Let , and define as follows: , . Define fuzzy soft topologies as follows: ,
Then, the identity fuzzy soft function is fuzzy soft weakly -continuous, but it is not fuzzy soft almost -continuous.
Lemma 3.3. (1) Every fuzzy soft almost continuous function is fuzzy soft almost -continuous.
(2) Every fuzzy soft weakly continuous function is fuzzy soft weakly -continuous.
Proof. Follows from Definitions 1.9 and 3.2.
□
Remark 3.3. From the previous definitions and results, we can summarize the relationships among different types of fuzzy soft continuity as in the next diagram.
Theorem 3.2. Let and be a FSTSs, and be a fuzzy soft function. The following statements are equivalent for each , , and :
(1) is fuzzy soft almost -continuous.
(2) is r-fuzzy soft -open, for each is r-fuzzy soft regularly open.
(3) is r-fuzzy soft -closed, for each is r-fuzzy soft regularly closed.
(4) , for each is r-fuzzy soft -open.
(5) , for each is r-fuzzy soft semi-open.
(6) , for each with .
Proof. (1) ⇒ (2) Let and be an r-fuzzy soft regularly open set containing , hence by (1), there is is r-fuzzy soft -open set containing such that .
Thus, and . Then, and . Therefore, is r-fuzzy soft -open set.
(2) ⇒ (3) Let be an r-fuzzy soft regularly closed set, hence by (2), is r-fuzzy soft -open set. Then, is r-fuzzy soft -closed set.
(3) ⇒ (4) Let be an r-fuzzy soft -open set. Since is r-fuzzy soft regularly closed set, hence by (3), is r-fuzzy soft -closed set. Since , then we have .
(4) ⇒ (5) This is obvious from every r-fuzzy soft semi-open set is r-fuzzy soft -open set.
(5) ⇒ (3) Let be an r-fuzzy soft regularly closed set, hence is r-fuzzy soft semi-open set. Then by (5), . Therefore, is r-fuzzy soft -closed set.
(3) ⇒ (6) Let with and , then we have . Since is r-fuzzy soft regularly closed set, hence by (3), is r-fuzzy soft -closed set. Thus, is r-fuzzy soft -open set and . Then, .
(6) ⇒ (1) Let and with containing , hence by (6), .
Since , then we obtain (say). Hence, there is is r-fuzzy soft -open set containing such that . Therefore, is fuzzy soft almost -continuous.
□
In a similar way, we can prove the following theorem.
Theorem 3.3. Let and be a FSTSs, and be a fuzzy soft function. The following statements are equivalent for each , , and :
(1) is fuzzy soft weakly -continuous.
(2) , if .
(3) , if .
(4) , if .
(5) .
(6) .
(7) , if .
Let and be operators on , and and be operators on .
Definition 3.3.
Let and be a FSTSs. is said to be a fuzzy soft -continuous function if, for each with , and .
In (2014), Aygünoǧlu et al. [25] defined the notion of fuzzy soft continuous functions: , for each , and . We can see that Definition 3.3 generalizes the concept of fuzzy soft continuous functions, when we choose = identity operator, = interior operator, = identity operator and = identity operator.
A historical justification of Definition 3.3:
(1) In
Section 3, we introduced the notion of fuzzy soft
-continuous functions:
, for each
with
. Here,
= identity operator,
= closure interior closure operator,
= identity operator and
= identity operator.
(2) In
Section 3, we introduced the notion of fuzzy soft almost
-continuous functions:
, for each
with
. Here,
= identity operator,
=
-interior operator,
= interior closure operator and
= identity operator.
(3) In
Section 3, we introduced the notion of fuzzy soft weakly
-continuous functions:
, for each
with
. Here,
= identity operator,
=
-interior operator,
= closure operator and
= identity operator.
4. Fuzzy Soft -Irresoluteness
Here, we introduce the concepts of fuzzy soft -irresolute (resp. strongly -irresolute, -irresolute open, -irresolute closed and -irresolute homeomorphism) functions between two fuzzy soft topological spaces and , and study some of its features. Also, we show that fuzzy soft strongly -irresolute ⇒ fuzzy soft -irresolute ⇒ fuzzy soft -continuity, but the converse may not be true.
Definition 4.1. Let and be a FSTSs. A fuzzy soft function is said to be a fuzzy soft -irresolute (resp. strongly -irresolute) if, is r-fuzzy soft -open (resp. semi-open) set for each is r-fuzzy soft -open set and .
Lemma 4.1. (1) Every fuzzy soft strongly -irresolute function is fuzzy soft -irresolute.
(2) Every fuzzy soft -irresolute function is fuzzy soft -continuous.
Proof. Follows from Definition 4.1 and Theorem 3.1.
□
Remark 4.1. The converse of Lemma 4.1 is not true, as shown by Examples 4.1 and 4.2.
Example 4.1. Let , and define as follows: , . Define fuzzy soft topologies as follows: ,
Then, the identity fuzzy soft function is fuzzy soft -irresolute, but it is not fuzzy soft strongly -irresolute.
Example 4.2. Let , and define as follows: , . Define fuzzy soft topologies as follows: ,
Then, the identity fuzzy soft function is fuzzy soft -continuous, but it is not fuzzy soft -irresolute.
Remark 4.2. From the previous results, we have: Fuzzy soft strongly -irresolute ⇒ fuzzy soft -irresolute ⇒ fuzzy soft -continuity.
Theorem 4.1. Let and be a FSTSs, and be a fuzzy soft function. The following statements are equivalent for each , , and :
(1) is fuzzy soft -irresolute.
(2) For each is r-fuzzy soft -closed, is r-fuzzy soft -closed.
(3) .
(4) .
(5) .
Proof. (1) ⇔ (2) Follows from Proposition 2.1(1) and .
(2) ⇒ (3) Let , hence by (2), is r-fuzzy soft -closed. Then, we obtain .
(3) ⇔ (4) Follows from Theorem 2.5(7).
(3) ⇒ (5) Let , hence by (3), we obtain .
(5) ⇒ (1) Let be an r-fuzzy soft -open, hence by (5), we obtain . Then, , so is r-fuzzy soft -open. Hence, is fuzzy soft -irresolute.
□
Theorem 4.2. Let and be a FSTSs, and be a fuzzy soft function. The following statements are equivalent for each , , and :
(1) is fuzzy soft strongly -irresolute.
(2) For each is r-fuzzy soft -closed, is r-fuzzy soft semi-closed.
(3) .
Proof. (1) ⇔ (2) Follows from Proposition 2.1(1) and .
(2) ⇒ (3) Let , hence by (2), is r-fuzzy soft semi-closed. Then, we obtain .
(3) ⇒ (1) Let be an r-fuzzy soft -open, hence by (3), we obtain . Then, , so is r-fuzzy soft semi-open. Hence, is fuzzy soft strongly -irresolute.
□
Proposition 4.1. Let , and be a FSTSs, and , be two fuzzy soft functions. Then, the composition is fuzzy soft -irresolute (resp. strongly -irresolute and -continuous) if, is fuzzy soft -irresolute (resp. strongly -irresolute and -irresolute) and is fuzzy soft -irresolute (resp. -irresolute and -continuous).
Proof. Follows from Definition 4.1 and Theorem 3.1.
□
Proposition 4.2. Let , and be a FSTSs, and , be two fuzzy soft functions. Then, the composition is fuzzy soft almost -continuous if, is fuzzy soft -continuous (resp. -irresolute and -continuous) and is fuzzy soft almost continuous (resp. almost -continuous and continuous).
Proof. Follows from the above definitions. □
Definition 4.2. Let and be a FSTSs and . A fuzzy soft function is said to be a fuzzy soft -irresolute open (resp. closed) if, is r-fuzzy soft -open (resp. -closed) set for each is r-fuzzy soft -open (resp. -closed) set.
Theorem 4.3. Let and be a FSTSs, and be a fuzzy soft function. The following statements are equivalent for each , , , and :
(1) is fuzzy soft -irresolute open.
(2) .
(3) .
(4) For each and each is r-fuzzy soft -closed with , there is is r-fuzzy soft -closed with such that .
Proof. (1) ⇒ (2) Since , hence by (1), is r-fuzzy soft -open. Hence, .
(2) ⇒ (3) Put , hence by (2), . Then, .
(3) ⇒ (4) Let and be an r-fuzzy soft -closed with . Since , . Hence by (3), . Thus, Hence, there is is r-fuzzy soft -closed with such that .
(4) ⇒ (1) Let be an r-fuzzy soft -open. Put and , . Hence by (4), there is is r-fuzzy soft -closed with such that . Thus, . On the other hand, since , . Thus, , so is r-fuzzy soft -open. Then, is fuzzy soft -irresolute open. □
In a similar way, we can prove the following theorem.
Theorem 4.4. Let and be a FSTSs, and be a bijective fuzzy soft function. The following statements are equivalent for each , , , and :
(1) is fuzzy soft -irresolute closed.
(2) .
(3) .
(4) For each and each is r-fuzzy soft -open with , there is is r-fuzzy soft -open with such that .
Proposition 4.3. Let and be a FSTSs, and be a bijective fuzzy soft function. is fuzzy soft -irresolute closed iff is fuzzy soft -irresolute open.
Proof. It is easily proved from;
.
□
Definition 4.3. Let and be a FSTSs. A fuzzy soft function is said to be a fuzzy soft -irresolute homeomorphism if, is bijective, and both of and are -irresolute.
From the above theorems, we obtain the following corollary.
Corollary 4.1. Let and be a FSTSs, and be a bijective fuzzy soft function. The following statements are equivalent for each , , , and :
(1) is fuzzy soft -irresolute homeomorphism.
(2) is fuzzy soft -irresolute and fuzzy soft -irresolute open.
(3) is fuzzy soft -irresolute and fuzzy soft -irresolute closed.
(4) .
(5) .
(6) .
(7) .