Operations and its applications on \(L\)-fuzzy bitopological spaces. I (Q1304338)

The operations introduced by \textit{E. E. Kerre}, \textit{A. A. Nouh}, and \textit{A. Kandil} [J. Math. Anal. Appl. 180, No. 2, 325-341 (1993; Zbl 0805.54008)] are extended, using the notions of \(q\)-neighbourhoods and \(q\)-coincidence [\textit{Pu Pao-Ming} and \textit{Liu Ying-Ming}, ibid. 76, 571-599 (1980; Zbl 0447.54006)], and the notion of a fuzzy singleton [\textit{E. E. Kerre}, Fuzzy Sets Syst. 29, No. 1, 57-65 (1989; Zbl 0659.94025)]. Let a fuzzy topological space \((X,\tau)\) be given. The operation on a set of all \(L\)-fuzzy sets is the mapping \(\varphi: L^X\to X\) defined by \(\text{int} \mu\leq \mu \varphi\), \(\mu\in L^X\). The class of all operations on \(X\) is denoted by \(O^X_{ (L, \tau)}\). The concept of the \(\varphi_{i,j}\)-interior of a fuzzy set in an \(L\)-fuzzy bitopological space \((X,\tau_1, \tau_2)\) is defined and studied. A lot of existing interior operators in the literature of fuzzy bitopological spaces are generalized \((\tau_i\)-interior, \(\theta_{i,j}\)-interior, \((i,j)\)-semi-interior, etc). The concepts of \(FP.\varphi.T_k\) and \(F^*P.\varphi.T_k\), \(k=0,1,2,2{1\over 2},3,4\) of separation axioms are introduced and studied. Most types of well-known separation axioms in fuzzy bitopological spaces are unified and generalized. The concepts of \(FP.\varphi.R_k\) and \(F^*P.\varphi.R_k\), \(k=0,1,2,2{1\over 2},3\), separation axioms are introduced and investigated. A lot of already existing weaker and stronger forms of well-known separation axioms are generalized. Let \((X,T_1,T_2)\) be an ordinary bitopological space and \(\omega(T_i)\) be the set of lower semicontinuous mappings \(f:X\to L\), \(i\in\{1, 2\}\); then \(\omega((T_i)_\varphi)= (\omega(T_i))_\varphi\), where \(\varphi\in 0_{(X,T)}\). A bitopological space \((X,T_1,T_2)\) is \(\varphi.PT_3\) \((\varphi.PT_4)\) iff \((X,\omega(T_1)\), \(\omega (T_2))\) is \(\varphi_\omega. FPT_3\) \((\varphi_\omega FPT_4)\). A bitopological space \((X,T_1,T_2)\) is \(\varphi.PT_3\) \((\varphi.PT_4)\) iff \((X,\omega(T_1)\), \(\omega(T_2))\) is \(\varphi_\omega.F^*PT_3\) \((\varphi_\omega.F^*PT_4)\).