Fuzzy TL-uniform spaces (Q2469022)

The authors introduce fuzzy TL-uniform spaces and discuss the fuzzy topology associated with a fuzzy TL-uniform space. In the process of definition, a triangular norm \(T\) is used; such norm is a binary operation on the unit interval \(I= [0,1]\) that is associative, symmetric, isotone in each argument and has neutral element 1. Subsequently, for two fuzzy TL-uniform spaces \((X,\mu)\) and \((X',\mu')\) a fuzzy uniform map \(f: X\to X'\) is defined, a necessary and sufficient condition is proved and further it is shown that, if \(f\) is uniformly continuous, then it is continuous w.r.t. the fuzzy topologies generated by \(\mu\) and \(\mu'\) respectively. In the next phase, the authors introduce \(\alpha\)-level uniformities for a given fuzzy TL-uniformity and study the relationships between them. The method of developing a fuzzy TL-uniformity from a uniformity on a set \(X\) is discussed, it is shown that for two uniform spaces, \((X,{\mathcal V})\) and \((Y,{\mathcal W})\) if \(f: X\to Y\) is uniformly continuous in the usual sense, then it is uniformly continuous when considered between the fuzzy TL-uniform spaces \((X,w_u({\mathcal V}))\) and \((Y, w_u({\mathcal W}))\) where \(w_u({\mathcal V})\) and, \(w_u({\mathcal W})\) are the TL-uniformities induced by \({\mathcal V}\) and \({\mathcal W}\), respectively. Lastly, the authors prove that the category of fuzzy TL-uniform spaces and uniform maps between them is a topological category, by constructing optimal lifts of sources in it; also, they define a factor from the category of fuzzy TL-uniform spaces into the category of fuzzy \(T\)-locality spaces, where a fuzzy \(T\)-locality space means a fuzzy topological space \((X,\circ)\) whose fuzzy interior operator is induced by some indexed family \({\mathcal B}= \{{\mathcal B}(x)\}_{x\in X}\), of prefilter bases in \(I^X\) in a suitable manner, it is shown that the defined functor preserves optimal lifts.