formula_1类函数（Class kappa function）也称为是在控制理论中判断非自治系统（nonautonomous system）是否稳定时会用到的一类函数，会将其他函数和formula_1类函数比较，以确认系统的稳定性。连续函数formula_3若满足以下条件，则属于formula_1类函数：连续函数formula_3若满足以下条件，则属于formula_7类函数：若一非递减的正定函数formula_11满足所有formula_1类（或formula_7类）函数的条件，只有严格