格值型Hahn-Dieudonné-Tong插入定理与层次结构

本文将关于半连续函数的Hahn-Dieudoné-Tong插入定理推广到值域为格L的惰形。我们是对格值半连续映射全体形成的拓扑进行考察,将这个问题归结为诱导空间的某种分离性问题来解决的。作为附产品,对相当广大一类格L,证明了诱导空间为正规当且仅当底空间是正规的。反例说明了对乙的限制的必要性。这些结果与反例说明诱导空间的正规性以及格值插入定理成立与值域乙的特征有密切关系。古典的插入定理的证明是分析式的且富有技巧性。与之相比,这里使用的称之为层次结构的新方法则相当朴素而自然。这方法基于对层次之间的拓扑关系有深入的认识。希望这种归纳地给出层次然后定出映射的方法还会得到进一步的应用。