在微积分学中，可微函数是指那些在定义域中所有点都存在导数的函数。可微函数的图像在定义域内的每一点上必存在非垂直切线。因此，可微函数的图像是相对光滑的，没有间断点、尖点或任何有垂直切线的点。

魏尔斯特拉斯函数连续，但在任一点都不可微。

若ƒ在X0点可微，则ƒ在该点必连续。特别的，所有可微函数在其定义域内任一点必连续。逆命题则不成立：一个连续函数未必可微。比如，一个有折点、尖点或垂直切线的函数可能是连续的，但在异常点不可微。

实践中运用的函数大多在所有点可微，或几乎处处可微。但斯特凡·巴拿赫声称可微函数在所有函数构成的集合中却是少数。这表示可微函数在连续函数中不具代表性。人们发现的第一个处处连续但处处不可微的函数是魏尔斯特拉斯函数。

函数f是连续可微（continuously differentiable），如果导数f'(x)存在且是连续函数。

连续可微函数被称作classC。一个函数称作classC如果函数的一阶、二阶导数存在且连续。更一般的，一个函数称作classC如果前k阶导数f′(x),f″(x), ...,f(x) 都存在且连续。如果对于所有正整数n，f存在，这个函数被称为光滑函数或称classC。

如果一个函数的所有偏导数在某点的邻域内存在且连续，那么该函数在该点可微，而且是classC。(这是可微的一个充分不必要条件)

形式上，一个多元实值函数f:R→R在点x0处可微，如果存在线性映射J:R→R满足

注意，偏导数都存在并不能保证函数在该点可微。