半连续函数通有连续性的一个推广.pdfVIP

维普资讯 第24卷 第3期 贵州大学学报 (自然科学版) Vo1．24No．3 2007年 5月 JournalofGuizhouUniversity(NaturalSciences) May．2007 文章编号 1000—5269(2007)03—0234一O3 半连续函数通有连续性的一个推广 吉丽超，刘 美，陆学勇，向淑文 (贵州大学理学院数学系，贵州 贵阳550025) 摘 要：令 为度量空间，将定义在X上的下半连续有上界、上半连续有下界的实值函数厂转化 为集值映射F，通过Aubin定理，证明F在 上通有连续，进而证明厂在 上通有连续，最后给出 了定义在拓扑空间上的半连续实值函数通有连续性的一个直接证明。 关键词：下半连续；集值映射；闭映射；剩余集；通有连续 中图分类号：0177．91 文献标识码：A 1 引言 半连续的概念在最优化问题、对策论问题及变分不等式问题等诸多方面都已得到了广泛的应用。 1951年，Fort证明了拓扑空间上半连续集值映射的通有连续性，1993年，Aubin证明了从度量空间到可 分度量空间的上半连续集值映射的通有连续性，这些结果被广泛应用于解的通有稳定性和通有唯一性的 研究。 《 本文以Aubin定理为工具，讨论了定义在度量空间 上的上(下)半连续有下 (上)界函 的通有连 续性，得出厂在 上是通有连续的结论．最后借用Aubin定理的证明方法，给出了定义在拓扑空间上的半连 续实值函数通有连续性的一个直接证明。 2 预备知识 定义 1 设 、y为度量空间，F：叶2 ＼ 为集值映射。 (i)F在点 ∈X处上半连续(．s-c．)，如果对任意的开集G，F(x)cG，存在 的邻域V(x)，使得对任 意的 ∈V(x)，有F(x)cG；F在 上上半连续，如果对任意的 ∈X，F在点 ∈X处上半连续。 ()F在点 ∈X处下半连续(z c．)，如果对任意的开集G，F(x)nG≠ ，存在 的邻域V(x)，使得对 任意的 ∈V(x)，有F(x)nG≠O；F在 上下半连续，如果对任意的 ∈X，F在点 ∈X处下半连续。 ( )F在点 ∈ 处连续 ，如果F在点 ∈X处既上半连续又下半连续；F在 上连续，如果对任意的 ∈X，F在点 ∈X处连续。 定义2 度量空间 的子集 称为在 中稠密，如果M = X叫做可分的(separable)，如果 有在其中 稠密的可数子集。 定义3 设 为度量空间，的子集Q称为剩余集(residualset)，如果Q包含 中至多可数个开稠密集的 交。 定义4 依赖于 ∈X的性质P()在 上具有通有性(generic)，如果存在 中的一个稠密剩余集Q，使得 对任意的 ∈Q，P()都成立。 定义5 设 为度量空间 叶 为实值函数，对于点 ∈X，如果limf(x)≤ )，即对任意占0，存 在 的邻域 ()，使得对任意的 ∈ ()，有 )一f(x。)占，则称厂在点 。处上半连续；如果 )≥ 厂(。)，即对任意 占0，存在 。的邻域V(x。)，使得对任意的 ∈V(x。)，有 )一 )一占，则称厂在点 ‰处下半连续。 收稿 日期：2007—04—04。 作者简介：吉丽超 (1983一)，男 ，2005级硕士研究生，研究方向：非线性分析与对策论。 维普资讯 第3期 吉丽超 等：半连续函数通有连续性的一个推广 ·235· 定义6 设 、】，为度量空间，F：X一2为集值映射，F的图象Graph(F)={(，)，)∈XXY： ∈X，Y∈ F())，如果Graph(F)是闭集，则称 是闭映射。 设 ：— 为有上界下半连续函数，为 的上界，作集值映射F 一2满足F()={r∈R： )≤ r≤ )；设