跳转到内容

半连续性

维基百科,自由的百科全书

数学分析中,半连续性是实值函数的一种性质,分成上半连续下半连续,半连续性较连续性弱。

形式定义

[编辑]

拓扑空间,而 为实值函数。若对每个 ε > 0 都存在 的开邻域 使得 ,则称 上半连续。该条件也可以用上极限等价地表述:

上的每一点都是上半连续,则称之为上半连续函数

下半连续性可以准此定义:若对每个 ε > 0 都存在 的开邻域 使得 ,则称 下半连续。用下极限等价地表述为:

上的每一点都是下半连续,则称之为下半连续函数

拓扑 赋予实数线 较粗的拓扑,上半连续函数可以诠释为此拓扑下的连续函数。若取基为 ,则得到下半连续函数。

例子

[编辑]
上半连续但不是下半连续函数的例子(蓝点表

考虑函数

此函数在 上半连续,而非下半连续。

下半连续但不是上半连续连续的函数的例子(蓝点表

下整数函数 处处皆上半连续。同理,上整数函数 处处皆下半连续。

性质

[编辑]

一个函数在一点连续的充要条件是它在该点既上半连续也下半连续。

在某一 点上半连续,则 亦然;若两者皆非负,则 在该点也是上半连续。若 在一点上半连续,则 在该点下半连续,反之亦然。

为紧集(例如闭区间),则其上的上半连续函数必取到极大值,而下半连续函数必取到极小值。

为下半连续函数序列,而且对所有

是下半连续函数。

开集的指示函数为下半连续函数,闭集的指示函数为上半连续函数。

文献

[编辑]
  • Hyers, Donald H.; Isac, George; Rassias, Themistocles M. Topics in nonlinear analysis & applications. World Scientific. 1997. ISBN 9810225342.