查询词典 finiteness theorem

When proving the differential mid-value theorem,"Higher Mathematics" does know to make the auxiliary function ф in order to apply Rolle 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个定理，并在此基础上对&中间点&的渐近性进行了研究，得出了一系列&中间点&的渐近性的结果，概括了有关文献对微分中值公式的&中间点&的渐近性的讨论；给出的引理改进了函数逼近论的证明方法，精简了函数逼近论中的一些内容。

In chapter II,an extended strongly equivalent theorem forgerms with parameters is proved.The theorem is useful to constructthe factoring map between any unfoldings and universal unfolding.

在第二章中，对带有参数的核证明了一个推广的强等价性定理，这个定理在构造任意开折和普适开折因式相通的变换中有一定的应用。

Chapter 4 is devoted to the existence and multiplicity of homoclinic for self-adjoint nonlinear second order difference equations by using "Mountain Pass " theorem and "Symmetry Mountain Pass "theorem in critical point theory.

第四章应用临界点理论中的山路引理与对称山路引理研究了一类自共轭非线性二阶差分方程的同宿轨的存在性与多重性。

Based on the tree martingale decomposition theorem and the con-vergence of locally finite tree martingales,a tree martingale convergence theorem isverified.

再基于树鞅分解定理和局部有限树鞅收敛定理，证明了一个树鞅收敛定理。

In this paper, a fixed value theorem for direct areas of height triangle s in circular inscribed polygons is obtained, and some results, including the famous height theorem in a triangle, are deduced.

给出圆内接 2n +1边形中高线三角形有向面积的定值定理及其推论，其中包括著名的三角形的高线定

From the view of the number of composition series and table subset of order or elementary abelian table algebra is depicted by making use of fundamental theorem on homomorphism of table algebra.

分别从合成列及表基的p阶、阶表子集的数目角度刻画了初等abelian表代数。

Arad and Blau proved that an abelian table algebra can be viewed as a group algebra of some abelian group G. Chapter 3 of this paper gives the structural theorem of abelian table algebras by defining a group structure in table basis. Furthermore, the structure of elementary abelian table algebras is discussed using the number of composition series of table algebras.

Arad和Blau证明了abel表代数等价于某个有限生成abel群G的群代数，受此启发本文第3节通过定义表基的一个群结构给出了abel表代数的结构定理，并从合成列数目的角度对初等abel表代数进行了细致刻画。

In chapter 4, a family of two-parameter operators on Abelian group is introduced and its interpolation theorem for approximation is established.

所得的结果包含了R.DeVore定理作为特款，还包含了算子逼近的插补定理，是非线性逼近方面的一项基础性工作。

When G is a finite abelian group, the abelian group K_1, iscalculated completely mainly using the Bass-Milnor-Serre theorem, then the structure of K_1{ZG,|G|г is clear.

K_1。 3。利用Bass-Milnor-Serre定理，我们首先计算出了G是一个有限交换群时的K_1，也就计算出了(来源：e2ABC论文网www.abclunwen.com)K_1；当G是2阶和3阶循环群时，我们计算出了K_2=1，这个结果有待于继续推广，对于计算一些环的K_2群会有所帮助。

There had been a moment during the breakfast meeting, though, after the backslapping and the small talk and when all of us were seated, with Vice President Cheney eating his eggs Benedict impassively and Karl Rove at the far end of the table discreetly checking his BlackBerry, that I witnessed a different side of the man.

那次早餐会期间，在表示过关心和寒暄以后，我们所有人坐了下来，我注意观察了一下，副总统切尼面无表情地吃着班尼迪克蛋（Eggs benedict，源自美国，以英式松饼、火腿、水煮蛋以及荷兰酱组合而成），卡尔。罗夫在餐桌的远端谨慎地经常查看他的黑莓手机，我目睹了他所不为人知的一面。

Talk Undelete failed; someone else may have undeleted the page first.

Talk 无法删除选定的页面或图像（它可能已经被其他人删除了）。