在数学中，指函数在某一点附近可以被一个线性映射很好地近似，即使该点本身可能不可导。常用于泛函分析和变分法。