Abstract:In this paper, we shall generalize the Hahn-Dieudonné-Tong Insertion Theorem, a classical result on semicontinuous functions, to the case that the ranges are a certain kind of lattices L. We consider the family of all lattice-valued (lower) semicontinuous mappings as a topology, and then solve this problem via reducing it to a problem on a certain kind of separation property. Therefore, as a by-product, the following theorem is obtained for a suitable range L: An induced space is normal if and only if the underlying space is normal. The relative counterexamples show that the limitation for L is necessary. These results and counterexamples point out that normality of induced spaces and the existence of latticed-valued inserting mappings close relates to the internal characterization of the range L. The previous proofs of the classical insertion theorem are analytic and skillful; compared with them, the present method determining mappings via the stratifications is very natural and conceptual. The success of the method is based on the study in depth on the topological relations among the stratifications. We may hope that the method, which determines the mapping via inductively getting its stratifications, will be further applied in other aspects.

Katětov-Tong insertion theorem for functions with values in a tensor product of complete lattices

Interval topology of lattice effect algebras

A Full-Invariant Theorem and Some Applications

Lattice-valued Hahn-Dieudonné-Tong Insertion Theorem and Stratification Structure

The interval topology on T1-lattices

Antitone involutions on tensor products of complete lattices and complete distributivity

A Note on the Topological Modification of the Hutton Unit Interval

IS THE CONSTRUCT OF L-TOPOLOGICAL SPACES A CO-TOWER EXTENSION OF SOME SIMPLER CONSTRUCT?

A topology on the Fremlin tensor product of locally convex-solid vector lattices

Structure of Lattices Characterized by Validity of Lattice-Valued Topological Propositions

The operator theory on complete partially ordered objects in a topos

Lattice-valued Semicontinuous Mappings and Induced Topologies

Interval topology on T1-lattices

Fremlin tensor product respects the unbounded order convergence

The $oτ$-continuous, Lebesgue, KB, and Levi operators between vector lattices and topological vector spaces

The fundamental theorem of finite semidistributive lattices

Tower Extension of Topological Constructs

On the Embedding of Top in the Category of Stratified L-Topological Spaces

A topological product Tverberg Theorem

A multidimensional Tauberian theorem for Laplace transforms of ultradistributions