查询词典 theorems for limits

In this paper,by using the comparison theorems and constructing suitable Lyapunov function, the sufficient conditions are obtained for the permanence and existence of globally asymptotically stable positive periodic solution of the system.

研究了具有反馈控制的n种群非自治周期竞争系统的持续性，利用微分不等式并构造适当的Lyapunov函数得到系统存在惟一、全局吸引的正周期解的充分条

In the third chapter, we use the method of localization at infinity of space to study index theorems with coarse geometry.

第三章利用在空间无穷远处的局部化方法研究了关于粗几何的指标问题。

By studying the generalized automorphism groups,we obtain some results which generalize some related classical theorems,including a theorem of P.

通过研究群的广义自同构群，该文得到了若干结果，推广了一些相关的经典定理，包括P。

A corresponding theorem is obtained by using an auxiliary function and two main theorems.

定理的证明主要利用p-adic亚纯函数论中的两个基本定理和一个辅助函数。

On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.

罗素在弗雷格研究的基础上，提出逻辑类型论来解决罗素悖论，以非集合论理论为基础，以无穷公理和选择公理为前提，利用逻辑概念定义数学概念，并构造系统，通过逻辑演绎法从逻辑公理推导数学定理。

Secondly, by using of the medium axiomatic set theory, a natural number system in MS is constructed, and it is proved that five axioms of Peano′s natural number system are theorems is MS.

其次，利用中介公理集合论MS的相关理论，构造了MS中的自然数系统，证明了Peano5条公理为MS中的定理。

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收缩定理以及其它不动拟原子定理，最后给出一个德摩根拓扑代数可度量化的充分条件。

The corresponding fixed point theorems of ordered mappings in ordered Banach space were improved and generalized.

结论改进和推广了相应的序Banach空间中序映射的不动点定理。

Some theorems about modulus of continuity were obtained by discussing the Bernstein polynomial.

首先定义了微晶粒的化学势，进而利用它推导出2个高分散度物性的数学函数式，最后根据推导结果讨论过饱和溶液，过冷液体两种介稳状态的存在原

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

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。