Separation axioms in \(L\)-fuzzy topological spaces. I: \(T_0\) and \(T_1\) (Q1595233)

Let \(L\) be a completely distributive lattice with an order-reversing involution and \((L^X, \delta)\) be an \(L\)-topological space, that is, \(\delta\) is a subset of \(L^X\) closed under finite infs and arbitrary sups. For each prime \(a\in L\), \(\iota_a(\delta) = \{\iota_a(\lambda) \mid \lambda\in\delta\}\) is a topology on \(X\), called the \(a\)-level topology of \(\delta\), where \(\iota_a(\lambda) = \{x\in X \mid \lambda(x)\not\leq a\}\). The author introduces a scheme of lower order separation axioms: \(T_0, T_1, T_{0_{-}}, T_{1_{-}}\), which are closely related to the separation of the level topologies. Particularly, an \(L\)-topological space \((L^X, \delta)\) is \(T_{0_{-}}\) \((T_{1_{-}})\) if for all primes \(a\in L\), the \(a\)-level topology of \((L^X, \delta)\) is \(T_0\) \((T_1)\). The relationship between this scheme of separation axioms and other separation schemes in the literature is discussed in this paper. However, as is shown in this paper, neither the Hutton unit interval \(T(L)\) nor the \(L\)-real line \(R(L)\) is \(T_0\) in general. In fact, it can be verified that if \(L\) is an atomic complete Boolean algebra, then \(I(L)\) is not even \(T_{0_{-}}\).