Fuzzy topology and fuzzy multifunctions (Q1073378)

Some fuzzy topological concepts (F-dense and F-nowhere dense sets, F- boundary, regular f.t.s. and others) are introduced and studied. Some of the results are as follows. If \((X,\tau_ X)\) and \((Y,\tau_ Y)\) are f.t.s. then F-boundary sets are stable under F-continuous surjections \(f: X\to Y\); if in addition f is F-closed then the family of F-nowhere dense sets is also stable. If \(x\in X\) and \({\mathfrak n}_ x\) is an F-open neighbourhood of x then there exists a fuzzy neighbourhood \(\hat{\mathfrak n}_ x\) of x such that \(\hat{\mathfrak n}_ x\leq \hat {\bar {\mathfrak n}}_ x\leq {\mathfrak n}_ x\). If \((X,\tau_ X)\) is a locally \(\alpha\)-compact f.t.s., \((Y,\tau_ Y)\) is a Hausdorff f.t.s. and \(f: X\to Y\) is an F- continuous and F-open surjection then Y is locally \(\alpha\)-compact. The notions of fuzzy multifunctions and linear fuzzy multifunctions are introduced and their properties are examined. If A:X\(\to Y\) is a l- compact valued, F-u.s.c. multifunction and \(K\subset X\) is compact then A(K) is l-compact. If \(\{A_ k\}^ n_{k=1}: X\to Y\) are l.s.c. fuzzy multifunctions then \(\Lambda^ n_{k=1}A_ k: X\to Y\) is F-l.s.c. The conditions under which \(A_ 1\wedge A_ 2\) is a linear multifunction, if \(A_ 1,A_ 2: X\to Y\) are linear multifunctions, are given. If \(A_ 1,A_ 2:X\to Y\) are measurable fuzzy multifunctions then so are \(A_ 1\wedge A_ 2\), \(A_ 2\cdot A_ 2\), \(A_ 1\times A_ 2\). Some other results are given too.