查询词典 theorem

Equidistance point and difference theory in theory of function approximation are studied. Meanwhile, the relation among difference, difference quotient and derivate is revealed. By drawing Lagrange's and Cauchy's theorem of mean on difference and Taylor's formula into difference function, four theorems, such as Lagrange's theorem of mean on difference, are concluded in simple way. On the basis of these conclusions, the asymptotic property of middle point is studied, a series of new conclusions are drawn and the discussions on the asymptotic property of middle point in differential mid-value are summarized.

对函数逼近论中等距节点和差分理论进行了研究，揭示了差分、差商与导数之间的联系；将Lagrange中值定理、Cauchy中值定理、Taylor公式引入到差分函数中，简明地推导出Lagrange差分中值定理等4个定理，并在此基础上对"中间点"的渐近性进行了研究，得出了一系列"中间点"的渐近性的结果，概括了有关文献对微分中值公式的"中间点"的渐近性的讨论；给出的引理改进了函数逼近论的证明方法，精简了函数逼近论中的一些内容。

The others problems discussed are nested interval method, Cantor theorem, C del incompleteness theorem and Axiom of choice etc.

同时对区间套法，康托定理，哥德尔定理，选择公理等与之密切相关的一些问题，作了深入讨论并得出创新性结论。

Firstly, we prove the existence and uniqueness of the adapted solution of multi-dimensional backward stochastic differential equations driven by Brownian motion and Lévy process by using predictable representation theorem and the fixed point theorem about contract mapping, and also prove the comparison theory.

第一部分运用可料表示定理和压缩映射原理证明由布朗运动和Lévy过程共同驱动的多维倒向随机微分方程适应解的存在唯一性及其相应的比较定理。

In chapter 5,we introduce the De Morgan algebra of metric and investigate the pseudo-metric Uniformity and the pseudo-metric topology and the separation axioms in De Morganalgebra of metric.We establish the Baire category theorem and the Banach contraction theo-rem,the Edelstein contraction theorem and other fixed quasi-atom theorems in De Morganalgebra of metric.In final,we give a sufficient condition for the metrization of a De Morganalgebra of topology.

在第五章里，我们地德摩根代数中引进了伪度量，探讨了伪度量一致和伪度量拓扑以及德摩根度量代数的分离公理，得到了Baire范畴定理、Banach收缩定理、Edelstein收缩定理以及其它不动拟原子定理，最后给出一个德摩根拓扑代数可度量化的充分条件。

Theorem g is called binomial theorem.

定理g称为二项式定理。

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定理，刘维尔定理等都可推广到正则函数，同样也可推广到双正则函数。

By using the integral equation and the Schauder fixed point theorem, through considering the height of nonlinear term on some bounded set, a new existence theorem is established.

利用积分方程和Schauder不动点定理，通过考察非线性项在某些有界集合上的高度建立了一个新的存在定理。

Theorem and Burnside Theorem about p-nilpotence.

和Burnside关于p-幂零的定理。

As to its computing methods, this paper synthesizes six kinds, they are: utilizing a general integral method of complex function directly; utilizing Cauchy integral theorem; utilizing Cauchy integral formula; utilizing Cauchy high-level differential coefficient; utilizing Cauchy residue theorem; utilizing the residual of logarithm.

关于周线积分的计算方法，本文综合了六种，它们分别是：直接利用一般的复变函数积分的方法；利用柯西积分定理；利用柯西积分公式；利用柯西高阶导数公式；利用柯西留数定理；利用对数留数。

The thesis consists of the followingmain results:the Cauchy's integral formula on certain distinguished boundaryfor LR regular functions with values in a universal Clifford algebra 〓,theCauchy's integral theorem,the mean value theorem,the maximum modulus the-orem.the Taylor's expansion,the Laurent's expansion and the residue theoremetc..

第一章叙述了泛Clifford代数基本理论，其中，我们首先准确而又富有创造性地给出了在泛Clifford代数〓上的一个对合运算表示，由此，我们给出了在泛Clifford代数〓上的一个内积，然后，我们借此给出了在泛Clifford代数〓上的相应的两个等价的范数，并证明了若在〓上赋予其中的一个范数，则〓是一个Banach代数。

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.

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