The level characterization of the interior operator in induced spaces (Q748947)

Let L be a completely distributive lattice with reversing involution, \((L^ X,\eta)\) a fuzzy topological space (fts), where \(\eta\) is the family of all closed fuzzy topological sets. For \(A\in L^ X\) and \(a\in L\), \(A_{[a]}=\{x\in X\); A(x)\(\geq a\}\) is called a level set and \((L^ X,\eta)\) is called a weakly induced space, if for \(A\in L^ X\) and \(a\in L\), \(A_{[a]}\in \eta\); a stratified, weakly induced space has been called an induced space. For fts \((L^ X,\eta)\), an operator \({}^-: L^ X\to L^ X\) is defined as \(\bar A(x)=\bigwedge_{v\in {\mathcal B}(x)}\bigvee_{y\in V}A(y)\) for \(A\in L^ X\), \(x\in X\), where \({\mathcal B}(x)\) is an open neighbourhood base at x in (X,[\(\eta\) ]) (where [\(\eta\) ] denotes all crisp closed sets in \(\eta\)). It has been shown that \((L^ X,\eta)\) is an induced space if and only if the operator \({}^-\) is a closure operator, and the fuzzy cotopology induced by it is exactly \(\eta\). A similar result is proved by defining an interior operator. Further, for \((L^ X,w(\tau))\) which is the fuzzy topological space induced by a crisp cotopology \(\tau\), an expression of the interior of fuzzy sets in induced spaces has been given from the viewpoint of level structure.