1. Introduction
Theory of soft sets was first introduced by Molodtsov [
1], which is a completely new approach for modeling uncertainty and vagueness. He demonstrated many applications of these theory in solving several practical problems in mathematics, engineering, economics, and social science etc. Akdag and Ozkan [
2] defined the concept of soft
-open sets on soft topological spaces, and some properties are specified. The concept of soft
-open sets was defined and studied by the authors of [
3,
4]. Also, the concepts of soft semi-open, somewhere dense and Q-sets were studied by the authors of [
5,
6]. Al-shami et al. [
7] introduced the concept of weakly soft semi-open sets and obtained its main properties. Moreover, Al-shami et al. [
8] initiated the concept of weakly soft
-open sets and examined weakly soft
-continuity. Kaur et al. [
9] introduced a new approach to studying soft continuous mappings using an induced mapping based on soft sets. Al Ghour and Al-Mufarrij [
10] defined two new concepts of mappings over soft topological spaces: soft somewhat-r-continuity and soft somewhat-r-openness. In 2024, Ameen et al. [
11] explored more properties of soft somewhere dense continuous mappings.
The concept of fuzzy soft sets was introduced by Maji et al. [
12], which combines soft sets [
1] and fuzzy sets [
13]. The concept of fuzzy soft topology is defined and some characterized such as fuzzy soft interior (closure) set, fuzzy soft continuity and fuzzy soft subspace is studied in [
14,
15] based on fuzzy topologies in the sense of Šostak [
16]. A new approach to studying separation and regularity axioms via fuzzy soft sets was introduced by the author of [
17,
18] based on the paper Aygünoǧlu et al. [
14]. The concept of
r-fuzzy soft regularly open sets was introduced by Çetkin and Aygün [
19]. Also, the concepts of
r-fuzzy soft pre-open (resp.
-open) sets were defined by Taha [
20].
In our study, the layout is designed as follows.
• Firstly, we introduce the concepts of fuzzy soft
-closure (
-interior) operators in fuzzy soft topological space
based on the paper Aygünoǧlu et al. [
14], and examine some of its properties. Also, the concept of
r-fuzzy soft
-connected sets is introduced and studied.
• Secondly, we are going to investigate some properties of fuzzy soft -continuous mappings between two fuzzy soft topological spaces and . Moreover, we define and study the concepts of fuzzy soft weakly (almost) -continuous mappings, which are weaker forms of fuzzy soft -continuous mappings. Also, the relationships between these classes of mappings are investigated with the help of some examples.
• Finally, several types of fuzzy soft compactness via r-fuzzy soft -open sets are defined, and the relationships between them are specified.
•
In the end, we close this manuscript with some conclusions and proposed some future works in
Section 5.
In this work, nonempty sets will be denoted by W, V etc. N is the set of all parameters for W and . The family of all fuzzy sets on W is denoted by (where ), and for , for all
The following concepts and results will be used in the next sections.
Definition 1.1. [
14,
21,
22] A fuzzy soft set
on
W is a mapping from
N to
such that
is a fuzzy set on
W, for each
and
, if
. The family of all fuzzy soft sets on
W is denoted by
.
Definition 1.2. [
23] The difference between two fuzzy soft sets
and
is a fuzzy soft set defined as follows, for each
:
Definition 1.3. [
24] A fuzzy soft point
on
W is a fuzzy soft set defined as follows:
where
is a fuzzy point on
W.
is called belong to a fuzzy soft set
, denoted by
, if
. The family of all fuzzy soft points on
W is denoted by
.
Definition 1.4. [
25] A fuzzy soft point
is called a soft quasi-coincident with
and denoted by
, if
. A fuzzy soft set
is called a soft quasi-coincident with
and denoted by
, if there is
and
such that
. If
is not soft quasi-coincident with
,
.
Definition 1.5. [
14] A mapping
is called a fuzzy soft topology on
W if it satisfies the following, for each
:
(1)
(2) for each
(3) for each
Then, is called a fuzzy soft topological space (briefly, FSTS) in the sense of Šostak.
Definition 1.6. [
14] Let
and
be a FSTSs. A fuzzy soft mapping
is called a fuzzy soft continuous if,
for each
,
and
.
Definition 1.7. [
15,
19] In a FSTS
, for each
,
and
, we define the fuzzy soft operators
and
as follows:
,
Definition 1.8. Let
be a FSTS and
. A fuzzy soft set
is called an
r-fuzzy soft regularly open [
19] (resp.
-open [
20], pre-open [
20],
-open [
26] and semi-open [
26]) if,
(resp.
,
,
and
) for each
.
Definition 1.9. [
19] Let
be a FSTS and
. A fuzzy soft set
is called an
r-fuzzy soft regularly closed if,
for each
.
Definition 1.10. [
26] Let
and
be a FSTSs and
. A fuzzy soft mapping
is called a fuzzy soft almost (resp. weakly) continuous if, for any
and any
with
containing
, there is
with
containing
such that
(resp.
).
Remark 1.1. [
26] From Definitions 1.6 and 1.10, we have: Fuzzy soft continuity ⇒ fuzzy soft almost continuity ⇒ fuzzy soft weakly continuity, but the converse may not be true.
Lemma 1.1. Let and be a FSTSs and . A fuzzy soft mapping is fuzzy soft almost continuous if, for each is r-fuzzy soft regularly open, and .
Proof. Easily proved from Definition 1.10.
□
Definition 1.11. Let and be a FSTSs. A fuzzy soft mapping is called a fuzzy soft open if, for each , and .
The basic concepts and results are found in [
14,
15], which we need in the next sections.
2. On r-Fuzzy Soft -Open Sets
Here, we introduce and discuss the notions of fuzzy soft
-closure (
-interior) operators in fuzzy soft topological spaces based on the paper Aygünoǧlu et al. [
14]. Also, the notion of
r-fuzzy soft
-connected sets is defined and studied with help of fuzzy soft
-closure operators.
Definition 2.1. Let be a FSTS and . A fuzzy soft set is called an r-fuzzy soft -closed (resp. semi-closed, -closed and pre-closed) if, (resp. , and ) for each .
Remark 2.1. The complement of an
r-fuzzy soft
-open [
26] (resp. semi-open [
26],
-open [
20] and pre-open [
20]) set is an
r-fuzzy soft
-closed (resp. semi-closed,
-closed and pre-closed) set.
Lemma 2.1. Let be a FSTS and . Then, any intersection (resp. union) of r-fuzzy soft -closed (resp. -open) sets is an r-fuzzy soft -closed (resp. -open) set.
Proof. Easily proved from Definitions 1.8 and 2.1. □
Proposition 2.1. Let be a FSTS, , and . Then, the following statements are equivalent.
(1) is r-fuzzy soft -closed.
(2) is r-fuzzy soft semi-closed and r-fuzzy soft pre-closed.
Proof. (1) ⇒ (2) Let be an r-fuzzy soft -closed, . This shows that is r-fuzzy soft semi-closed.
Since and , then . Therefore, is r-fuzzy soft pre-closed
(2) ⇒ (1) Let be an r-fuzzy soft semi-closed and r-fuzzy soft pre-closed, then . This shows that is r-fuzzy soft -closed.
□
Proposition 2.2. Let be a FSTS, , and . If is r-fuzzy soft semi-closed set such that , is r-fuzzy soft -closed.
Proof. Let be an r-fuzzy soft semi-closed and , then Let , then . Therefore, is r-fuzzy soft -closed.
□
Lemma 2.2. Let be a FSTS, , and . If is r-fuzzy soft -closed set such that , is r-fuzzy soft -closed.
Proof. It is easily proved from every r-fuzzy soft -closed set is r-fuzzy soft semi-closed set.
□
Remark 2.2. From the previous definition, we can summarize the relationships among different types of fuzzy soft sets as in the next diagram.
Remark 2.3. The converses of the above relationships may not be true, as shown by Examples 2.1 and 2.2.
Example 2.1. Let , and define as follows: , , . Define fuzzy soft topology as follows:
Then, is -fuzzy soft semi-closed and -fuzzy soft -closed, but it is neither -fuzzy soft -closed nor -fuzzy soft pre-closed.
Example 2.2. Let , and define as follows: , . Define fuzzy soft topology as follows:
Then, is -fuzzy soft pre-closed and -fuzzy soft -closed, but it is neither -fuzzy soft semi-closed nor -fuzzy soft -closed.
Definition 2.2. In a FSTS , for each , and , we define a fuzzy soft -closure 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) iff is r-fuzzy soft -closed.
(7) .
Proof. (1), (2), (3) and (6) are easily proved from Definition 2.2.
(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 , we have . 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 .
□
Theorem 2.2. In a FSTS , for each , and , we define a fuzzy soft -interior operator as follows: Then, for each and , the operator satisfies the following properties.
(1) .
(2) .
(3) if, .
(4) .
(5) .
(6) iff is r-fuzzy soft -open.
(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 = [ = .
□
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.3. 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.4. 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.5. 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.3(1), and are r-fuzzy soft -separated, it is a contradiction. Thus, is r-fuzzy soft -connected, as required.
□
3. Continuity via r-Fuzzy Soft -Open Sets
Here, we investigate some properties of fuzzy soft -continuous mappings. Additionally, we introduce and study the notions of fuzzy soft almost (weakly) -continuous mappings, which are weaker forms of fuzzy soft -continuous mappings. Also, we show that fuzzy soft -continuity ⇒ fuzzy soft almost -continuity ⇒ fuzzy soft weakly -continuity.
Definition 3.1. [
26] Let
and
be a FSTSs and
. A fuzzy soft mapping
is called a fuzzy soft
-continuous if,
is
r-fuzzy soft
-open set for each
with
,
,
.
Theorem 3.1. Let and be a FSTSs, and be a fuzzy soft mapping. The following statements are equivalent for each , , and :
(1) is fuzzy soft -continuous.
(2) For each with , is r-fuzzy soft -closed.
(3) .
(4) .
(5) .
Proof. (1) ⇔ (2) Follows from Remark 2.1 and .
(2) ⇒ (3) Let , hence by (2), is r-fuzzy soft -closed. Then, we obtain .
(3) ⇔ (4) Follows from Theorem 2.2(7).
(3) ⇒ (5) Let , hence by (3), we obtain .
(5) ⇒ (1) Let with , hence by (3), we obtain . Then, , so is r-fuzzy soft -open. Hence, is fuzzy soft -continuous.
□
Lemma 3.1. Every fuzzy soft continuous mapping [
14] is fuzzy soft
-continuous.
Proof. Follows from Definitions 1.6 and 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: , , . Define fuzzy soft topologies as follows: ,
Then, the identity fuzzy soft mapping is fuzzy soft -continuous, but it is not fuzzy soft continuous.
Definition 3.2. Let and be a FSTSs. A fuzzy soft mapping is called 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 mapping is fuzzy soft almost -continuous.
(2) Every fuzzy soft almost -continuous mapping is fuzzy soft weakly -continuous.
Proof. Follows from Definitions 3.1 and 3.2. □
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 mapping 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 mapping is fuzzy soft weakly -continuous, but it is not fuzzy soft almost -continuous.
Theorem 3.2. Let and be a FSTSs, and be a fuzzy soft mapping. 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 each r-fuzzy soft semi-open set is r-fuzzy soft -open.
(5) ⇒ (3) Let be an r-fuzzy soft regularly closed set, hence is r-fuzzy soft semi-open. 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 mapping. The following statements are equivalent for each , , and :
(1) is fuzzy soft weakly -continuous.
(2) , if .
(3) , if .
(4) , if .
(5) .
(6) .
(7) , if .
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.
Proposition 3.1. Let , and be a FSTSs, and , be two fuzzy soft functions. Then, the composition is fuzzy soft almost -continuous if, is fuzzy soft -continuous and is fuzzy soft almost continuous (resp. continuous).
Proof. The proof is obvious. □
Let and be operators on , and and be operators on .
Definition 3.3. [
26] Let
and
be a FSTSs.
is said to be a fuzzy soft
-continuous mapping if,
for each
with
,
and
.
In (2023), Alshammari et al. [
26] defined the notion of fuzzy soft
-continuous mappings:
, for each
with
. We can see that Definition 3.3 generalizes the concept of fuzzy soft continuous functions, when we choose
= identity operator,
= interior closure interior operator,
= identity operator and
= identity operator.
A historical justification of Definition 3.3:
(1) In
Section 3, we obtained the notion of fuzzy soft almost
-continuous mappings:
, for each
with
. Here,
= identity operator,
=
-interior operator,
= interior closure operator and
= identity operator.
(2) In
Section 3, we obtained the notion of fuzzy soft weakly
-continuous mappings:
, for each
with
. Here,
= identity operator,
=
-interior operator,
= closure operator and
= identity operator.
4. New Types of Fuzzy Soft Compactness
Here, several types of fuzzy soft compactness via r-fuzzy soft -open sets are given, and the relationships between them are studied.
Definition 4.1. Let be a FSTS and . Then, is called an r-fuzzy soft compact iff for every family such that , there is a finite subset of such that .
Definition 4.2. Let be a FSTS and . Then, is called an r-fuzzy soft -compact iff for every family such that , there is a finite subset of such that .
Lemma 4.1. Let be a FSTS and . If is r-fuzzy soft -compact, then is r-fuzzy soft compact.
Proof. Follows from Definitions 4.1 and 4.2.
□
Theorem 4.1. Let be a fuzzy soft -continuous mapping. If is r-fuzzy soft -compact, then is r-fuzzy soft compact.
Proof. Let with for each . Then, is (by is fuzzy soft -continuous) such that . Since is r-fuzzy soft -compact, there is a finite subset of such that . Then, . Hence, the proof is completed. □
Definition 4.3. Let be a FSTS and . Then, is called an r-fuzzy soft almost compact iff for every family such that , there is a finite subset of such that for each .
Definition 4.4. Let be a FSTS and . Then, is called an r-fuzzy soft almost -compact iff for every family such that , there is a finite subset of such that for each .
Lemma 4.2. Let be a FSTS and . If is r-fuzzy soft almost -compact, then is r-fuzzy soft almost compact.
Proof. Follows from Definitions 4.3 and 4.4.
□
Lemma 4.3. Let be a FSTS and . If is r-fuzzy soft -compact (resp. compact), then is r-fuzzy soft almost -compact (resp. almost compact).
Proof. Follows from Definitions 4.1–4.4.
□
Theorem 4.2. Let be a fuzzy soft continuous mapping. If is r-fuzzy soft almost -compact, then is r-fuzzy soft almost compact.
Proof. Let
with
for each
. Then,
is
(by
is fuzzy soft
-continuous) such that
. Since
is
r-fuzzy soft almost
-compact, there is a finite subset
of
such that
. Since
is fuzzy soft continuous mapping, it follows
Then,
. Hence, the proof is completed. □
Definition 4.5. Let be a FSTS and . Then, is called an r-fuzzy soft nearly compact iff for every family such that , there is a finite subset of such that for each .
Definition 4.6. Let be a FSTS and . Then, is called an r-fuzzy soft nearly -compact iff for every family such that , there is a finite subset of such that for each .
Lemma 4.4. Let be a FSTS and . If is r-fuzzy soft nearly -compact, then is r-fuzzy soft nearly compact.
Proof. Follows from Definitions 4.5 and 4.6.
□
Lemma 4.5. Let be a FSTS and . If is r-fuzzy soft -compact (resp. compact), then is r-fuzzy soft nearly -compact (resp. nearly compact).
Proof. Follows from Definitions 4.1, 4.2, 4.5 and 4.6.
□
Theorem 4.3. Let be a fuzzy soft continuous and fuzzy soft open mapping. If is r-fuzzy soft nearly -compact, then is r-fuzzy soft nearly compact.
Proof. Let
with
for each
. Then,
is
(by
is fuzzy soft
-continuous) such that
. Since
is
r-fuzzy soft nearly
-compact, there is a finite subset
of
such that
. Since
is fuzzy soft continuous and fuzzy soft open mapping, it follows
Hence, the proof is completed. □
Lemma 4.6. Let be a FSTS and . If is r-fuzzy soft nearly -compact (resp. nearly compact), then is r-fuzzy soft almost -compact (resp. almost compact).
Proof. Follows from Definitions 4.3, 4.4, 4.5 and 4.6.
□
Remark 4.1. From the previous definitions and results, we can summarize the relationships among different types of fuzzy soft compactness as in the next diagram.