跳至內容

半連續性

維基百科,自由的百科全書

數學分析中,半連續性是實值函數的一種性質,分成上半連續下半連續,半連續性較連續性弱。

形式定義

[編輯]

拓撲空間,而 為實值函數。若對每個 ε > 0 都存在 的開鄰域 使得 ,則稱 上半連續。該條件也可以用上極限等價地表述:

上的每一點都是上半連續,則稱之為上半連續函數

下半連續性可以準此定義:若對每個 ε > 0 都存在 的開鄰域 使得 ,則稱 下半連續。用下極限等價地表述為:

上的每一點都是下半連續,則稱之為下半連續函數

拓撲 賦予實數線 較粗的拓撲,上半連續函數可以詮釋為此拓撲下的連續函數。若取基為 ,則得到下半連續函數。

例子

[編輯]
上半連續但不是下半連續函數的例子(藍點表

考慮函數

此函數在 上半連續,而非下半連續。

下半連續但不是上半連續連續的函數的例子(藍點表

下整數函數 處處皆上半連續。同理,上整數函數 處處皆下半連續。

性質

[編輯]

一個函數在一點連續的充要條件是它在該點既上半連續也下半連續。

在某一 點上半連續,則 亦然;若兩者皆非負,則 在該點也是上半連續。若 在一點上半連續,則 在該點下半連續,反之亦然。

為緊集(例如閉區間),則其上的上半連續函數必取到極大值,而下半連續函數必取到極小值。

為下半連續函數序列,而且對所有

是下半連續函數。

開集的指示函數為下半連續函數,閉集的指示函數為上半連續函數。

文獻

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