查询词典 theorem

By using these convergence theorems,it presents the Silverman-To-eplitz regular theorem and Samaratunga-Sember theorem on the Abelian topologicalgroups,the Vitali-Hahn-Saks theorem on algebras and the weak sequentially completenesstheorem of 〓-dual spaces of sequence spaces,etc.

这是抽象分析中的两个基本定理。作为应用，给出了Abelian拓扑群上的Silverman-Toeplitz正则性定理、Samaratunga-Sember定理、代数上的Vitali-Hahn-Saks定理，以及序列空间的〓对偶空间之弱序列完备性定理等。

Theorem 1 constructs a set of universal measure zero using continuous extension; Theorem 2 verifies absolutely continuous function being of good property under some condition; Theorem 3 reveals some relation between real function and meager.

定理1 主要运用了连续延拓构造了一个泛测度零集；定理2 证明绝对连续函数在一定条件下具有良好的性质；定理3 揭示了实函数与第一纲集的某种关系。

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)以二次互反律的两个主要来源为线索，详细考察了费马，欧拉，拉格朗目，勒让德，直到高斯的相关工作，揭示了该定律对十九世纪数论发展的巨大推动作用。

For some special cases, the paper gives some important identical theorems, and then establishes a valuable relation between the uniformly almost periodic functions and the trigonometric polynomials.Secondly, on the basis of the identical theorem, the paper investigates the Fourier series of the uniformly B2 almost periodic functions, and further proves that the series is unique.Thirdly, the paper discusses the Parseval equation of the uniformly B2 almost periodic functions, which establishes the relation between these functions and the coefficients of their Fourier series; and next investigates an important approximation theorem-Riesc-Fischer theorem, about the uniformly B2 almost periodic functions and the trigonometric polynomials.

并给出了特殊情况下的几个重要的恒同定理，将一致概周期函数与有限三角多项式联系起来；第二，在恒同定理的基础上，给出了一致B~2概周期函数的Fourier级数，并且级数是唯一的；第三，讨论了一致B~2概周期函数的Parseval方程，建立了函数与其Fourier级数的系数之间的联系；接着给出了关于一致B~2概周期函数和三角多项式之间的一个重要近似定理—Riesc-Fischer定理。

Then we deeply studied the completeness of LP . Consequently, we established:(1) The completeness theorem of LP with truth-value in finite Lukasiewiczchain;(2) The completeness theorem of LP with truth-value in complete and atomic lattice implication algebras;(3) The completeness theorem of LP with truth-value in injective lattice implication algebras.

建立了：（1）基于Lukasiewicz有限链的格值命题逻辑系统LP的完备性定理；（2）基于完备的且原子的格蕴涵代数的格值命题逻辑系统LP的完备性定理；（3）基于内射的格蕴涵代数的格值命题逻辑系统LP的完备性定理。

Chapter 2 deals with some refinements of the central limit theorem for a class of non-uniformly hyperbolic dynamical systems called Young\'s system, such as local central limit theorem and so-called Berry-Esseen theorem giving the rate of convergence in the central limit theorem.

在第二、三章中，我们考虑一类重要的非一致双曲动力系统的统计性质-中心极限定理，及其进一步的精细结果如局部中心极限定理，带有收敛速度的中心极限定理。

On the other hand , illuminated by close relation between harmonic maps and sumanifold theory, we have also researched in-depth about some relative problems in submanifolds theory which include: the estimate of heat kernel and eigenvalue and it geometric application of submanifolds with or without boundary; many kinds of pinching problem of submanifolds which include the rigidity theorem, topological sphere theorem, differential sphere theorem and topological finite theorem.

另外，鉴于调和映照与子流形之间的密切关系，我们还要深入研究子流形几何中与之相关的一些问题，主要包括：带边与不带边子流形的热核与特征值估计及其几何应用；子流形的刚性定理、拓扑球定理、微分球面定理、拓扑有限性定理等各类Pinching问题。

The positive periodic solution of functional differential equation with infinite delay is deeply concentrated these years, some scholars study this subject by means of Lyapunov theorem, Schauder fixed point theorem, and cone extending and compression theorem (from thesis -[5]), and they obtain the existence theorem of positive periodic solution.

近年来，无穷时滞泛函微分方程的周期解问题受到广泛关注，一些学者应用Lyapunov泛函方法，Schauder不动点方法，以及非线性泛函分析中的锥拉伸锥压缩方法(见[1]-[5])，研究了无穷时滞泛函微分方程的周期解的存在性问题。

In addition, by utilizing Jacobi two square numbers theorem and Lagrange four square numbers theorem and some theta function identities, we also prove the known results of number theory: two triangular number theorem, four triangular number theorem, and the number of representations of a positive integer by various quadratic forms in terms of divisor functions

包括Jacobi二平方数定理，Lagrange四平方数定理等，然后利用这些结果结合几个theta函数恒等式，我们获得了把任意一个正整数表示成两个三角数或四个三角数的和以及其他的二次形式的方法数，这些方法数都是用因子函数来表示的。

And guided by Schur theorem, many of the Schur theorem inference arises, formed a complete theoretical system Schur theorem. Schur theorem and put many of its reasoning applied to the unitary matrix and the similarity matrix eigenvalue of proof onto.

在Schur定理的指导下，许多关于Schur定理的推论便产生了，并且形成了一个完整的Schur定理理论体系，把Schur定理和它的许多推论推广到了酉矩阵的相似和矩阵的特征值的证明上来。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。