可微函數
定義域中所有點都有導數的函數
在微積分學中，可微函數是指那些在定義域中所有點都存在導數的函數。可微函數的圖像在定義域內的每一點上必存在非垂直切線。因此，可微函數的圖像是相對光滑的，沒有間斷點、尖點或任何有垂直切線的點。一般來說，若是函數ƒ定義域上的一點，且ƒ′(x)有定義，則稱ƒ在x點可微。這就是說ƒ的圖像在(x, ƒ(x))點有非垂直切線，且該點不是間斷點、尖點。
魏爾斯特拉斯函數連續，但在任一點都不可微。
若在點可微，則在該點必連續。特別的，所有可微函數在其定義域內任一點必連續。逆命題則不成立：一個連續函數未必可微。比如，一個有折點、尖點或垂直切線的函數可能是連續的，但在異常點不可微。
實踐中運用的函數大多在所有點可微，或幾乎處處可微。但斯特凡·巴拿赫聲稱可微函數在所有函數構成的集合中卻是少數。這表示可微函數在連續函數中不具代表性。人們發現的第一個處處連續但處處不可微的函數是魏爾斯特拉斯函數。
函數是連續可微（continuously differentiable），如果導數存在且是連續函數。
連續可微函數被稱作classC。一個函數稱作classC如果函數的一階、二階導數存在且連續。更一般的，一個函數稱作classC如果前k階導數都存在且連續。如果對於所有正整數n，f存在，這個函數被稱為光滑函數或稱classC。
如果一個函數的所有偏導數在某點的鄰域內存在且連續，那麼該函數在該點可微，而且是classC。(這是可微的一個充分不必要條件)
形式上，一個多元實值函數在點處可微，如果存在線性映射滿足
注意，偏導數都存在並不能保證函數在該點可微。
基本信息
- 中文名
- 可微函數
- 外文名
- Differentiable function
- 應用學科
- 數學
- 所屬領域
- 微積分
- 相關術語
- 可導函數
- 定義
- 在定義域中所有點都有導數的函數