查询词典 theorem of implicit functions

We would like to point out that our proof of the singularity层次structure theorem (Theorem 7.1.1) is different from that of Perelman in two aspects:(1) we avoid using his crucial estimate in Claim 2 in Section 12.1 of [103];(2) we give a new approach to extend the limit backward in time to an ancient solution.

这个特解大致上走的正是小佩避免使用定理7.4的那条路，不过曹朱强调：在这个"完整证明"中所用的定理7.1.1证明与小佩所采用的方式有两点不同

Part Three The study of Lattice-valued Modal First-order Logic System and Its Resolution Principle In this part, we introduced quantifiers and predicate into LMP, put up lattice-valued modal first-order logic system LMF, and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. Moreover, in order to judge the satisfiability of formula, defined Skolem standard type and H-interpretation. Based on these work, made a primary discussion of a - resolution principle based on LMF.

第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统LMP队）中引进量词和谓词，建立格值模态一阶逻辑系统LMF（广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的 Skolem标准型和体解释；在此基础上，对基于系统LMF的a一归结原理进行了初步探讨。

By applying existence theorems of maximal elements for a family of GB-majorized mappings in a product space of G-convex spaces, some coincidence theorem, Fan-Browder type fixed point theorem and some existence theorems of solutions for a system of minimax inequalities are proved under noncompact setting of G-convex spaces.

通过应用G-凸空间的乘积空间内一族GB-优化映象的极大元的存在定理，在G-凸空间的非紧设置下证明了某些重合点定理，Fan-Browder型不动点定理和极小极大不等式组的解的存在性定理。

Since then,by applying the Leray-Schauder continuation theorem,nonlinear alternative of Leary-Schauder,coincidence degree theory,and Krasnoselskii's fixed point theorem,many researchers have studied more general nonl...

研究了一类二阶非线性常微分方程的三点边值问题多重正解的存在性问题，在非线性项不满足超线性或次线性的条件下，利用不动点指数定理得到了至少存在两个正解的几个充分条件。

Chapter 6 is contributed to studying the convergence properties of pariwise NQD random sequences. We extend the Kolomogrov-type inequality, Baum and Katz complete convergence, the three series theorem, Marcinkiewicz strong law of large number and Jamison theorem.

第六章研究两两NQD列的收敛性质，首先给出两两NQD列的Kolmogorov型不等式，进而讨论它的若干收敛性质，获得了与独立情形一样的Baum和Katz完全收敛定理；几乎达到独立情形著名的Marcinkiewicz强大数定律，三级数定理，推广了著名的Jamison定理。

We discussed the stability of the system balance, used the Poincare-Bendixson's annular region theorem to prove the existence, and used the Zhang Zhifen unicity theorem to prove the uniqueness of limit cycle, at the same time give meaning to the corresponding conclusions on the ecology.

讨论了系统平衡点的稳定性，用Bendixson环域定理证明极限环的存在性，借助张芷芬唯一性定理证明极限环的唯一性，同时对相应结论的生态学意义给予说明。

For the uniqueness problem of generator, by using some new methods (see Theorem 2.2.7), we prove the uniqueness theorem of generator under the assumptions which guarantee that the solution exists and is unique.

对于生成元的唯一性问题，我们采用与已有文献不同的全新的方法(见论文定理2.2.7)，在仅保证方程解存在唯一的假设条件下，证明了生成元的唯一性定理。

The Uniqueness Theorem for electric field and its proof is presented in detail in textbooks, but the Uniqueness Theorem for magnetic isn't given enough infor mation for us.

课本中给出了静电场唯一性定理的表述形式及其严格证明，对于磁场部分则是点到即止。

The existence and uniqueness of the limit cycle are proved by applying Poincare-Bendixson theorem and Zhang Zhifen's Uniqueness theorem.

运用Poincare-Bendixson环域定理，证明了极限环的存在性。这用张芷芬惟一性定理，注明了极限环的惟一性。

This paper focuses on the Schur theorem and the proof of it, the definition of a unitary matrix, Schur theorem given several important inference, and its application in the matrix above few examples.

本文重点研究了Schur定理的内容和它的证明，定义了酉矩阵，给出了Schur定理的几个重要推论，以及其应用在矩阵上面的几个实例。

Who? I never heard of him, Paul said, before asking teammate James Posey if he had heard of him.

赛后，科比说，他一直都是一名非常出色的射手，今天他打得很棒。

When I joined the company, I rotated around the different sections.

我加入这个公司时，轮换过几个不同的部门。