查询词典 theorem

We prove an extension of the representation theorem of the convex pricing rule. We also give the corresponding probabilistic repre-sentation theorem of the convex pricing rule in a financial market with convex constraints.

我们证明了凸价格算子相应的表示定理，并给出了在凸约束的金融市场下凸价格算子的一个概率表达式。

Automated geometric theorem proving, as a byproduct of the completion of geometric theorems, is further developed into automated quantitative description of geometric relations. The recovery of the geometric meaning of this quantitative description leads to a natural extension of the geometric theorem.

几何定理的机器证明作为几何定理完全化的副产品，被发展成几何定理的关系定量化，这种量化的几何还原就是几何定理的自然推广。

Through presentation and discussion of traditional wavelet construction with lifting scheme, the multiwavelet construction with lifting scheme is introduced. The extension of Vetterli-Herley theorem under multiwavelet condition is overall proved in detail. Based on equivalent scalar filters banks, a kind of multiwavelet construction with lifting scheme and corresponding theorem are proposed.

通过介绍基于提升格式构造传统小波的内容，引入基于提升格式构造多小波的研究，对Vetterli-Herley定理在多小波中扩展进行详细全面地证明，提出了一种基于等效标量滤波器组的提升格式构造多小波的实现框架和定理，并通过实例验证该方案的可行性。

Meantime, the Namioka-Bauer's and Wong's positive extension theorem are generalized to ordered locally convex spaces (see Theorem 5.1) and hence some new necessary and sufficient conditions of positive extension in ordered locally convex spaces are obtained

同时Namioka-Bauer 定理和 Wong定理也被推广到半序局部凸空间中(定理5.1)，从而得到了一些新的关于半序局部凸空间中正延拓的充分必要条件

The contents are the following:In chapter two, the existence and multiplicity results for the following equation of p-Laplacian type are obtained.For the elliptic quasilinear hemivariational inequality involving the p-Laplacian operator,in order to use the mountain pass theorem proving the existence result, the authors usually need to use the uniform convexity of the Sobolev space to prove the energy function satisfies the PS condition. But for the p-Laplacian type equation mentioned above, this method is no use. To overcome this difficulty, the potential function is assumed to be convex, then I prove the existence result and by using the extension of the Ricceri theorem, the multiplicity result for the problem is obtained.

在第二章我们首先考虑关于以下p-Laplacian型(p-Laplacian type)方程非平凡解及多解的存在性对于带有p-Laplacian算子的椭圆拟线性半边分不等式问题，为应用非光滑的山路引理证明解的存在性，在证明方程所对应的能量泛函满足非光滑的PS条件时，需利用Sobolev空间的一致凸性，但是对于具有更一般形式的算子的p-Laplacian型方程，不具备上述性质，在文中为克服这一困难，本人对位势泛函做了一致凸的假设，从而证明了解的存在性，并应用推广的Ricceri定理，证明了方程三个解的存在性。

Letг is a theory,if г has extensions,then the theorem of the theory г is the intersectionof its all extensions;if г has no extension,its theorem is the whole language.

由于非单调逻辑I中出现了一些与直觉相悖的情形，为此，D。

In exterior differentiation, one studies tensors, exterior algebra, tangent bundle, tangent vector fields, one-parameter groups action on a manifold, Frobenius's theorem, tensors fields, exterior differential form, integration on manifolds, Stokes's theorem etc.

外微分部分主要涉及外代数、切丛，光滑切向量场，单参数变换群，光滑张量场，外微分形式，Frobenius定理，外微分形式的积分，Stokes定理及其应用等。

In chapter2 we obtain the constructure theorem and intechange theorem of 2-tournaments.wefind the correlation between the number of 3-cycles and 2-cycles in 2-tournament andits score vector,discuss a class of extreme value problem of tournament,answer partlya open problem posed by Brualdi.

第二章讨论了2-竞赛图和竞赛矩阵的一些基本问题：存在性和结构问题，证明了具有相同得分向量的任意两个2-竞赛矩阵可以通过三角形转换而互相得到，得到了2-竞赛图中2-圈与3-圈的数目与得分向量之间的关系式；讨论了2-竞赛中的一类极值问题，部分地回答了Brualdi〓的一个问题。

The reason of our being particularly overjoyed lies primarily on the fact that the subject of this Congress is mathematics, which has been respected as "the queen of sciences" for its brilliant intellectual accomplishments, as suggested by the examples of the discovery of Goedel's theorem and the proof of the Fermat Last theorem in the last century.

我上面说感到"特别高兴"，是因为数学一向以其辉煌的智力成就而被尊为"科学的皇后"，如上一世纪哥德尔定理的提出与费马大定理的证明就是一例。

Schur theorem was discovered by German mathematician Schur in 1916 when researching on the limited domain of Fermat's great theorem.

Schur定理是德国数学家Schur在1916 年研究有限域上的Fermat 大定理时发现的。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。