查询词典 reduction theorem

Finally, after defining an evaluation module of the corresponding Loop superalgebra (Section 4), two major results of the paper -Theorem 4.land Theorem 4.2 are proved: Theorem 4.1 reduces the irreducibility of the tensor product of finitely many evaluation modules to the irreducibility of the tensor product of finitely many irreducible modules of a nilpotent Lie superalgebra; Theorem 4.2 gives a criterion for the tensor product of such modules to be irreducible.

第4节在定义了相应的Loop超代数的赋值模之后，证明了本文的两个主要结论：定理4.1和定理4.2。定理4.1将有限多个赋值模其张量积的不可约性归结为一幂零李超代数的限多个不可约模其张量积的不可约性；定理4.2利用不可约指标给出了一幂零李超代数的限多个不可约模其张量积仍不可约的判别准则。

It includes luol theorem, Lagrange theorem and cauchy theorem, Taylor theorem.

它包括罗尔定理、拉格朗日定理、柯西定理、泰勒定理。

The use of Differential Mean Value Theorem (Rolle theorem, Lagrange's theorem, Cauchy's theorem) to solve a number of derivative and limit the problem.

利用微分中值定理（罗尔定理，拉格朗日定理，柯西定理）解决一些导数和极限的问题。

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定理和它的许多推论推广到了酉矩阵的相似和矩阵的特征值的证明上来。

First introduced the lattice-value information systems knowledge, and to partial order for the basis has been a new relationship: advantage, given the reduction and the core, the concept of simplifying the classification of features, it is also given on the approximation, and the approximate reduction of matrix determined theorem and the concept of identification, the final adoption of specific reduction of examples to illustrate this method is effective.

首先介绍了格值信息系统的相关知识，并以偏序关系为基础得到了一种新的关系：优势关系，给出了约简和核心，简化了概念的分类特征，也给出了上近似、下近似及约简的判定定理和辨识矩阵的概念，最后通过具体的例子说明这种约简方法是有效的。

The traditional distinction based on the matrix attribute reduction algorithm analysis, for distinction in the matrix "repeat" Too many elements, these "duplicate" elements not only in solving attribute reduction in the process does not work, But also reduce the time efficiency by improving the shortcomings that distinction in the matrix structure in the process of using Proposition calculus in the absorption of the law removed the distinction between the functions of the non-functional "repeat"element, a property Reduction of improved algorithm RADM, improve the efficiency of the attribute reduction.

通过对传统的基于区分矩阵的属性约简算法进行分析后，针对区分矩阵中"重复"元素过多，同时这些"重复"元素非但在求解属性约简的过程中不起作用，而且还降低时间效率这一缺点进行了改进，即在构造区分矩阵的过程中，利用命题演算中的吸收律去掉了在区分函数中不起作用的"重复"元素，提出了一种属性约简的改进算法RADM，提高了属性约简效率。

Smoking cigarettes adds to the Computer Desk Computer manufacturer computer mouse Computer Computerized collar knitter machine Conduit Bodies construction board Container Bag Control Arm Cooking Thermometer general levels of air pollution as well as damaging our health.

吸烟不仅对健康有害，而且增加空气污染程度。香烟雾含有多种有害物质：不仅有致癌化学物质、有某种能阻止氧气进入血液的气体，还有引起血压增高、心速加快的被称为尼古丁的物质。

He is one of my favorite actors.

他是我最喜欢的男演员之一。