偏序集上的Mobius反演公式（续）

偏序集上的Ｍｏｂｉｕｓ反演公式（续）万哲先（中国科学院）５局部有限偏序集上的关联代数和推广的Ｍｏｂｉｕｓ反演公式局部有限偏序集Ｐ上的Ｍｏｂｉｕｓ函数可以看作是Ｐ上的关联代数中的元素，现在先给出关联代数的定义．定义７设Ｐ是局部有限偏序集，Ｒ是有单位元１...     

量子包络代数借助Hopf代数的扩张

设H是Hopf代数,g是由Cartan矩阵A=(a_(ij))_(I×I)决定的广义Kac-Moody代数,这里的I是指标集,它或者是有限个整数{1,2,…,n},或者是整个自然数集N,用f,g表示从I到Hopf代数H的群象元素集G(H)两个映射,假如集合{f(i),g(i)|i∈I}中任何两个元素乘法可以交换,则可以在H(?)_g~f U_q(g)上定义一种Hopf结构,这里的U_q(g)是g量子包络代数.     

元素个数不超过6的真伪BCK-代数

研究元素个数不超过6的真伪BCK-代数的计数问题.首先,证明了在元素个数不超过3的偏序集上不存在真伪BCK-代数.其次,引入NP-型偏序集(不存在真伪BCK-代数的含重大元的偏序集)、偏序集的层、次余原子等概念,证明了在一个层数n≤3的NP-型偏序集上添加孤立余原子(或孤立次余原子或上邻元的个数n≥3的极小次余原子)后得到的偏序集也是NP-型偏序集,由此得到26种NP-型偏序集(元素个数n≤6).最后,借助Matlab软件编程计算得出所有非同构的元素个数不超过6的真伪BCK-代数,其中元素个数为4的真伪BCK-代数2个,元素个数为5的真伪BCK-代数34个,元素个数为6的真伪BCK-代数631个.     

随机规划中的几个新的凸性命题

在随机规划(stochastic programming)中有一类所谓机会约束规划(chance constrained programming),它的一般形式是 极小化 φ(x) 满足约束 P(w|A(w)x≥b(w))≥a,0≤a≤1 x∈X其中φ(x)是凸函数,X是R~n上的凸集;A(W)是m×n矩阵,b(W)是m维向量,它们     

线性约束非线性规划的梯度投影法

我们考虑问题(LNP) minf(x),x∈R={x|A~Tx≤b,x∈R~n},其中A是n×m矩阵,b为m维向量,R~n为n维欧氏空间f(x)∈C~1.记I(x)={i|a_i~Tx=b_i,i=1,…,m},P_(I(x))为R~n到U_(I(x))={x|a_i~Tx=0,i∈I(x)}的投影矩阵.特别记I_k=I(x~k),U_k=U(I_k),N(I_k)=(a_i~T,i∈I_k)~T.本文恒假定秩N_(I(x))=|I(x)|,(即I(x)中的元素个数).     

有限维单李代数的2-局部导子

设F是特征为零的代数封闭域,g为F上有限维单李代数.g上的一个映射φ称为2-局部导子,如果对任意的x,y∈g,存在导子D_(x,y):g→g,使φ(x)=D_(x,y)(x),φ(y)=D_(x,y)(y).本文证明g上的所有2-局部导子一定是内导子.     

四元数矩阵代数的实表示及其应用

设R记实数域,Q记R上四元数代数,若x∈EQ,x=a+bi+cj+dk,其中a、b、c、d在R中,则x的共轭元=a—bi—cj—dk,x的范数N(x)=a~2+b~2+c~2+d~2。设Q~(×n)(或R~(×))记Q(或R)上n×n矩阵构成的R代数,我们以Hom(Q~×,R~(4×4))记Q~(×)的全部R代数表示的集合。还以E_(ij)表示(i,j)位置是1,其余位置是0的n阶方阵,I_r记r阶单位阵;GLr(Q)及GLr(R)分别记Q上及R上一般线性群。     

交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-连续格也可以不是交连续格.     

关于Sperner性质一个猜想的注记

设P是有限偏序集,f是P上的秩函数。P_m表示P中秩为m的元素集合。若max|P_m|=max{|A|}:A是P中的反链},则称P有Spernet性质。设a_1,…,a_kν;∈P,记F=;υ{b:a_i≤b,b∈P},称F是由a_1,…,a_k生成的序滤子。本文我们考虑的偏序集是布尔代数B~N,秩函数f(x)=|x|.K.W.LIH提出了下面猜想     

求解不可微箱约束变分不等式的下降算法

1 引 论 设X(?)Rn是非空闭集,F:Rn→Rn连续映射,变分不等式问题VI(X,F)是指:求x∈X,使 F(x)T(y-x)≥0,　 (?)y∈X,(1)记指标集N=(1,2,…,n},当 X=[a,b]≡{x∈Rn|a≤xi≤bi,i∈N},(2)其中a={a1,a2,…,an}T,b={b1,b2,…,bn}T∈Rn时,VI(X,F)化为箱约束变分不等式VI(a,b,F).若ai=0,bi=+∞,i∈N,即X=R+n≡{x∈Rn|x≥0}时,VI(a,b,F)化为非线性     

Gini平均值公开问题的解

对固定的（a,b）∈R×R,Gini平均值S（a,b;x,y）关于（x,y）∈（0,∞）×（0,∞）的Schur凸性或Schur凹性问题是目前的一个公开问题.本文证明了S（a,b;x,y）关于（x,y）∈（0,∞）×（0,∞）为Schur凸当且仅当（a,b）∈{（a,b）：a≤0,b≤0,a＋b1}以及Schur凹当且仅当（a,b）∈{（a,b）：b≤0,b≤a,a＋b≤1}∪{（a,b）：a≤0,a≤b,a＋b≤1}.     

准上半连续性不必蕴含上半连续性的例子

<正> 1.命 X,Y 是拓扑空间,多值映象 T:X→2~Y 称为上半连续的(upper semi-continuous),如果对任何 x_0∈X 和任何开集 G(?)T(x_0),存在 x_0 在 X 中的邻域 U(x_0)使得 x∈U(x_0)蕴含 T(x)(?)G.F.E.Browder 证明了下述卓越的不动点原理([1]定理3).定理1 命 K 是局部凸隔离实拓扑向量空间 E 的非空紧致凸集,T:K→2~E 上半连续,使得对每个 x∈K,T(x)(?)E 是非空闭凸集,命δ(K)={x∈K|(?)y∈E,使 x+λy(?)K,(?)λ>0}表示 K 的代数边界.假设对每个 x∈δ(K),存在 y∈K,z∈T(x)和λ>0使得z-x=λ(y-x),那么存在 x_0∈K 使 x_0∈T(x_0).     

图的[a,b]-因子存在性的两个结果

设G是一个图,a,b是整数且满足0≤a≤b.如果存在G的一个支撑子图F,使对任意的x∈V(G)有a≤dF(x)≤b,则称F是G的—个[a,b]-因子.本文给出图中具有特定性质的[a,b]-因子的两个充分条件.     

关于偏序集相关联图的色数

对于每一个含有最小元素0的偏序集（P,≤）可以得到一个与其关联的图G（P）.本文主要通过代数的方法研究了所得关联图G（P）的性质,证明了如果G（P）的色数和团数是有限的,那么色数和团数都仅比P的极小素理想的个数大1.     

局部R0-代数

文提出了局部R0-代数的概念,并给出了相应的等价条件,即(i)R0-代数L是局部的,(ii)(?)x∈L,ord(x)<∞或ord(-x)<∞,(iii)每—个真滤子是primary.另外,我们又证明了任一R0-代数是局部R0-代数的子直积.     

顶点代数V_(l,0)的极小生成问题

设g是有限维单李代数,是相应于g的无扭仿型Kac-Moody代数的导代数.讨论了相应于的顶点代数V_(l,0)的极小生成问题,证明了V_(l,0)作为顶点代数由a,h两个元素生成,其中a,h∈g.     

含参二次绝对值函数题的解法探究

<正>一、试题呈现已知函数f(x)=x²+ax+b(a,b∈R).记函数g(x)=|f(x)|在区间[0,4]上的最大值为M(a,b).求证:当-8≤a≤0时,有M(a,b)≥1/8a2+ax+b(a,b∈R).记函数g(x)=|f(x)|在区间[0,4]上的最大值为M(a,b).求证:当-8≤a≤0时,有M(a,b)≥1/8a².二、解题探究解法一(1)当a=0时,f(x)=x2.二、解题探究解法一(1)当a=0时,f(x)=x²+b在区间[0,4]上为增函数,则M(a,b)=max{|f(0)|,|f(4)|}     

BCHK-代数的亚原子

在BCHK-代数中引入了亚原子的概念,给出了亚原子的一些性质.证明了有限偏序BCHK-代数一定存在亚原子,且X\{0}等于其所有亚分支的并集.证明了一个BCHK-代数的亚原子和元素0做成的集合是X的一个子代数,不变亚原子和元素0做成的集合是X的一个理想.     

凸度量空间中非扩张映象的不动点定理

设X是一凸度量空间,并且它的每一直径趋于零的非空闭子集的逆减序列具有非空交的性质.本文证明了,如果X的非空闭子集K的自映象T满足不等式:d(Tx,Ty)≤ad(x,y) b{d(x,Tx) d(y,Ty)} c{d(x,Ty) d(y,Tx)},(?)x,y∈K其中0≤a<1,b≥0,c≥0,使得a c≠0且a 2b 3c≤1.则T在K中存在唯一不动点.     

环上的拓扑和偏序

在环R上引入了拓扑O[R]和偏序≤R,证明了(R,O[R])是可分的,第一可数的局部紧空间,并得出了如下结论:(1)(R*,O*[R])是T1的当且仅当O*[R]是离散的当且仅当R中的任一元r满足r=r2=-r;(2)若(R,O[R])是T0的,则U∈O[R]当且仅当U=↓U;(3)若R是伪有限的且对任意r都有〈r〉>2,则(R,≤R)是代数Domain;(4)若环R的特征数chR为2,则R是伪有限的当且仅当Rop是代数Domain。