设函数y=f(x)在x的邻域内有定义,x0及x0+Δx在此区间内。如果函数的增量Δy=f(x0+Δx)−f(x0)可表示为Δy=AΔx+o(Δx),而o(Δx0)是比Δx高阶的无穷小,那么称函数f(x)在点x0是可微的,且AΔx称作函数在点x0相应于自变量增量Δx的微分,记作dy,即dy=AΔx。
在微积分学中,可微函数是指那些在定义域中所有点都存在导数的函数。可微函数的图像在定义域内的每一点上必存在非垂直切线。因此,可微函数的图像是相对光滑的,没有间断点、尖点或任何有垂直切线的点。
一般来说,若X是函数ƒ定义域上的一点,且ƒ′(X)有定义,则称ƒ在X点可微。这就是说ƒ的图像在(X, ƒ(X))点有非垂直切线,且该点不是间断点、尖点。