\(GT_{3\frac12}\)-spaces, I. (Q2466125)

With \(\mathbb R_L\), defined by the collection of convex, normal, compactly supported and upper semicontinuous fuzzy subsets of the set of real numbers \(\mathbb R\) and termed as the set of fuzzy real numbers, or \(L\)-fuzzy real line, where \(L\) is a complete chain, `\(\leq\)' on \(\mathbb R_L\) is defined as follows: \(x\leq y\Leftrightarrow x_{\alpha_1}\leq y_{\alpha_1}\) and \(x_{\alpha_2}\leq y_{\alpha_2}\) for all \(x,y\in \mathbb R_L\), where \(x_{\alpha_1}= \inf\{z\in \mathbb R: x(z)\geq\alpha\}\) and \(x_{\alpha_2}= \sup\{z\in \mathbb R: x(z)\geq \alpha\}\) for all \(x\in \mathbb R_L\) and for all \(\alpha\in L_0\) \((L_0= L\setminus\{0\})\); putting \(\mathbb R_L= \{x\in \mathbb R_L: x(0)= 1\) and \(\widetilde 0\leq x\}\), \(I_L\) is defined by \(I_L= \{x\in \mathbb R^*_L: x\leq\widetilde 1\}\). The class \(\{\mathbb R_\delta|_{I_L}: \delta\in I\}\cup\{\mathbb R^\delta|_{I_L}: \delta\in I\}\cup \{\widetilde 0|_{I_L}\}\) is a base for a fuzzy topology \({\mathcal F}\) on \(I_L\), where \(\mathbb R^\delta\) and \(\mathbb R_\delta\) are the fuzzy subsets of \(\mathbb R_L\) defined by \(\mathbb R_\delta(x)=\bigvee_{\alpha>\delta} x(\alpha)\) and \(\mathbb R^\delta(x)= (\bigvee_{\alpha\geq\delta} x(\alpha))\) for all \(x\in \mathbb R_L\) and \(\delta\in \mathbb R\). Using the space \((I_L,{\mathcal F})\), as above, a notion of completely regular fuzzy topological space is introduced by the authors; the definition uses ordinary points and usual subsets. As usual, complete regularity and \(GT_1\) taken together give the concept of \(GT_{3{1\over 2}}\)-spaces; for such spaces, the Urysohn lemma is proved and it is shown that a \(GT_4\)-space is a \(GT_{3{1\over 2}}\)-space, a \(GT_3\)-space is a \(GT_3\)-space; to prove that the reverse implication is not true, examples are provided. The category of \(GT_{3{1\over 2}}\)-spaces is denoted by \(L\)-Tych, and it is shown that a \(GT_{3{1\over 2}}\)-space is an extension with respect to the functor \(\omega\), defined by Lowen, from the category Tych of \(GT_{3{1\over 2}}\)-spaces to the category \(L\)-Tych. Further, it is shown that limits of a family of \(GT_{3{1\over 2}}\)-spaces are also \(GT_{3{1\over 2}}\)-spaces; in particular, subspaces, product spaces, quotient spaces and sums of \(GT_{3{1\over 2}}\)-spaces are shown to be \(GT_{3{1\over 2}}\)-spaces. Finally, it is shown that the concept of \(GT_{3{1\over 2}}\)-space, as introduced in this paper, is more general than the previously defined notions by other mathematicians; counterexamples are provided to justify the claim of the authors.