Preserving continuity by Zadeh extension and invariance of separation axioms under surjections

DOI10.1016/J.FSS.2012.01.010MaRDI QIDQ695263zbMATH OpenOpenAlexFDO

Authors Javier Gutiérrez García, Tomasz Kubiak

Publication date 20 December 2012

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.fss.2012.01.010

zbMATH Keywords

\(L\)-unit intervalclosed mapcomplete \(L\)-regularity axiomslower semicontinuousopen mapupper semicontinuousZadeh Extension

Mathematics Subject Classification ID

Fuzzy topology (54A40)

Review text

With \(M\) a complete lattice, \(X\) a set, \(M^X\) the complete lattice of all maps from \(X\longrightarrow M\) under point wise ordering, each map \(f:X\longrightarrow Y\) induces two maps \(f_M^\to:M^X\longrightarrow M^Y\) and \(f_M^\gets:M^Y\longrightarrow M^X\) defined by \(f_M^\to(a)y:=\displaystyle\bigvee_{x\in f^{-1}\{y\}}a(x)\) for all \(y\in Y\) and \(f_M^\gets(b):=b\circ f\); the two maps were introduced by Zadeh with \(M=\mathbb I\) (the real unit interval) and introduction of such mappings is referred to as the Zadeh extension principle (ZEP in short). With \((L,')\) and \(\mathbb I(L)\) two complete lattices, it is shown that an \(L\)-topological space \(X\) is completely \(L\)-regular iff each lower semicontinuous function from \(X\) to \(\mathbb I(L)\) is a pointwise sup of a family of continuous functions from \(X\) to \(\mathbb I(L)\); it is further shown that complete \(L\)-regularity, \(L\)-regularity and complete \(L\)-normality are all preserved under continuous open-closed surjections for each complete lattice \((L,')\). Finally, conditions under which the Zadeh extension of a map between \(L\)-topological spaces preserves semicontinuity and continuity of functions with values in the \(L\)-unit interval are provided.

Recommendations

• A note on Zadeh's extensions
• Extending continuous \(L\)-real-valued functions from arbitrary subspaces
• Some questions about Zadeh's extension on metric spaces
• Higher separation axioms in \(L\)-topologically generated \(\mathbb I(L)\)-topological spaces
• scientific article; zbMATH DE number 3998722

Cites work

• A note on Hausdorff separation in L-TOP
• Applications of complete families of continuous functions to the theory of Q-spaces
• Fuzzy sets
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• Many valued topology and its applications
• Mappings and realcompact spaces
• Mappings and spaces
• Normality in fuzzy topological spaces
• On L-Tychonoff spaces
• POWERSET OPERATOR BASED FOUNDATION FORPOINT-SET LATTICE-THEORETIC (POSLAT) FUZZY SET THEORIES and TOPOLOGIES
• Remarks on open-closed mappings
• Separation axioms and the fuzzy real lines
• Separation axioms in fuzzy topological spaces
• Separation axioms: Extension of mappings and embedding of spaces
• The Dedekind completion of \(C({\mathcal X})\)

Cited in

(3)

• Continuous extensions of real functions on arbitrary sublocales and \(C\)-, \(C^\ast\)-, and \(z\)-embeddings
• A preservation result for completely regular locales.
• On regularity of sup-preserving maps: generalizing Zareckiĭ's theorem

This page was built for publication: Preserving continuity by Zadeh extension and invariance of separation axioms under surjections

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q695263)