Lebesgue decomposition and bartle—dunford—schwartz theorem in pseudo-D-lattices

Let L be a pseudo-D-lattice. We prove that the exhaustive lattice uniformities on L which makes the operations of L uniformly continuous form a Boolean algebra isomorphic to the centre of a suitable complete pseudo-D-lattice associated to L. As a consequence, we obtain decomposition theorems—such as Lebesgue and Hewitt—Yosida decompositions—and control theorems—such as Bartle—Dunford—Schwartz and Rybakov theorems—for modular measures on L.     

A GENERALIZATION OF LEBESGUE DIFFERENTIAL THEOREM AND ITS APPLICATION

1 IntroductionLet fl C Rn. Classical Lebesgue differential theorem says:u(x) = liny IB.(x)l--' j u(y)dy a.e. in fl Vu E L'(fl),r-o js.(.)"(y)dy a.e. in fl Vu E L'(fl),where, Br(x) is the euclidean metric ball witl1 radius r and center x; IB.(x)I is the Lebesguemeasure of B.(x). Taking use of it, one can deduce Canpanato's integral chaxacterization ofH5lder continuous f[1nctions and Morrey's growing theorem of Dirichlet integration which playan imPortant role in regularity theories of …     

广义分解定理与两个不等式

本文给出了Banach空间广义分解定理的一个初等证明,并利用它来证明两个对称不等式.这是首次在Banach空间获得这样的不等式.     

多复变数完全拟凸映射的分解定理

设Ω_1C~(n1),Ω_2C~(n2)为凸的Reinhardt域,f(z,w)=(f1(z,w),f2(z,w))'为Ω_1×Ω_2上的正规化全纯映射.本文证明f为Ω_1×Ω_2上的正规化双全纯完全拟凸映射当且仅当 f(z,w)=(Φ_1(z),Φ_2(w))'其中φj:Ωj→C~(nj)是Ωj(j=1,2)上的正规化双全纯完全拟凸映射。     

广义分解定理与两个不等式

本文给出了Banach空间广义分解定理的一个初等证明,并利用它来证明两个对称不等式.这是首次在Banach空间获得这样的不等式.     

多复变数完全拟凸映射的分解定理

设Ω1(∪) Cn1,Ω2(∪)Cn2为凸的Reinhardt域,f(z,w)=(f1(z,w),f2(z,w))′为Ω1×Ω2上的正规化全纯映射.本文证明f为Ω1×Ω2上的正规化双全纯完全拟凸映射当且仅当f(z,w)=(Φ1(z),Φ2(W))′,其中ΦjΩj→Cnj是Ωj(j=1,2)上的正规化双全纯完全拟凸映射.     

几何代数在定理证明中的消元与化简算法

在符号计算中,最困难的一个地方是中间计算过程的表达式快速膨胀.基于不变量代数的符号几何计算为解决这个困难提供了可能.比如,利用零几何代数证明欧氏几何定理时,就可以给出很短的证明,甚至是单项式证明.中间的证明过程里有很多地方涉及到消元,展开,化简等问题.从程序实现的角度出发,在充分利用零几何代数计算特点的基础上,给出用于机器证明的消元、化简算法.     

广义正交分解定理与Tseng度量广义逆

本文将Banach空间中广义正交分解定理从线性子空间拓广至非线性集太阳集,分别给出了一算子为度量投影算子和一度量投影算子为有界线性算子的充要条件;得到了判别Banach空间中子空间广义正交可补的充要条件;建立了王玉文和季大琴(2000年)新近引入的Banach空间中的线性算子的Tseng度量广义逆存在的特征刻划条件;这些工作本质地把王玉文等人的新近结果从自反空间拓广至非自反空间的情形.     

广义正交分解定理与Tseng度量广义逆

本文将Banach空间中广义正交分解定理从线性子空间拓广至非线性集—太阳集,分别给出了一算子为度量投影算子和一度量投影算子为有界线性算子的充要条件;得到了判别Banach空间中子空间广义正交可补的充要条件;建立了王玉文和季大琴(2000年)新近引入的Banach空间中的线性算子的Tseng度量广义逆存在的特征刻划条件;这些工作本质地把王玉文等人的新近结果从自反空间拓广至非自反空间的情形.     

ON THE MEYER'S THEOREM AND THE DECOMPOSITION OF QUADRATIC FORMS

<正> Meyer proved in 1883 theTheorem M.ecery indetiuite quadratie form in more than fourrep(?)sents zero with the rariables not all zero.     

素特征的“李定理”

设L为代数闭域F上有限维李代数,著名的李定理说:若char F=0,则L为可解当且仅当L的任一有限维不可约模为1维的.在这里特征为0及模为有限维两个条件都是本质的.(1)若charF=P>0,则L为交换当且仅当L的任一(有限维)不可约模为1维的;(2)若char F=0,则L为交换当且仅当L的任一(有限维或无限维)不可约模为1维的; (3)若char F=P>7,L为李代数(限制李代数),则L为可解当且仅当L的任一不可约模(限制模)的维数为p的幂.     

n-Lie代数的分解及唯一性

本文研究具有平凡中心的有限维的n-Lie代数的分解及唯一性问题(定理2.2),而且证明了具有非平凡中心的n-Lie代数结论不成立.同时研究了n-Lie代数的导子代数及内导子代数的分解问题(定理2.1).     

关于自保形测度与Lebesgue测度的等价性

本文我们研究了自保形测度与Lebesgu测度的关系,对Yuvla Peres等的结果进行了推广,证明了自相似测度要么是奇异的,要么关于Lebesgue测度 绝对连续的,并且若将Lebesgue测度限制在自相似测度的紧支撑上,则其关于非奇异的自相似测度是绝对连续的。     

关于Robbins代数与Heyting代数的类似性质

Ｓ．Ｗｉｎｋｅｒ在文〔１〕中给出了Ｒｏｂｂｉｎｓ代数成为Ｂｏｏｌｅａｎ代数的一个较弱的条件。本文将讨论Ｈｅｙｔｉｎｇ代数成为Ｂｏｏｌｅａｎ代数的条件，我们发现Ｈｅｙｉｎｇ代数成为Ｂｏｏｌｅａｎ代数的条件与Ｒｏｂｂｉｎｓ代数成为Ｂｏｏｌｅａｎ代数的条件相似，从而提示了Ｈｅｙｔｉｎｇ代数与Ｒｏｂｂｉｎｓ代数之间具有一定的关系。     

等周不等式与Bol-Fujiwara定理

本文研究著名的Bol-Fujiwara定理.利用积分几何方法和经典的等周不等式,得到了Bol-Fujiwara定理的一个推广(定理1),以及推广了的Bol-Fujiwara定理的逆定理(定理2).     

关于格蕴涵代数公理的一个注记

设在一个非空集合L上有一个二元运算→和两个零元运算O与I，除此之外没有其它已知的代数结构，利用这三个运算可以在L上定义一个一元运算′和两个二元运算∨和∧（定义2．1）。本文证明了只要这些运算满足格蕴涵代数的公理（不包括有余格的公理），（L，∨，∧，′）就是一个有泛界O，I的有余格（定理2．2）。因此在定义格蕴涵代数时可以在一个没有任何代数结构的非空集合上定义蕴含运算而不必在一个有泛界的有余格上定义蕴含运算，而且在这两种定义方式中蕴含运算所满足的条件是相同的。     

嵌套简单ILU分解代数预处理方法

In this paper, we propose a nested simple incomplete LU decomposition (NSILU) method for preconditioning iterative methods for solving largely scale and sparse ill-conditioned hnear systems. NSILU consists of some numerical techniques such as simple modification of Schur complement, compression of ill-condition structure by permutation, nested simple ILU, and inner-outer iteration. We give detailed error analysis of NSILU and estimations of condition number of the preconditioned coefficient matrix, together with numerical comparisons. We also show an analysis of inner accuracy strategies for the inner-outer iteration approach. Our new approach NSILU is very efficient for linear systems from a kind of two-dimensional nonlinear energy equations with three different temperature variables, where most of the calculations centered around solving large number of discretized and illconditioned linear systems in large scale. Many numerical experiments are given and compared in costs of flops, CPU times, and storages to show the efficiency and effectiveness of the NSILU preconditioning method. Numerical examples include middle-scale real matrices of size n = 3180 or n = 6360, a real apphcation of solving about 755418 linear systems of size n = 6360, and a simulation of order n=814080 with structures and properties similar as the real ones.     

HORN-TYPE THEOREM IN PRECHET SPACES AND APPLICATION

This paper establishes a Horn-type fixed point theorem in Frechet spaces which is an answer to Burton's problem [6] in these spaces. As an application of the result, the authors obtain an existence theorem of periodic solutions for functional differential equations with infinite delay.     

On the Product and Factorization of Lattice Implication Algebras

In this paper,the concepts of product and factorization of lattice implication algebra areproposed,the relation between lattice implication product algebra and its factors and some properties oflattice implication product algebras are discussed.     

关于topos中的内蕴Heyting代数对象(英文)

本文研究了在一般topos中内蕴Heyting代数对象的性质.利用范畴的态射及伴随的方法,获得了内蕴Heyting代数对象为内蕴分配格结果,推广了集合范畴中的对应结果.