伪超连续偏序集

引入了伪超连续偏序集和伪超代数偏序集的概念,讨论了它们的一些基本性质,给出了它们的若干刻画,特别是基于区间拓扑、某种特殊二元关系的刻画和内蕴式刻画.     

z-代数偏序集的范畴特征

讨论z-代数偏序集一些性质,主要证明z-代数偏序集范畴对偶等价于强代数格范畴的一个满子范畴.     

偏序集代数的同构问题

在[1]中对局部有限偏序集I={I,≤}及域K引入了关联代数KI的概念.这里的“局部有限”是指对任意a,b∈I,a≤b,集合{x∈I|a≤x≤b}.是有限集.KI的定义是:其元素是域K上以I中元素为行与列的足码的形式矩阵(кa,b)a,b∈I,(即允许有无限多个ka,b≠0)且满足条件:当a≮b时有ka,b=0.注意到I的局部有限性,易知上述形式矩阵的全体关于通常矩阵的加法和乘法以及数乘作成域K上的一个结合代数,称之为I在K上的关联代数KI。     

Z-连通代数偏序集及其范畴

对于Z-连通集系统,本文引入了Z-连通代数偏序集的概念,证明了Z-连通代数偏序集范畴对偶等价于强代数格范畴的一个满子范畴.     

交C-连续偏序集

利用偏序集上的半拓扑结构,引入了交C-连续偏序集概念,探讨了交C-连续偏序集的性质、刻画及与C-连续偏序集、拟C-连续偏序集等之间的关系.主要结果有:(1)交C-连续的格一定是分配格;(2)有界完备偏序集(简记为bc-poset)L是交C-连续的当且仅当对任意x∈L及非空Scott闭集S,当∨S存在时有x∧∨S=∨{x∧s:s∈S};(3)完备格是完备Heyting代数当且仅当它是交连续且交C-连续的;(4)有界完备偏序集是C-连续的当且仅当它是交C-连续且拟C-连续的;(5)获得了反例说明分配的完备格可以不是交C-连续格,交C-连续格也可以不是交连续格.     

H-代数偏序集

本文引入了H-代数偏序集的概念,讨论了它的一些基本性质.得到如下主要结果:(1)举例说明了代数偏序集未必是H-代数偏序集;(2)偏序集是H-代数偏序集当且仅当强紧元是它的强基;(3)偏序集是H-代数偏序集当且仅当它的局部Scott拓扑是强代数格.     

强代数偏序集

引入了一种新的强代数偏序集的概念,证明了偏序集P为强代数的当且仅当其正规完备化δ(P)为强代数格,给出了强代数偏序集的内蕴式刻画。     

FS-偏序集和连续L-偏序集

引入了FS-偏序集和连续L-偏序集概念,探讨了FS-偏序集和连续L-偏序集的性质.主要结果有(1)每一FS-偏序集都是有限上集生成的,因而是Scott紧的;(2)证明了FS-偏序集(连续L-偏序集)的定向完备化是FS-偏序集(连续L-偏序集);(3)一个偏序集是一个FS-Domain当且仅当它为Lawson紧的FS-偏序集;(4)FS-偏序集(连续L-偏序集)去掉部分极大元后还是FS-偏序集(连续L-偏序集).     

交一致连续偏序集

In this paper, as a generalization of uniform continuous posets, the concept of meet uniform continuous posets via uniform Scott sets is introduced. Properties and characterizations of meet uniform continuous posets are presented. The main results are:(1) A uniform complete poset L is meet uniform continuous iff ↑(U ∩↓ x) is a uniform Scott set for each x ∈ L and each uniform Scott set U;(2) A uniform complete poset L is meet uniform continuous iff for each∨∨x∈ L and each uniform subset S, one has x ∧S ={x ∧ s | s ∈ S}. In particular, a complete lattice L is meet uniform continuous iff L is a complete Heyting algebra;(3) A uniform complete poset is meet uniform continuous iff every principal ideal is meet uniform continuous iff all closed intervals are meet uniform continuous iff all principal filters are meet uniform continuous;(4) A uniform complete poset L is meet uniform continuous if L1 obtained by adjoining a top element1 to L is a complete Heyting algebra;(5) Finite products and images of uniform continuous projections of meet uniform continuous posets are still meet uniform continuous.     

偏序集上蕴涵代数的素滤子

偏序集上的蕴涵代数是取值于偏序集上的蕴涵逻辑联结词的一种代数抽象.以偏序集上蕴涵代数中由蕴涵算子引入的逻辑运算t-余范为工具,讨论了偏序集上蕴涵代数的一些性质,然后引入了偏序集上蕴涵代数的素滤子的概念,讨论了素滤子在一定条件下的性质,并给出了一个MP滤子成为素滤子的条件.     

ON INVERSES AND ALGEBRAIC LOOPS OF CO-H-SPACES

In this paper we study the properties of homotopy inverses of comultiplications and Mgebraic loops of co-H-spaces based on a wedge of spheres. We also investigate a method to construct new comultiplications out of old ones by using a group action. We are primarily interested in the algebraic loops which have inversive, power-associative and Moufang properties for some comultiplications.     

强连续双半群与积分双半群

本文研究积分双半群与有界线性算子双半群的关系,证明了Ｂａｎａｃｈ空间Ｘ上的指数有界积分双半群可以作为Ｘ的某个子空间上具有较强范数拓扑下的有界线性算了强连续双半 积分双半群也可作为较大空间上俱有较弱范数拓扑下的有界线性算子强连续双半群积分的限制,上述结果可以用来解释抽象边值问题的弱解的意义。     

ON ALGEBRAIC MULTILEVEL PRECONDITIONINGMETHODS

In the present paper we extend the method presented by 0. Axelsson and P. Vassilevski called AMLP version (i) of recursively constructing preconditioner for the stiffness matrix in the discretization of selfadjoint second order elliptic boundary value problems. In our extended method the systems to be eliminated on each level containing the major block matrices of the given matrix can be solved approximately, while they must be solved exactly in the original method.     

ON ALGEBRAIC VOLUME DENSITY PROPERTY

A smooth affine algebraic variety X equipped with an algebraic volume form ω has the algebraic volume density property (AVDP) if the Lie algebra generated by complete algebraic vector fields of ω-divergence zero coincides with the space of all algebraic vector fields of ω-divergence zero. We develop an effective criterion of verifying whether a given X has AVDP. As an application of this method we establish AVDP for any homogeneous space X = G/R that admits a G-invariant algebraic volume form where G is a linear algebraic group and R is a closed reductive subgroup of G.     

ON THE ALGEBRAIC INDEPENDENCE OF CERTAIN POWER SERIES OF ALGEBRAIC NUMBERS

Letf_v(z)=∑a_(v,,k)z~(λ_(v,k))(v=1,…,s)be s power series with algebraic coefficients a_(v,k),convergence radii R_v>0 and sufficientlyrapidly increasing integers λ_(v,k).It is shown that under certain conditions depending only ona_(v,k) and λ_(v,k),(i)f_1(θ_1),…,f_s(θ_s)are algebraically independent for arbitrary algebraicnumbers θ_1,…,θ_s with θ<丨θ_v丨相似文献   

ON THE LEAST DOMINANT CONTINUOUS MODULUS AND ITS APPLICATION

o.IntroductionInthispaperwedealwithqualltitativeKorovkintypetheoremsfortheaPproalmationbyboundedlinearoperatorsdefinedonC(X),andinparticularbypositiveones.HereC(X)=CR(X,d)denotestheBanachlatticeofreal-valuedcontinuousfunctionsdefinedonthecompactmetricspace(X,d)withnormgivenbylIfIlx=ma-xlf(x)I,xEX.WealsoassumethatXhasdiameterd(X)>o.ThefirstsuchtheoremforgeneralpositivelinearoperatorsandX=[a,b]equippedwiththeeuclidiandistanceisduetoR.Mamedovl4].Forspaces(X,d)beingmetricallyconvexinthes…     

ON INFINITE DIMENSIONAL ALGEBRAIC TRANSFORMATION GROUPS

We explore orbits, rational invariant functions, and quotients of the natural actions of connected, not necessarily finite dimensional subgroups of the automorphism groups of irreducible algebraic varieties. The applications of the results obtained are given.     

ON EFFECTIVE NON-VANISHING OF WEIL DIVISORS ON ALGEBRAIC SURFACES

The author gives a counterexample and some conclusions for effective non-vanishing of Weil divisors on algebraic surfaces.