跳轉到內容

實分析/連續性

來自華夏公益教科書,開放的書籍,開放的世界
實分析
連續性

現在我們已經定義了函式的極限,我們可以定義一個函式連續意味著什麼。連續性的概念抓住了函式“沒有突然跳躍或振盪”的直觀影像。然而,在本頁中,我們將從這個基本定義轉向具有清單的內容;具有嚴謹性的內容。這不僅在實分析中很重要,在其他數學領域也很重要。

連續性標誌著函式分類的新方法,特別是當本頁後面解釋的定理被使用時,這種分類尤為突出。然而,如果讀者是線性地閱讀本華夏公益教科書,那麼應該注意,本華夏公益教科書將描述具有比連續性更多屬性的函式。例如,初等數學中的函式,如多項式、三角函式以及指數和對數函式,包含比連續函式更多級別的屬性。我們還將看到一些不連續函式的例子,以提供一些關於不符合條件的常見函式的說明。

I 上的連續函式定義

給定一個區間 和一個函式 I 上連續被定義為遵循以下性質

它表示為

讀者可能會注意到這個定義與極限的定義之間的相似之處,因為與極限不同,在極限中,函式 可以收斂到任何值,連續性限制返回值只能是函式 被評估時預期的值。這種額外的限制提供了許多新的定理,如下面的標題所示,其中一些最重要的定理將被展示。

由於極限在代數運算下保持不變,讓我們檢查一下連續性是否也是如此。

代數運算

[編輯 | 編輯原始碼]

我們看到,如果 在 c 處都連續,連續性在以下情況下仍然有效

在代數運算下保持不變的連續函式列表
加法
減法
乘積
函式的倍數
倒數
除法

當然,對於任何除法,g(c) 必須是一個有效數字,即不為 0。

這實際上是在您檢視極限的代數運算儲存證明時得出的推論。只需將極限值 *L* 和 *M* 分別替換為 ƒ(c) 和 g(c) 即可。

我們可以使用序列極限來證明函式不連續,方法如下

  • 處不連續,當且僅當存在兩個序列 使得 .

複合比較棘手,但它仍然像直覺暗示的那樣起作用;兩個連續函式的複合仍然是一個連續函式。

定理

如果 的值域上是連續的,並且 在任何區間 上是連續的,那麼複合函式 在 A 上是連續的。

證明過程簡單地透過滿足複合函式 的連續性定義來完成。因此,除了純粹的定義之外,沒有使用代數或定理。

證明覆合函式在 c 處連續
首先,我們知道連續性需要什麼。因此,我們將使用最基本滿足連續性要求的定義來定義 epsilon。
由於 f 必須是連續的,我們也寫下我們知道是真的——它滿足連續性的屬性清單。現在,我們將對 delta 變數進行一些修改,原因將在後面解釋。 .
但是, 還有更多屬性。關鍵的是 指的是什麼。由於函式 的值域上是連續的,這意味著 的輸入值實際上是 的輸出值。因此,我們可以用 的輸出值有效地替換 中的 的值。 .
由於 g 必須是連續的,我們也會寫下我們知道為真的內容,即連續性的定義。 .
表示式 非常相似。我們可以利用這一點,看看是否可以利用我們知道的任何性質。 考慮到 的唯一要求是它必須為正,並且它的不等式關係對任何數字都成立,並且 為正且是一個數字,那麼我們可以將二者聯絡起來,並定義
因此,我們抽象地將一個基於我們知道為真的內容構建的連續性定義串聯起來;即 的連續性。閱讀這個新蘊涵語句的有效結果;即 的複合函式的連續性,我們確信我們的說法,即 的複合函式也是連續的。證畢。 因此

所以 在 A 上是連續的。


三個連續性定理

[edit | edit source]

考慮一下連續性的直觀概念。如果你不能想象一個多項式函式的影像,它總是起作用的。當曲線平滑地穿過函式的定義域時,它就是連續性的圖形表示。然而,我們如何從數學上知道它是連續的呢?好吧,我們將從三個連續性定理開始,這些定理將驗證這個概念。

介值定理

[edit | edit source]

這是關於連續性的一個重要定理。它本質上表明連續函式沒有突然的跳躍或斷裂。

定理
設 f(x) 是一個連續函式。如果 ,則 .
The typical depiction of the intermediate value theorem with one peak and one valley.
介值定理:給定一個在 [a,b] 上連續的函式,以及三個變數 a < c < b,則必須有 ƒ(a) < ƒ(c) < ƒ(b)

證明

[edit | edit source]

,設 .

。根據連續性,.

如果 f(c) < m,那麼 ,所以 。但然後 ,這意味著 c 不是 S 的上界,矛盾。

如果 f(c) > m,那麼由於 。但由於 ,所以 = m,這意味著 ,矛盾。

我們現在將證明最小-最大定理,這是另一個與連續性相關的重大結果。本質上,它指出閉區間上的任何連續對映都是有界的,並且它也取得了這些界限。

最小-最大定理

[編輯 | 編輯原始碼]

該定理是另一個較大定理的第一部分。但是,就其本身而言,它有助於彌合關於函式的上確界和下確界之間的差距。

定理
給定一個在 [a,b] 上的連續函式 ƒ,即 ,那麼 是有界的。

假設如果可能的話, 是無界的。

。 然後, 在至少一個閉區間 上無界(否則, 上有界,這與假設矛盾)。 將此區間稱為

類似地,將 分成兩個閉區間,並令 無界的那個區間。

因此,我們得到一個巢狀閉區間的序列 ,使得 在每個區間上都是無界的。

我們知道,一個巢狀閉區間序列的交集是非空的。 因此,令

因為 處連續,所以存在 使得 但根據定義,總存在 使得 ,與 上無界假設矛盾。因此, 上有界。

極值定理

[edit | edit source]

這是定理的第二部分。它比之前的定理更具論斷性,說明不僅存在上確界和下確界,而且它們也可以被函式ƒ取到,並且位於您指定的區間內。

定理
對於在 [a,b] 上連續的函式ƒ,即 ,如果 分別是 的上界和下界,則存在 使得
The typical depiction of continuity: a function with one peak and one valley. f at c and f at d is marked
極值定理的描述:對於在 [a,b] 上連續的函式,一定存在最大值點 c 和 d,使得 ƒ(c) 是區間內的最大值,ƒ(d) 是區間內的最小值。

證明

[edit | edit source]

假設如果可能,.

考慮函式 . 由連續性的代數性質, 是連續的。然而, 的聚點, 上無界,與 (i) 矛盾。因此,。類似地,我們可以證明 .

連續性將在數學的其他分支中再次出現。您不僅會遇到連續性的不同變體,還會遇到連續性的不同定義。

一致連續性

[編輯 | 編輯原始碼]



我們說 上是一致連續的,當且僅當對於每個 存在 使得如果 ,那麼

Lipschitz 連續性

[edit | edit source]



我們說 上是Lipschitz 連續的,當且僅當存在一個正實數常數 使得,對於所有 .

最小的這樣的 被稱為函式 Lipschitz 常數

拓撲連續性

[edit | edit source]

如前所述,連續函式的概念被應用於數學的許多領域,特別是在拓撲學中。在這種情況下,連續性的另一種表徵非常有用。

定理

[edit | edit source]



處連續當且僅當對於 的每一個開鄰域 ,都存在 的一個開鄰域 ,使得

需要注意的是,“開集”這個概念可以在比實數集或度量空間更一般的環境下定義,因此這種描述方式具有很高的實用性。

華夏公益教科書