查询词典 existence theorem of implicit function

The existence theorem of generalized weak efficient solutions with respect to variable, cone for a linear G〓teaux differentiable mapping is proved with set valued mapping fixed-point theorem and the relation between a vector optimization and a variational inequality problem. The existence of weak efficient solutions for multi-objective convex vector optimization is characterized.

建立映射在线性G〓teaux可微条件下关于可变锥的广义弱有效解的存在性及多目标凸向量优化问题在G〓teaux可微条件下弱有效解的特征，利用集值映射不动点定理及向量优化与变分不等式的关系证明线性G〓teaux可微锥凸映射关于可变锥的广义弱有效解的存在性定理。

We divide the existence of generalized solutions into three theorems becauseof the existence of a generalized supersolution we need in the proof.To ob-tain this fact,we discuss three different cases separately.WhenΩhas strictconvexity,it can be proved that the generalized supersolution of (1)(2)is theconvex-monotone hull of 〓in 〓,this is theorem 2.WhenΩdoesn't hasthe strict convexity,in theorem 3 we have to suppose there exists a generalizedsupersolution.

我们的广义解的存在性结果之所以分成三个定理陈述，主要是因为在我们的存在性证明中，一个重要的事实就是广义上解的存在性，而为了得到这个事实，我们分别讨论了三种不同的情况：在定理2中的假设〓具有严格凸性时，我们证明了问题（1）（2）的广义上解就是初边值〓的凸单调包，而在〓没有严格凸性时，我们在定理3中假定了一个广义上解的存在性。

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型不动点定理和极小极大不等式组的解的存在性定理。

Main work follows:(1) In the first part of this paper, a historical development of the number theory before Gauss is reviewed.Based on the systematic analysis of Gauss"s work in science and mathematics, inquiry into the mathematical background that Disquisitiones Arithmeticae appeals and Gauss"s congruent theory;(2) The development process of Fermat"s little theorem and its important function in the compositeness test is elaborated through original literature.we think that the first three section of Disquisitiones Arithmeticae is a summary and development for ancestors" work about Fermat"s little theorem,show that Fermat"s little theorem played an important role in the elementary number theory;(3) With the two main sources of the quadratic reciprocity law, investigating Fermat,Euler,Lagrange,Legendre, until the related work of Gauss,the way to realize the laws huge push to the development of algebraic number theory in 19 centuries.

本文主要做了以下工作：(1)首先回顾了高斯之前的数论研究状况，在系统分析高斯的科学与数学成就的基础上，探讨了《算术研究》出现的数学背景和高斯的同余理论；(2)通过对原始文献的系统解读，深入分析了费马小定理发现发展的历程以及在素性检验中的重要作用，指出《算术研究》前三节是高斯在总结并发展了前人对该定理研究的基础上形成的，并揭示了费马小定理在初等数论定理证明中的核心地位；(3)以二次互反律的两个主要来源为线索，详细考察了费马，欧拉，拉格朗目，勒让德，直到高斯的相关工作，揭示了该定律对十九世纪数论发展的巨大推动作用。

This paper firstly reviews the history of Automated Theorem Proving and Mizar,then gives a description of methods of mechanical theorem proving and verification to mathematical proposition under Mizar system.Based on that basis,the paper has done some Mizar researches on mixed operation of quaternion,differentiati- on of special composite function and the application of Rolle\'s theorem.

本文首先介绍了定理机器证明和Mizar语言系统的发展历史，其次简单描述了Mizar系统下定理机器证明和校验数学命题的方法，在此基础上对四元数的混合运算，特殊复合函数的微分以及洛尔定理的应用等方面进行了Mizar实现。

The program is divided into five blocks: the main function, contracting keys function, numbers and decimal memory function, processing function, the value function, display function,rest function and positive and negative function.

将程序分为五个模块：主函数、判键函数、数字和小数点存储函数、运算处理函数、求值函数、显示函数、正负和清零处理函数。

Special attributes: func doc or doc is the function's documentation string, or None if unavailable; func name or name is the function's name; module is the name of the module the function was dened in, or None if unavailable; func defaults is a tuple containing default argument values for those arguments that have defaults, or None if no arguments have a default value; func code is the code object representing the compiled function body; func globals is the dictionary that holds the function's global variables — it denes the global namespace of the module in which the function was dened; func dict or dict contains the namespace supporting arbitrary function attributes; func closure is None or a tuple of cells that contain bindings for the function's free variables.

func defaults是一个包括有参数中设有默认值的元组；func name 或 name 是函数名。func code是一个编译后的代码对象；func globals是一个引用，指向保存了函数的全局变量的字典—-如果你在函数所在模块中定义了全局变量的话。func dict或 dict 包括了支持任意函数属性的名字空间；func closure 要么是None，要么是包括有函数自由变量捆绑的单元的元组。

Thischapter proposes three concepts,i.e.,kernelled quasidifferential,star-kerneland star-differential,and establishes their operational properties.A sufficiencytheorem and a sufficiency and necessity theorem for a quasi-kernel being a ker-nelled quasidifferential are proven.Both the existence of star-kernel for a qua-sidifferentiable function and the existence of star-differential for a directionallydifferentiable function are established.The relationships between sub-and su-per derivatives and Penot differentials are discussed as well.

这一章我们引入了三个概念，即核拟微分，星核与星微分并建立了它们的运算性质；证明了拟核为核拟微分的一个充分条件定理及一个充分与必要条件定理；建立了拟可微函数星核的存在性及方向可微函数星微分的存在性并讨论了Penot微分与上、下导数的关系。

The classical theorems of analytic function of one complex variable such as Morera theorem and Liouville theorem were generalized to the regular function, similarly to biregular function.

Clifford分析中，正则函数是单复分析中全纯函数在高维空间的推广，全纯函数的经典函数理论如Morera定理，刘维尔定理等都可推广到正则函数，同样也可推广到双正则函数。

As for the existence of positive solutions, the cone theory and the fixed point index of condensing mapping are employed, and the results of the existence of positive solutions are obtained in the case of superlinear and sublinear. The conclusions extend and improve the existence theorem which Lou Ben-dong extablished in 1996 about the question of Sturm-Liouville of Banach spaces.

三、对于正解存在性问题，我们应用凝聚映射的不动点指数理论，分别在超线性与次线性情形下进行讨论，获得了一些正解存在的结果，主要结果推广和改进了1996年Lou Ben-dong对Banach空间Sturm-Liouville问题所建立的存在性定理。

These rules reflect some inherent feature of self and nonself, and they are the basic detection criterion of GECISM.

这些规则反映了"自我"和"非我"的内在特征，是GECISM进行"非我"检测的判据。

Until today, the media from China and the outside world still uses the term "Post 89". Regardless to whether it is for commercial gimmick or convenience, everybody still remember "Post 89", a term which carries a strong Cantonese accent.

时至今日，国内外艺术媒体还是在沿用&后八九&这个称谓，不管当初是为了商业噱头还是容易上口好记，反正大家现在是记住了&后八九&这个广东口音很重的词。