强Boole环

我们知道,任一阶数大于1的有限Boole环B,均存在某个自然数n,使B=A_i,其中每个A_i是单纯理想(参见〔1〕)。 自然会猜测,对于一般的Boole环B,应有结论 B=A_i或B=A_i,其中每个A_i是单纯理想。遗憾的是,这种猜测是错误的,有例子表明,甚至还存在一些Boole环,它们不包含任何单纯理想(参见〔2〕)。 会产生这些怪现象的一个重要原因就是一般Boole环的极大理想未必是直和项。 本文将引进所谓强Boole环的概念,来解决一类特殊的Boole环的结构问题,     

拟强Boole环

在《强Boole环》一文中,我们已经解决了每个极大理想都是直和项的Boole环的结构问题,本文试图在此基础上解决只有一个极大理想不是直和项的Boole环的结构问题。 这种Boole环确实存在。     

基于Orlicz函数的模糊数列几乎理想λ-统计收敛和强几乎理想λ-收敛

作为模糊数列理想统计收敛的推广,基于Orlicz函数和非降数列λ={λ_m},提出和讨论了模糊数列的几乎理想λ-统计收敛和强几乎理想λ-收敛。同时,研究了模糊数列几乎理想λ-统计收敛和强几乎理想λ-收敛的相关性质及两种收敛之间的关系,如果模糊数列x={x_k}强几乎理想λ-收敛,那么,几乎理想λ-统计收敛。     

基于满足某种特征的单调映射的计数教学探索

文中主要研究与如下问题相关的内容：集合A={1,2,…,m},集合B={1,2,…,n},找出集合A到集合B上映射f的个数,其中f满足条件：若x〈y,则f（x）〈f（y）,x,y∈A     

A~B上自然拓扑ω_μ的度量化

设A是一个集合,B是一个良序集,A.K.Steiner和E.F.Steiner于文〔1〕研究了A~B上的所谓自然拓扑N.对于每一x∈A~B以及α∈β,定义x(α)={y∈A~B、对于B的所有β≤α,y_β=xβ},那么A~B上的自然拓扑N定义为由基B={x(α):x∈A~B,a∈β}所产生的拓扑。显然当A为单点集或者B(表示良序集B的序型)为孤立数时,(A~B、N)为离散空间。又,(A~B、N)是正规空间.A.K.Steiner还研究了拓扑N的度量化问题,得到定理1(定理7,Steiner)如果B是可数良序集,则(A~B,N)可度量化。H.C.Reichel于文〔2〕专门研究了空间(A~B,N)的度量化问题,得到其可度量     

半范数pA的特征

记A={a_i}^∞_i=1={(a_i,j)^∞_j=1}^∞_i=1?S⁺_l1,其中,S⁺_l1={x=(x(n))∈l₁:‖x‖=1,x(n)≥0,∠n∈N},p_A(x)=limi→∞ sup∑j=1a_i,j|x(j)|,则limi→∞ S_i≡limi→∞supj a_i,j=0,当且仅当对任意非空集合B?N,任意0≤β≤p_A(χ_B),均存在C?B,满足p_A(χ_C)=β.对B?N,记φ_A(B)=p_A(χ_B),证明了φ_A 的强无原子性当且仅当理想I_A={A?N:p_A(χ_A)=0}的无原子性.     

关于序γαβ-理想统计收敛的模糊数列空间

以非降正数列a(n)、β(n)为框架,将模糊数列统计收敛和强收敛置于理想意义下,定义了两种新的模糊数列收敛的概念—关于序γαβ-理想统计收敛和关于序γ强αβ-理想收敛.同时,证明了这两种收敛的模糊数列空间的性质,以及这两种收敛之间的相互关系.给定模糊数列x={x_k},若它是强αβ-收敛的模糊数列,则x={x_k}一定是αβ-理想统计收敛的;当模糊数列x={x_k}有界时,反之成立.     

广义正定矩阵的特殊乘积

设H_n={A|A∈C~(n×n),A~*=A,且对所有的0≠x∈C~n,(x,Ax)=x~*Ax>0}。C_n={A|A∈C~(h×n),且对所有0≠x∈C~n,(x,Ax)= x~*Ax>0}。本文证明了下面事实:如果A∈H_n,B∈G_n,那么A(?)B,B(?)A和A·B∈G_n,同时我们有反例来说明如果A,B∈G_n,那么A(?)B,A·B∈G_n是不正确的。     

半单纯环的李理想

1.引言对于任一可结合环 A,能够用它的元素与运算构成它的李环。这只要保持 A 中的元素和A 中定义的加法,但是重新引入乘法:对任意的 a、b∈A,定义李乘积为[a、b]=ab-ba,此处 ab 为 A 中元素的通常可结合积。我们称 A 的一个加法子群 U 为 A 的李理想,如果对于任何 u∈U 与任何 x∈A 而言,ux—xu 仍是 U 的一个元素。Herstein 在[1]中就 A 为一个单纯环的情形讨论了 A 的李理想,得出以下结果:设 A 为一个特征异于2的单纯环,U 为 A 的李理想,则或者 U 含于 A 的中心内,或者 U 包含[A.A],此处[A.A]表示由所有换位子 xy—yx(x、y∈A)生成的加法子群。根为零且其左理想满足降链条件的环称为半单纯的。本文将讨论半单纯环的李理想。我们的主要依据是 Artin 的结构定理:半单纯环 R 是有限个单纯理想(因而是单纯环)的直和:R=R_1R_2……R_n。希望能将 R 的李理想分解为诸单纯环 R_i(i=1.2.……n)的李     

有限Boole环的结构问题

若环B中的每个元素x都满足条件x~2=x,则称环B为一个Boole环. 下面几个是Boole环的例子. 例1 单元素环{0},模2剩余类环Z_2以及环Z_2上的多项式环Z_2〔x〕关于理想(x~2 x)的剩余类环Z_2〔x〕/(x~2 x)都是Boole环 例2 设B_1,B_2,…B_n,…是Boole环的序列,令 在B中规定加法和乘法如下: (b_1,b_2,…,b_n,…) (b_1~′,b_2~′,…,b_n~′,…)=(b_1 b_1~′,b_2 b~′_2,…,b_n b_n~′,…)。 (b_1,b_2,…,b_n,…)·(b_1~′,b_2~′,…,b_n~′,…)=(b_1b_1~′,b_2b_2~′,…,b_nb_n~′,…)。可以证明,B关于所规定的加法和乘法运算构成一个Boole环,它是一个没有单位元的无限Boole环,并且其中的每个元素都是零因子。     

Boole环的推广

定义了弱Boole环,并在第一部分考虑了弱Boole环的一些基本性质,如特征和交换性.第二部分研究弱Boole环的理想,主要是素理想、极大理想和有限生成理想,并证明了有限弱Boole环是有限Boole环与Z3的直和.最后,给出了弱Boole环的一些扩张.     

关于模糊蕴涵理想

根据L．A．Zadeh的模糊集成思路,引入BCI－代数的模糊蕴涵理想和模糊特征蕴涵理想的概念,证明了μ是BCI－代数X的模糊蕴涵理想当且仅当∧A∈[0,1],μt={x∈X,μ（x）≥t}≠φ时,μt是一个蕴涵理论;讨论了模糊蕴涵理想的一系列性质,得到了μ是BCI－代数的模糊特征蕴涵理想当且仅当μt（∧A∈Imμ）是其特征蕴涵理想。     

在多项式等价关系下P类的结构

M. R. Carey 和认D. S. Johnson在《计算机和难解性,NP完全性理论导引》一书中说在多项式等价关系下,P类形成一个“最小的”等价类。这个论断是错误的。本文证明在多项式等价关系下,P类可划分成三个等价类:A={Σ~*∶Σ是字母表},B={φ},C=P-(AUB),并且证明在诱导出的偏序关系下,A和B是两个“极小元”。     

有向路上的保向部分一一变换半群

设In是集Xn={1,2,3,…,n}上的对称逆半群,且有向路为ρ={（1,2）,（2,3）,（3,4）…（n-1,n）},令Iρ={α∈In：任意x,y∈dom α,（x,y）∈ρ→（xα,yα）∈ρ}∪{Ф}.证明了Iρ是一个类A子半群,研究了Iρ的Green＊-关系,进一步得到Iρ的＊理想.     

半序空间中增算子的不动点定理及其在非线性方程中的应用

给出了增算子的一个最基本的不动点定理:定理1 设X,Y是半序空间,[b,∞)={x∈X|x≥b},B:[b,∞—→Y和C:[Bb,∞)—→[b,∞)是增算子,A=CB.若B[b,∞)的每个全序子集在Y中有上确界,则A在[b,∞)中有极大不动点和最小不动点.还利用所得结果研究了Banach空间上常微分方程的初值问题和非线性Hammerstein型积分方程的解的存在性问题.     

有限对称逆半群的J-平凡子半群

令 In 是有限集 Xn ={1 ,2… ,n}上的对称逆半群 .在此得到 In 的 L-平凡子半群、R-平凡子半群、J-平凡子半群三者等价 ,进而得到 In 的每个极大 J-平凡子半群为 DIn(≤ ) ={φ∈ In:xφ≤ x, x∈ domφ},这里≤是 Xn 上的一个全序 ,并探讨其个数与同构和其它问题     

BCI-代数的正则理想

在 BCI-代数中,理想与子代数是两个相互独立的概念,文给出了理想皆为子代数的 BCI-代数的特征,本文将证明在任意 BCI-代数中,都有一个最大的闭理想,其子代数皆为理想,并给出该闭理想的结构。设 X 是一个 BCK-代数,令A(X)={α(?)X|(?)x≠α,有α*x=α},D(X)={α(?)A(X)|α=0或α是原子}.     

*-代数上强保持新积的映射

设R是有单位元的*-代数,若R包含非平凡对称幂等元P满足:(1)若ARP={0},则A=0;(2)若AR(I-P)={0},则A=0。设φ:R→R是满射,则φ强保持新积当且仅当存在Z∈Z_S(R)且Z²=I,使得对所有X∈R, 有φ(X)=ZX。作为应用,在没有I₁型的中心直和项的von Neumann代数上和素*-环上得到相似的结果。     

任意理想都是直和项的环

众所周知,Wedderburn—Artin定理给出了Artin半单环的结构一个最深刻的刻划,且由Wedderburn—Artin定理可知:对于Artin半单环它的任何理想都是它的直和项,任何同态象也是它的直和项。在此,我们有更一般的结果: 定理1 下列命题等价: (1)环A的任一理想都是其直和项; (2)环A的任一同态象都是其直和项; (3)环A是一些弱单环的直和; (4)环A中任一真理想都不是本质理想。推论下列命题等价:     

关于Blaschke收敛定理的推广

[1]中讲述了Blaschke收敛定理。本文把这个定理推广到了赋范线性空间,并在度量空间中得到了类似的结果。§1 定义和引理设(X,d)是一个度量空间。对X中的集序列{A_n},定义其外极限为集合(?)A_n={x|x∈X,存在一串单调上升的自然数{n_k}及x_(n_k)∈A_(n_k),使x=(?)X_n_k};定义{A}的内极限为集合 (?)A_n={x|x∈X,存在自然数n_0~-及x_n∈A_n(n≥N_0~-)使x=(?)_n};若(?)A_n=(?)A_n=A,则称A为{A_n}的极限,或者说{A_n}收敛于A,记为(?)A_n=A。