查询词典 theorem

Based on the view that the theorem of closed mested interval is an axiom,this paper deduces the essential limit of monotonic bounded sequence of number and the Dedekind theorem,and proves the general theorem of bull closed nested interval of real number .

以通常所说的闭区间套定理作为公理推出单调有界数列存在极限和Dedekind定理，并且证明了通常所说的实数满闭区间套定理

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的性质，其中包括解的比较定理，逆比较定理，生成元的唯一性定理。

Objective To investigate the effects of interleukin-1 β converting enzyme gene on the biologic characteristics of ovarian cancer cells.

目的 探讨白细胞介素-1 β转换酶的表达，对卵巢癌细胞生物学特性的影响。

Campylobacter: This illness is the most commonly identified cause of diarrheal illness in the world.

弯曲：这种病是最常见的原因查明腹泻病，在世界上。