可微函數

維基百科,自由的百科全書
前往: 導覽搜尋
一個可微函數的圖像

微積分學中,可微函數是指那些在定義域中所有點都存在導數的函數。可微函數的圖像在定義域內的每一點上必存在非垂直切線。因此,可微函數的圖像是相對光滑的,沒有間斷點、尖點或任何有垂直切線的點。

一般來說,若X0是函數ƒ定義域上的一點,且ƒ′(X0)有定義,則稱ƒ在X0點可微。這就是說ƒ的圖像在(X0, ƒ(X0))點有非垂直切線,且該點不是間斷點、尖點。

可微性與連續性[編輯]

魏爾斯特拉斯函數連續,但在任一點都不可微

若ƒ在X0點可微,則ƒ在該點必連續。特別的,所有可微函數在其定義域內任一點必連續。逆命題則不成立:一個連續函數未必可微。比如,一個有折點、尖點或垂直切線的函數可能是連續的,但在異常點不可微。

實踐中運用的函數大多在所有點可微,或幾乎處處可微。但斯特凡·巴拿赫聲稱可微函數在所有函數構成的集合中卻是少數[1]這表示可微函數在連續函數中不具代表性。人們發現的第一個處處連續但處處不可微的函數是魏爾斯特拉斯函數

連續可微的分類[編輯]

函數f是連續可微(continuously differentiable),如果導數f'(x)存在且是連續函數。

連續可微函數被稱作class C1。一個函數稱作class C2如果函數的一階、二階導數存在且連續。更一般的,一個函數稱作class Ck如果前k階導數f′(x), f″(x), ..., f(k)(x) 都存在且連續。如果對於所有正整數n,f(n)存在,這個函數被稱為光滑函數或稱class C

多元函數的可微性[編輯]

如果一個函數的所有偏導數在某點的鄰域內存在且連續,那麼該函數在該點可微,而且是class C1

形式上,一個多元實值函數 f: RmRn在點x0處可微,如果存在線性映射J: RmRn滿足

注意,偏導數都存在並不能保證函數在該點可微。

參考資料[編輯]

  1. ^ Banach, S. Uber die Baire'sche Kategorie gewisser Funktionenmengen. Studia. Math. 1931, (3): 174–179. . Cited by Hewitt, E and Stromberg, K. Real and abstract analysis. Springer-Verlag. 1963. Theorem 17.8.