6.2 有限时间稳定的概念及引理