formula_7 y dicha función candidata de Liapunov si es localmente (en 0) una función definida positiva o, equivalentemente, si existe un entorno formula_8 de 0 tal que