查询词典 propositional algebra

We show that Jordan multiplicative bijective maps on prime operator algebrasmust be additive. As its application, we show that every Jordan * multiplicative bijec-tive map on every factor C~* algebra is a C~* isomorphism or a conjugate C~* isomorphism,in the special case of B, it must be a *-isomorphism or a conjugate *-isomorphism.We also prove the additivity of Jordan multiplicative bijective maps on nest algebras.

证明了素算子代数上Jordan可乘双射的可加性，利用这一结论刻画了因子C~*代数上的Jordan*可乘双射，我们的结果表明这样的映射一定是C~*同构或共轭C~*同构；证明了套代数上的Jordan可乘双射的可加性。

The algorithm is simple and fast as compared with the Boolean algebra algorithm of adjacency matrix .

本文给出一种判断有向连接图中节点是否可达的算法，与一般相邻矩阵的布尔代数算法相比，具有简便快速的优点。

Linear algebra's adjoint matrix calculation of C language accompanying matrix definition : Matrix put...

线性代数之伴随矩阵计算C语言实现伴随矩阵定义：把矩阵所有位置上的元素替换为元素的代数余子式，即得原矩阵的伴随矩阵。

Linear algebra's adjoint matrix calculation of C language accompanying matrix definition : Matrix p...

线性代数之伴随矩阵计算C语言实现伴随矩阵定义：把矩阵所有位置上的元素替换为元素的代数余子式，即得原矩阵的伴随矩阵。

In the first part,two methods calculating the coefficients of nilpotentclass normal forms are proposed.one is the iteration search method based onrepresentation theory of Li-algebra,and another is a new matrixrepresentation method based on the adjoint operator concepts,both are ableto be used to analyse the normal form problems with high orders and largedimensions efficiently.

在第一部分工作中，对于幂零类规范形的系数计算，分别提出了基于李代数表示论的迭代搜索的理论和方法以及基于共轭算子概念的新的矩阵表示的理论和方法，从而有效地解决了维数和阶数较高时的计算问题。

We discussthe propertiesofthe adjoint operator of unilateral weightedshift,prove that is astrongly irreducible Cowen- Douglas operator, and compute the 0 group of the commutant algebra of .

计算了代数я={f：f在开圆D盘上解析，在■上连续}的K_0群，讨论了内射单边加权移位算子的伴随算子的性质，证明了是强不可约的Cowen-Douglas算子，然后计算出的换位代数的K_0群

In Chapter 2, we will use one-parameter subgroups of the Lie group to develop a version ofNewton\'s method on an arbitrary Lie group for maps from a Lie group to its correspondingLie algebra which is independent of affine connections on the Lie group and differs fromNewton\'s method for sections on Riemannian manifolds.

在第2章中，我们主要研究关于从李群到其李代数的映射f的Newton法的收敛性。利用李群的单参数子群来给出关于映射f的Newton迭代点列，此Newton迭代与李群上的联络无关，也与第1章中研究的Newton迭代不同。

Alfred North Whitehead ",,"Algebra is the intellectual instrument for rendering clear the quantitative aspects of the world.","

代数是搞清楚世界上数量关系的智力工具。

The Research of the Logic Algebra Decoding Method of (2, 1, 4) Convolutional Code

论文标题：（2，1，4）卷积码的逻辑代数译码方法研究

Difference from other algebraic structures which are introduced for some logic system, Implication Algebra is a abstraction of one logic connective, i. e. implicative operator, and other operators in it are all introduced by implicative operator.

特别值得提出的是，与其它为研究逻辑系统而引入的代数结构不同，蕴涵代数是对一个逻辑联结词，即蕴涵算子抽象而得到的，其它算子均是由蕴涵算子诱导而得到。

Panorama Many people are dancing in a large sitting room.

在一个大客厅里，许多人在跳舞。

We fully understand how a microwave oven cooks food, it is first necessary to talk ...

我们充分理解一个微波炉煮的食物，这是首先要谈。。。