实变函数中函数下半连续的等价问题.docVIP

PAGE 3 函数下半连续与其某相关闭集之间的等价问题 ——天狼星 【摘要】本文利用函数下半连续的定义推导相关集合为闭集, 又用闭集的相关定义和定理先用反证法证出函数的连续性, 进一步证明其为下半连续的, 进而得出函数下半连续与相关闭集合的等价关系. 【关键词】下半连续、聚点、导集、闭集、下极限、等价. 引言及预备知识 首先, 虽然已了解到对于原命题的一种解法,但是个人始终觉得原命题有错, 所以仍然以个人观点来研究此题,原命题是：上的实函数称为是下半连续的, 如果对于, 都有 ＝ , (1) 试证明：下半连续等价于对于, 集合是中闭集, 也等价于集合是中闭集. 应改为：上的实函数称为是下半连续的, 如果对于, 都 有 ＝ , (2) 试证明：下半连续等价于对于, 集合是中闭集, 也等价于集合是中闭集. 由于题目牵涉到下半连续和闭集, 所以我们有必要先有一些下半连续的定义及闭集的相关定义、定理的基础准备,下面证明中提到的均表示某集合. 定义 1 若对任意,中总