实数上可以定义这样一个函数formula_1，它对正数取值为 1，负数取值为 −1，0 取值为 0。这个函数通常被称为符号函数：当formula_3不为 0 时，则有：这里，formula_5为formula_3的绝对值，formula_7为单位阶跃函数。请参见导数。