的赋范向量空间（例如formula_7），设是的开子集。考虑一个自治的非线性动力系统：其中formula_9是系统的状态向量，formula_10是上的连续函数。假设函数有一个零点：0，则常数函数：是动力系统的驻定解（或称平衡解）。称是动力系统的平衡点。它们的直观几何意义是：设有状态函数，其初始取值为formula_27。称formula_28为的轨迹。如果对所有初始值与足够接近的状态函数，两者的轨迹会趋于相同：则称的轨迹有（局部）吸引性（attractive）。若上述条件对所有均成立，