拓扑代数

In chapter 5,we introduce the De Morgan algebra of metric and investigate the pseudo-metric Uniformity and the pseudo-metric topology and the separation axioms in De Morganalgebra of metric.We establish the Baire category theorem and the Banach contraction theo-rem,the Edelstein contraction theorem and other fixed quasi-atom theorems in De Morganalgebra of metric.In final,we give a sufficient condition for the metrization of a De Morganalgebra of topology.

在第五章里，我们地德摩根代数中引进了伪度量，探讨了伪度量一致和伪度量拓扑以及德摩根度量代数的分离公理，得到了Baire范畴定理、Banach收缩定理、Edelstein收缩定理以及其它不动拟原子定理，最后给出一个德摩根拓扑代数可度量化的充分条件。

It investigates mainly the dualinvariant of λ- multiplier convergent series, the full invariant ofλ-multiplier convergent series, the λ- multiplier convergent series in spaceswith a basis, the compact sets in the infinite matrix topological algebras, thecharacteristics of have the same compact sets in different topologies,the weak sequentially completeness of , the characteristics ofSchur-matrices, the characteristics of p- uniform Toeplitz matrices and theEberlein-Smulian theorem in the locally convex spaces, etc.

主要研究了〓数乘收敛级数的对偶不变性，〓数乘收敛级数的全程不变性，有基空间中的〓数乘收敛级数，无穷矩阵拓扑代数〓中的紧集，〓在不同拓扑下具有相同紧集的刻划，〓的弱序列完备性，Schur—矩阵的刻划，p-一致Toeplitz矩阵的刻划以及局部凸空间上的Eberlein—Smulian定理等。

Iseki , this theory contact to be suffused with universal algebra, group theory, ring theory, lattice theory,Boolean algebra,set point topology, toplogical algebra etc. we have already obtained the large quantity result to the research of the BCK algebra.

Iseki引入的代数系统，这一理论联系到泛代数、群论、环论、格论、布尔代数、点集拓扑和拓扑代数等，对BCK代数的研究已经取得了一大批的研究成果。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

In this paper,δ-continuous and almost continuous Q\-1Q\-2-mapping are introduced, and continuous,δ-continuous, almost continuous are equivalence in the semiregular de Morgan topological algebra.

Q1Q2 -映射的连续性已在 [2 ]中讨论过，在本文中引进了 Q1Q2 -映射的δ-连续性，几乎连续性，并在半正则德摩根拓扑代数中证明了三种连续性的等价

We also introduce the countable compactness and sequential compact-ness for a De Morgan algebra of topology and study the relations between any two of theseconcepts and compactness.

同理还在德摩根拓扑代数中引进了可列紧和序列紧，研究了可列紧和序列紧之间的关系以及这两种紧性与紧之间的关系。

By utilizing the concepts and methods developed in Algebra Topology,Algebra Geometry and Algebra Representations,we first depicted the concepts and results of Incidence Algebra which reflects the linear structure of underlying posets and Sheaf theory which reflects the topological structure of underlying poset in the framework of Category Theory.

本文综合运用了代数拓扑、代数几何及代数表示论里发展起来的概念与方法，首先在范畴的框架下，对和偏序集的线性结构密切相关的Incidence代数，及与偏序集的拓扑结构紧密联系的层，进行了刻画。

The purpose of studing LPP is to discuss and so as to solve topological algebra's problems by linear methods, and to get information of classifying operator algebras from a new direction.

线性保持问题研究的目的是利用线性手段探讨和解决拓扑代数的问题，从新的角度提供算子代数的整体结构和对算子代数分类的信息。

It investigates mainly infinite matrix conver-gence、infinite matrix transformations、the automatic continuity and boundedness of infinitematrix operators、infinite matrix topological algebras、invariant theory、infinite matrix meth-ods、compact operators series and Eberlein-Smulian theorem,etc.

主要研究了无穷矩阵收敛、无穷矩阵变换、无穷矩阵算子的自连续性和自有界性、无穷矩阵拓扑代数、不变性理论、无穷矩阵方法、紧算子级数与Eberlein-Smulian定理等。

Then,it notices that all infi-nite matrix operators between the sequence spaces with the WGHP may form a topologicalalgebra.It also studies the weak sequentially completeness of this class of topological al-gebras and some other basic properties.

其次发现了具有WGHP序列空间上无穷矩阵算子所成之拓扑代数，并研究了这类无穷矩阵拓扑代数的弱序列完备性等一些基本性质。

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷