Three topological structures of smooth topological spaces (Q1302229)

Given a fuzzy topological space \((X,\tau)\) in the sense of the reviewer (i.e. \(\tau: I^X\to I\) is a mapping such that (1) \(\tau(0)= \tau(1)=1\); (2) \(\tau(U\wedge V) \geq\tau(U) \wedge\tau(V)\) \(\forall U, V\in I^X\); (3) \(\tau (\bigvee_iU_i)\geq\bigwedge_i \tau(U_i)\) for every family \(\{U_i\mid i\in {\mathcal I}\} \subset I^X\) of fuzzy sets; cf. [\textit{A. P. Šostak}, Rend. Circ. Mat. Palermo, II. Ser. Suppl. 11, 89-103 (1985; Zbl 0638.54007)]). The author considers the family \(Q(\tau): =\{U\in I^X\mid \tau(U) >0\}\) and the (Chang) fuzzy topology \(W(\tau)\) generated by \(Q(\tau)\) as a base. Some notions involving these structures as well as the \(\alpha\)-level (Chang) fuzzy topologies \(\tau_\alpha\), \(\alpha\in I\), of \(\tau\) are introduced and some facts about them are established.