Preprint
Article

Novel Approach to Study Soft α-Open Sets and Its Applications via Fuzzy Soft Topologies

Altmetrics

Downloads

148

Views

97

Comments

0

This version is not peer-reviewed

Submitted:

12 February 2024

Posted:

13 February 2024

You are already at the latest version

Alerts
Abstract
In this manuscript, we first introduce some properties of r-fuzzy soft α-open sets in fuzzy soft topological spaces based on the manuscript Aygunoglu et al. (Hacet. J. Math. Stat. 2014, 43, 193-208). In addition, we define the concepts of fuzzy soft α-closure (α-interior) operators, and investigate some properties of them. Furthermore, the concept of r-fuzzy soft α-connected sets is defined and characterized with help of fuzzy soft α-closure operators. Thereafter, we introduce and study the concepts of fuzzy soft almost (weakly) α-continuous mappings, which are weaker forms of fuzzy soft α-continuous mappings, and we discuss some properties of fuzzy soft α-continuity. Moreover, we establish that fuzzy soft α-continuity → fuzzy soft almost α-continuity → fuzzy soft weakly α-continuity, but the converse may not be true. It is also we show that the composition is fuzzy soft almost α-continuous mapping if, is fuzzy soft α-continuous mapping and is fuzzy soft almost continuous mapping. Finally, some new types of compactness via r-fuzzy soft α-open sets are defined, and the relationships between them are examined.
Keywords: 
Subject: Computer Science and Mathematics  -   Geometry and Topology

MSC:  54A05; 54A40; 54C05; 54C10; 54D30

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 ( W , τ N ) 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 ( W , τ N ) and ( V , η F ) . 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 C N . The family of all fuzzy sets on W is denoted by I W (where I = ( 0 , 1 ] , I = [ 0 , 1 ] ), and for s I , s ̲ ( w ) = s , for all w W .
The following concepts and results will be used in the next sections.
Definition 1.1.
[14,21,22] A fuzzy soft set h C on W is a mapping from N to I W such that h C ( n ) is a fuzzy set on W, for each n C and h C ( n ) = 0 ̲ , if n C . The family of all fuzzy soft sets on W is denoted by ( W , N ) ˜ .
Definition 1.2.
[23] The difference between two fuzzy soft sets h C and g B is a fuzzy soft set defined as follows, for each n N : ( h C ¯ g B ) ( n ) = 0 ̲ , i f h C ( n ) g B ( n ) , h C ( n ) ( g B ( n ) ) c , o t h e r w i s e .
Definition 1.3.
[24] A fuzzy soft point n w s on W is a fuzzy soft set defined as follows:
n w s ( k ) = w s , i f k = n , 0 ̲ , i f k N { n } ,
where w s is a fuzzy point on W. n w s is called belong to a fuzzy soft set f A , denoted by n w s ˜ f A , if s f A ( n ) ( w ) . The family of all fuzzy soft points on W is denoted by P s ( W ) ˜ .
Definition 1.4.
[25] A fuzzy soft point n w s P s ( W ) ˜ is called a soft quasi-coincident with h C ( W , N ) ˜ and denoted by n w s q ˜ h C , if s + h C ( n ) ( w ) > 1 . A fuzzy soft set h C ( W , N ) ˜ is called a soft quasi-coincident with g B ( W , N ) ˜ and denoted by h C q ˜ g B , if there is n N and w W such that h C ( n ) ( w ) + g B ( n ) ( w ) > 1 . If h C is not soft quasi-coincident with g B , h C ¬ q ˜ g B .
Definition 1.5.
[14] A mapping τ : N [ 0 , 1 ] ( W , N ) ˜ is called a fuzzy soft topology on W if it satisfies the following, for each n N :
(1) τ n ( Φ ) = τ n ( N ˜ ) = 1 ,
(2) τ n ( h C g B ) τ n ( h C ) τ n ( g B ) , for each h C , g B ( W , N ) ˜ ,
(3) τ n ( δ Δ ( h C ) δ ) δ Δ τ n ( ( h C ) δ ) , for each ( h C ) δ ( W , N ) ˜ , δ Δ .
Then, ( W , τ N ) is called a fuzzy soft topological space (briefly, FSTS) in the sense of Šostak.
Definition 1.6.
[14] Let ( W , τ N ) and ( V , η F ) be a FSTSs. A fuzzy soft mapping φ ψ : ( W , N ) ˜ ( V , F ) ˜ is called a fuzzy soft continuous if, τ n ( φ ψ 1 ( h C ) ) η k ( h C ) for each h C ( V , F ) ˜ , n N and ( k = ψ ( n ) ) F .
Definition 1.7.
[15,19] In a FSTS ( W , τ N ) , for each h C ( W , N ) ˜ , n N and r I 0 , we define the fuzzy soft operators C τ and I τ : N × ( W , N ) ˜ × I ( W , N ) ˜ as follows:
C τ ( n , h C , r ) = { g B ( W , N ) ˜ : h C g B , τ n ( g B c ) r } ,
I τ ( n , h C , r ) = { g B ( W , N ) ˜ : g B h C , τ n ( g B ) r } .
Definition 1.8.
Let ( W , τ N ) be a FSTS and r I 0 . A fuzzy soft set h C ( W , N ) ˜ is called an r-fuzzy soft regularly open [19] (resp. β -open [20], pre-open [20], α -open [26] and semi-open [26]) if, h C = I τ ( n , C τ ( n , h C , r ) , r ) (resp. h C C τ ( n , I τ ( n , C τ ( n , h C , r ) , r ) , r ) , h C I τ ( n , C τ ( n , h C , r ) , r ) , h C I τ ( n , C τ ( n , I τ ( n , h C , r ) , r ) , r ) and h C C τ ( n , I τ ( n , h C , r ) , r ) ) for each n N .
Definition 1.9.
[19] Let ( W , τ N ) be a FSTS and r I 0 . A fuzzy soft set h C ( W , N ) ˜ is called an r-fuzzy soft regularly closed if, h C = C τ ( n , I τ ( n , h C , r ) , r ) for each n N .
Definition 1.10.
[26] Let ( W , τ N ) and ( V , η F ) be a FSTSs and r I 0 . A fuzzy soft mapping φ ψ : ( W , N ) ˜ ( V , F ) ˜ is called a fuzzy soft almost (resp. weakly) continuous if, for any n w s P s ( W ) ˜ and any f A ( V , F ) ˜ with η k ( f A ) r containing φ ψ ( n w s ) , there is h C ( W , N ) ˜ with τ n ( h C ) r containing n w s such that φ ψ ( h C ) I η ( k , C η ( k , f A , r ) , r ) (resp. φ ψ ( h C ) C η ( k , f A , r ) ).
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 ( W , τ N ) and ( V , η F ) be a FSTSs and r I 0 . A fuzzy soft mapping φ ψ : ( W , N ) ˜ ( V , F ) ˜ is fuzzy soft almost continuous if, τ n ( φ ψ 1 ( h C ) ) r for each h C ( V , F ) ˜ is r-fuzzy soft regularly open, n N and ( k = ψ ( n ) ) F .
Proof. 
Easily proved from Definition 1.10.
Definition 1.11.
Let ( W , τ N ) and ( V , η F ) be a FSTSs. A fuzzy soft mapping φ ψ : ( W , N ) ˜ ( V , F ) ˜ is called a fuzzy soft open if, η k ( φ ψ ( h C ) ) τ n ( h C ) for each h C ( W , N ) ˜ , n N and ( k = ψ ( n ) ) F .
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 ( W , τ N ) be a FSTS and r I 0 . A fuzzy soft set h C ( W , N ) ˜ is called an r-fuzzy soft α -closed (resp. semi-closed, β -closed and pre-closed) if, C τ ( n , I τ ( n , C τ ( n , h C , r ) , r ) , r ) h C (resp. I τ ( n , C τ ( n , h C , r ) , r ) h C , I τ ( n , C τ ( n , I τ ( n , h C , r ) , r ) , r ) h C and C τ ( n , I τ ( n , h C , r ) , r ) h C ) for each n N .
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 ( W , τ N ) be a FSTS and r I 0 . 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 ( W , τ N ) be a FSTS, h C ( W , N ) ˜ , n N and r I 0 . Then, the following statements are equivalent.
(1) h C is r-fuzzy soft α -closed.
(2) h C is r-fuzzy soft semi-closed and r-fuzzy soft pre-closed.
Proof. (1) ⇒ (2) Let h C be an r-fuzzy soft α -closed, h C C τ ( n , I τ ( n , C τ ( n , h C , r ) , r ) , r ) I τ ( n , C τ ( n , h C , r ) , r ) . This shows that h C is r-fuzzy soft semi-closed.
Since h C C τ ( n , I τ ( n , C τ ( n , h C , r ) , r ) , r ) and C τ ( n , h C , r ) h C , then h C C τ ( n , I τ ( n , h C , r ) , r ) . Therefore, h C is r-fuzzy soft pre-closed
(2) ⇒ (1) Let h C be an r-fuzzy soft semi-closed and r-fuzzy soft pre-closed, then h C C τ ( n , I τ ( n , I τ ( n , C τ ( n , h C , r ) , r ) , r ) , r ) = C τ ( n , I τ ( n , C τ ( n , h C , r ) , r ) , r ) . This shows that h C is r-fuzzy soft α -closed.
Proposition 2.2.
Let ( W , τ N ) be a FSTS, g B , h C ( W , N ) ˜ , n N and r I 0 . If g B is r-fuzzy soft semi-closed set such that g B h C C τ ( n , I τ ( n , g B , r ) , r ) , h C is r-fuzzy soft α -closed.
Proof. 
Let g B be an r-fuzzy soft semi-closed and g B h C , then g B I τ ( n , C τ ( n , g B , r ) , r ) I τ ( n , C τ ( n , h C , r ) , r ) . Let h C C τ ( n , I τ ( n , g B , r ) , r ) , then h C C τ ( n , I τ ( n , I τ ( n , C τ ( n , h C , r ) , r ) , r ) , r ) = C τ ( n , I τ ( n , C τ ( n , h C , r ) , r ) , r ) . Therefore, h C is r-fuzzy soft α -closed.
Lemma 2.2.
Let ( W , τ N ) be a FSTS, g B , h C ( W , N ) ˜ , n N and r I 0 . If g B is r-fuzzy soft α -closed set such that g B h C C τ ( n , I τ ( n , g B , r ) , r ) , h C 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.
α c l o s e d s e t
s e m i c l o s e d s e t p r e c l o s e d s e t
β c l o s e d s e t
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 W = { w 1 , w 2 } , N = { n 1 , n 2 } and define f N , g N , h N ( W , N ) ˜ as follows: f N = { ( n 1 , { w 1 0.3 , w 2 0.4 } ) , ( n 2 , { w 1 0.3 , w 2 0.4 } ) } , g N = { ( n 1 , { w 1 0.6 , w 2 0.2 } ) , ( n 2 , { w 1 0.6 , w 2 0.2 } ) } , h N = { ( n 1 , { w 1 0.3 , w 2 0.5 } ) , ( n 2 , { w 1 0.3 , w 2 0.5 } ) } . Define fuzzy soft topology τ N : N [ 0 , 1 ] ( W , N ) ˜ as follows:
τ n 1 ( t N ) = 1 , if t N { Φ , N ˜ } , 1 2 , if t N = f N , 2 3 , if t N = g N , 2 3 , if t N = f N g N , 1 2 , if t N = f N g N , 0 , otherwise ,
τ n 2 ( t N ) = 1 , if t N { Φ , N ˜ } , 1 4 , if t N = f N , 1 2 , if t N = g N , 1 2 , if t N = f N g N , 1 4 , if t N = f N g N , 0 , otherwise .
Then, h N is 1 4 -fuzzy soft semi-closed and 1 4 -fuzzy soft β -closed, but it is neither 1 4 -fuzzy soft α -closed nor 1 4 -fuzzy soft pre-closed.
Example 2.2.
Let W = { w 1 , w 2 } , N = { n 1 , n 2 } and define f N , h N ( W , N ) ˜ as follows: f N = { ( n 1 , { w 1 0.4 , w 2 0.5 } ) , ( n 2 , { w 1 0.4 , w 2 0.5 } ) } , h N = { ( n 1 , { w 1 0.7 , w 2 0.6 } ) , ( n 2 , { w 1 0.7 , w 2 0.6 } ) } . Define fuzzy soft topology τ N : N [ 0 , 1 ] ( W , N ) ˜ as follows:
τ n 1 ( t N ) = 1 , if t N { Φ , N ˜ } , 1 3 , if t N = f N , 0 , otherwise ,
τ n 2 ( t N ) = 1 , if t N { Φ , N ˜ } , 1 2 , if t N = f N , 0 , otherwise .
Then, h N is 1 3 -fuzzy soft pre-closed and 1 3 -fuzzy soft β -closed, but it is neither 1 3 -fuzzy soft semi-closed nor 1 3 -fuzzy soft α -closed.
Definition 2.2.
In a FSTS ( W , τ N ) , for each h C ( W , N ) ˜ , n N and r I 0 , we define a fuzzy soft α -closure operator α C τ : N × ( W , N ) ˜ × I ( W , N ) ˜ as follows: α C τ ( n , h C , r ) = { f A ( W , N ) ˜ : h C f A , f A is r - fuzzy soft α - closed } .
Theorem 2.1.
In a FSTS ( W , τ N ) , for each g B , h C ( W , N ) ˜ , n N and r I 0 , the operator α C τ : N × ( W , N ) ˜ × I ( W , N ) ˜ satisfies the following properties.
(1) α C τ ( n , Φ , r ) = Φ .
(2) h C α C τ ( n , h C , r ) C τ ( n , h C , r ) .
(3) α C τ ( n , h C , r ) α C τ ( n , g B , r ) if, h C g B .
(4) α C τ ( n , α C τ ( n , h C , r ) , r ) = α C τ ( n , h C , r ) .
(5) α C τ ( n , h C g B , r ) α C τ ( n , h C , r ) α C τ ( n , g B , r ) .
(6) α C τ ( n , h C , r ) = h C iff h C is r-fuzzy soft α -closed.
(7) α C τ ( n , C τ ( n , h C , r ) , r ) = C τ ( n , h C , r ) .
Proof. (1), (2), (3) and (6) are easily proved from Definition 2.2.
(4) From (2) and (3), α C τ ( n , h C , r ) α C τ ( n , α C τ ( n , h C , r ) , r ) . Now we show that α C τ ( n , h C , r ) α C τ ( n , α C τ ( n , h C , r ) , r ) . Suppose that α C τ ( n , h C , r ) is not contain α C τ ( n , α C τ ( n , h C , r ) , r ) . Then, there is w W and s ( 0 , 1 ) such that α C τ ( n , h C , r ) ( n ) ( w ) < s < α C τ ( n , α C τ ( n , h C , r ) , r ) ( n ) ( w ) . ( A )
Since α C τ ( n , h C , r ) ( n ) ( w ) < s , by the definition of α C τ , there is g B is r-fuzzy soft α -closed with h C g B such that α C τ ( n , h C , r ) ( n ) ( w ) g B ( n ) ( w ) < s . Since h C g B , we have α C τ ( n , h C , r ) g B . Again, by the definition of α C τ , we have α C τ ( n , α C τ ( n , h C , r ) , r ) g B . Hence α C τ ( n , α C τ ( n , h C , r ) , r ) ( n ) ( w ) g B ( n ) ( w ) < s , it is a contradiction for ( A ) . Thus, α C τ ( n , h C , r ) α C τ ( n , α C τ ( n , h C , r ) , r ) . Then, α C τ ( n , α C τ ( n , h C , r ) , r ) = α C τ ( n , h C , r ) .
(5) Since h C and g B h C g B , hence by (3), α C τ ( n , h C , r ) α C τ ( n , h C g B , r ) and α C τ ( n , g B , r ) α C τ ( n , h C g B , r ) . Thus, α C τ ( n , h C g B , r ) α C τ ( n , h C , r ) α C τ ( n , g B , r ) .
(7) From (6) and C τ ( n , h C , r ) is r-fuzzy soft α -closed set, hence α C τ ( n , C τ ( n , h C , r ) , r ) = C τ ( n , h C , r ) .
Theorem 2.2.
In a FSTS ( W , τ N ) , for each h C ( W , N ) ˜ , n N and r I 0 , we define a fuzzy soft α -interior operator α I τ : N × ( W , N ) ˜ × I ( W , N ) ˜ as follows: α I τ ( n , h C , r ) = { f A ( W , N ) ˜ : f A h C , f A is r - fuzzy soft α - open } . Then, for each g B and h C ( W , N ) ˜ , the operator α I τ satisfies the following properties.
(1) α I τ ( n , N ˜ , r ) = N ˜ .
(2) I τ ( n , h C , r ) α I τ ( n , h C , r ) h C .
(3) α I τ ( n , h C , r ) α I τ ( n , g B , r ) if, h C g B .
(4) α I τ ( n , α I τ ( n , h C , r ) , r ) = α I τ ( n , h C , r ) .
(5) α I τ ( n , h C , r ) α I τ ( n , g B , r ) α I τ ( n , h C g B , r ) .
(6) α I τ ( n , h C , r ) = h C iff h C is r-fuzzy soft α -open.
(7) α I τ ( n , h C c , r ) = ( α C τ ( n , h C , r ) ) c .
Proof. (1), (2), (3) and (6) are easily proved from the definition of α I τ .
(4) and (5) are easily proved by a similar way in Theorem 2.1.
(7) For each h C ( W , N ) ˜ , n N and r I 0 , we have α I τ ( n , h C c , r ) = { f A ( W , N ) ˜ : f A h C c , f A is r - fuzzy soft α - open } = [ { f A c ( W , N ) ˜ : h C f A c , f A c is r - fuzzy soft α - closed } ] c = ( α C τ ( n , h C , r ) ) c .
Definition 2.3.
Let ( W , τ N ) be a FSTS, r I 0 and g B , h C ( W , N ) ˜ . Then, we have:
(1) Two fuzzy soft sets g B and h C are called r-fuzzy soft α -separated iff g B ¬ q ˜ α C τ ( n , h C , r ) and h C ¬ q ˜ α C τ ( n , g B , r ) for each n N .
(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 ( W , τ N ) , we have:
(1) If f A and g B ( W , N ) ˜ are r-fuzzy soft α -separated and h C , t D ( W , N ) ˜ such that h C f A and t D g B , then h C and t D are r-fuzzy soft α -separated.
(2) If f A ¬ q ˜ g B and either both are r-fuzzy soft α -open or both r-fuzzy soft α -closed, then f A and g B are r-fuzzy soft α -separated.
(3) If f A and g B are either both r-fuzzy soft α -open or both r-fuzzy soft α -closed, then f A g B c and g B f A c are r-fuzzy soft α -separated.
Proof. (1) and (2) are obvious.
(3) Let f A and g B be an r-fuzzy soft α -open. Since f A g B c g B c , α C τ ( n , f A g B c , r ) g B c and hence α C τ ( n , f A g B c , r ) ¬ q ˜ g B . Then, α C τ ( n , f A g B c , r ) ¬ q ˜ ( g B f A c ) .
Again, since g B f A c f A c , α C τ ( n , g B f A c , r ) f A c and hence α C τ ( n , g B f A c , r ) ¬ q ˜ f A . Then, α C τ ( n , g B f A c , r ) ¬ q ˜ ( f A g B c ) . Thus, f A g B c and g B f A c are r-fuzzy soft α -separated. The other case follows similar lines.
Theorem 2.4.
In a FSTS ( W , τ N ) , then f A , g B ( W , N ) ˜ are r-fuzzy soft α -separated iff there exist two r-fuzzy soft α -open sets h C and t D such that f A h C , g B t D , f A ¬ q ˜ t D and g B ¬ q ˜ h C .
Proof. (⇒) Let f A and g B ( W , N ) ˜ be an r-fuzzy soft α -separated, f A ( α C τ ( n , g B , r ) ) c = h C and g B ( α C τ ( n , f A , r ) ) c = t D , where t D and h C are r-fuzzy soft α -open, then t D ¬ q ˜ α C τ ( n , f A , r ) and h C ¬ q ˜ α C τ ( n , g B , r ) . Thus, g B ¬ q ˜ h C and f A ¬ q ˜ t D . Hence, we obtain the required result.
(⇐) Let h C and t D be an r-fuzzy soft α -open such that g B t D , f A h C , g B ¬ q ˜ h C and f A ¬ q ˜ t D . Then, g B h C c and f A t D c . Hence, α C τ ( n , g B , r ) h C c and α C τ ( n , f A , r ) t D c . Then, α C τ ( n , g B , r ) ¬ q ˜ f A and α C τ ( n , f A , r ) ¬ q ˜ g B . Thus, g B and f A are r- fuzzy soft α -separated. Hence, we obtain the required result.
Theorem 2.5.
In a FSTS ( W , τ N ) , if g B ( W , N ) ˜ is r-fuzzy soft α -connected such that g B f A α C τ ( n , g B , r ) , then f A is r-fuzzy soft α -connected.
Proof. 
Suppose that f A is not r-fuzzy soft α -connected, then there is r-fuzzy soft α -separated sets h C * and t D * ( W , N ) ˜ such that f A = h C * t D * . Let h C = g B h C * and t D = g B t D * , then g B = t D h C . Since h C h C * and t D t D * , hence by Theorem 2.3(1), h C and t D are r-fuzzy soft α -separated, it is a contradiction. Thus, f A 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 ( W , τ N ) and ( V , η F ) be a FSTSs and r I o . A fuzzy soft mapping φ ψ : ( W , N ) ˜ ( V , F ) ˜ is called a fuzzy soft α -continuous if, φ ψ 1 ( h C ) is r-fuzzy soft α -open set for each h C ( V , F ) ˜ with η k ( h C ) r , n N , ( k = ψ ( n ) ) F .
Theorem 3.1.
Let ( W , τ N ) and ( V , η F ) be a FSTSs, and φ ψ : ( W , N ) ˜ ( V , F ) ˜ be a fuzzy soft mapping. The following statements are equivalent for each f A ( V , F ) ˜ , n N , ( k = ψ ( n ) ) F and r I :
(1) φ ψ is fuzzy soft α -continuous.
(2) For each f A with η k ( f A c ) r , φ ψ 1 ( f A ) is r-fuzzy soft α -closed.
(3) α C τ ( n , φ ψ 1 ( f A ) , r ) φ ψ 1 ( C η ( k , f A , r ) ) .
(4) φ ψ 1 ( I η ( k , f A , r ) ) α I τ ( n , φ ψ 1 ( f A ) , r ) .
(5) C τ ( n , I τ ( n , C τ ( n , φ ψ 1 ( f A ) , r ) , r ) , r ) φ ψ 1 ( C η ( k , f A , r ) ) .
Proof. (1) ⇔ (2) Follows from Remark 2.1 and φ ψ 1 ( f A c ) = ( φ ψ 1 ( f A ) ) c .
(2) ⇒ (3) Let f A ( V , F ) ˜ , hence by (2), φ ψ 1 ( C η ( k , f A , r ) ) is r-fuzzy soft α -closed. Then, we obtain α C τ ( n , φ ψ 1 ( f A ) , r ) φ ψ 1 ( C η ( k , f A , r ) ) .
(3) ⇔ (4) Follows from Theorem 2.2(7).
(3) ⇒ (5) Let f A ( V , F ) ˜ , hence by (3), we obtain C τ ( n , I τ ( n , C τ ( n , φ ψ 1 ( f A ) , r ) , r ) , r ) α C τ ( n , φ ψ 1 ( f A ) , r ) φ ψ 1 ( C η ( k , f A , r ) ) .
(5) ⇒ (1) Let f A ( V , F ) ˜ with η k ( f A ) r , hence by (3), we obtain ( φ ψ 1 ( f A ) ) c = φ ψ 1 ( f A c ) C τ ( n , I τ ( n , C τ ( n , φ ψ 1 ( f A c ) , r ) , r ) , r ) = ( I τ ( n , C τ ( n , I τ ( n , φ ψ 1 ( f A ) , r ) , r ) , r ) ) c . Then, φ ψ 1 ( f A ) I τ ( n , C τ ( n , I τ ( n , φ ψ 1 ( f A ) , r ) , r ) , r ) , so φ ψ 1 ( f A ) 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 W = { w 1 , w 2 , w 3 } , N = { n 1 , n 2 } and define f N , g N , h N ( W , N ) ˜ as: f N = { ( n 1 , { w 1 0.4 , w 2 0.5 , w 3 0.5 } ) , ( n 2 , { w 1 0.4 , w 2 0.5 , w 3 0.5 } ) } , g N = { ( n 1 , { w 1 0.3 , w 2 0.3 , w 3 0.4 } ) , ( n 2 , { w 1 0.3 , w 2 0.3 , w 3 0.4 } ) } , h N = { ( n 1 , { w 1 0.3 , w 2 0.4 , w 3 0.4 } ) , ( n 2 , { w 1 0.3 , w 2 0.4 , w 3 0.4 } ) } . Define fuzzy soft topologies τ N , η N : N [ 0 , 1 ] ( W , N ) ˜ as follows: n N ,
τ n ( t N ) = 1 , if t N { Φ , N ˜ } , 1 2 , if t N = f N , 2 3 , if t N = g N , 0 , otherwise ,
η n ( t N ) = 1 , if t N { Φ , N ˜ } , 1 2 , if t N = f N , 1 3 , if t N = h N , 0 , otherwise .
Then, the identity fuzzy soft mapping φ ψ : ( W , τ N ) ( W , η N ) is fuzzy soft α -continuous, but it is not fuzzy soft continuous.
Definition 3.2.
Let ( W , τ N ) and ( V , η F ) be a FSTSs. A fuzzy soft mapping φ ψ : ( W , N ) ˜ ( V , F ) ˜ is called fuzzy soft almost (resp. weakly) α -continuous if, for each n w s P s ( W ) ˜ and each g B ( V , F ) ˜ with η k ( g B ) r containing φ ψ ( n w s ) , there is h C ( W , N ) ˜ is r-fuzzy soft α -open set containing n w s such that φ ψ ( h C ) I η ( k , C η ( k , g B , r ) , r ) (resp. φ ψ ( h C ) C η ( k , g B , r ) ), n N , ( k = ψ ( n ) ) F and r I .
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 W = { w 1 , w 2 , w 3 } , N = { n 1 , n 2 } and define g N , h N ( W , N ) ˜ as follows: g N = { ( n 1 , { w 1 0.5 , w 2 0.5 , w 3 0.4 } ) , ( n 2 , { w 1 0.5 , w 2 0.5 , w 3 0.4 } ) } , h N = { ( n 1 , { w 1 0.3 , w 2 0.3 , w 3 0.4 } ) , ( n 2 , { w 1 0.3 , w 2 0.3 , w 3 0.4 } ) } . Define fuzzy soft topologies τ N , η N : N [ 0 , 1 ] ( W , N ) ˜ as follows: n N ,
τ n ( t N ) = 1 , if t N { Φ , N ˜ } , 1 2 , if t N = g N , 0 , otherwise ,
η n ( t N ) = 1 , if t N { Φ , N ˜ } , 1 2 , if t N = g N , 1 3 , if t N = h N , 0 , otherwise .
Then, the identity fuzzy soft mapping φ ψ : ( W , τ N ) ( W , η N ) is fuzzy soft almost α -continuous, but it is not fuzzy soft α -continuous.
Example 3.3.
Let W = { w 1 , w 2 , w 3 } , N = { n 1 , n 2 } and define g N , h N ( W , N ) ˜ as follows: g N = { ( n 1 , { w 1 0.5 , w 2 0.5 , w 3 0.5 } ) , ( n 2 , { w 1 0.5 , w 2 0.5 , w 3 0.5 } ) } , h N = { ( n 1 , { w 1 0.3 , w 2 0 , w 3 0.5 } ) , ( n 2 , { w 1 0.3 , w 2 0 , w 3 0.5 } ) } . Define fuzzy soft topologies τ N , η N : N [ 0 , 1 ] ( W , N ) ˜ as follows: n N ,
τ n ( t N ) = 1 , if t N { Φ , N ˜ } , 2 3 , if t N = g N , 0 , otherwise ,
η n ( t N ) = 1 , if t N { Φ , N ˜ } , 1 3 , if t N = h N , 0 , otherwise .
Then, the identity fuzzy soft mapping φ ψ : ( W , τ N ) ( W , η N ) is fuzzy soft weakly α -continuous, but it is not fuzzy soft almost α -continuous.
Theorem 3.2.
Let ( W , τ N ) and ( V , η F ) be a FSTSs, and φ ψ : ( W , N ) ˜ ( V , F ) ˜ be a fuzzy soft mapping. The following statements are equivalent for each f A ( V , F ) ˜ , n N , ( k = ψ ( n ) ) F and r I :
(1) φ ψ is fuzzy soft almost α -continuous.
(2) φ ψ 1 ( f A ) is r-fuzzy soft α -open, for each f A is r-fuzzy soft regularly open.
(3) φ ψ 1 ( f A ) is r-fuzzy soft α -closed, for each f A is r-fuzzy soft regularly closed.
(4) α C τ ( n , φ ψ 1 ( f A ) , r ) φ ψ 1 ( C η ( k , f A , r ) ) , for each f A is r-fuzzy soft β -open.
(5) α C τ ( n , φ ψ 1 ( f A ) , r ) φ ψ 1 ( C η ( k , f A , r ) ) , for each f A is r-fuzzy soft semi-open.
(6) α I τ ( n , φ ψ 1 ( I η ( k , C η ( k , f A , r ) , r ) ) , r ) φ ψ 1 ( f A ) , for each f A with η k ( f A ) r .
Proof. (1) ⇒ (2) Let n w s P s ( W ) ˜ and f A ( V , F ) ˜ be an r-fuzzy soft regularly open set containing φ ψ ( n w s ) , hence by (1), there is h C ( W , N ) ˜ is r-fuzzy soft α -open set containing n w s such that φ ψ ( h C ) I η ( k , C η ( k , f A , r ) , r ) .
Thus, h C φ ψ 1 ( I η ( k , C η ( k , f A , r ) , r ) ) = φ ψ 1 ( f A ) and n w s ˜ h C φ ψ 1 ( f A ) . Then, n w s ˜ I τ ( n , C τ ( n , I τ ( n , φ ψ 1 ( f A ) , r ) , r ) , r ) and φ ψ 1 ( f A ) I τ ( n , C τ ( n , I τ ( n , φ ψ 1 ( f A ) , r ) , r ) , r ) . Therefore, φ ψ 1 ( f A ) is r-fuzzy soft α -open set.
(2) ⇒ (3) Let f A be an r-fuzzy soft regularly closed set, hence by (2), φ ψ 1 ( f A c ) = ( φ ψ 1 ( f A ) ) c is r-fuzzy soft α -open set. Then, φ ψ 1 ( f A ) is r-fuzzy soft α -closed set.
(3) ⇒ (4) Let f A be an r-fuzzy soft β -open set. Since C η ( k , f A , r ) is r-fuzzy soft regularly closed set, hence by (3), φ ψ 1 ( C η ( k , f A , r ) ) is r-fuzzy soft α -closed set. Since φ ψ 1 ( f A ) φ ψ 1 ( C η ( k , f A , r ) ) , then we have α C τ ( n , φ ψ 1 ( f A ) , r ) φ ψ 1 ( C η ( k , f A , r ) ) .
(4) ⇒ (5) This is obvious from each r-fuzzy soft semi-open set is r-fuzzy soft β -open.
(5) ⇒ (3) Let f A be an r-fuzzy soft regularly closed set, hence f A is r-fuzzy soft semi-open. Then by (5), α C τ ( n , φ ψ 1 ( f A ) , r ) φ ψ 1 ( C η ( k , f A , r ) ) = φ ψ 1 ( f A ) . Therefore, φ ψ 1 ( f A ) is r-fuzzy soft α -closed set.
(3) ⇒ (6) Let f A ( V , F ) ˜ with η k ( f A ) r and n w s ˜ φ ψ 1 ( f A ) , then we have n w s ˜ φ ψ 1 ( I η ( k , C η ( k , f A , r ) , r ) ) . Since [ I η ( k , C η ( k , f A , r ) , r ) ] c is r-fuzzy soft regularly closed set, hence by (3), φ ψ 1 ( [ I η ( k , C η ( k , f A , r ) , r ) ] c ) is r-fuzzy soft α -closed set. Thus, φ ψ 1 ( I η ( k , C η ( k , f A , r ) , r ) ) is r-fuzzy soft α -open set and n w s ˜ α I τ ( n , φ ψ 1 ( I η ( k , C η ( k , f A , r ) , r ) ) , r ) . Then, φ ψ 1 ( f A ) α I τ ( n , φ ψ 1 ( I η ( k , C η ( k , f A , r ) , r ) ) , r ) .
(6) ⇒ (1) Let n w s P s ( W ) ˜ and f A ( V , F ) ˜ with η k ( f A ) r containing φ ψ ( n w s ) , hence by (6), φ ψ 1 ( f A ) α I τ ( n , φ ψ 1 ( I η ( k , C η ( k , f A , r ) , r ) ) , r ) .
Since n w s ˜ φ ψ 1 ( f A ) , then we obtain n w s ˜ α I τ ( n , φ ψ 1 ( I η ( k , C η ( k , f A , r ) , r ) ) , r ) = h C (say). Hence, there is h C ( W , N ) ˜ is r-fuzzy soft α -open set containing n w s such that φ ψ ( h C ) I η ( k , C η ( k , f A , r ) , r ) . Therefore, φ ψ is fuzzy soft almost α -continuous.
In a similar way, we can prove the following theorem.
Theorem 3.3.
Let ( W , τ N ) and ( V , η F ) be a FSTSs, and φ ψ : ( W , N ) ˜ ( V , F ) ˜ be a fuzzy soft mapping. The following statements are equivalent for each f A ( V , F ) ˜ , n N , ( k = ψ ( n ) ) F and r I :
(1) φ ψ is fuzzy soft weakly α -continuous.
(2) I τ ( n , C τ ( n , I τ ( n , φ ψ 1 ( C η ( k , f A , r ) ) , r ) , r ) , r ) φ ψ 1 ( f A ) , if η k ( f A ) r .
(3) C τ ( n , I τ ( n , C τ ( n , φ ψ 1 ( I η ( k , f A , r ) ) , r ) , r ) , r ) φ ψ 1 ( f A ) , if η k ( f A c ) r .
(4) α C τ ( n , φ ψ 1 ( I η ( k , f A , r ) ) , r ) φ ψ 1 ( f A ) , if η k ( f A c ) r .
(5) α C τ ( n , φ ψ 1 ( I η ( k , C η ( k , f A , r ) , r ) ) , r ) φ ψ 1 ( C η ( k , f A , r ) ) .
(6) α I τ ( n , φ ψ 1 ( C η ( k , I η ( k , f A , r ) , r ) ) , r ) φ ψ 1 ( I η ( k , f A , r ) ) .
(7) φ ψ 1 ( f A ) α I τ ( n , φ ψ 1 ( C η ( k , f A , r ) ) , r ) , if η k ( f A ) r .
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.
continuity α - continuity
almost continuity almost α - continuity
weakly continuity weakly α - continuity
Proposition 3.1.
Let ( W , τ N ) , ( V , η F ) and ( U , γ E ) be a FSTSs, and φ ψ : ( W , N ) ˜ ( V , F ) ˜ , φ ψ * * : ( V , F ) ˜ ( U , E ) ˜ 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 H and I : N × ( W , N ) ˜ × I ( W , N ) ˜ be operators on ( W , N ) ˜ , and J and K : F × ( V , F ) ˜ × I ( V , F ) ˜ be operators on ( V , F ) ˜ .
Definition 3.3.
[26] Let ( W , τ N ) and ( V , η F ) be a FSTSs. φ ψ : ( W , N ) ˜ ( V , F ) ˜ is said to be a fuzzy soft ( H , I , J , K ) -continuous mapping if, H [ n , φ ψ 1 ( K ( k , h C , r ) ) , r ] ¯ I [ n , φ ψ 1 ( J ( k , h C , r ) ) , r ] = Φ for each h C ( V , F ) ˜ with η k ( h C ) r , n N and ( k = ψ ( n ) ) F .
In (2023), Alshammari et al. [26] defined the notion of fuzzy soft α -continuous mappings: φ ψ 1 ( h C ) I τ ( n , C τ ( n , I τ ( n , φ ψ 1 ( h C ) , r ) , r ) , r ) , for each h C ( V , F ) ˜ with η k ( h C ) r . We can see that Definition 3.3 generalizes the concept of fuzzy soft continuous functions, when we choose H = identity operator, I = interior closure interior operator, J = identity operator and K = identity operator.
A historical justification of Definition 3.3:
(1) In Section 3, we obtained the notion of fuzzy soft almost α -continuous mappings: φ ψ 1 ( h C ) α I τ ( n , φ ψ 1 ( I η ( k , C η ( k , h C , r ) , r ) ) , r ) , for each h C ( V , F ) ˜ with η k ( h C ) r . Here, H = identity operator, I = α -interior operator, J = interior closure operator and K = identity operator.
(2) In Section 3, we obtained the notion of fuzzy soft weakly α -continuous mappings: φ ψ 1 ( h C ) α I τ ( n , φ ψ 1 ( C η ( k , h C , r ) ) , r ) , for each h C ( V , F ) ˜ with η k ( h C ) r . Here, H = identity operator, I = α -interior operator, J = closure operator and K = 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 ( W , τ N ) be a FSTS and r I . Then, h C ( W , N ) ˜ is called an r-fuzzy soft compact iff for every family { ( g B ) δ ( W , N ) ˜ | τ n ( ( g B ) δ ) r for each n N } δ Δ such that h C δ Δ ( g B ) δ , there is a finite subset Δ of Δ such that h C δ Δ ( g B ) δ .
Definition 4.2.
Let ( W , τ N ) be a FSTS and r I . Then, h C ( W , N ) ˜ is called an r-fuzzy soft α -compact iff for every family { ( g B ) δ ( W , N ) ˜ | ( g B ) δ is r - fuzzy soft α - open } δ Δ such that h C δ Δ ( g B ) δ , there is a finite subset Δ of Δ such that h C δ Δ ( g B ) δ .
Lemma 4.1.
Let ( W , τ N ) be a FSTS and r I . If h C ( W , N ) ˜ is r-fuzzy soft α -compact, then h C is r-fuzzy soft compact.
Proof. 
Follows from Definitions 4.1 and 4.2.
Theorem 4.1.
Let φ ψ : ( W , τ N ) ( V , η F ) be a fuzzy soft α -continuous mapping. If h C ( W , N ) ˜ is r-fuzzy soft α -compact, then φ ψ ( h C ) is r-fuzzy soft compact.
Proof. 
Let { ( g B ) δ ( V , F ) ˜ | η k ( ( g B ) δ ) r } δ Δ with φ ψ ( h C ) δ Δ ( g B ) δ for each k F . Then, { φ ψ 1 ( ( g B ) δ ) ( W , N ) ˜ | φ ψ 1 ( ( g B ) δ ) is r - fuzzy soft α - open } δ Δ (by φ ψ is fuzzy soft α -continuous) such that h C δ Δ φ ψ 1 ( ( g B ) δ ) . Since h C is r-fuzzy soft α -compact, there is a finite subset Δ of Δ such that h C δ Δ φ ψ 1 ( ( g B ) δ ) . Then, φ ψ ( h C ) δ Δ ( g B ) δ . Hence, the proof is completed. □
Definition 4.3.
Let ( W , τ N ) be a FSTS and r I . Then, h C ( W , N ) ˜ is called an r-fuzzy soft almost compact iff for every family { ( g B ) δ ( W , N ) ˜ | τ n ( ( g B ) δ ) r } δ Δ such that h C δ Δ ( g B ) δ , there is a finite subset Δ of Δ such that h C δ Δ C τ ( n , ( g B ) δ , r ) for each n N .
Definition 4.4.
Let ( W , τ N ) be a FSTS and r I . Then, h C ( W , N ) ˜ is called an r-fuzzy soft almost α -compact iff for every family { ( g B ) δ ( W , N ) ˜ | ( g B ) δ is r - fuzzy soft α - open } δ Δ such that h C δ Δ ( g B ) δ , there is a finite subset Δ of Δ such that h C δ Δ C τ ( n , ( g B ) δ , r ) for each n N .
Lemma 4.2.
Let ( W , τ N ) be a FSTS and r I . If h C ( W , N ) ˜ is r-fuzzy soft almost α -compact, then h C is r-fuzzy soft almost compact.
Proof. 
Follows from Definitions 4.3 and 4.4.
Lemma 4.3.
Let ( W , τ N ) be a FSTS and r I . If h C ( W , N ) ˜ is r-fuzzy soft α -compact (resp. compact), then h C is r-fuzzy soft almost α -compact (resp. almost compact).
Proof. 
Follows from Definitions 4.1–4.4.
Theorem 4.2.
Let φ ψ : ( W , τ N ) ( V , η F ) be a fuzzy soft continuous mapping. If h C ( W , N ) ˜ is r-fuzzy soft almost α -compact, then φ ψ ( h C ) is r-fuzzy soft almost compact.
Proof. 
Let { ( g B ) δ ( V , F ) ˜ | η k ( ( g B ) δ ) r } δ Δ with φ ψ ( h C ) δ Δ ( g B ) δ for each k F . Then, { φ ψ 1 ( ( g B ) δ ) ( W , N ) ˜ | φ ψ 1 ( ( g B ) δ ) is r - fuzzy soft α - open } δ Δ (by φ ψ is fuzzy soft α -continuous) such that h C δ Δ φ ψ 1 ( ( g B ) δ ) . Since h C is r-fuzzy soft almost α -compact, there is a finite subset Δ of Δ such that h C δ Δ C τ ( n , φ ψ 1 ( ( g B ) δ ) , r ) . Since φ ψ is fuzzy soft continuous mapping, it follows
δ Δ C τ ( n , φ ψ 1 ( ( g B ) δ ) , r )
δ Δ φ ψ 1 ( C η ( k , ( g B ) δ , r ) ) =
φ ψ 1 ( δ Δ C η ( k , ( g B ) δ , r ) ) .
Then, φ ψ ( h C ) δ Δ C η ( k , ( g B ) δ , r ) . Hence, the proof is completed. □
Definition 4.5.
Let ( W , τ N ) be a FSTS and r I . Then, h C ( W , N ) ˜ is called an r-fuzzy soft nearly compact iff for every family { ( g B ) δ ( W , N ) ˜ | τ n ( ( g B ) δ ) r } δ Δ such that h C δ Δ ( g B ) δ , there is a finite subset Δ of Δ such that h C δ Δ I τ ( n , C τ ( n , ( g B ) δ , r ) , r ) for each n N .
Definition 4.6.
Let ( W , τ N ) be a FSTS and r I . Then, h C ( W , N ) ˜ is called an r-fuzzy soft nearly α -compact iff for every family { ( g B ) δ ( W , N ) ˜ | ( g B ) δ is r - fuzzy soft α - open } δ Δ such that h C δ Δ ( g B ) δ , there is a finite subset Δ of Δ such that h C δ Δ I τ ( n , C τ ( n , ( g B ) δ , r ) , r ) for each n N .
Lemma 4.4.
Let ( W , τ N ) be a FSTS and r I . If h C ( W , N ) ˜ is r-fuzzy soft nearly α -compact, then h C is r-fuzzy soft nearly compact.
Proof. 
Follows from Definitions 4.5 and 4.6.
Lemma 4.5.
Let ( W , τ N ) be a FSTS and r I . If h C ( W , N ) ˜ is r-fuzzy soft α -compact (resp. compact), then h C 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 φ ψ : ( W , τ N ) ( V , η F ) be a fuzzy soft continuous and fuzzy soft open mapping. If h C ( W , N ) ˜ is r-fuzzy soft nearly α -compact, then φ ψ ( h C ) is r-fuzzy soft nearly compact.
Proof. 
Let { ( g B ) δ ( V , F ) ˜ | η k ( ( g B ) δ ) r } δ Δ with φ ψ ( h C ) δ Δ ( g B ) δ for each k F . Then, { φ ψ 1 ( ( g B ) δ ) ( W , N ) ˜ | φ ψ 1 ( ( g B ) δ ) is r - fuzzy soft α - open } δ Δ (by φ ψ is fuzzy soft α -continuous) such that h C δ Δ φ ψ 1 ( ( g B ) δ ) . Since h C is r-fuzzy soft nearly α -compact, there is a finite subset Δ of Δ such that h C δ Δ I τ ( n , C τ ( n , φ ψ 1 ( ( g B ) δ ) , r ) , r ) . Since φ ψ is fuzzy soft continuous and fuzzy soft open mapping, it follows
φ ψ ( h C ) δ Δ φ ψ ( I τ ( n , C τ ( n , φ ψ 1 ( ( g B ) δ ) , r ) , r ) )
δ Δ I η ( k , φ ψ ( C τ ( n , φ ψ 1 ( ( g B ) δ ) , r ) ) , r )
δ Δ I η ( k , φ ψ ( φ ψ 1 ( C η ( k , ( g B ) δ , r ) ) ) , r )
δ Δ I η ( k , C η ( k , ( g B ) δ , r ) , r ) .
Hence, the proof is completed. □
Lemma 4.6.
Let ( W , τ N ) be a FSTS and r I . If h C ( W , N ) ˜ is r-fuzzy soft nearly α -compact (resp. nearly compact), then h C 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.
α - compactness compactness
nearly α - compactness nearly compactness
almost α - compactness almost compactness

5. Conclusions and Future Work

The main achievements of this study are:
( 1 ) In Section 2, the concepts of fuzzy soft α -closure ( α -interior) operators are introduced in fuzzy soft topological spaces based on the paper Aygünoǧlu et al. [14], and some of their basic properties have been investigated. Furthermore, the notion of r-fuzzy soft α -connected sets is defined and studied with help of fuzzy soft α -closure operators.
( 2 ) In Section 3, some properties of fuzzy soft α -continuous mappings are obtained between two fuzzy soft topological spaces ( W , τ N ) and ( V , η F ) . Moreover, as a weaker forms of the notion of fuzzy soft α -continuous mappings, the notions of fuzzy soft almost (weakly) α -continuous mappings are introduced, and some of their basic properties and characterizations have been investigated. Also, we show that fuzzy soft α -continuity ⇒ fuzzy soft almost α -continuity ⇒ fuzzy soft weakly α -continuity, and we have the following results:
• Fuzzy soft ( i d W , I τ ( C τ ( I τ ) ) , i d V , i d V ) -continuous mapping is fuzzy soft α -continuous.
• Fuzzy soft ( i d W , α I τ , I η ( C η ) , i d V ) -continuous mapping is fuzzy soft almost α -continuous.
• Fuzzy soft ( i d W , α I τ , C η , i d V ) -continuous mapping is fuzzy soft weakly α -continuous.
( 3 ) In Section 4, several types of soft compactness via r-fuzzy soft α -open sets are explored, and the relationships between them are studied.
In upcoming manuscripts, we will use the fuzzy soft α -closure operator to define some new separation axioms on fuzzy soft topological space based on the paper Aygünoǧlu et al. [14]. Additionally, we shall discuss some of the notions given here in the frames of fuzzy soft r-minimal structures [20].

Author Contributions

Methodology, Islam M. Taha; Formal Analysis, Islam M. Taha and Wafa Alqurashi; Investigation, Islam M. Taha and Wafa Alqurashi; Writing Original Draft Preparation, Islam M. Taha and Wafa Alqurashi; Writing Review and Editing, Islam M. Taha and Wafa Alqurashi; Funding Acquisition, Islam M. Taha and Wafa Alqurashi.

Data Availability Statement

No data were used to support this study.

Acknowledgments

In this section you can acknowledge any support given which is not covered by the author contribution or funding sections. This may include administrative and technical support, or donations in kind (e.g., materials used for experiments).

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Use of AI tools declaration

The authors declare that they have not used Artificial Intelligence (AI) tools in the creation of this article.

References

  1. Molodtsov, D. Soft set theory-first results. Comput. Math. Appl. 1999, 37, 19–31. [Google Scholar] [CrossRef]
  2. Akdag, M.; Ozkan, A. Soft α-open sets and soft α-continuous functions. Abst. Appl. Anal. 2014, 2014, 891341. [Google Scholar] [CrossRef]
  3. Akdag, M.; Ozkan, A. On soft β-open sets and soft β-continuous functions. Sci. World J. 2014, 2014, 843456. [Google Scholar] [CrossRef]
  4. El-Sheikh, S.A.; Hosny, R.A.; Abd El-latif, A.M. Characterizations of β-soft separation axioms in soft topological spaces. Inf. Sci. Lett. 2015, 4, 125–133. [Google Scholar]
  5. Al-shami, T.M. Soft somewhere dense sets on soft topological spaces. Commun. Korean Math. Soc. 2018, 33, 1341–1356. [Google Scholar]
  6. Al-Ghour, S. Boolean algebra of soft Q-Sets in soft topological spaces. Appl. Comput. Intell. Soft Comput. 2022, 2022, 5200590. [Google Scholar] [CrossRef]
  7. Al-shami, T.M.; Mhemdi, A.; Abu-Gdairid, R. A Novel framework for generalizations of soft open sets and its applications via soft topologies. Mathematics 2023, 11, 840. [Google Scholar] [CrossRef]
  8. Al-shami, T.M.; Arar, M.; Abu-Gdairi, R.; Ameen, Z.A. On weakly soft β-open sets and weakly soft β-continuity. J. Inte. Fuzzy Syst. 2023, 45, 6351–6363. [Google Scholar] [CrossRef]
  9. Kaur, S.; Al-shami, T.M.; Ozkan, A.; Hosny, M. A new approach to soft continuity. Mathematics 2023, 11, 3164. [Google Scholar] [CrossRef]
  10. Al-Ghour, S.; Al-Mufarrij, J. Between soft complete continuity and soft somewhat-continuity. Symmetry 2023, 15, 1–14. [Google Scholar]
  11. Ameen, Z.A.; Abu-Gdairi, R.; Al-shami, T.M.; Asaad, B.A.; Arar, M. Further properties of soft somewhere dense continuous functions and soft Baire spaces. J. Math. Computer Sci. 2024, 32, 54–63. [Google Scholar] [CrossRef]
  12. Maji, P.K.; Biswas, R.; Roy, A.R. Fuzzy soft sets. J. Fuzzy Math. 2001, 9, 589–602. [Google Scholar]
  13. Zadeh, L.A. Fuzzy Sets. Inform. Control 1965, 8, 338–353. [Google Scholar] [CrossRef]
  14. Aygünoǧlu, A.; Çetkin, V.; Aygün, H. An introduction to fuzzy soft topological spaces. Hacet. J. Math. Stat. 2014, 43, 193–208. [Google Scholar] [CrossRef]
  15. Çetkin, V.; Aygünoǧlu, A.; Aygün, H. On soft fuzzy closure and interior operators. Util. Math. 2016, 99, 341–367. [Google Scholar]
  16. Šostak, A.P. On a fuzzy topological structure. In: Proceedings of the 13th winter school on abstract analysis, Section of topology, Palermo: Circolo Matematico di Palermo 1985, 89–103.
  17. Taha, I.M. A new approach to separation and regularity axioms via fuzzy soft sets. Ann. Fuzzy Math. Inform. 2020, 20, 115–123. [Google Scholar]
  18. Taha, I.M. Some new separation axioms in fuzzy soft topological spaces. Filomat 2021, 35, 1775–1783. [Google Scholar] [CrossRef]
  19. Çetkin, V.; Aygün, H. Fuzzy soft semiregularization spaces. Ann. Fuzzy Math. Inform. 2014, 7, 687–697. [Google Scholar]
  20. Taha, I.M. Compactness on fuzzy soft r-minimal spaces. Int. J. Fuzzy Logic Intell. Syst. 2021, 21, 251–258. [Google Scholar] [CrossRef]
  21. Ahmad, B.; Kharal, A. On fuzzy soft sets. Adv. Fuzzy Syst. 2009, 2009, 586507. [Google Scholar] [CrossRef]
  22. Çaǧman, N.; Enginoǧlu, S.; Çitak, F. Fuzzy soft set theory and its applications. Iran. J. Fuzzy Syst. 2011, 8, 137–147. [Google Scholar]
  23. Taha, I.M. Some new results on fuzzy soft r-minimal spaces. AIMS Math. 2022, 7, 12458–12470. [Google Scholar] [CrossRef]
  24. Mishra, S.; Srivastava, R. Hausdorff fuzzy soft topological spaces. Ann. Fuzzy Math. Inform. 2015, 9, 247–260. [Google Scholar]
  25. Atmaca, S.; Zorlutuna, I. On fuzzy soft topological spaces. Ann. Fuzzy Math. Inform. 2013, 5, 377–386. [Google Scholar]
  26. Alshammari, I.; Alqahtani, M.H.; Taha, I.M. On r-fuzzy soft δ-open sets and applications via fuzzy soft topologies. Preprints 2023, 2023121240. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated