On Fuzzy Soft Beta-Continuity and Beta-Irresoluteness: Properties and Applications

1. Introduction

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. Akdag and Ozkan [2] initiated and studied the concept of soft $\alpha$-open sets on soft topological spaces. The concept of soft $\beta$-open sets was studied by the authors of [3,4], and some properties of soft $\beta$-continuity are investigated. Also, the concepts of somewhere dense and Q-sets were defined and studied by the authors of [5,6]. Al-shami et al. [7] initiated the concept of weakly soft semi-open sets and studied its main properties. Also, Al-shami et al. [8] defined and studied the concept of weakly soft $\beta$-open sets. 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 new concepts of mappings over soft topological spaces: soft somewhat-r-continuity and soft somewhat-r-openness. Ameen et al. [11] explored more properties of soft somewhere dense continuity.

The notion of fuzzy soft sets was introduced by Maji et al. [12], which combines fuzzy sets [13] and soft sets [1]. Based on fuzzy topologies in the sense of Šostak [14], 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 [15,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. [15]. The notion of r-fuzzy soft regularly open sets was defined and studied by Çetkin and Aygün [19]. In addition, the notions of r-fuzzy soft $\beta$-open (resp. pre-open) sets were introduced by Taha [20].

The main contribution of this study is arranged as follows:

• In Section 2, we are going to present the notions of fuzzy soft $\beta$-closure ($\beta$-interior) operators on fuzzy soft topological space based on the article Aygünoǧlu et al. [15], and study some properties of them. Also, the concept of r-fuzzy soft $\beta$-connected sets is defined and studied.

• In Section 3, we investigate some properties of a fuzzy soft $\beta$-continuity. Moreover, we explore and study the notions of fuzzy soft almost (weakly) $\beta$-continuous functions, which are weaker forms of fuzzy soft $\beta$-continuous functions. Also, we show that fuzzy soft $\beta$-continuity ⇒ fuzzy soft almost $\beta$-continuity ⇒ fuzzy soft weakly $\beta$-continuity, but the converse may not be true.

• In Section 4, we introduce the notions of fuzzy soft $\beta$-irresolute (resp. strongly $\beta$-irresolute, $\beta$-irresolute open, $\beta$-irresolute closed and $\beta$-irresolute homeomorphism) functions between two fuzzy soft topological spaces $(V,{\eta }_F)$ and $(U,{\tau }_E)$, 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 $B\subseteq F$. The family of all fuzzy sets on V is denoted by $I^V$ (where $I_{\circ }=(0,1],I=[0,1]$), and for $t\in I,$$\underline{t}\left(v\right)=t$, for all $v\in V.$

The following notions and results will be used in the next sections:

Definition 1. 

$[15,21,22]$A fuzzy soft set $g_B$ on V is a function from F to $I^V$ such that $g_B\left(k\right)$ is a fuzzy set on V, for each $k\in B$ and $g_B\left(k\right)=\underline{0}$, if $k\notin B$. The family of all fuzzy soft sets on V is denoted by $\widetilde{(V,F)}$. In [23], the difference between two fuzzy soft sets $g_B$ and $f_A$ is a fuzzy soft set defined as follows, for each $k\in F$:

$\left(g_B\overline{\sqcap }{f}_A\right)\left(k\right)=\left\{\begin{array}{cc}\hfill \underline{0},& if{g}_B\left(k\right)\le f_A\left(k\right),\\ \hfill g_B\left(k\right)\wedge {\left(f_A\left(k\right)\right)}^c,& \mathrm{otherwise}.\end{array}\right.$

Definition 2. 

$\left[24\right]$A fuzzy soft point $k_{v_t}$ on V is a fuzzy soft set defined as follows:

$$k_{v_t}\left(e\right)=\left\{\begin{array}{ccc}\hfill v_t,& if& e=k,\hfill \\ \hfill \underline{0},& if& e\in F-\left\{k\right\},\hfill \end{array}\right.$$

where $v_t$ is a fuzzy point on V. $k_{v_t}$ is said to belong to a fuzzy soft set $g_B$, denoted by $k_{v_t}\tilde{\in }{g}_B$, if $t\le g_B\left(k\right)\left(v\right)$. The family of all fuzzy soft points on V is denoted by $\widetilde{P_t\left(V\right)}$.

Definition 3. 

$\left[25\right]$A fuzzy soft point $k_{v_t}\in \widetilde{P_t\left(V\right)}$ is called a soft quasi-coincident with $g_B\in \widetilde{(V,F)}$, denoted by $k_{v_t}\tilde{q}{g}_B$, if $t+g_B\left(k\right)\left(v\right)>1$. A fuzzy soft set $f_A\in \widetilde{(V,F)}$ is called a soft quasi-coincident with $g_B\in \widetilde{(V,F)}$, denoted by $f_A\tilde{q}{g}_B$, if there is $k\in F$ and $v\in V$ such that $f_A\left(k\right)\left(v\right)+g_B\left(k\right)\left(v\right)>1$. If $f_A$ is not soft quasi-coincident with $g_B$, $f_A/\tilde{q}{g}_B$.

Definition 4. 

$\left[15\right]$A function $\eta :F⟶{[0,1]}^{\widetilde{(V,F)}}$ is said to be a fuzzy soft topology on V if it satisfies the following, for each $k\in F$:

(1) ${\eta }_k\left(\mathsf{\Phi }\right)={\eta }_k\left(\tilde{F}\right)=1,$

(2) ${\eta }_k(g_B\sqcap f_A)\ge {\eta }_k\left(g_B\right)\wedge {\eta }_k\left(f_A\right),$ for each $g_B,f_A\in \widetilde{(V,F)},$

(3) ${\eta }_k\left({\bigsqcup }_{\delta \in \mathsf{\Delta }}{\left(g_B\right)}_{\delta }\right)\ge {\wedge }_{\delta \in \mathsf{\Delta }}{\eta }_k\left({\left(g_B\right)}_{\delta }\right),$ for each ${\left(g_B\right)}_{\delta }\in \widetilde{(V,F)},\delta \in \mathsf{\Delta }.$

Then, $(V,{\eta }_F)$ is said to be a fuzzy soft topological space (briefly, FSTS) based on the sense of Šostak [14].

Definition 5. 

$\left[15\right]$Let $(V,{\eta }_F)$ and $(U,{\tau }_E)$ be a FSTSs. A fuzzy soft function ${\phi }_{\psi }:\widetilde{(V,F)}⟶\widetilde{(U,E)}$ is said to be a fuzzy soft continuous if, ${\eta }_k\left({\phi }_{\psi }^{-1}\left(g_B\right)\right)\ge {\tau }_e\left(g_B\right)$ for each $g_B\in \widetilde{(U,E)}$, $k\in F$ and $(e=\psi (k\left)\right)\in E$.

Definition 6. 

$[16,19]$In a FSTS $(V,{\eta }_F)$, for each $g_B\in \widetilde{(V,F)}$, $k\in F$ and $r\in I_0$, we define the fuzzy soft operators $C_{\eta }$ and $I_{\eta }$$:F\times \widetilde{(V,F)}\times I_{\circ }\to \widetilde{(V,F)}$ as follows:

$C_{\eta }(k,g_B,r)=\sqcap \{f_A\in \widetilde{(V,F)}:g_B⊑f_A,{\eta }_k\left(f_A^c\right)\ge r\}$,

$I_{\eta }(k,g_B,r)=\bigsqcup \{f_A\in \widetilde{(V,F)}:f_A⊑g_B,{\eta }_k\left(f_A\right)\ge r\}.$

Definition 7. 

Let $(V,{\eta }_F)$ be a FSTS and $r\in I_0$. A fuzzy soft set $g_B\in \widetilde{(V,F)}$ is said to be an r-fuzzy soft $\beta$-open [20] (resp. pre-open [20], semi-open [26] and regularly open [19]) if, $g_B⊑C_{\eta }(k,I_{\eta }(k,C_{\eta }(k,g_B,r),r),r)$ (resp. $g_B⊑I_{\eta }(k,C_{\eta }(k,g_B,r),r)$, $g_B⊑C_{\eta }(k,I_{\eta }(k,g_B,r),r)$ and $g_B=I_{\eta }(k,C_{\eta }(k,g_B,r),r)$) for each $k\in F$.

Definition 8. 

$\left[19\right]$Let $(V,{\eta }_F)$ be a FSTS and $r\in I_0$. A fuzzy soft set $g_B\in \widetilde{(V,F)}$ is said to be an r-fuzzy soft regularly closed if, $g_B=C_{\eta }(k,I_{\eta }(k,g_B,r),r)$ for each $k\in F$.

Definition 9. 

$\left[20\right]$From the previous definition, we can summarize the relationships among different types of fuzzy soft sets as in the next diagram.

$$regularlyopenset$$

$$\Downarrow$$

$$pre-openset\Rightarrow \beta -openset$$

Definition 10. 

$\left[26\right]$Let $(V,{\eta }_F)$ and $(U,{\tau }_E)$ be a FSTSs. A fuzzy soft function ${\phi }_{\psi }:\widetilde{(V,F)}⟶\widetilde{(U,E)}$ is said to be a fuzzy soft almost (resp. weakly) continuous if, for each $k_{v_t}\in \widetilde{P_t\left(V\right)}$ and each $g_B\in \widetilde{(U,E)}$ with ${\tau }_e\left(g_B\right)\ge r$ containing ${\phi }_{\psi }\left(k_{v_t}\right)$, there is $f_A\in \widetilde{(V,F)}$ with ${\eta }_k\left(f_A\right)\ge r$ containing $k_{v_t}$ such that ${\phi }_{\psi }\left(f_A\right)⊑I_{\tau }(e,C_{\tau }(e,g_B,r),r)$ (resp. ${\phi }_{\psi }\left(f_A\right)⊑C_{\tau }(e,g_B,r)$).

Definition 11. 

$\left[26\right]$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 [15,16].

2. Some Properties of r-Fuzzy Soft $\beta$-Closed Sets

Here, we introduce the concept of r-fuzzy soft $\beta$-closed sets on fuzzy soft topological space based on the sense of Šostak [14], and investigate some properties of them. Also, we define and study the concepts of fuzzy soft $\beta$-closure ($\beta$-interior) operators. Moreover, the concept of r-fuzzy soft $\beta$-connected sets is defined and characterized.

Definition 12. 

Let $(V,{\eta }_F)$ be a FSTS. A fuzzy soft set $g_B\in \widetilde{(V,F)}$ is said to be an r-fuzzy soft $\beta$-closed if, $I_{\eta }(k,C_{\eta }(k,I_{\eta }(k,g_B,r),r),r)⊑g_B$ for each $k\in F$ and $r\in I_0$.

Proposition 1. 

Let $(V,{\eta }_F)$ be a FSTS, $g_B\in \widetilde{(V,F)}$, $k\in F$ and $r\in I_0$. Then, we have

(1) $g_B$ is r-fuzzy soft $\beta$-closed set iff $g_B^c$ is r-fuzzy soft $\beta$-open [20].

(2) Any intersection of r-fuzzy soft $\beta$-closed sets is r-fuzzy soft $\beta$-closed.

(3) Any union of r-fuzzy soft $\beta$-open sets is r-fuzzy soft $\beta$-open.

Proof. 

Follows from Definitions 1.7 and 2.1.

□

Proposition 2. 

Let $(V,{\eta }_F)$ be a FSTS, $g_B,f_A\in \widetilde{(V,F)}$, $k\in F$ and $r\in I_0$. If $g_B$ is r-fuzzy soft pre-open set such that $g_B⊑f_A⊑C_{\eta }(k,I_{\eta }(k,g_B,r),r)$, $f_A$ is r-fuzzy soft $\beta$-open.

Proof. 

Since $g_B$ is r-fuzzy soft pre-open and $g_B⊑f_A$, then $g_B⊑I_{\eta }(k,C_{\eta }(k,g_B,r),r)⊑I_{\eta }(k,C_{\eta }(k,f_A,r),r).$ Since $f_A⊑C_{\eta }(k,I_{\eta }(k,g_B,r),r)$, then $f_A⊑C_{\eta }(k,I_{\eta }(k,I_{\eta }(k,C_{\eta }(k,f_A,r),r),r),r)=C_{\eta }(k,I_{\eta }(k,C_{\eta }(k,f_A,r),r),r)$, so $f_A$ is r-fuzzy soft $\beta$-open.

□

Proposition 3. 

Let $(V,{\eta }_F)$ be a FSTS, $g_B,f_A\in \widetilde{(V,F)}$, $k\in F$ and $r\in I_0$. If $g_B$ is r-fuzzy soft pre-closed set such that $g_B⊒f_A⊒I_{\eta }(k,C_{\eta }(k,g_B,r),r)$, $f_A$ is r-fuzzy soft $\beta$-closed.

Proof. 

Easily proved by a similar way in Proposition 2.2.

□

Definition 13. 

In a FSTS $(V,{\eta }_F)$, for each $g_B\in \widetilde{(V,F)}$, $k\in F$ and $r\in I_0$, we define a fuzzy soft operator $\beta C_{\eta }$$:F\times \widetilde{(V,F)}\times I_{\circ }\to \widetilde{(V,F)}$ as follows: $\beta C_{\eta }(k,g_B,r)=\sqcap \{f_A\in \widetilde{(V,F)}:g_B⊑f_A,f_A\mathrm{is}r-\mathrm{fuzzy}\mathrm{soft}\beta -\mathrm{closed}\}.$

Theorem 1. 

In a FSTS $(V,{\eta }_F)$, for each $f_A,g_B\in \widetilde{(V,F)}$, $k\in F$ and $r\in I_0$, the operator $\beta C_{\eta }$$:F\times \widetilde{(V,F)}\times I_{\circ }\to \widetilde{(V,F)}$ satisfies the following properties:

(1) $\beta C_{\eta }(k,\mathsf{\Phi },r)=\mathsf{\Phi }$.

(2) $g_B⊑\beta C_{\eta }(k,g_B,r)⊑C_{\eta }(k,g_B,r)$.

(3) $\beta C_{\eta }(k,g_B,r)⊑\beta C_{\eta }(k,f_A,r)$, if $g_B⊑f_A$.

(4) $\beta C_{\eta }(k,\beta C_{\eta }(k,g_B,r),r)=\beta C_{\eta }(k,g_B,r)$.

(5) $\beta C_{\eta }(k,g_B\bigsqcup f_A,r)⊒\beta C_{\eta }(k,g_B,r)\bigsqcup \beta C_{\eta }(k,f_A,r)$.

(6) $g_B$ is r-fuzzy soft $\beta$-closed iff $\beta C_{\eta }(k,g_B,r)=g_B$.

(7) $\beta C_{\eta }(k,C_{\eta }(k,g_B,r),r)=C_{\eta }(k,g_B,r)$.

Proof. (1), (2), (3) and (6) are easily proved from the definition of $\beta C_{\eta }$.

(4) From (2) and (3), $\beta C_{\eta }(k,g_B,r)⊑\beta C_{\eta }(k,\beta C_{\eta }(k,g_B,r),r)$. Now we show that $\beta C_{\eta }(k,g_B,r)⊒\beta C_{\eta }(k,\beta C_{\eta }(k,g_B,r),r)$. Suppose that $\beta C_{\eta }(k,g_B,r)$ is not contain $\beta C_{\eta }(k,\beta C_{\eta }(k,g_B,r),r)$. Then, there is $v\in V$ and $t\in (0,1)$ such that $\beta C_{\eta }(k,g_B,r)\left(k\right)\left(v\right)<t<\beta C_{\eta }(k,\beta C_{\eta }(k,g_B,r),r)\left(k\right)\left(v\right).\left(A\right)$

Since $\beta C_{\eta }(k,g_B,r)\left(k\right)\left(v\right)<t$, by the definition of $\beta C_{\eta }$, there is $h_F$ is r-fuzzy soft $\beta$-closed with $g_B⊑h_F$ such that $\beta C_{\eta }(k,g_B,r)\left(k\right)\left(v\right)\le h_F\left(k\right)\left(v\right)<t$. Since $g_B⊑h_F$, we have $\beta C_{\eta }(k,g_B,r)⊑h_F$. Again, by the definition of $\beta C_{\eta }$, $\beta C_{\eta }(k,\beta C_{\eta }(k,g_B,r),r)⊑h_F$. Hence $\beta C_{\eta }(k,\beta C_{\eta }(k,g_B,r),r)\left(k\right)\left(v\right)\le h_F\left(k\right)\left(v\right)<t$, it is a contradiction for $\left(A\right)$. Thus, $\beta C_{\eta }(k,g_B,r)⊒\beta C_{\eta }(k,\beta C_{\eta }(k,g_B,r),r)$. Then, $\beta C_{\eta }(k,\beta C_{\eta }(k,g_B,r),r)=\beta C_{\eta }(k,g_B,r).$

(5) Since $g_B$ and $f_A$$⊑g_B\bigsqcup f_A$, hence by (3), $\beta C_{\eta }(k,g_B,r)⊑\beta C_{\eta }(k,g_B\bigsqcup f_A,r)$ and $\beta C_{\eta }(k,f_A,r)⊑\beta C_{\eta }(k,g_B\bigsqcup f_A,r)$. Thus, $\beta C_{\eta }(k,g_B\bigsqcup f_A,r)⊒\beta C_{\eta }(k,g_B,r)\bigsqcup \beta C_{\eta }(k,f_A,r)$.

(7) From (6) and $C_{\eta }(k,g_B,r)$ is r-fuzzy soft $\beta$-closed set, hence $\beta C_{\eta }(k,C_{\eta }(k,g_B,r),r)=C_{\eta }(k,g_B,r)$.

□

Definition 14. 

Let $(V,{\eta }_F)$ be a FSTS, $r\in I_0$ and $g_B,f_A\in \widetilde{(V,F)}$. Then, we have:

(1) Two fuzzy soft sets $g_B$ and $f_A$ are called r-fuzzy soft $\beta$-separated iff $g_B\neg \tilde{q}\beta C_{\eta }(k,f_A,r)$ and $f_A\neg \tilde{q}\beta C_{\eta }(k,g_B,r)$ for each $k\in F$.

(2) Any fuzzy soft set which cannot be expressed as the union of two r-fuzzy soft $\beta$-separated sets is called an r-fuzzy soft $\beta$-connected.

Theorem 2. 

In a FSTS $(V,{\eta }_F)$, we have:

(1) If $f_A$ and $g_B$$\in \widetilde{(V,F)}$ are r-fuzzy soft $\beta$-separated and $h_C$, $t_D$$\in \widetilde{(V,F)}$ such that $h_C⊑f_A$ and $t_D⊑g_B$, then $h_C$ and $t_D$ are r-fuzzy soft $\beta$-separated.

(2) If $f_A\neg \tilde{q}{g}_B$ and either both are r-fuzzy soft $\beta$-open or both r-fuzzy soft $\beta$-closed, then $f_A$ and $g_B$ are r-fuzzy soft $\beta$-separated.

(3) If $f_A$ and $g_B$ are either both r-fuzzy soft $\beta$-open or both r-fuzzy soft $\beta$-closed, then $f_A\sqcap g_B^c$ and $g_B\sqcap f_A^c$ are r-fuzzy soft $\beta$-separated.

Proof. 

(1) and (2) are obvious.

(3) Let $f_A$ and $g_B$ be an r-fuzzy soft $\beta$-open. Since $f_A\sqcap g_B^c⊑g_B^c$, $\beta C_{\eta }(k,f_A\sqcap g_B^c,r)⊑g_B^c$ and hence $\beta C_{\eta }(k,f_A\sqcap g_B^c,r)\neg \tilde{q}{g}_B$. Then, $\beta C_{\eta }(k,f_A\sqcap g_B^c,r)\neg \tilde{q}(g_B\sqcap f_A^c).$

Again, since $g_B\sqcap f_A^c⊑f_A^c$, $\beta C_{\eta }(k,g_B\sqcap f_A^c,r)⊑f_A^c$ and hence $\beta C_{\eta }(k,g_B$$\sqcap f_A^c,r)\neg \tilde{q}{f}_A$. Then, $\beta C_{\eta }(k,g_B\sqcap f_A^c,r)\neg \tilde{q}(f_A\sqcap g_B^c).$ Thus, $f_A\sqcap g_B^c$ and $g_B\sqcap f_A^c$ are r-fuzzy soft $\beta$-separated. The other case follows similar lines.

□

Theorem 3. 

In a FSTS $(V,{\eta }_F)$, then $f_A$, $g_B$$\in \widetilde{(V,F)}$ are r-fuzzy soft $\beta$-separated iff there exist two r-fuzzy soft $\beta$-open sets $h_C$ and $t_D$ such that $f_A⊑h_C$, $g_B⊑t_D$, $f_A\neg \tilde{q}{t}_D$ and $g_B\neg \tilde{q}{h}_C$.

Proof. 

(⇒) Let $f_A$ and $g_B$$\in \widetilde{(V,F)}$ be an r-fuzzy soft $\beta$-separated, $f_A⊑{\left(\beta C_{\eta }(k,g_B,r)\right)}^c=h_C$ and $g_B⊑{\left(\beta C_{\eta }(k,f_A,r)\right)}^c=t_D$, where $t_D$ and $h_C$ are r-fuzzy soft $\beta$-open, then $t_D\neg \tilde{q}\beta C_{\eta }(k,f_A,r)$ and $h_C\neg \tilde{q}\beta C_{\eta }(k,g_B,r)$. Thus, $g_B\neg \tilde{q}{h}_C$ and $f_A\neg \tilde{q}{t}_D$. Hence, we obtain the required result.

(⇐) Let $h_C$ and $t_D$ be an r-fuzzy soft $\beta$-open such that $g_B⊑t_D$, $f_A⊑h_C$, $g_B\neg \tilde{q}{h}_C$ and $f_A\neg \tilde{q}{t}_D$. Then, $g_B⊑h_C^c$ and $f_A⊑t_D^c$. Hence, $\beta C_{\eta }(k,g_B,r)⊑h_C^c$ and $\beta C_{\eta }(k,f_A,r)⊑t_D^c$. Then, $\beta C_{\eta }(k,g_B,r)\neg \tilde{q}{f}_A$ and $\beta C_{\eta }(k,f_A,r)\neg \tilde{q}{g}_B$. Thus, $g_B$ and $f_A$ are r-fuzzy soft $\beta$-separated. Hence, we obtain the required result.

□

Theorem 4. 

In a FSTS $(V,{\eta }_F)$, if $g_B\in \widetilde{(V,F)}$ is r-fuzzy soft $\beta$-connected such that $g_B⊑f_A⊑\beta C_{\eta }(k,g_B,r)$, then $f_A$ is r-fuzzy soft $\beta$-connected.

Proof. 

Suppose that $f_A$ is not r-fuzzy soft $\beta$-connected, then there is r-fuzzy soft $\beta$-separated sets $h_C^{\ast }$ and $t_D^{\ast }$$\in \widetilde{(V,F)}$ such that $f_A=h_C^{\ast }\bigsqcup t_D^{\ast }$. Let $h_C=g_B\sqcap h_C^{\ast }$ and $t_D=g_B\sqcap t_D^{\ast }$, then $g_B=t_D\bigsqcup h_C$. Since $h_C⊑h_C^{\ast }$ and $t_D⊑t_D^{\ast }$, hence by Theorem 2.2(1), $h_C$ and $t_D$ are r-fuzzy soft $\beta$-separated, it is a contradiction. Thus, $f_A$ is r-fuzzy soft $\beta$-connected, as required.

□

Theorem 5. 

In a FSTS $(V,{\eta }_F)$, for each $g_B\in \widetilde{(V,F)}$, $k\in F$ and $r\in I_0$, we define a fuzzy soft operator $\beta I_{\eta }$$:F\times \widetilde{(V,F)}\times I_{\circ }\to \widetilde{(V,F)}$ as follows: $\beta I_{\eta }(k,g_B,r)=\bigsqcup \{f_A\in \widetilde{(V,F)}:f_A⊑g_B,f_A\mathrm{is}r-\mathrm{fuzzy}\mathrm{soft}\beta -\mathrm{open}\}.$ Then, for each $f_A,g_B\in \widetilde{(V,F)}$, the operator $\beta I_{\eta }$ satisfies the following properties:

(1) $\beta I_{\eta }(k,\tilde{F},r)=\tilde{F}$.

(2) $I_{\eta }(k,g_B,r)⊑\beta I_{\eta }(k,g_B,r)⊑g_B$.

(3) $\beta I_{\eta }(k,g_B,r)⊑\beta I_{\eta }(k,f_A,r)$, if $g_B⊑f_A$.

(4) $\beta I_{\eta }(k,\beta I_{\eta }(k,g_B,r),r)=\beta I_{\eta }(k,g_B,r)$.

(5) $\beta I_{\eta }(k,g_B,r)\sqcap \beta I_{\eta }(k,f_A,r)⊒\beta I_{\eta }(k,g_B\sqcap f_A,r)$.

(6) $g_B$ is r-fuzzy soft $\beta$-open iff $\beta I_{\eta }(k,g_B,r)=g_B$.

(7) $\beta I_{\eta }(k,g_B^c,r)={\left(\beta C_{\eta }(k,g_B,r)\right)}^c$.

Proof. 

(1), (2), (3) and (6) are easily proved from the definition of $\beta I_{\eta }$.

(4) and (5) are easily proved by a similar way in Theorem 2.1.

(7) For each $g_B\in \widetilde{(V,F)}$, $k\in F$ and $r\in I_0$, we have $\beta I_{\eta }(k,g_B^c,r)=\bigsqcup \{f_A\in \widetilde{(V,F)}:f_A⊑g_B^c,f_A\mathrm{is}r-\mathrm{fuzzy}\mathrm{soft}\beta -\mathrm{open}\}$ = [$\sqcap \{f_A^c\in \widetilde{(V,F)}:g_B⊑f_A^c,f_A^c\mathrm{is}r-\mathrm{fuzzy}\mathrm{soft}\beta -\mathrm{closed}\}{]}^c$ = ${\left(\beta C_{\eta }(k,g_B,r)\right)}^c$.

□

3. Weaker Forms of Fuzzy Soft $\beta$-Continuity

Here, we investigate some properties of fuzzy soft $\beta$-continuity. As a weaker form of fuzzy soft $\beta$-continuity, the concepts of fuzzy soft almost (weakly) $\beta$-continuous functions are introduced, and some properties are given. Also, we show that fuzzy soft $\beta$-continuity ⇒ fuzzy soft almost $\beta$-continuity ⇒ fuzzy soft weakly $\beta$-continuity, but the converse may not be true.

Definition 15. 

Let $(V,{\eta }_F)$ and $(U,{\tau }_E)$ be a FSTSs. A fuzzy soft function ${\phi }_{\psi }:\widetilde{(V,F)}⟶\widetilde{(U,E)}$ is said to be a fuzzy soft $\beta$-continuous if, ${\phi }_{\psi }^{-1}\left(g_B\right)$ is r-fuzzy soft $\beta$-closed set for each $g_B\in \widetilde{(U,E)}$ with ${\tau }_e\left(g_B^c\right)\ge r$, $k\in F$, $(e=\psi (k\left)\right)\in E$ and $r\in I_o$.

Theorem 6. 

Let $(V,{\eta }_F)$ and $(U,{\tau }_E)$ be a FSTSs, and ${\phi }_{\psi }:\widetilde{(V,F)}⟶\widetilde{(U,E)}$ be a fuzzy soft function. The following statements are equivalent for each $g_B\in \widetilde{(U,E)}$, $k\in F$, $(e=\psi (k\left)\right)\in E$ and $r\in I_{\circ }$:

(1) ${\phi }_{\psi }$ is fuzzy soft $\beta$-continuous.

(2) For each $g_B\in \widetilde{(U,E)}$ with ${\tau }_e\left(g_B\right)\ge r$, ${\phi }_{\psi }^{-1}\left(g_B\right)$ is r-fuzzy soft $\beta$-open.

(3) $\beta C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r)⊑{\phi }_{\psi }^{-1}\left(C_{\tau }(e,g_B,r)\right)$.

(4) ${\phi }_{\psi }^{-1}\left(I_{\tau }(e,g_B,r)\right)⊑\beta I_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r)$.

(5) $I_{\eta }(k,C_{\eta }(k,I_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r),r),r)⊑{\phi }_{\psi }^{-1}\left(C_{\tau }(e,g_B,r)\right)$.

Proof. 

(1) ⇔ (2) Follows from Proposition 2.1(1) and ${\phi }_{\psi }^{-1}\left(g_B^c\right)={\left({\phi }_{\psi }^{-1}\left(g_B\right)\right)}^c$.

(1) ⇒ (3) Let $g_B\in \widetilde{(U,E)}$, hence by (1), ${\phi }_{\psi }^{-1}\left(C_{\tau }(e,g_B,r)\right)$ is r-fuzzy soft $\beta$-closed. Then, we obtain $\beta C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r)⊑{\phi }_{\psi }^{-1}\left(C_{\tau }(e,g_B,r)\right)$.

(3) ⇔ (4) Follows from Theorem 2.5(7).

(3) ⇒ (5) Let $g_B\in \widetilde{(U,E)}$, hence by (3), we obtain $I_{\eta }(k,C_{\eta }(k,I_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r),r),r)⊑\beta C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r)⊑{\phi }_{\psi }^{-1}\left(C_{\tau }(e,g_B,r)\right)$.

(5) ⇒ (2) Let $g_B\in \widetilde{(U,E)}$ with ${\tau }_e\left(g_B\right)\ge r$, hence by (5), we obtain ${\left({\phi }_{\psi }^{-1}\left(g_B\right)\right)}^c={\phi }_{\psi }^{-1}\left(g_B^c\right)⊒I_{\eta }(k,C_{\eta }(k,I_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B^c\right),r),r),r)={\left(C_{\eta }(k,I_{\eta }(k,C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r),r),r)\right)}^c$. Then, ${\phi }_{\psi }^{-1}\left(g_B\right)⊑C_{\eta }(k,I_{\eta }(k,C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r),r),r)$, so ${\phi }_{\psi }^{-1}\left(g_B\right)$ is r-fuzzy soft $\beta$-open.

□

Lemma 1. 

Every fuzzy soft continuous function [15] is fuzzy soft $\beta$-continuous.

Proof. 

Follows from Definition 1.5 and Theorem 3.1.

□

Remark 1. 

The converse of Lemma 3.1 is not true, as shown by Example 3.1.

Example 1. 

Let $V=\{v_1,v_2,v_3\}$, $F=\{k_1,k_2\}$ and define $g_F,h_F\in \widetilde{(V,F)}$ as follows: $g_F=\{(k_1,\{\frac{v_1}{0.2},\frac{v_2}{0.3},\frac{v_3}{0.2}\}),(k_2,\{\frac{v_1}{0.2},\frac{v_2}{0.3},\frac{v_3}{0.2}\})\}$, $h_F=\{(k_1,\{\frac{v_1}{0.3},\frac{v_2}{0.4},\frac{v_3}{0.8}\}),(k_2,\{\frac{v_1}{0.3},\frac{v_2}{0.4},\frac{v_3}{0.8}\})\}$. Define fuzzy soft topologies ${\eta }_F,{\tau }_F:F⟶{[0,1]}^{\widetilde{(V,F)}}$ as follows: $\forall k\in F$,

${\eta }_k\left(n_F\right)=$$\left\{\begin{array}{c}1,\mathrm{if}{n}_F\in \{\mathsf{\Phi },\tilde{F}\},\hfill \\ \frac{1}{2},\mathrm{if}{n}_F=g_F,\hfill \\ 0,\mathrm{otherwise},\hfill \end{array}\right.$

${\tau }_k\left(n_F\right)=$$\left\{\begin{array}{c}1,\mathrm{if}{n}_F\in \{\mathsf{\Phi },\tilde{F}\},\hfill \\ \frac{1}{3},\mathrm{if}{n}_F=h_F,\hfill \\ 0,\mathrm{otherwise}.\hfill \end{array}\right.$

Then, the identity fuzzy soft function ${\phi }_{\psi }:(V,{\eta }_F)⟶(V,{\tau }_F)$ is fuzzy soft $\beta$-continuous, but it is not fuzzy soft continuous.

Definition 16. 

Let $(V,{\eta }_F)$ and $(U,{\tau }_E)$ be a FSTSs. A fuzzy soft function ${\phi }_{\psi }:\widetilde{(V,F)}⟶\widetilde{(U,E)}$ is said to be a fuzzy soft almost (resp. weakly) $\beta$-continuous if, for each $k_{v_t}\in \widetilde{P_t\left(V\right)}$ and each $f_A\in \widetilde{(U,E)}$ with ${\tau }_e\left(f_A\right)\ge r$ containing ${\phi }_{\psi }\left(k_{v_t}\right)$, there is $g_B\in \widetilde{(V,F)}$ is r-fuzzy soft $\beta$-open set containing $k_{v_t}$ such that ${\phi }_{\psi }\left(g_B\right)⊑I_{\tau }(e,C_{\tau }(e,f_A,r),r)$ (resp. ${\phi }_{\psi }\left(g_B\right)⊑C_{\tau }(e,f_A,r)$), $k\in F$, $(e=\psi (k\left)\right)\in E$ and $r\in I_{\circ }$.

Lemma 2. (1) Every fuzzy soft $\beta$-continuous function is fuzzy soft almost $\beta$-continuous.

(2) Every fuzzy soft almost $\beta$-continuous function is fuzzy soft weakly $\beta$-continuous.

Proof. 

Follows from Definition 3.2 and Theorem 3.1.

□

Remark 2. 

The converse of Lemma 3.2 is not true, as shown by Examples 3.2 and 3.3.

Example 2. 

Let $V=\{v_1,v_2,v_3\}$, $F=\{k_1,k_2\}$ and define $f_F,g_F,h_F$$\in \widetilde{(V,F)}$ as follows: $f_F=\{(k_1,\{\frac{v_1}{0.5},\frac{v_2}{0.5},\frac{v_3}{0.5}\}),(k_2,\{\frac{v_1}{0.5},\frac{v_2}{0.5},\frac{v_3}{0.5}\})\}$, $g_F=\{(k_1,\{\frac{v_1}{0.4},\frac{v_2}{0.4},\frac{v_3}{0.4}\}),(k_2,\{\frac{v_1}{0.4},\frac{v_2}{0.4},\frac{v_3}{0.4}\})\}$, $h_F=\{(k_1,\{\frac{v_1}{0.5},\frac{v_2}{0.5},\frac{v_3}{0.6}\}),(k_2,\{\frac{v_1}{0.5},\frac{v_2}{0.5},\frac{v_3}{0.6}\})\}$. Define fuzzy soft topologies ${\eta }_F,{\tau }_F:F⟶{[0,1]}^{\widetilde{(V,F)}}$ as follows: $\forall k\in F$,

${\eta }_k\left(n_F\right)=$$\left\{\begin{array}{c}1,\mathrm{if}{n}_F\in \{\mathsf{\Phi },\tilde{F}\},\hfill \\ \frac{2}{3},\mathrm{if}{n}_F=f_F,\hfill \\ \frac{1}{2},\mathrm{if}{n}_F=g_F,\hfill \\ 0,\mathrm{otherwise},\hfill \end{array}\right.$

${\tau }_k\left(n_F\right)=$$\left\{\begin{array}{c}1,\mathrm{if}{n}_F\in \{\mathsf{\Phi },\tilde{F}\},\hfill \\ \frac{2}{3},\mathrm{if}{n}_F=f_F,\hfill \\ \frac{1}{3},\mathrm{if}{n}_F=h_F,\hfill \\ 0,\mathrm{otherwise}.\hfill \end{array}\right.$

Then, the identity fuzzy soft function ${\phi }_{\psi }:(V,{\eta }_F)⟶(V,{\tau }_F)$ is fuzzy soft almost $\beta$-continuous, but it is not fuzzy soft $\beta$-continuous.

Example 3. 

Let $V=\{v_1,v_2,v_3\}$, $F=\{k_1,k_2\}$ and define $g_F,h_F\in \widetilde{(V,F)}$ as follows: $g_F=\{(k_1,\{\frac{v_1}{0.6},\frac{v_2}{0.2},\frac{v_3}{0.4}\}),(k_2,\{\frac{v_1}{0.6},\frac{v_2}{0.2},\frac{v_3}{0.4}\})\}$, $h_F=\{(k_1,\{\frac{v_1}{0.3},\frac{v_2}{0.2},\frac{v_3}{0.5}\}),(k_2,\{\frac{v_1}{0.3},\frac{v_2}{0.2},\frac{v_3}{0.5}\})\}$. Define fuzzy soft topologies ${\eta }_F,{\tau }_F:F⟶{[0,1]}^{\widetilde{(V,F)}}$ as follows: $\forall k\in F$,

${\eta }_k\left(n_F\right)=$$\left\{\begin{array}{c}1,\mathrm{if}{n}_F\in \{\mathsf{\Phi },\tilde{F}\},\hfill \\ \frac{1}{2},\mathrm{if}{n}_F=g_F,\hfill \\ 0,\mathrm{otherwise},\hfill \end{array}\right.$

${\tau }_k\left(n_F\right)=$$\left\{\begin{array}{c}1,\mathrm{if}{n}_F\in \{\mathsf{\Phi },\tilde{F}\},\hfill \\ \frac{1}{3},\mathrm{if}{n}_F=h_F,\hfill \\ 0,\mathrm{otherwise}.\hfill \end{array}\right.$

Then, the identity fuzzy soft function ${\phi }_{\psi }:(V,{\eta }_F)⟶(V,{\tau }_F)$ is fuzzy soft weakly $\beta$-continuous, but it is not fuzzy soft almost $\beta$-continuous.

Lemma 3. (1) Every fuzzy soft almost continuous function is fuzzy soft almost $\beta$-continuous.

(2) Every fuzzy soft weakly continuous function is fuzzy soft weakly $\beta$-continuous.

Proof. 

Follows from Definitions 1.9 and 3.2.

□

Remark 3. 

From the previous definitions and results, we can summarize the relationships among different types of fuzzy soft continuity as in the next diagram.

$$\mathrm{continuity}\Rightarrow \beta -\mathrm{continuity}$$

$$\Downarrow \Downarrow$$

$$\mathrm{almost}\mathrm{continuity}\Rightarrow \mathrm{almost}\beta -\mathrm{continuity}$$

$$\Downarrow \Downarrow$$

$$\mathrm{weakly}\mathrm{continuity}\Rightarrow \mathrm{weakly}\beta -\mathrm{continuity}$$

Theorem 7. 

Let $(V,{\eta }_F)$ and $(U,{\tau }_E)$ be a FSTSs, and ${\phi }_{\psi }:\widetilde{(V,F)}⟶\widetilde{(U,E)}$ be a fuzzy soft function. The following statements are equivalent for each $g_B\in \widetilde{(U,E)}$, $k\in F$, $(e=\psi (k\left)\right)\in E$ and $r\in I_{\circ }$:

(1) ${\phi }_{\psi }$ is fuzzy soft almost $\beta$-continuous.

(2) ${\phi }_{\psi }^{-1}\left(g_B\right)$ is r-fuzzy soft $\beta$-open, for each $g_B$ is r-fuzzy soft regularly open.

(3) ${\phi }_{\psi }^{-1}\left(g_B\right)$ is r-fuzzy soft $\beta$-closed, for each $g_B$ is r-fuzzy soft regularly closed.

(4) $\beta C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r)⊑{\phi }_{\psi }^{-1}\left(C_{\tau }(e,g_B,r)\right)$, for each $g_B$ is r-fuzzy soft $\beta$-open.

(5) $\beta C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r)⊑{\phi }_{\psi }^{-1}\left(C_{\tau }(e,g_B,r)\right)$, for each $g_B$ is r-fuzzy soft semi-open.

(6) $\beta I_{\eta }(k,{\phi }_{\psi }^{-1}\left(I_{\tau }(e,C_{\tau }(e,g_B,r),r)\right),r)⊒{\phi }_{\psi }^{-1}\left(g_B\right)$, for each $g_B$ with ${\tau }_e\left(g_B\right)\ge r$.

Proof. 

(1) ⇒ (2) Let $k_{v_t}\in \widetilde{P_t\left(V\right)}$ and $g_B\in \widetilde{(U,E)}$ be an r-fuzzy soft regularly open set containing ${\phi }_{\psi }\left(k_{v_t}\right)$, hence by (1), there is $f_A\in \widetilde{(V,F)}$ is r-fuzzy soft $\beta$-open set containing $k_{v_t}$ such that ${\phi }_{\psi }\left(f_A\right)⊑I_{\tau }(e,C_{\tau }(e,g_B,r),r)$.

Thus, $f_A⊑{\phi }_{\psi }^{-1}\left(I_{\tau }(e,C_{\tau }(e,g_B,r),r)\right)={\phi }_{\psi }^{-1}\left(g_B\right)$ and $k_{v_t}\tilde{\in }{f}_A⊑{\phi }_{\psi }^{-1}\left(g_B\right)$. Then, $k_{v_t}\tilde{\in }{C}_{\eta }(k,I_{\eta }(k,C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r),r),r)$ and ${\phi }_{\psi }^{-1}\left(g_B\right)⊑C_{\eta }(k,I_{\eta }(k,C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r),r),r)$. Therefore, ${\phi }_{\psi }^{-1}\left(g_B\right)$ is r-fuzzy soft $\beta$-open set.

(2) ⇒ (3) Let $g_B$ be an r-fuzzy soft regularly closed set, hence by (2), ${\phi }_{\psi }^{-1}\left(g_B^c\right)={\left({\phi }_{\psi }^{-1}\left(g_B\right)\right)}^c$ is r-fuzzy soft $\beta$-open set. Then, ${\phi }_{\psi }^{-1}\left(g_B\right)$ is r-fuzzy soft $\beta$-closed set.

(3) ⇒ (4) Let $g_B$ be an r-fuzzy soft $\beta$-open set. Since $C_{\tau }(e,g_B,r)$ is r-fuzzy soft regularly closed set, hence by (3), ${\phi }_{\psi }^{-1}\left(C_{\tau }(e,g_B,r)\right)$ is r-fuzzy soft $\beta$-closed set. Since ${\phi }_{\psi }^{-1}\left(g_B\right)⊑{\phi }_{\psi }^{-1}\left(C_{\tau }(e,g_B,r)\right)$, then we have $\beta C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r)⊑{\phi }_{\psi }^{-1}\left(C_{\tau }(e,g_B,r)\right)$.

(4) ⇒ (5) This is obvious from every r-fuzzy soft semi-open set is r-fuzzy soft $\beta$-open set.

(5) ⇒ (3) Let $g_B$ be an r-fuzzy soft regularly closed set, hence $g_B$ is r-fuzzy soft semi-open set. Then by (5), $\beta C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r)⊑{\phi }_{\psi }^{-1}\left(C_{\tau }(e,g_B,r)\right)={\phi }_{\psi }^{-1}\left(g_B\right)$. Therefore, ${\phi }_{\psi }^{-1}\left(g_B\right)$ is r-fuzzy soft $\beta$-closed set.

(3) ⇒ (6) Let $g_B\in \widetilde{(U,E)}$ with ${\tau }_e\left(g_B\right)\ge r$ and $k_{v_t}\tilde{\in }{\phi }_{\psi }^{-1}\left(g_B\right)$, then we have $k_{v_t}\tilde{\in }{\phi }_{\psi }^{-1}\left(I_{\tau }(e,C_{\tau }(e,g_B,r),r)\right)$. Since ${\left[I_{\tau }(e,C_{\tau }(e,g_B,r),r)\right]}^c$ is r-fuzzy soft regularly closed set, hence by (3), ${\phi }_{\psi }^{-1}\left({\left[I_{\tau }(e,C_{\tau }(e,g_B,r),r)\right]}^c\right)$ is r-fuzzy soft $\beta$-closed set. Thus, ${\phi }_{\psi }^{-1}\left(I_{\tau }(e,C_{\tau }(e,g_B,r),r)\right)$ is r-fuzzy soft $\beta$-open set and $k_{v_t}\tilde{\in }\beta I_{\eta }(k,{\phi }_{\psi }^{-1}\left(I_{\tau }(e,C_{\tau }(e,g_B,r),r)\right),r)$. Then, ${\phi }_{\psi }^{-1}\left(g_B\right)⊑\beta I_{\eta }(k,{\phi }_{\psi }^{-1}\left(I_{\tau }(e,C_{\tau }(e,g_B,r),r)\right),r)$.

(6) ⇒ (1) Let $k_{v_t}\in \widetilde{P_t\left(V\right)}$ and $g_B\in \widetilde{(U,E)}$ with ${\tau }_e\left(g_B\right)\ge r$ containing ${\phi }_{\psi }\left(k_{v_t}\right)$, hence by (6), ${\phi }_{\psi }^{-1}\left(g_B\right)⊑\beta I_{\eta }(k,{\phi }_{\psi }^{-1}\left(I_{\tau }(e,C_{\tau }(e,g_B,r),r)\right),r)$.

Since $k_{v_t}\tilde{\in }{\phi }_{\psi }^{-1}\left(g_B\right)$, then we obtain $k_{v_t}\tilde{\in }\beta I_{\eta }(k,{\phi }_{\psi }^{-1}\left(I_{\tau }(e,C_{\tau }(e,g_B,r),r)\right),r)=f_A$ (say). Hence, there is $f_A\in \widetilde{(V,F)}$ is r-fuzzy soft $\beta$-open set containing $k_{v_t}$ such that ${\phi }_{\psi }\left(f_A\right)⊑I_{\tau }(e,C_{\tau }(e,g_B,r),r)$. Therefore, ${\phi }_{\psi }$ is fuzzy soft almost $\beta$-continuous.

□

In a similar way, we can prove the following theorem.

Theorem 8. 

Let $(V,{\eta }_F)$ and $(U,{\tau }_E)$ be a FSTSs, and ${\phi }_{\psi }:\widetilde{(V,F)}⟶\widetilde{(U,E)}$ be a fuzzy soft function. The following statements are equivalent for each $g_B\in \widetilde{(U,E)}$, $k\in F$, $(e=\psi (k\left)\right)\in E$ and $r\in I_{\circ }$:

(1) ${\phi }_{\psi }$ is fuzzy soft weakly $\beta$-continuous.

(2) $C_{\eta }(k,I_{\eta }(k,C_{\eta }(k,{\phi }_{\psi }^{-1}\left(C_{\tau }(e,g_B,r)\right),r),r),r)⊒{\phi }_{\psi }^{-1}\left(g_B\right)$, if ${\tau }_e\left(g_B\right)\ge r$.

(3) $I_{\eta }(k,C_{\eta }(k,I_{\eta }(k,{\phi }_{\psi }^{-1}\left(I_{\tau }(e,g_B,r)\right),r),r),r)⊑{\phi }_{\psi }^{-1}\left(g_B\right)$, if ${\tau }_e\left(g_B^c\right)\ge r$.

(4) $\beta C_{\eta }(k,{\phi }_{\psi }^{-1}\left(I_{\tau }(e,g_B,r)\right),r)⊑{\phi }_{\psi }^{-1}\left(g_B\right)$, if ${\tau }_e\left(g_B^c\right)\ge r$.

(5) $\beta C_{\eta }(k,{\phi }_{\psi }^{-1}\left(I_{\tau }(e,C_{\tau }(e,g_B,r),r)\right),r)⊑{\phi }_{\psi }^{-1}\left(C_{\tau }(e,g_B,r)\right)$.

(6) $\beta I_{\eta }(k,{\phi }_{\psi }^{-1}\left(C_{\tau }(e,I_{\tau }(e,g_B,r),r)\right),r)⊒{\phi }_{\psi }^{-1}\left(I_{\tau }(e,g_B,r)\right)$.

(7) ${\phi }_{\psi }^{-1}\left(g_B\right)⊑\beta I_{\eta }(k,{\phi }_{\psi }^{-1}\left(C_{\tau }(e,g_B,r)\right),r)$, if ${\tau }_e\left(g_B\right)\ge r$.

Let $\mathcal{P}$ and $\mathcal{Q}$$:F\times \widetilde{(V,F)}\times I_{\circ }\to \widetilde{(V,F)}$ be operators on $\widetilde{(V,F)}$, and $\mathcal{R}$ and $\mathcal{S}$$:E\times \widetilde{(U,E)}\times I_{\circ }\to \widetilde{(U,E)}$ be operators on $\widetilde{(U,E)}$.

Definition 17. 

$\left[26\right]$Let $(V,{\eta }_F)$ and $(U,{\tau }_E)$ be a FSTSs. ${\phi }_{\psi }:\widetilde{(V,F)}⟶\widetilde{(U,E)}$ is said to be a fuzzy soft $(\mathcal{P},\mathcal{Q},\mathcal{R},\mathcal{S})$-continuous function if, $\mathcal{P}[k,{\phi }_{\psi }^{-1}\left(\mathcal{S}(e,g_B,r)\right),r]\overline{\sqcap }\mathcal{Q}[k,{\phi }_{\psi }^{-1}\left(\mathcal{R}(e,g_B,r)\right),r]$$=\mathsf{\Phi }$ for each $g_B\in \widetilde{(U,E)}$ with ${\tau }_e\left(g_B\right)\ge r$, $k\in F$ and $(e=\psi (k\left)\right)\in E$.

In (2014), Aygünoǧlu et al. [15] defined the notion of fuzzy soft continuous functions: ${\eta }_k\left({\phi }_{\psi }^{-1}\left(f_A\right)\right)\ge {\tau }_e\left(f_A\right)$, for each $f_A\in \widetilde{(U,E)}$, $k\in F$ and $(e=\psi (k\left)\right)\in E$. We can see that Definition 3.3 generalizes the concept of fuzzy soft continuous functions, when we choose $\mathcal{P}$ = identity operator, $\mathcal{Q}$ = interior operator, $\mathcal{R}$ = identity operator and $\mathcal{S}$ = identity operator.

A historical justification of Definition 3.3:

(1)

(1) In Section 3, we introduced the notion of fuzzy soft $\beta$-continuous functions: ${\phi }_{\psi }^{-1}\left(g_B\right)⊑C_{\eta }(k,I_{\eta }(k,C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r),r),r)$, for each $g_B\in \widetilde{(U,E)}$ with ${\tau }_e\left(g_B\right)\ge r$. Here, $\mathcal{P}$ = identity operator, $\mathcal{Q}$ = closure interior closure operator, $\mathcal{R}$ = identity operator and $\mathcal{S}$ = identity operator.

(2)

(2) In Section 3, we introduced the notion of fuzzy soft almost $\beta$-continuous functions: ${\phi }_{\psi }^{-1}\left(g_B\right)⊑\beta I_{\eta }(k,{\phi }_{\psi }^{-1}\left(I_{\tau }(e,C_{\tau }(e,g_B,r),r)\right),r)$, for each $g_B\in \widetilde{(U,E)}$ with ${\tau }_e\left(g_B\right)\ge r$. Here, $\mathcal{P}$ = identity operator, $\mathcal{Q}$ = $\beta$-interior operator, $\mathcal{R}$ = interior closure operator and $\mathcal{S}$ = identity operator.

(3)

(3) In Section 3, we introduced the notion of fuzzy soft weakly $\beta$-continuous functions: ${\phi }_{\psi }^{-1}\left(g_B\right)⊑\beta I_{\eta }(k,{\phi }_{\psi }^{-1}\left(C_{\tau }(e,g_B,r)\right),r)$, for each $g_B\in \widetilde{(U,E)}$ with ${\tau }_e\left(g_B\right)\ge r$. Here, $\mathcal{P}$ = identity operator, $\mathcal{Q}$ = $\beta$-interior operator, $\mathcal{R}$ = closure operator and $\mathcal{S}$ = identity operator.

4. Fuzzy Soft $\beta$-Irresoluteness

Here, we introduce the concepts of fuzzy soft $\beta$-irresolute (resp. strongly $\beta$-irresolute, $\beta$-irresolute open, $\beta$-irresolute closed and $\beta$-irresolute homeomorphism) functions between two fuzzy soft topological spaces $(V,{\eta }_F)$ and $(U,{\tau }_E)$, and study some of its features. Also, we show that fuzzy soft strongly $\beta$-irresolute ⇒ fuzzy soft $\beta$-irresolute ⇒ fuzzy soft $\beta$-continuity, but the converse may not be true.

Definition 18. 

Let $(V,{\eta }_F)$ and $(U,{\tau }_E)$ be a FSTSs. A fuzzy soft function ${\phi }_{\psi }:\widetilde{(V,F)}⟶\widetilde{(U,E)}$ is said to be a fuzzy soft $\beta$-irresolute (resp. strongly $\beta$-irresolute) if, ${\phi }_{\psi }^{-1}\left(g_B\right)$ is r-fuzzy soft $\beta$-open (resp. semi-open) set for each $g_B\in \widetilde{(U,E)}$ is r-fuzzy soft $\beta$-open set and $r\in I_o$.

Lemma 4. (1) Every fuzzy soft strongly $\beta$-irresolute function is fuzzy soft $\beta$-irresolute.

(2) Every fuzzy soft $\beta$-irresolute function is fuzzy soft $\beta$-continuous.

Proof. 

Follows from Definition 4.1 and Theorem 3.1.

□

Remark 4. 

The converse of Lemma 4.1 is not true, as shown by Examples 4.1 and 4.2.

Example 4. 

Let $V=\{v_1,v_2,v_3\}$, $F=\{k_1,k_2\}$ and define $f_F,g_F\in \widetilde{(V,F)}$ as follows: $f_F=\{(k_1,\{\frac{v_1}{0.3},\frac{v_2}{0.3},\frac{v_3}{0.3}\}),(k_2,\{\frac{v_1}{0.3},\frac{v_2}{0.3},\frac{v_3}{0.3}\})\}$, $g_F=\{(k_1,\{\frac{v_1}{0.4},\frac{v_2}{0.4},\frac{v_3}{0.4}\}),(k_2,\{\frac{v_1}{0.4},\frac{v_2}{0.4},\frac{v_3}{0.4}\})\}$. Define fuzzy soft topologies ${\eta }_F,{\tau }_F:F⟶{[0,1]}^{\widetilde{(V,F)}}$ as follows: $\forall k\in F$,

${\eta }_k\left(n_F\right)=$$\left\{\begin{array}{c}1,\mathrm{if}{n}_F\in \{\mathsf{\Phi },\tilde{F}\},\hfill \\ \frac{1}{2},\mathrm{if}{n}_F=g_F,\hfill \\ 0,\mathrm{otherwise},\hfill \end{array}\right.$

${\tau }_k\left(n_F\right)=$$\left\{\begin{array}{c}1,\mathrm{if}{n}_F\in \{\mathsf{\Phi },\tilde{F}\},\hfill \\ \frac{1}{2},\mathrm{if}{n}_F=f_F,\hfill \\ 0,\mathrm{otherwise}.\hfill \end{array}\right.$

Then, the identity fuzzy soft function ${\phi }_{\psi }:(V,{\eta }_F)⟶(V,{\tau }_F)$ is fuzzy soft $\beta$-irresolute, but it is not fuzzy soft strongly $\beta$-irresolute.

Example 5. 

Let $V=\{v_1,v_2,v_3\}$, $F=\{k_1,k_2\}$ and define $f_F,g_F\in \widetilde{(V,F)}$ as follows: $f_F=\{(k_1,\{\frac{v_1}{0.5},\frac{v_2}{0.5},\frac{v_3}{0.5}\}),(k_2,\{\frac{v_1}{0.5},\frac{v_2}{0.5},\frac{v_3}{0.5}\})\}$, $g_F=\{(k_1,\{\frac{v_1}{0.4},\frac{v_2}{0.4},\frac{v_3}{0.4}\}),(k_2,\{\frac{v_1}{0.4},\frac{v_2}{0.4},\frac{v_3}{0.4}\})\}$. Define fuzzy soft topologies ${\eta }_F,{\tau }_F:F⟶{[0,1]}^{\widetilde{(V,F)}}$ as follows: $\forall k\in F$,

${\eta }_k\left(n_F\right)=$$\left\{\begin{array}{c}1,\mathrm{if}{n}_F\in \{\mathsf{\Phi },\tilde{F}\},\hfill \\ \frac{1}{3},\mathrm{if}{n}_F=f_F,\hfill \\ \frac{1}{2},\mathrm{if}{n}_F=g_F,\hfill \\ 0,\mathrm{otherwise},\hfill \end{array}\right.$

${\tau }_k\left(n_F\right)=$$\left\{\begin{array}{c}1,\mathrm{if}{n}_F\in \{\mathsf{\Phi },\tilde{F}\},\hfill \\ \frac{1}{3},\mathrm{if}{n}_F=f_F,\hfill \\ 0,\mathrm{otherwise}.\hfill \end{array}\right.$

Then, the identity fuzzy soft function ${\phi }_{\psi }:(V,{\eta }_F)⟶(V,{\tau }_F)$ is fuzzy soft $\beta$-continuous, but it is not fuzzy soft $\beta$-irresolute.

Remark 5. 

From the previous results, we have: Fuzzy soft strongly $\beta$-irresolute ⇒ fuzzy soft $\beta$-irresolute ⇒ fuzzy soft $\beta$-continuity.

Theorem 9. 

Let $(V,{\eta }_F)$ and $(U,{\tau }_E)$ be a FSTSs, and ${\phi }_{\psi }:\widetilde{(V,F)}⟶\widetilde{(U,E)}$ be a fuzzy soft function. The following statements are equivalent for each $g_B\in \widetilde{(U,E)}$, $k\in F$, $(e=\psi (k\left)\right)\in E$ and $r\in I_{\circ }$:

(1) ${\phi }_{\psi }$ is fuzzy soft $\beta$-irresolute.

(2) For each $g_B$ is r-fuzzy soft $\beta$-closed, ${\phi }_{\psi }^{-1}\left(g_B\right)$ is r-fuzzy soft $\beta$-closed.

(3) $\beta C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r)⊑{\phi }_{\psi }^{-1}\left(\beta C_{\tau }(e,g_B,r)\right)$.

(4) ${\phi }_{\psi }^{-1}\left(\beta I_{\tau }(e,g_B,r)\right)⊑\beta I_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r)$.

(5) $I_{\eta }(k,C_{\eta }(k,I_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r),r),r)⊑{\phi }_{\psi }^{-1}\left(\beta C_{\tau }(e,g_B,r)\right)$.

Proof. 

(1) ⇔ (2) Follows from Proposition 2.1(1) and ${\phi }_{\psi }^{-1}\left(g_B^c\right)={\left({\phi }_{\psi }^{-1}\left(g_B\right)\right)}^c$.

(2) ⇒ (3) Let $g_B\in \widetilde{(U,E)}$, hence by (2), ${\phi }_{\psi }^{-1}\left(\beta C_{\tau }(e,g_B,r)\right)$ is r-fuzzy soft $\beta$-closed. Then, we obtain $\beta C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r)⊑{\phi }_{\psi }^{-1}\left(\beta C_{\tau }(e,g_B,r)\right)$.

(3) ⇔ (4) Follows from Theorem 2.5(7).

(3) ⇒ (5) Let $g_B\in \widetilde{(U,E)}$, hence by (3), we obtain $I_{\eta }(k,C_{\eta }(k,I_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r),r),r)⊑\beta C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r)⊑{\phi }_{\psi }^{-1}\left(\beta C_{\tau }(e,g_B,r)\right)$.

(5) ⇒ (1) Let $g_B\in \widetilde{(U,E)}$ be an r-fuzzy soft $\beta$-open, hence by (5), we obtain ${\left({\phi }_{\psi }^{-1}\left(g_B\right)\right)}^c={\phi }_{\psi }^{-1}\left(g_B^c\right)⊒I_{\eta }(k,C_{\eta }(k,I_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B^c\right),r),r),r)={\left(C_{\eta }(k,I_{\eta }(k,C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r),r),r)\right)}^c$. Then, ${\phi }_{\psi }^{-1}\left(g_B\right)⊑C_{\eta }(k,I_{\eta }(k,C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r),r),r)$, so ${\phi }_{\psi }^{-1}\left(g_B\right)$ is r-fuzzy soft $\beta$-open. Hence, ${\phi }_{\psi }$ is fuzzy soft $\beta$-irresolute.

□

Theorem 10. 

Let $(V,{\eta }_F)$ and $(U,{\tau }_E)$ be a FSTSs, and ${\phi }_{\psi }:\widetilde{(V,F)}⟶\widetilde{(U,E)}$ be a fuzzy soft function. The following statements are equivalent for each $g_B\in \widetilde{(U,E)}$, $k\in F$, $(e=\psi (k\left)\right)\in E$ and $r\in I_{\circ }$:

(1) ${\phi }_{\psi }$ is fuzzy soft strongly $\beta$-irresolute.

(2) For each $g_B$ is r-fuzzy soft $\beta$-closed, ${\phi }_{\psi }^{-1}\left(g_B\right)$ is r-fuzzy soft semi-closed.

(3) $I_{\eta }(k,C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r),r)⊑{\phi }_{\psi }^{-1}\left(\beta C_{\tau }(e,g_B,r)\right)$.

Proof. 

(1) ⇔ (2) Follows from Proposition 2.1(1) and ${\phi }_{\psi }^{-1}\left(g_B^c\right)={\left({\phi }_{\psi }^{-1}\left(g_B\right)\right)}^c$.

(2) ⇒ (3) Let $g_B\in \widetilde{(U,E)}$, hence by (2), ${\phi }_{\psi }^{-1}\left(\beta C_{\tau }(e,g_B,r)\right)$ is r-fuzzy soft semi-closed. Then, we obtain $I_{\eta }(k,C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r),r)⊑{\phi }_{\psi }^{-1}\left(\beta C_{\tau }(e,g_B,r)\right)$.

(3) ⇒ (1) Let $g_B\in \widetilde{(U,E)}$ be an r-fuzzy soft $\beta$-open, hence by (3), we obtain ${\left({\phi }_{\psi }^{-1}\left(g_B\right)\right)}^c={\phi }_{\psi }^{-1}\left(g_B^c\right)⊒I_{\eta }(k,C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B^c\right),r),r)={\left(C_{\eta }(k,I_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r),r)\right)}^c$. Then, ${\phi }_{\psi }^{-1}\left(g_B\right)⊑C_{\eta }(k,I_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r),r)$, so ${\phi }_{\psi }^{-1}\left(g_B\right)$ is r-fuzzy soft semi-open. Hence, ${\phi }_{\psi }$ is fuzzy soft strongly $\beta$-irresolute.

□

Proposition 4. 

Let $(V,{\eta }_F)$, $(U,{\tau }_E)$ and $(W,{\gamma }_H)$ be a FSTSs, and ${\phi }_{\psi }:\widetilde{(V,F)}⟶\widetilde{(U,E)}$, ${\phi }_{{\psi }^{\ast }}^{\ast }:\widetilde{(U,E)}⟶\widetilde{(W,H)}$ be two fuzzy soft functions. Then, the composition ${\phi }_{{\psi }^{\ast }}^{\ast }\circ {\phi }_{\psi }$ is fuzzy soft $\beta$-irresolute (resp. strongly $\beta$-irresolute and $\beta$-continuous) if, ${\phi }_{\psi }$ is fuzzy soft $\beta$-irresolute (resp. strongly $\beta$-irresolute and $\beta$-irresolute) and ${\phi }_{{\psi }^{\ast }}^{\ast }$ is fuzzy soft $\beta$-irresolute (resp. $\beta$-irresolute and $\beta$-continuous).

Proof. 

Follows from Definition 4.1 and Theorem 3.1.

□

Proposition 5. 

Let $(V,{\eta }_F)$, $(U,{\tau }_E)$ and $(W,{\gamma }_H)$ be a FSTSs, and ${\phi }_{\psi }:\widetilde{(V,F)}⟶\widetilde{(U,E)}$, ${\phi }_{{\psi }^{\ast }}^{\ast }:\widetilde{(U,E)}⟶\widetilde{(W,H)}$ be two fuzzy soft functions. Then, the composition ${\phi }_{{\psi }^{\ast }}^{\ast }\circ {\phi }_{\psi }$ is fuzzy soft almost $\beta$-continuous if, ${\phi }_{\psi }$ is fuzzy soft $\beta$-continuous (resp. $\beta$-irresolute and $\beta$-continuous) and ${\phi }_{{\psi }^{\ast }}^{\ast }$ is fuzzy soft almost continuous (resp. almost $\beta$-continuous and continuous).

Proof. 

Follows from the above definitions. □

Definition 19. 

Let $(V,{\eta }_F)$ and $(U,{\tau }_E)$ be a FSTSs and $r\in I_o$. A fuzzy soft function ${\phi }_{\psi }:\widetilde{(V,F)}⟶\widetilde{(U,E)}$ is said to be a fuzzy soft $\beta$-irresolute open (resp. closed) if, ${\phi }_{\psi }\left(f_A\right)$ is r-fuzzy soft $\beta$-open (resp. $\beta$-closed) set for each $f_A\in \widetilde{(V,F)}$ is r-fuzzy soft $\beta$-open (resp. $\beta$-closed) set.

Theorem 11. 

Let $(V,{\eta }_F)$ and $(U,{\tau }_E)$ be a FSTSs, and ${\phi }_{\psi }:\widetilde{(V,F)}⟶\widetilde{(U,E)}$ be a fuzzy soft function. The following statements are equivalent for each $f_A\in \widetilde{(V,F)}$, $g_B\in \widetilde{(U,E)}$, $k\in F$, $(e=\psi (k\left)\right)\in E$ and $r\in I_{\circ }$:

(1) ${\phi }_{\psi }$ is fuzzy soft $\beta$-irresolute open.

(2) ${\phi }_{\psi }\left(\beta I_{\eta }(k,f_A,r)\right)⊑\beta I_{\tau }(e,{\phi }_{\psi }\left(f_A\right),r)$.

(3) $\beta I_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r)⊑{\phi }_{\psi }^{-1}\left(\beta I_{\tau }(e,g_B,r)\right)$.

(4) For each $g_B$ and each $f_A$ is r-fuzzy soft $\beta$-closed with ${\phi }_{\psi }^{-1}\left(g_B\right)⊑f_A$, there is $h_C\in \widetilde{(U,E)}$ is r-fuzzy soft $\beta$-closed with $g_B⊑h_C$ such that ${\phi }_{\psi }^{-1}\left(h_C\right)⊑f_A$.

Proof. 

(1) ⇒ (2) Since ${\phi }_{\psi }\left(\beta I_{\eta }(k,f_A,r)\right)⊑{\phi }_{\psi }\left(f_A\right)$, hence by (1), ${\phi }_{\psi }\left(\beta I_{\eta }(k,f_A,r)\right)$ is r-fuzzy soft $\beta$-open. Hence, ${\phi }_{\psi }\left(\beta I_{\eta }(k,f_A,r)\right)⊑\beta I_{\tau }(e,{\phi }_{\psi }\left(f_A\right),r)$.

(2) ⇒ (3) Put $f_A={\phi }_{\psi }^{-1}\left(g_B\right)$, hence by (2), ${\phi }_{\psi }\left(\beta I_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r)\right)⊑\beta I_{\tau }(e,{\phi }_{\psi }\left({\phi }_{\psi }^{-1}\left(g_B\right)\right),r)⊑\beta I_{\tau }(e,g_B,r)$. Then, $\beta I_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r)⊑{\phi }_{\psi }^{-1}\left(\beta I_{\tau }(e,g_B,r)\right)$.

(3) ⇒ (4) Let $g_B\in \widetilde{(U,E)}$ and $f_A\in \widetilde{(V,F)}$ be an r-fuzzy soft $\beta$-closed with ${\phi }_{\psi }^{-1}\left(g_B\right)⊑f_A$. Since $f_A^c⊑{\phi }_{\psi }^{-1}\left(g_B^c\right)$, $f_A^c=\beta I_{\eta }(k,f_A^c,r)⊑\beta I_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B^c\right),r)$. Hence by (3), $f_A^c⊑\beta I_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B^c\right),r)⊑{\phi }_{\psi }^{-1}\left(\beta I_{\tau }(e,g_B^c,r)\right)$. Thus, $f_A⊒{\left({\phi }_{\psi }^{-1}\left(\beta I_{\tau }(e,g_B^c,r)\right)\right)}^c={\phi }_{\psi }^{-1}\left(\beta C_{\tau }(e,g_B,r)\right).$ Hence, there is $\beta C_{\tau }(e,g_B,r)\in \widetilde{(U,E)}$ is r-fuzzy soft $\beta$-closed with $g_B⊑\beta C_{\tau }(e,g_B,r)$ such that ${\phi }_{\psi }^{-1}\left(\beta C_{\tau }(e,g_B,r)\right)⊑f_A$.

(4) ⇒ (1) Let $w_D\in \widetilde{(V,F)}$ be an r-fuzzy soft $\beta$-open. Put $g_B={\left({\phi }_{\psi }\left(w_D\right)\right)}^c$ and $f_A=w_D^c$, ${\phi }_{\psi }^{-1}\left(g_B\right)={\phi }_{\psi }^{-1}\left({\left({\phi }_{\psi }\left(w_D\right)\right)}^c\right)⊑f_A$. Hence by (4), there is $h_C\in \widetilde{(U,E)}$ is r-fuzzy soft $\beta$-closed with $g_B⊑h_C$ such that ${\phi }_{\psi }^{-1}\left(h_C\right)⊑f_A=w_D^c$. Thus, ${\phi }_{\psi }\left(w_D\right)⊑{\phi }_{\psi }\left({\phi }_{\psi }^{-1}\left(h_C^c\right)\right)⊑h_C^c$. On the other hand, since $g_B⊑h_C$, ${\phi }_{\psi }\left(w_D\right)=g_B^c⊒h_C^c$. Thus, ${\phi }_{\psi }\left(w_D\right)=h_C^c$, so ${\phi }_{\psi }\left(w_D\right)$ is r-fuzzy soft $\beta$-open. Then, ${\phi }_{\psi }$ is fuzzy soft $\beta$-irresolute open. □

In a similar way, we can prove the following theorem.

Theorem 12. 

Let $(V,{\eta }_F)$ and $(U,{\tau }_E)$ be a FSTSs, and ${\phi }_{\psi }:\widetilde{(V,F)}⟶\widetilde{(U,E)}$ be a bijective fuzzy soft function. The following statements are equivalent for each $f_A\in \widetilde{(V,F)}$, $g_B\in \widetilde{(U,E)}$, $k\in F$, $(e=\psi (k\left)\right)\in E$ and $r\in I_{\circ }$:

(1) ${\phi }_{\psi }$ is fuzzy soft $\beta$-irresolute closed.

(2) $\beta C_{\tau }(e,{\phi }_{\psi }\left(f_A\right),r)⊑{\phi }_{\psi }\left(\beta C_{\eta }(k,f_A,r)\right)$.

(3) ${\phi }_{\psi }^{-1}\left(\beta C_{\tau }(e,g_B,r)\right)⊑\beta C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r)$.

(4) For each $g_B$ and each $f_A$ is r-fuzzy soft $\beta$-open with ${\phi }_{\psi }^{-1}\left(g_B\right)⊑f_A$, there is $h_C\in \widetilde{(U,E)}$ is r-fuzzy soft $\beta$-open with $g_B⊑h_C$ such that ${\phi }_{\psi }^{-1}\left(h_C\right)⊑f_A$.

Proposition 6. 

Let $(V,{\eta }_F)$ and $(U,{\tau }_E)$ be a FSTSs, and ${\phi }_{\psi }:\widetilde{(V,F)}⟶\widetilde{(U,E)}$ be a bijective fuzzy soft function. ${\phi }_{\psi }$ is fuzzy soft $\beta$-irresolute closed iff ${\phi }_{\psi }$ is fuzzy soft $\beta$-irresolute open.

Proof. 

It is easily proved from;

${\phi }_{\psi }^{-1}\left(\beta C_{\tau }(e,g_B,r)\right)⊑\beta C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r)$

$⟺{\phi }_{\psi }^{-1}\left(\beta I_{\tau }(e,g_B^c,r)\right)⊒\beta I_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B^c\right),r)$.

□

Definition 20. 

Let $(V,{\eta }_F)$ and $(U,{\tau }_E)$ be a FSTSs. A fuzzy soft function ${\phi }_{\psi }:\widetilde{(V,F)}⟶\widetilde{(U,E)}$ is said to be a fuzzy soft $\beta$-irresolute homeomorphism if, ${\phi }_{\psi }$ is bijective, and both of ${\phi }_{\psi }$ and ${\phi }_{\psi }^{-1}$ are $\beta$-irresolute.

From the above theorems, we obtain the following corollary.

Corollary 1. 

Let $(V,{\eta }_F)$ and $(U,{\tau }_E)$ be a FSTSs, and ${\phi }_{\psi }:\widetilde{(V,F)}⟶\widetilde{(U,E)}$ be a bijective fuzzy soft function. The following statements are equivalent for each $f_A\in \widetilde{(V,F)}$, $g_B\in \widetilde{(U,E)}$, $k\in F$, $(e=\psi (k\left)\right)\in E$ and $r\in I_{\circ }$:

(1) ${\phi }_{\psi }$ is fuzzy soft $\beta$-irresolute homeomorphism.

(2) ${\phi }_{\psi }$ is fuzzy soft $\beta$-irresolute and fuzzy soft $\beta$-irresolute open.

(3) ${\phi }_{\psi }$ is fuzzy soft $\beta$-irresolute and fuzzy soft $\beta$-irresolute closed.

(4) ${\phi }_{\psi }\left(\beta I_{\eta }(k,f_A,r)\right)=\beta I_{\tau }(e,{\phi }_{\psi }\left(f_A\right),r)$.

(5) ${\phi }_{\psi }\left(\beta C_{\eta }(k,f_A,r)\right)=\beta C_{\tau }(e,{\phi }_{\psi }\left(f_A\right),r)$.

(6) $\beta I_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r)={\phi }_{\psi }^{-1}\left(\beta I_{\tau }(e,g_B,r)\right)$.

(7) $\beta C_{\eta }(k,{\phi }_{\psi }^{-1}\left(g_B\right),r)={\phi }_{\psi }^{-1}\left(\beta C_{\tau }(e,g_B,r)\right)$.

5. Conclusions and Future Work

This manuscript is lay out as follows:

$\left(\mathbf{1}\right)$ In Section 2, fuzzy soft $\beta$-closure ($\beta$-interior) operators are introduced and studied on fuzzy soft topological space based on the article Aygünoǧlu et al. [15]. Moreover, the concept of r-fuzzy soft $\beta$-connected sets is defined and characterized.

$\left(\mathbf{2}\right)$ In Section 3, some properties of a fuzzy soft $\beta$-continuity are investigated. As a weaker forms of the notion of fuzzy soft $\beta$-continuous functions, the notions of fuzzy soft almost (weakly) $\beta$-continuous functions are introduced, and some properties are obtained. Also, we show that fuzzy soft $\beta$-continuity ⇒ fuzzy soft almost $\beta$-continuity ⇒ fuzzy soft weakly $\beta$-continuity, but the converse may not be true. Furthermore, we have the following results:

• Fuzzy soft $(i{d}_V,C_{\eta }\left(I_{\eta }\left(C_{\eta }\right)\right),i{d}_U,i{d}_U)$-continuous function is fuzzy soft $\beta$-continuous.

• Fuzzy soft $(i{d}_V,\beta I_{\eta },I_{\tau }\left(C_{\tau }\right),i{d}_U)$-continuous function is fuzzy soft almost $\beta$-continuous.

• Fuzzy soft $(i{d}_V,\beta I_{\eta },C_{\tau },i{d}_U)$-continuous function is fuzzy soft weakly $\beta$-continuous.

$\left(\mathbf{3}\right)$ In Section 4, the notions of fuzzy soft $\beta$-irresolute (resp. strongly $\beta$-irresolute, $\beta$-irresolute open, $\beta$-irresolute closed and $\beta$-irresolute homeomorphism) functions are introduced between two fuzzy soft topological spaces $(V,{\eta }_F)$ and $(U,{\tau }_E)$, and some properties of these functions are investigated. Additionally, we shown that fuzzy soft strongly $\beta$-irresolute ⇒ fuzzy soft $\beta$-irresolute ⇒ fuzzy soft $\beta$-continuity, but the converse may not be true.

In upcoming manuscripts, we shall investigate the notions given here in the frames of fuzzy soft r-minimal structures [20]. Also, we will use the fuzzy soft $\beta$-closure operator to introduce some new separation axioms on fuzzy soft topological space based on the article Aygünoǧlu et al. [15].