第三百九十三章 项目进度 (第3/4页)

就落到了程诺头上。

    面对这个任务，程诺倒是没有像之前那个任务刚开始时毫无头绪的感觉，但他的心情也称不上有多轻松。

    因为这个任务，在复杂度方面，恐怕是他之前做过的三个任务的总和还要多。

    他要做好持久作战的准备。

    定理的推导当然不是天马行空的公式叠加，首先第一步，是确定需要定理的大概内容，再进行循序渐进的公式推导。

    在草稿纸上唰唰唰计算了好一阵，才打开一个文档，在键盘上噼里啪啦的打字。

    【定理1：设函数.r：m-r在点工∈m附近满足局部lipschitz条件，u，φ是包含点z的坐标卡，在点z处沿方向v∈lm的广义方向导数定义为：

    fx，v=limy→φxsupf*φ^-1y tφxv-f*φ^-1y/t=f*φ^-1φx；φ*xv.】

    【定理2：设映射f：m-r在点z∈m附近满足局部lipschitz条件.则

    i映射f*φ^-1y：m→r是有限的、正齐次、次可加的，并全满足|fx，v≤l|v|

    iifx，v作为v的函数在txm满足lipschitz条件

    iiifx，-v=-fx，v

    iv……】

    【定理3：……】

    每一个定理后面，都附带一大堆的证明步骤。

    这是一个相当庞大的工作量，程诺也还没有狂妄到想一两天的时间就能搞定。

    忙碌碌一天一天，每天都面对那枯燥无比的公式字符，程诺却乐此不疲。

    十天后，程诺将总共推导出的二十四个定理和其证明步骤