查询词典 theorem

This paper describes the content of the theorem, and theorems are given two proofs, cite the Lagrange mean value theorem in the mathematics major applications, including that inequality, identity, Limit, determine monotonicity, root The existence of such.

本文简要叙述了定理的内容，并且给出了定理的两种证明方法，例举了拉格朗日中值定理在数学中的主要应用，包括证明不等式，恒等式，求极限，判断单调性，根的存在性等。

This article will write divides into several kinds, the centralism typical sample question, carries on the induction to the Lagrange theorem of mean in the application which the inequality proved to summarize, hoped that the reader can better grasp the Lagrange theorem of mean in the inequality application skill.

本文将题型分成几类，集中典型例题，对拉格朗日中值定理在不等式证明的应用中进行归纳总结，希望读者能够更好的掌握拉格朗日中值定理在不等式中的应用技巧。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

There are proved the theorems on convergence of sequences of the integral, which are similar to Levi's theorem, Fatou's theorem and so on in Lebesgue's integral.

4中引进了一类特殊的所谓λ次可加模糊测度空间，给出了这种测度空间上收敛性的Егоров定理和Riesz定理并得到了该空间上的模糊积分在积分号下取极限的一些充分条件。

This paper investigates alternating iterative method and generalized alternating method for the solution of a large linear system, extend the convergence theorem and comparison theorem for generalized or alternating iterative method when the coefficient are Hermitian positive definite systems.

本文主要研究了大型线性方程组的交替迭代法及迭代法的各种变形，给出了当系数矩阵为Hermitian正定矩阵时各类迭代法的收敛原理及其相应的比较理论。

This paper weakened the Liouville s theorem conditions,and gives the Liouville theorem of a promotion.

弱化了刘维尔定理的条件，给出了刘维尔定理的一个推广。

A three solutions theorem of nonlinear operator equation in Hilbert space was given by Sun Jing-xian in 1983,in this paper,the theorem was expanded to general Banach space by using gradient method ,and some conditions was weakened,such as the local Lipschitz condition s transformation to the bounded character of F and so on.

依据H ilbert空间中非线性算子方程的一个三解定理，本文运用最速下降法将这个定理推广到了一般的Banach空间，并且减弱了原定理的某些条件，如将局部Lipschitz条件减弱为F的有界性等

By employing the local Lipschitz condition and Picard sequence, the local existence-uniqueness of solutions of stochastic functional differential equations of Ito-type is firstly obtained. Furthermore, a continuation theorem for stochastic functional differential equations of Ito-type is given by using stochastic analysis technique and the quasi-boundedness condition. Finally, by establishing some delay differential inequalities and using properties of H_m-functions, a stochastic version of Wintner theorem and the global existence-uniqueness of solutions of stochastic functional differential equations of Ito-type are given. The results generalize the earlier publications.

首先，利用局部Lipschitz条件和Picard序列，获得了伊藤随机泛函微分方程解的局部存在唯一性；其次，利用随机分析技巧和拟有界条件，建立了伊藤随机泛函微分方程解的延拓定理；最后，通过建立一些时滞微分不等式和利用H_m-函数的特性，得到了Wintner定理的随机版本和伊藤随机泛函微分方程解的全局存在唯一性，推广了已有的一些结果。

Firstly, the existence and uniqueness of the solution for neutral stochastic functional differential equations with infinite delay under the uniformly Lipschitz condition, linear grown condition and contractive condition can be directly derived; And the moment estimate of the solution and the estimate for error between the approximate solution and the accurate solution can be both given; If the uniformly Lipschitz condition is replaced by the local Lipschitz condition, the existence and uniqueness theorem can be gained; Meanwhile, the existence and uniqueness of the global solution in the interval 0,+∞ can also be obtained; Secondly, L~p-exponential estimate of the solution for neutral stochastic functional differential equations with infinite delay can be studied; At length, the theorem of the local solution about neutral stochastic functional differential equations with infinite delay only under the local Lipschitz condition and the contractive condition can be established.

首先，在一致Lipschitz条件，线性增长条件和压缩性条件下，直接得到了具无限时滞中立型随机泛函微分方程解的存在惟一性，并给出了解的矩估计，近似解与精确解之间的误差估计；将一致Lipschitz条件替换为局部Lipschitz条件，也得到了具无限时滞中立型随机泛函微分方程解的存在惟—性，同时，也给出了在整个区间0，+∞上具无限时滞中立型随机泛函微分方程解的存在惟一性定理；其次，也讨论了具无限时滞中立型随机泛函微分方程解的L~p指数估计；最后，在局部Lipschitz条件和压缩性条件下，建立了具无限时滞中立型随机泛函微分方程局部解的存在惟一性定理。

First,we consider the lower semicontinuity property fora functional with linear growth in LDΩthe second, in the SBD space,we discussthe lower semicontinuity of an integral functional that the integrand is a Carathéodoryfunction and that satisfies a symmetric quasi-convex assumption, by the compactnesstheorem of the SBD space,blow-up method and Morrey theorem,prove that integral functional is lower semicontinuous with respect to L~1- convergence;then by using theone-dimentional sections method and the structure theorem of the BD functions, dis-cuss the lower semicontinuity of the integral functional in the whole BD space.

首先我们考虑LD空间满足线性增长的积分泛函的下半连续性；其次在SBD函数空间讨论了被积函数为Carathéodory函数时的积分泛函在满足对称拟凸条件时的下半连续性，主要利用SBD函数空间的紧性定理和blow-up方法以及Morrey定理等给出了积分泛函关于L~1-强收敛的下半连续性；然后利用BD函数的一维截断方法和结构定理，讨论了在BD全空间上的积分泛函的下半连续性。

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.

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