查询词典 elimination theorem

We give a brief proof of the existence theorem of Supremum and Infimum of a bounded set of fuzzy numbers given by Wu cong-xin and Wu chong in [30] . It is used to establish the monotone convergence theorem and the nest theorem of closed intervals on E〓,τ

给出了吴从忻、吴冲[30]得到的模糊数集的确界存在定理的一个简洁证明，并利用此定理在空间E〓，τ(l中建立了模糊数序列的单调收敛定理和闭区间套定理。

Theorem C: The commutator algebra of so *(2 n ) is its own, and the commutator algebra ofand the commutator algebra of Theorem D: The Cartan subalgebra ofand the Cartan subalgebra of Theorem E: The structural formula of

定理C so *(2 n )的换位子代数就是其本身， g *(2 n， S ， C )的换位子代数为g *(2 n + 1， S ， C)的换位子代数为定理D so *(2 n )和g *(2 n ， S ， C )的Cartan子代数是定理E so *(2 n )和g * m， S ，(来源：AB78C论文网www.abclunwen.comC 的结构公式都是来源：A6bBCe9论文网www.abclunwen.com

Secondly,we firstly study the properties of functions with values in a uni-versal Clifford algebra 〓,and we obtain the following very important basictheorems in universal Clifford analysis:Cauchy's integral formula,Cauchy's inte-gral theorem,the mean value theorem,the three versions of the maximum mod-ulus theorem,the Taylor's expansion,the Laurent's expansion and the residuetheorem etc..All of these results generalized the classical results.

第二，本文所讨论的各种函数性质以及所得的结果都在泛Clifford代数〓上所做的工作，它一方面包含了从前在泛Clifford代数〓上所做的工作，所得到的结果更广泛、更漂亮、更自然，另一方面，本文也是迄今为止第一次建立起来了在泛Clifford分析中与经典函数论相对照处基础地位的LR正则函数在特异边界上的Cauchy积分公式、Cauchy积分定理、平均值定理、极大模原理的三种表达形式、Taylor展式、Laurent展式留数定理等深刻的结果。

Second,we introduce some important theorems we use in this paper,that is traverse theorem,martingale central limit theorem and slutsky theorem.

此外，还介绍了本文中所应用的主要定理，例如遍历定理，鞅中心极限定理以及slutsky定理等。

The key concepts are "isomorphism" and "symmetric isomorphism" which are used to describe the relation between two search domains, the key results are "Structure Theorem","Isomorphism Theorem" and "Isomorphism Classification Theorem".

核心的概念是非常重要的用于描述搜索域之间相互关系的"同构"与"对称同构"，核心结果是"结构定理"，"同构定理"和"同构类定理"。

The structure theorem is obtained by defining "ternary ordered partition method" which is used to choose the test-sets of the first $k$ tests, and by defining two operations and two relations on feedback sequences; The isomorphism classification theorem is strictly proved by virtue of the structure theorem, thus the complicated problem of discussing $3^k$ possible search domains is reduced to the relatively easy problem on $k+1$ representative search domains; By the techniques of "super-coin construction method" and "image-union method", the search problem on $k+1$ representative search domains is reduced to the simple verification of several conditions on finite space of small cardinality.

通过引入用于选取前$k$次试验的试验集的"三元有序剖分法"以及关于反馈序列的两种运算和两种关系，得到了结构定理；基于结构定理严格地证明了同构类定理，从而将必须针对$3^k$个搜索域的复杂问题转变为讨论$k+1$个具代表性的搜索域的相对简单的问题；通过"构造超币法"和"并像法"等技术手段，将关于$k+1$个具代表性的搜索域的搜索问题转化为简单的关于势非常小的有限空间的几个条件的验证问题。

Topics include: mathematical definition and properties of information; source coding theorem, lossless compression of data, optimal lossless coding; noisy communication channels, channel coding theorem, the source-channel separation theorem, multiple access channels, broadcast channels, Gaussian noise, and time-varying channels.

课程主题包括：针对「资讯」的明确数学定义及性质描述；信源编码理论、无失真资料压缩技术、最佳化无错误编码；杂讯干扰的通讯频道解析、频道编码理论、资讯来源-通道编码分离理论、多重存取频道解析，广播型态频道解析、高斯杂讯及多变量时间频道解析。

The cohomology of q-polynomial coalgebras with coefficients in trivialcomodule K are also determined(see Theorem 6.3.11).Having obtained Theorem 5.2.3 andTheorem 5.2.4,we determine(see Theorem 7.2.6)all the nonzero 〓.

对于这一类q-多项式余代数，我们决定了（见定理6.3.11）系数在它的平凡余模K中的上同调，有了定理5.2.3与定理5.2.4以后，我们决定了（见定理7.2.6）所有非零的〓。

In part 1, we explore some properties of solution y of a backward stochastic differential equation, such as comparison theorem, reverse comparison theorem and uniqueness theorem of generator.

第一部分研究了倒向随机微分方程的解中y的性质，其中包括解的比较定理，逆比较定理，生成元的唯一性定理。

By mean of the method of upper and lower solutions, we will obtain a existence theorem like Kazdan-Warners. Using this theorem, we will study the vortex equation in holomorphic line bundle over complex manifold and prove a theorem of existence of Hermitian metric with a prescribed holomorphic section.

在本论文的最后部分，我们在紧复流形上讨论一类Kazdan-Warner型方程，用上下解方法得到了光滑解存在的Kazdan-Warner型定理，并将其用于研究全纯线丛的涡旋方程，得到了一个具有预定全纯截面的厄米度量的存在定理。

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。