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

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

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

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

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

    f(x，v)=lim(y→φ(x))supf*φ^(-1)(y+tφx(v))-f*φ^(-1)(y)/t=(f*φ^(-1))(φ(x)；φ*x(v).】

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

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

    (ii)f(x，v)作为v的函数在txm满足lipschitz条件

    (iii)f(x，-v)=-f(x，v)

    (iv)……】

    【定理3：……】

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

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

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

    十天后，程诺将总共推导出的二十四个定理和其证明步骤，打包发给菲涅尔教授，随后很自觉的，向他要了下一阶段的工作。

    又是一个五天后，程诺接到的新任务完成了才一半不到，就被江里紧急召唤到麻省理工学院棋牌社的总部。

    “我记得明天是开赛的日子，我会准时去的，这个就不用你再三提醒我了。”程诺坐在椅子上，对如今的棋牌社社长江里说道。

    -->>(第 3/4 页)（本章未完，请点击下一页继续阅读）