複製鏈接
請複製以下鏈接發送給好友

連續

(數學名詞)

鎖定
數學中,連續函數的一種屬性。直觀上來説,連續的函數就是當輸入值的變化足夠小的時候,輸出的變化也會隨之足夠小的函數。如果輸入值的某種微小的變化會產生輸出值的一個突然的跳躍甚至無法定義,則這個函數被稱為是不連續的函數(或者説具有不連續性)。
常用的連續性的最根本定義是在拓撲學中的定義,在條目連續函數 (拓撲學)中會有詳細論述。在序理論特別是域理論中,有從這個基礎概念中得出的另一種抽象的連續性:斯科特連續性。
中文名
連續
外文名
Continuity
最早出現
數學分析
推    廣
點集拓撲

連續實值連續函數

最基本也是最常見的連續函數是定義域實數集的某個子集、取值也是實數的連續函數。函數的連續性可以用直角座標系中的圖像來表示。一個這樣的函數是連續的,如果粗略地説,它的圖像為一個單一的不破的曲線,並且沒有間斷跳躍無限逼近的振盪
嚴格來説,設
是一個從實數集的子集
射到
的函數:
中的某個點
處是連續的當且僅當以下的兩個條件滿足:
1.
在點
上有定義。
2.
中的一個聚點,並且無論自變量
中以什麼方式接近
極限都存在且等於
我們稱函數到處連續處處連續,或者簡單的稱為連續,如果它在其定義域中的任意一點處都連續。更一般地,當一個函數在定義域中的某個子集的每一點處都連續時,就説這個函數在這個子集上是連續的。

連續定義

不用極限的概念,也可以用下面所謂的
方法來定義實值函數的連續性。
仍然考慮函數
。假設
的定義域中的元素。函數
被稱為是在
點連續當且僅當以下條件成立:
對於任意的正實數
,存在一個正實數
使得對於任意定義域中的
,只要
滿足
,就有
成立。
連續性的“
定義”由柯西首先給出。
更直觀地,函數
是連續的當且僅當任意取一個
中的點
的鄰域
,都可以在其定義域
中選取點
的足夠小的鄰域,使得
的鄰域在函數
上的映射下都會落在
的鄰域
之內。
以上是針對單變量函數(定義域在
上的函數)的定義,這個定義在推廣到多變量函數時也是成立的。度量空間以及拓撲空間之間的連續函數定義見下一節。 [1] 

連續例子

  • 所有多項式函數都是連續的。各類初等函數,如指數函數對數函數、平方根函數與三角函數在它們的定義域上也是連續的函數。
  • 絕對值函數也是連續的。
  • 定義在非零實數上的倒數函數f= 1/x是連續的。但是如果函數的定義域擴張到全體實數,那麼無論函數在零點取任何值,擴張後的函數都不是連續的。
  • 非連續函數的一個例子是分段定義的函數。例如定義f為:f(x) = 1如果x> 0,f(x) = 0如果x≤ 0。取ε = 1/2,不存在x=0的δ-鄰域使所有f(x)的值在f(0)的ε鄰域內。直覺上我們可以將這種不連續點看做函數值的突然跳躍。
  • 另一個不連續函數的例子為符號函數

連續連續函數的性質

如果兩個函數f和g是連續的,
為一個實數,那麼
都是連續的。所有連續函數的集合構成一個環,也構成一個向量空間(實際上構成一個代數)。如果對於定義域內的所有
,都有
,那麼
也是連續的。兩個連續函數的複合函數
也是連續函數。
如果實函數f在閉區間內連續,且
是某個
之間的數,那麼存在某個
內的
,使得
,這個定理稱為介值定理。例如,如果一個小孩在五歲到十歲之間身高從1米增長到了1.5米,那麼期間一定有某一個時刻的身高正好是1.3米。
如果f在
內連續,且
一正一負,則中間一定有某一個點
,使得
。這是介值定理的一個推論。
如果f在閉區間
內連續,則它一定取得最大值,也就是説,總存在
,使得對於所有的
,有
。同樣地,函數也一定有最小值。這個定理稱為極值定理。(注意如果函數是定義在開區間
內,則它不一定有最大值和最小值,例如定義在開區間(0,1)內的函數
。)
如果一個函數在定義域中的某個點
可微,則它一定在點
連續。反過來不成立;連續的函數不一定可微。例如,絕對值函數在點
連續,但不可微。 [2] 

連續度量空間之間的連續函數

考慮從度量空間
到另一個度量空間
的函數
是連續的,則對任何實數
,存在一個實數
使得
,只要滿足
,就滿足
這個定義可以用序列極限的語言重述:
如果函數
在點
連續,則對
中任何序列
,只要
,就有
。連續函數將極限變成極限。
後一個條件可以減弱為:
點連續,當且僅當對
中任何序列
,只要
,就滿足序列
是一個柯西序列。連續函數將收斂序列變成柯西序列。 [3] 

連續拓撲空間之間的連續函數

如上連續函數的定義可以自然地推廣到一個拓撲空間到另一拓撲空間的函數:函數
,這裏
是拓撲空間是連續的當且僅當任何開集
的逆像
中的開集。 [4] 

連續相關條目

參考資料
  • 1.    Horst Schubert: Topologie. Eine Einführung (= Mathematische Leitfäden). 4. Auflage. B. G. Teubner Verlag, Stuttgart 1975, ISBN 3-519-12200-6 (MR0423277).
  • 2.    Friedrich Hirzebruch. Winfried Scharlau: Einführung in die Funktionalanalysis (= B. I.-Hochschultaschenbücher. Band 296). Bibliographisches Institut, Mannheim [u. a.] 1971, ISBN 3-411-00296-4 (MR0463864).
  • 3.    Boto von Querenburg: Mengentheoretische Topologie (= Springer-Lehrbuch). 3., neu bearbeitete und erweiterte Auflage. Springer-Verlag, Berlin [u. a.] 2001, ISBN 3-540-67790-9.
  • 4.    Visual Calculus by Lawrence S. Husch, University of Tennessee (2001)