Strong and ultra separation axioms on fuzzy bitopological spaces (Q1304307)

Given a fuzzy bitopological space \((X,\sigma_1,\sigma_2)\), fuzzy pairwise separation axioms \(\alpha.FPT_i\), \(S.FPT_i\), \(U.FPT_i\) \((i=0,1,2)\), \(\alpha.FPR_k\), \(S.FPR_k\), \(U.FPR_k\) \((k=2,3)\), \(\alpha.FPT_{j+1}\), \(S.FPT_{j +1}\), \(U.FPT_{j+1}\) \((j=2,3)\) are introduced. Defining these concepts, level bitopologies \(\ell_a(\tau_1)\), \(\ell_\alpha (\tau_2)\) are used. Some properties of fuzzy bitopological spaces, satisfying the preceding axioms are proved. A fuzzy bitopological space \((X,\tau_1, \tau_2)\) is \(\alpha.FPT_i\), if it is \(FPT_i\) \((i=0,1)\); it is \(\alpha.FPT_2\), if it is \(FPT_2\) \((\alpha\in{1\over 2},1)\). For a fuzzy bitopological space \((X,\tau_1,\tau_2)\) we have: (a) \(FPT_i \Rightarrow S.FPT_i\Rightarrow U.FPT_i\) \((i=0,1)\); (b) \(FPT_2 \Rightarrow \alpha. FPT_2\Rightarrow U.FPT_2\) \((\alpha\in [{1\over 2},1]\)); (c) \(S.FPR_1 \Rightarrow U.FPR_2\). If \((X,\tau_1, \tau_2)\) is an \(S.P.\)-compact and \(S.FPT_2\), then it is \(S.FPR_2\); if \((X,\tau_1, \tau_2)\) is \(S.P\)-compact and \(S.FPT_2\), then it is an \(S.FPT_1\). Many examples are given.