跳至內容

介值定理

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

這是本頁的一個歷史版本,由Ben Chg對話 | 貢獻2022年7月24日 (日) 15:47 (增加內容,使這個定理可以更容易理解)編輯。這可能和目前版本存在着巨大的差異。

數學分析中,介值定理(英語:intermediate value theorem,又稱中間值定理)描述了連續函數在兩點之間的連續性:

假設有一連續函數 ,且假設 ,若對任意數 滿足 ,則存在一點 ,使得,當 時也有類似敘述。

直觀地比喻,這代表在區間上可以畫出一個連續曲線,而不讓筆離開紙面。 或者可以這樣說,函數的圖像必然會穿過區間中的每一個點。

介值定理首先由伯納德·波爾查諾在1817年提出和證明,在這個證明中,他附帶證明了波爾查諾-魏爾斯特拉斯定理

定理

介值定理圖解

假設是一個實數裏的閉區間,而連續函數,那麼其像集也是區間。它或者包含(如果),或者包含(如果)。換言之:

  • ,

  • .

介值定理通常以下述等價的形式表述:假設是連續函數,且實數滿足,則存在使得

證明

先證明第一種情況;第二種情況也類似。

內所有的集合,使得。那麼是非空的,因為的一個元素,且是上有界的,其上界為。於是,根據實數的完備性最小上界 一定存在。我們來證明

  • 假設。那麼,因此存在,使得當時,就有,因為是連續函數。但是,這樣一來,當時,就有(也就是說,對於內的,都有)。因為 , 因此存在,使得, 所以我們有: 並且, 這顯然是矛盾的。
  • 假設。根據連續性,存在一個,使得當時,就有。那麼對於內的,都有,因此存在大於,使得,這與的定義矛盾。

因此

與實數完備性的關係

此定理仰賴於實數完備性,它對有理數不成立。例如函數滿足,但不存在滿足的有理數

零點定理(波爾查諾定理)

零點定理是介值定理的一種特殊情況-如果曲線上兩點的值正負號相反,其間必定存在一個根:

設函數在閉區間上連續,且,則必存在使成立。由於零點定理可用來找一方程式的根,也稱為勘根定理伯納德·波爾查諾於1817年證明了這個定理,同時證明了這個定理的一般情況(即介值定理)。以現代的標準來說,他的證明並不算是非常嚴格。[1]

現實世界中的意義

介值定理意味着在地球的任何大圓上,溫度壓強海拔二氧化碳濃度(或其他任何連續變化的變量),總存在兩個對蹠點,在這兩個點上該變量的值是相同的。

證明:f為圓上的任何連續函數。通過圓的中心作一條直線,與圓相交於點A和點B。設df(A) − f(B)的差。如果把這條直線旋轉180度,將得到值−d。根據介值定理,一定存在某個旋轉角,使得d = 0,在這個角度上便有f(A) = f(B)。

這是一個更加一般的結果——博蘇克-烏拉姆定理的特殊情況。

參見

參考資料

外部連結