代数

Linear Algebra is mainly a subject which studies the linear structure of finite dimensional linear space and its linear transformation while linear concept is in itself from the old Euclid Geometry. The concept of "Linear Space" is a kind of algebraic abstract. In many fields of modern engineering project and technology, because of the influence of computer and graph showing, the algebraic disposal of geometric questions, the visual disposal of algebraic questions, algebra and geometry are tightly combined.

线性代数主要是研究有限维线性空间及其线性变换这一代数结构的学科，而线性概念究其根源则是来自古老的Euclid几何，线性空间概念是几何空间的一种代数抽象，在现代工程技术的许多领域里，由于计算机及图形显示的强大威力，几何问题的代数化处理，代数问题的可视化处理，把代数与几何更加紧密地结合在一起。

We posed the concept of sufficient intersection about s(1≤s≤n) algebraic hypersurfaces in n-dimensional space and proved the dimension of polynomial space Pm(which denotes the space of all multivariate polynomials of total degree≤m) on the algebraic manifold S=s(f1,…, fs) where f1(X=0,…, f s=0denote s algebraic hypersurfaces of sufficient intersection, then gave a convenient expression for dimension calculation by using the backw ard difference operator.

给出了n维空间中s(1≤s≤n)个代数超曲面充分相交的概念，证明了n元m次多项式空间Pm在充分相交的代数流形S=s(f1，…， fs)（f1=0，…， fs=0表示s个代数超曲面）上的维数，并利用倒差分算子给出一个方便计算的表达式；构造了沿代数流形上插值适定结点组的叠加插值法；证明了在充分相交的代数流形上任意次插值适定结点组的存在性；给出代数流形上插值适定结点组的性质和判定条件。

Chapter three: Define fuzzy congruence relation of MTL-algebra, prove that fuzzy fiter and fuzzy congruence relation is a bijective function in MTL-algebra, quotient algebra induced by congruence relation still forms a MTL-algebra; Introduce the relation between some kinds of fiters and fuzzy filters maitained above in IMTL-algebra,i.e. BR_0 algebra, which is a MTL-algebra satisfied inversely odering and involutive relation.

第三章：定义了MTL-代数中的Fuzzy同余关系，证明了MTL-代数中Fuzzy滤子与Fuzzy同余关系是——对应的，由同余关系所诱导的商代数依然构成一个MTL-代数；介绍了在满足逆序对合对应的MTL-代数-IMTL-代数，即BR_0-代数中上述几中特殊滤子，Fuzzy滤子之间的关系。

150 Chapter 1 The History and Future of Computers 3.2 Boolean Algebra Table 3-2 Distributivity Idempotency Absorption laws 分配律同一律吸收律 a=ab+ac a+= a+a=a aa=a a+ab=a a=a'=a'b''=a'+b' DeMorgan's laws德摩根定理计算机专业英语 1-151 Chapter 1 The History and Future of Computers 3.2 Boolean Algebra Since a finite set of n elements has exactly 2n subsets, and it can be shown that the finite Boolean algebras are precisely the finite set algebras, each finite Boolean algebra consists of exactly 2n elements for some integer n.

由于n个元素的有限集有且只有个子集由于个元素的有限集有且只有2n个子集，而且很显然有限布个元素的有限集有且只有个子集，尔代数一定是有限集合代数，所以对某个整数n而言而言，尔代数一定是有限集合代数，所以对某个整数而言，每个有限布尔代数也有且只有2n个元素。例如，上文定义的集合T的限布尔代数也有且只有个元素。

31 Chapter 3 Number Systems and Boolean Algebra 3.2 Boolean Algebra Table 3-2 Distributivity Idempotency Absorption laws 分配律同一律吸收律 a=ab+ac a+= a+a=a aa=a a+ab=a a=a'=a'b''=a'+b' DeMorgan's laws德摩根定理计算机专业英语 3-32 Chapter 3 Number Systems and Boolean Algebra 3.2 Boolean Algebra Since a finite set of n elements has exactly 2n subsets, and it can be shown that the finite Boolean algebras are precisely the finite set algebras, each finite Boolean algebra consists of exactly 2n elements for some integer n.

由于n个元素的有限集有且只有个子集由于个元素的有限集有且只有2n个子集，而且很显然有限布个元素的有限集有且只有个子集，尔代数一定是有限集合代数，所以对某个整数n而言而言，尔代数一定是有限集合代数，所以对某个整数而言，每个有限布尔代数也有且只有2n个元素。例如，上文定义的集合T的限布尔代数也有且只有个元素。

The most famous rough algebras are Rough Double Stone Algebra, Rough Nelson Algebra and Approximation Space Algebra, and their corresponding general algebra structures are regular double Stone algebra, semi-simple Nelson algebra and pre-rough algebra respectively.

其中最有影响的粗代数分别是粗双Stone代数、粗Nelson代数和近似空间代数，它们对应的一般代数结构分别是正则双Stone代数、半简单Nelson代数和预粗代数。

In chapter 3, Jordan derivations and Jordan isomorphisms of nest algebras are investigated. It is proved that every Jordan derivation of nest algebra is an inner derivation. Every Jordan isomorphism between nest algebras is either an isomorphism or an anti-isomorphism. Finally, a norm estimate for derivations of nest subalgebras of von Neumann algebras is given, and it is shown that every nest subalgebra of factor von Neumann algebras has property AIP .

第三章研究了套代数上的Jordan导子和Jordan同构，证明了套代数上的每一个Jordan导子都是内导子；套代数之间的每一个Jordan同构要么是同构要么是反同构；最后给出了因子von Neumann代数中套子代数上导子的一个范数估计，同时也证明了因子von Neumann代数中的任何一个套子代数都具有AIP性质。

It is proved that every Lie derivation of nest algebra is the sum of an associative derivation and a general trace. Every Lie isomorphism between nest subalgebras of a factor von Neumann algebra is the sum of an isomorphism and a general trace or the sum of a negative anti-isomorphism and a general trace. Lie invariant subspace of linear mappings on Banach algebras is introduced, and linear maps from nest subalgebra of a factor von Neumann algebra into itself which satisfy the property that the space of derivations is their Lie invariant subspaces are characterized. Simultaneously, it is shown that such maps are Lie derivations modulo the set of scalar multiple of the identity.

得到Lie导子的特征表示，即套代数上的任何一个Lie导子都是内导子与广义迹之和；给出了Lie同构和同构及反同构之间的关系，即因子von Neumann代数中套子代数之间的任何一个Lie同构要么是同构与广义迹之和要么是负反同构与广义迹之和；引入了Banach代数上线性映射的Lie不变子空间，并给出von Neumann代数中套子代数上以导子空间为Lie不变子空间的线性映射的一个刻画，同时也表明在模去数乘恒等映射的意义下，以导子空间为Lie不变子空间的线性映射就是Lie导子。

The formal deductive systenm for Fuzzy propositional calculus, R0-algebras and BR0-algebras have been studied. The concepts of WBR0-algebras are proposed, the relationship between it and BR0-algebras has been investigated, the definition of basis BR0-algebras is simplified. Based on discussing the relationship between regular FI-algebras and regular residual lattice, the relationship between FI-algebras and basis R0-algebras has been investigated.

研究了王国俊教授建立的模糊命题演算的形式演绎系统L和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L系统，提出了WBR0-代数的观点，讨论了它与BR0-代数的关系，简化了BR0-代数的定义，在讨论正则FI-代数与正则剩余格之间关系的基础上，讨论了BR0-代数与FI-代数的相互关系。

The concepts of MP-filters and Boolean MP-filters in NML algebras are introduced in this paper, and by using MP-filters, the structure of NML algebras are established: If F is the Boolean filters, then M/~ is the Boolean algebras, i. e. the quotient algebra of NML algebras is obtained.

讨论了NML代数的性质，并且在NML代数上引入MP-滤子与MP-理想以及布尔MP-滤子的概念，并利用布尔MP-滤子建立了NML代数的结构：若F是布尔滤子，则M/~是布尔代数，即NML代数的商代数是布尔代数。

I'm strongly against the death penalty — it's an eye for an eye.

我不赞成死刑——这是以牙还牙的报复行为。

And to get you the support you need, we're enlisting all elements of our national power: our diplomacy and development, our economic might and our moral suasion, so that you and the rest of our military do not bear the burden of our security alone.

并给你们所须的支援，我们正徵召国家所有各种的力量：我们的外交及发展，我们的经济力量与道德劝说，所以你们与其他军人不须要孤独地负起国家安全的责任。