Dual fuzzy neighbourhood spaces. I (Q1181999)

Starting with an arbitrary fuzzy topological space, the author introduces the notion of fuzzy neighborhood-base space which corresponds to a fuzzy neighborhood space originated to \textit{R. Lowen} [ibid. 7, 165-189 (1982; Zbl 0487.54008)]. Categorically speaking, this correspondence goes as follows: Let FNBS be the category of fuzzy neighborhood-base spaces and FNS, the category of fuzzy neighborhood spaces. The author considers for each \((X,\tau)\in\text{FNBS}\) an associated fuzzy neighborhood base \(\beta_ \tau:=(\beta_ \tau(x))_{x\in X}\) where for each \(x\in X\), \(\beta_ \tau(x):=\{\nu\in\tau: \nu(x)=1\}\subset\tau\), and thus obtains a functor \(t^{\sim}\); \[ t^{\sim}:\text{ FNBS}\to\text{FNS},\quad(X,\tau)\mapsto(X,t(\tilde\beta_ \tau)) \] and \(t^{\sim}(f)=f\). Like FNS, FNBS is also a full subcategory of the category FTOP of fuzzy topological spaces. The aforementioned approach has an advantage in the construction of a quotient fuzzy neighborhood space in which case the idea of ``open basis'' for the fuzzy neighborhood system is meaningful. Next, considering \((X,\rho)\in \text{FNS}\), the author introduces \(\overleftarrow{t}(\rho)\) the finest fuzzy topology on \(X\) with level topologies \[ \iota_ \alpha(\overleftarrow{t}(\rho))=\bigcap_{\delta\in]\alpha,1]}\iota_{1- \delta}(\rho),\quad \alpha\in I_ 1. \] The pair \((X,\overleftarrow{t}(\rho))\) is called the dual space of \((X,\rho)\) and termed as dual fuzzy neighborhood space [see also \textit{P. Wuyts}, ibid. 12, 71-85 (1984; Zbl 0574.54004)]. DFNS, the category of dual fuzzy neighborhood spaces is a full subcategory of FNBS. The functor \(t^{\sim}: \text{FNBS}\to\text{FNS}\) is not an isomorphism of categories; however, this is indeed an isomorphism if the domain of \(t^{\sim}\) is restricted to DFNS. Several nice descriptions of the inverse functor \(\overleftarrow{t^{\sim}}\) of \(\overrightarrow{t^{\sim}}\) are provided.