THE FUZZY UNIFORMISATION OF FUNCTION SPACES (Q4383789)

Given a fuzzy uniform space \((Y, {\mathcal D})\) (in Lowen's sense) and a set \(X\), the author defines two fuzzy uniformities on the function space \(Y^X\): the fuzzy uniformity \({\mathcal D}_\pi\) and the fuzzy uniformity \({\mathcal D}_u\) generalizing respectively the uniformities of pointwise and uniform convergence on \(Y^X\). Some results from the theory of uniform function spaces are extended to this fuzzy setting. For example: If the space \((Y,{\mathcal D})\) is complete, then the space \((Y^X, {\mathcal D}_u)\) is complete, too; In case \((Y, {\mathcal D})\) is Hausdorff, a fuzzy set \(M\in I^{Y^X}\) is \({\mathcal D}_\pi\)-compact iff it is \({\mathcal D}_\pi\)-closed and \(\forall x\in X\) the fuzzy sets \(\overline {p_x(M)}\) are \({\mathcal D}\)-compact (here \(p_x: Y^X\to Y\) denotes the projection).