说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> KKM型定理和重合点定理
1)  KKM type theorem and coincidence theorem
KKM型定理和重合点定理
2)  KKM theorems and coincidence theorems
KKM定理和重合点定理
3)  KKM type theorem
KKM型定理
1.
KKM type theorem in FC-space and its applications;
FC-空间内的KKM型定理及应用
2.
Some new generalized KKM type theorems are proved in noncompact FC- spaces.
在非紧FC-空间中证明了一些新的广义KKM型定理。
3.
The obtained new theorem is applied to obtain an abstract variational inequality, a KKM type theorem and a fixed point theorem.
作为应用,证明了一个抽象变分不等式,一个KKM型定理和不动点定理。
4)  KKM type theorems
KKM型定理
1.
We introduce a class FC-KKM(X,Y) of set-valued mappings in FC-space,and establish some new KKM type theorems and coincidence theorems involving the class FC-KKM(X,Y).
在FC-空间中引入FC-KKM(X,Y)集值映象类,并在FC-空间中证明了一些新的KKM型定理和重合点定理,作为应用,证明了FC-空间中广义矢量平衡问题平衡点的存在定理。
5)  R-KKM type theorem
R-KKM型定理
1.
In this paper,by using generalized R-KKM type theorems in topological spaces,some existence theorems of solutions for equilibrium problem with lower and upper bounds are obtained.
应用拓扑空间中的广义R-KKM型定理,对拓扑空间中有上下界的平衡问题,证明了解的存在性定理。
6)  Fan-KKM theorem
Fan-KKM定理
1.
By using the well-known Fan-KKM theorem,the existence theorems of solutions for Stampacchia vector equilibrium problems on noncompact sets in topological vector spaces are obtained.
在拓扑向量空间中,利用著名的Fan-KKM定理,得到非紧集上Stampacc ia向量均衡问题的解,推广和发展了近期的一些研究结果。
补充资料:定理


定理
theorem

  定理【theorau;TeopeMa] 真实性得到证明(Proof)的数学命题. 定理概念是与数学证明概念一起发展并且变得更加精确的.就公理方法(a粗。Tnaticlr止thod)来说,所考虑的理论中的定理是由事先选定的称为公理(a幻or。)的命题,用纯逻辑的方法导出的命题.由于假定公理是真的,定理也应该是真的.定理概念和证明概念的进一步精确与数理逻辑中对逻辑结果(】。乡calconsequence)概念的研究分不开,因此对于广泛的一类数学理论,就有可能把逻辑演绎过程归约为公式变换;所谓公式无非就是在一个适当的形式化语言(for-叮以血edh列多坦罗)中用确切的表述法则(演绎法则,见推导法则(deriva石。们n日e))写成的数学命题,演绎法则只考虑命题形式(不考虑内容).在用如此方式产生的形式理论中,证明(p代旧f)就是给出公式的一个有限序列:序列中的每一个公式或是一条公理,或是由序列的前面的公式根据演绎法则而得.一个公式称为一个定理,如果它是一个证明中的最后的公式. 定理概念的如此精细改进,提供了用严格数学方法得到数学理论的一系列重要结果的可能性.特别地,已经证明,表达数学实质章节的公理化理论(如算术)是不完全的,也就是说,存在一些命题,它的真或假是不能根据公理用纯逻辑的方法加以证明的.通常这些理论是不可判定的.也就是说,不存在一个统一的方法(算法)以便可以判定一个任意给定的命题是不是一个定理.B.E.山‘。撰
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条