Structure of lattices characterized by validity of lattice-valued topological propositions (Q1612261): Difference between revisions

It is well known that \(L\)-topological properties are closely related to the ordered structure on \(L\). Conversely, the ordered structure on \(L\) may also be characterized by the presence of some \(L\)-topological properties or analytical properties. For example, chains and layer compact lattices can be characterized in terms of a layer compact \(L\)-topological property [\textit{S. G. Li}, Fuzzy Sets Syst. 95, 233-238 (1998; Zbl 0941.54007)]. The present article contributes a stronger verification, which proves that (1) A distributive complete lattice \(L\) is completely distributive if and only if, for every topological space \(X\), all the semicontinuous mappings from \(X\) to \(L\) can be represented by upper limits and lower limits of these mappings taking values in a local area of \(X\). (2) A distributive complete lattice \(L\) is completely distributive if and only if, for every topological space \(X\), all the semicontinuous mappings from \(X\) to \(L\) can be approximated by \(L\)-valued step mappings. (3) A completely distributive lattice \(L\) is anti-diamond-type if and only if the connectedness [\textit{Y. M. Liu} and \textit{M. K. Luo}, Fuzzy Topology, World Scientific, Singapore (1997; Zbl 0906.54006)] of every \(L\)-topological space is equivalent to the connectedness of its background space. (4) The largest element of a completely distributive complete lattice \(L\) is join-irreducible if and only if, for every family of \(L\)-topological spaces, there exists an upper bound of the density of the product \(L\)-topological space of this family, which is represented by the densities and numbers of factor \(L\)-topological spaces. This result strengthens and generalizes the Hewitt-Marczewski-Pondiczery theorem in general topology, which limits the density of a product topological space by the power of the density of its factor spaces. The reader may find other correlative information in [\textit{U. Höhle}, Many Valued Topologies and Their Applications, Kluwer Academic, Dordrecht (2001; Zbl 0969.54002)].