現在我們已經定義了函式的極限,我們現在可以定義函式連續的概念。連續性捕捉了函式“沒有突跳或振盪”的直觀影像。然而,在本頁中,我們將從這個基本的定義轉向更有條理的東西;一些嚴謹的東西。這不僅在實分析中很重要,在其他數學領域也同樣重要。
連續性標誌著對函式的一種新的分類,尤其是在本頁後面解釋的定理將被使用時尤為突出。但是,如果線性閱讀此華夏公益教科書,那麼需要注意的是,華夏公益教科書將描述具有比連續性更多屬性的函式。例如,初等數學中的函式,如多項式、三角函式以及指數和對數函式,包含比連續函式更多的性質。我們還將看到一些不連續函式的例子,以說明一些不符合條件的常見函式。
I 上的連續函式定義
給定一個區間
和一個函式
,在I上連續被定義為維持以下性質
它記為 
讀者可能會注意到這個定義與 極限的定義 的相似之處,因為與極限不同,極限中函式
可以收斂到任何值,而連續性限制返回值只能是函式
被評估時的預期值。這種額外的限制提供了許多新定理,其中一些更重要的定理將在以下標題中顯示。
由於極限在代數運算下是保持的,讓我們檢查一下連續性是否也一樣。
我們看到,如果
和
都在 c 處連續,連續性對於以下情況仍然有效
在代數運算下保持連續性的函式列表
| 加法 |
|
| 減法 |
|
| 乘積 |
|
| 函式的倍數 |
|
| 倒數 |
|
| 除法 |
|
需要注意的是,對於任何除法,g(c) 必須是一個有效數字,即不為 0。
這實際上是極限代數運算的保持性的推論。只需將極限值 *L* 和 *M* 分別替換為 ƒ(c) 和 g(c) 即可。
我們可以使用順序極限來證明函式是不連續的,如下所示
在
處不連續當且僅當存在兩個序列
和
使得
.
複合函式要複雜得多,但它仍然像直覺所暗示的那樣起作用:兩個連續函式的複合仍然是連續函式。
證明過程很簡單,只需要滿足複合函式
和
的連續性定義,並基於滿足所有變數要求進行變數替換。因此,除了純粹的定義之外,沒有使用代數和定理。
想想連續性的直觀概念。如果你無法想象一個多項式函式的影像,它總是有效的。當它穿過函式域時,平滑曲線是連續性的圖形表示。但是,我們如何在數學上知道它是連續的呢?好吧,我們將從三個連續性定理開始,這些定理將驗證這種概念。
這是關於連續性的一個重要定理。它本質上說連續函式沒有突然的跳躍或斷裂。
定理
令 f(x) 為一個連續函式。如果

且

,則

.
介值定理:給定 [a,b] 上的連續函式和三個變數 a < c < b,則必須滿足 ƒ(a) < ƒ(c) < ƒ(b) 的條件。
令
,並令
。
令
。根據連續性,
。
如果 f(c) < m,那麼
,因此
。但是,
,這意味著 c 不是 S 的上界,矛盾。
如果 f(c) > m,那麼由於
,
。但由於
,
,因此
= m,這意味著
,矛盾。 
現在我們證明最小-最大定理,它是另一個與連續性相關的重大結果。實質上,它指出任何閉區間的連續像都是有界的,並且也取得這些界。
該定理作為另一個更大定理的第一部分。然而,它本身有助於彌合關於函式的上確界和下確界之間的差距。
定理
給定一個在 [a,b] 上的連續函式 ƒ,即
![{\displaystyle f:[a,b]\to \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b592d102ccd1ba134d401c5b3ea177baaba3ffac)
,那麼
![{\displaystyle f([a,b])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e8bf1526030f5a9f1564d4ef14c5d63350dfe9a)
是有界的。
假設
是無界的。
設
。那麼,
在至少一個閉區間
和
上是無界的(否則,
在
上是有界的,與假設矛盾)。將這個區間稱為
。
類似地,將
分成兩個閉區間,並設
是
是無界的那個區間。
因此我們得到一個巢狀閉區間的序列
,使得
在每個區間上都是無界的。
我們知道,巢狀閉區間的交集非空。因此,設
由於
在
處連續,所以存在一個
使得
但根據定義,總存在一個
使得
,這與假設
在
上無界矛盾。因此,
在
上有界。
這是定理的第二部分。它是前一個定理更具肯定性的版本,指出不僅存在上確界和下確界,而且函式 ƒ 也能達到它們,並且它們將在你指定的區間內。
定理
給定一個在 [a,b] 上連續的函式 ƒ,即
![{\displaystyle f:[a,b]\to \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b592d102ccd1ba134d401c5b3ea177baaba3ffac)
,如果

分別是
![{\displaystyle f([a,b])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e8bf1526030f5a9f1564d4ef14c5d63350dfe9a)
的上界和下界,那麼存在
![{\displaystyle c,d\in [a,b]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3242edd84bb073a138a9bbf3f4fcf83b3b5d57a5)
使得

。
極值定理的圖示:給定一個在 [a,b] 上連續的函式,一定存在一個最大值 c 和一個最小值 d,使得 ƒ(c) 是區間內的最大值,而 ƒ(d) 是區間內的最小值。
假設如果可能,
,但
。
考慮函式
。根據連續性的代數性質,
是連續的。然而,
是
的聚點,
在
上無界,與 (i) 矛盾。因此,
。類似地,我們可以證明
。
連續性將在數學的其他分支中再次出現。你不僅會遇到連續性的不同變體,還會遇到連續性的不同定義。
令 
令 
我們說
在
上是一致連續的當且僅當對於每一個
都存在
,使得如果
且
,那麼 
令 
令 
我們說
在
上是利普希茨連續的當且僅當存在一個正實常數
使得,對所有
,
.
最小的這樣的
被稱為函式
的利普希茨常數。
如前所述,連續函式的概念在數學的幾個領域都有使用,最顯著的是在拓撲學中。在這樣的場景中,連續性的另一種表徵非常有用。
令 
令 
在
處連續當且僅當對於
的每個開鄰域
,都存在
的一個開鄰域
,使得 
需要指出的是,“開集”的概念可以被定義在比實數集或度量空間更一般的環境中,因此這種描述方法具有很高的實用性。