数学定理G-L部分【参考】.docxVIP

柯西-利普希茨定理 局部定理：设E为一个完备的有限维赋范向量空间（即一个巴拿赫空间），f为一个取值在E上的函数：其中U为E中的一个开集，I是中的一个区间。考虑以下的一阶非线性微分方程：如果f关于t连续，并在U中满足利普希茨条件，也就是说，那么对于任一给定的初始条件：?，其中?、，微分方程（1）存在一个解?，其中??是一个包含??的区间，?是一个从?射到??的函数，满足初始条件和微分方程（1）。局部唯一性：在包含点的足够小的区间上，微分方程（1）的解是唯一的（或者说，方程所有的解在足够小的区间上都是重叠的）。这个定理有点像物理学中的决定论思想：当我们知道了一个系统的特性（微分方程）和在某一时刻系统的情况（）时，下一刻的情况是唯一确定的。局部定理的证明：一个简洁的证明思路为构造一个总是满足初始条件的函数递归序列，使得，这样，如果这个序列有一个收敛点??，那么为函数的不动点，这时就有，于是我们构造出了一个解。为此，我们从常数函数开始。令这样构造出来的函数列中的每个函数都满足初始条件。并且由于??在??中满足利普希茨条件，当区间足够小的时候，成为一个收缩映射。根据完备空间的不动点存在定理，存在关于的稳定不动点，于是可知微分方程（1）的解存在。由于收缩映射的局部稳定不动点只有一个，因此在足够小的区间内解是唯一的。最大解定理：局部的柯西-利普希茨定理并没有说明在较大区域上解的情况。事实上，对于微分方程（1）的任意解、，定义一个序关系：小于当且仅当?，并且在上的值与一样。在这个定义之下，柯西-利普希茨定理断言，微分方程的最大解是唯一存在的。证明思路：解的唯一性：假设有两个不同的最大解，那么由局部柯西-利普希茨定理可以证明其重叠部分的值相同，将两者不同的部分分别延伸在重叠部分上，则会得到一个更“大”的解（只需验证它满足微分方程），矛盾。因此解唯一。解的存在性：证明需要用到佐恩引理，构造所有解的并集。扩展至高阶常微分方程：对于一元的高阶常微分方程，只需构造向量和相应的映射，就可以使得（2）变为。这时的初始条件为，即柯西中值定理 内容：如果函数及满足在闭区间上连续；在开区间内可导，对任意，那么在内至少有一点使等式成立。其几何意义为：用参数方程表示的曲线上至少有一点，它的切线平行于两端点所在的弦证明：首先，如果，由罗尔定理，存在一点使得，与条件3矛盾。所以。令。那么在上连续，在上可导，。由罗尔定理，存在一点使得。即。命题得证。可靠性定理 定义：可靠性定理（或健全性）是数理逻辑的最基本结果。它们有关于某个形式逻辑语言与这个语言的形式演绎系统的特定语义理论。可靠性定理有两种主要变体：弱可靠性的和强可靠性的。“强”与“弱”的意义在于，强可靠性考虑句子的任意集合，而与弱可靠性有关的句子的空集是这种集合之一。大多数但不是全部演绎系统，强可靠性和弱可靠性都成立。论证可靠性：逻辑论证可靠当且仅当论证有效。所有前提皆已被证实为真。弱可靠性定理：演绎系统的弱可靠性定理声称，在这个演绎系统中任何可证明的句子，在所有释义或这个理论所基于的语言的语义理论的模型上为真。用符号表示，这里的S是演绎系统，而L是语言和一起的它的语义理论，而P是L的句子：若，则。强可靠性定理：演绎系统的强可靠性定理声称，演绎系统所基于的语言的任何句子P，可以从这个语言的一个句子集合Γ推导出来，则它也是这个集合Γ的语义推论，在使Γ的所有成员为真的任何模型也使P为真的意义上。用符号表示，这里的Γ是L句子的一个集合：若,则。与完备性定理的联系：可靠性定理的逆命题是语义完备性定理。在强形式下，它声称对于一个演绎系统和语义理论，是一个句子集合的语义推论的任何句子可以在这个演绎系统中从这个集合推导出来。（在一阶完备性定理的情况下常叫做哥德尔完备性定理。）用符号表示：若，则。非形式的，演绎系统的可靠性定理告诉我们用这个演绎系统可以推导或证明的任何东西都是你希望能够推导或证明的东西。因此，没有你不想推导出的东西可以被推导出来。所以，推导关于语义可以被信任。完备性告诉我们你希望能被推导或证明的所有东西都可以被推导出来。哥德尔第一不完备定理保证对于有充分表达力的语言，可能没有演绎系统关于经典语义是完备的，在其中所有句子是要么为真要么为假。因此，不是所有可靠的演绎系统都是完备的。而可靠性一般被认为是对有价值的演绎系统根本上的最小要求。这是因为如果演绎系统是不可靠的，在这个系统中可以被推导或证明的一个句子不告诉我们关于这个句子的语义性质的任何事情。克莱姆法则 定义：克莱姆法则（Cramers rule，或“克拉玛公式”）是一个线性代数中的定理，它用行列式来计算出线性等式组中的所有解。这个定理因加百列·克莱姆（1704年 - 1752年）的卓越使用而命名。在计算上，它不是最有效率的，所以在很多条等式的情况中没有被广泛应用。