具有与任意图正交的(g,f)-因子分解的子图

设ｇ和ｆ分别是定义在图Ｇ的顶点集合Ｖ（Ｇ）上的整数位函数且对每个ｘ∈Ｖ（Ｇ）有０≤ｇ（ｘ）≤ｆ（ｘ）．证明了：若Ｇ是一个（ｍｇ＋ｋ,ｍｆ－ｋ）－图,１≤ｋ＜ｍ,Ｈ是Ｇ中一个给定的有ｋ条边的子图,则Ｇ有一个子图Ｌ使得Ｌ有一个（ｇ,ｆ）－因子分解与Ｈ正交．     

图中具有某种性质的子图

设ｇ和ｆ是定义在图Ｇ的顶点集合Ｖ（Ｇ）上的整数值函数且对每个ｘ∈Ｖ（Ｇ）都有０≤ｇ（ｘ）≤ｆ（ｘ）且ｇ（ｘ）和ｆ（ｘ）为偶数。本文证明了：若Ｇ是一个（ｍｇ＋ｋ－１,ｍｆ－ｋ＋１）－图,１≤ｋ≤ｍ,Ｈ是Ｇ中一个给定的有ｋ条边的子图,则Ｇ存在一个子图Ｒ使得Ｒ有一个（ｇ,ｆ）－因子分解与Ｈ正交。     

与任意图(m,r)-正交的(g,f)-因子分解

设ｇ和ｆ是定义在图Ｇ的顶点集Ｖ（Ｇ）上的整值函数．证明了如下结果：设ｒ是一个正整数,Ｇ是一个（ｍｇ＋（ｍ－１）ｒ,ｍｆ－（ｍ－１）ｒ）－图,且ｇ（ｘ）≥—１,对ｘ∈Ｖ（Ｇ）．则 Ｇ是一个随机（ｍ,ｒ）－正交的（ｇ,ｆ）－可因子化图．     

Kac-Moody群上可微分模的刻画

对Ｋａｙ－Ｍｏｏｄｙ代数ｇ′上的任意可积模（Ｖ，ｄπ），通过指数可以把它提升为同ｇ′关联的Ｋａｃ－Ｍｏｏｄｙ群Ｇ上的模（Ｖ，π），Ｇ上的这种模称为可微分模．本文将刻画Ｇ上的可微分模并且证明，模（Ｖ，π）是可微分模当且仅当Ｖ到每个根子群Ｕ_ａ的限制都是Ｕ_ａ的一个有理表示．依据这种刻画，得到一个有趣的结果：有理数域Ｑ上的Ｃｈｅｖａｌｅｙ群Ｇ（Ｑ）的所有有限维模都是可微分模     

基于非线性尺度不变性的CCG法

１．引言 ＣＧ法对于变量个数很多的问题,是很有用的．１９７０年后它有了许多改进和发展,ＣＣＧ法以正定圆锥函数为基础［１］,它的一般方法是：设圆锥函数为 ２］其中： Ｖ＝ Ｖ（ｘ）＝１＋ ａＴｘ ≠ ０;, ｒ ∈Ｒ１为常量; ａ,ｇ ∈ Ｒｎ为常向量;ｘ ∈ Ｒｎ为变向量;Ａ∈Ｒｎ×ｎ为对称正定矩阵．算法［１］：预先给出初始近似点ｘ０∈ Ｒｎ及初始搜索方向 ｐ０;满足：其中“Ｉ”是单位矩阵, Ｖ０＝ Ｖ（ｘ０）＝ １＋ ａｔｘ０及记号“”是函数的梯度．迭代格式为： ｘｋ＋１＝ ｘｋ ＋λｋｐｋ,ｋ＝ ０,１,２,…（３…     

图的(g,f)-因子分解

设Ｇ是一个图，ｇ（ｘ）和ｆ（ｘ）是定义在图Ｇ的顶点集上的两个整数值函数且ｇ≤ｆ．图Ｇ的一个（ｇ，ｆ）－因子是Ｇ的一个支撑子图Ｆ使对任意的ｘ∈Ｖ（Ｆ），有ｇ（ｘ）≤ｄＦ（ｘ）≤ｆ（ｘ）．如果图Ｇ的边集能划分为若干个边不相交的（ｇ，ｆ）－因子，则说图Ｇ是（ｇ，ｆ）－可因子化的．本文研究了图的（ｇ，ｆ）－可因子化的问题，给出了一个图Ｇ是（ｇ，ｆ）－可因子化的若干充分条件．     

同指数函数值有关的有理逼近

本文证明了数∑ｇ∈Ｇｌ（γｇ）ｅβｇ具有指数２＋ε的有理逼近．这里βｇ和γｇ为有限次代数数域ｋ上元素β和γ在ｇ作用下ｋ上共轭元素，Ｇ为ｋ的Ｇａｌｏｉｓ群，ｌ（ｘ）∈ｚ［ｘ］，从而推广了Ｃｈｕｄｎｏｖｓｋｙ的文章［５］的结果．     

图的（g，f）－因子和因子分解

设Ｇ是一个图，ｇ，ｆ是定义在图Ｇ的顶点集上的两个整数值函数且图Ｇ的一个（ｇ，ｆ）－因子是Ｇ的一个支撑子图Ｆ使对任意的ｘ∈Ｖ（Ｆ）有本文给出了一个图（ｇ，ｆ）－可因子化的若干充分条件和一个图是（ｇ，ｆ）－消去图的充分必要条件，并研究了这些条件的应用。     

图的（g，f）－因子和因子分解

设Ｇ是一个图，ｇ，ｆ是定义在图Ｇ的顶点集上的两个整数值函数且图Ｇ的一个（ｇ，ｆ）－因子是Ｇ的一个支撑子图Ｆ使对任意的ｘ∈Ｖ（Ｆ）有本文给出了一个图（ｇ，ｆ）－可因子化的若干充分条件和一个图是（ｇ，ｆ）－消去图的充分必要条件，并研究了这些条件的应用。     

Lax定理在局部凸空间中的推广

本文给出Ｌａｘ定理在局部凸空间中的几个推广，特别地，我们获得Ｌａｘ定理的如下推广：设Ｘ和Ｙ为自反Ｆｒｅｃｈｅｔ空间，其拓扑分别由半范序列ｑ１≤ｑ２≤…和半范序列ｐ１≤Ｐ２≤…所给出．设Ａ：Ｙ→Ｘ′为连续线性算子，则存在连续线性算子Ｇ：Ｙ′→Ｘ使满足：（Ｇｇ，Ａｙ）＝（ｇ，ｙ），ｇ∈Ｙ′，Ｖ∈Ｙ当且仅当：对于ｎ，存在ｃｎ＞０，使ｓｕｐ｛１（Ａｙ，ｘ）｜：ｑｎ（ｘ）≤１｝≤ｃｎｐｍ．（ｙ），ｙ∈Ｙ且Ａ的值域在互Ｘ′中具拓扑补，这里，Ｘ′和Ｙ′分别记Ｘ和Ｙ的强对偶．     

关于图中子图的（n,k）—正交因子分解

设G是一个具有顶点集V(G)和边集E(G)的图. 设g和f是定义在V(G)上的两个整数值函数,使得g(x)f(x)对所有的点x∈V(G)都成立.如果G是一个(mg+n,mf-n)-图,1n<m2k,且g(x)2k-1对所有的点x∈V(G)都成立,则对任意给定具有|E(H)|=nk边的G的子图H,存在G的一个子图G′使G′有一个(g,f)-因子分解(n,k)-正交H.     

具有正则*-断面的正则半群的结构

设S是一个正则半群,如果存在一个S的子半群S~*及上的一元运算*满足条件：(1)(?)x∈S,x~*∈S~*∩V(x)；(2)(?)x∈S~*,(x~*)~*=x；(3)(?)x,y∈S,(x~*y)~*=y~*x~(**),(xy~*)~*=y~(xx)x~*则称S~*是S的一个正则*_-断面．本文刻画了具有正则*_-断面的正则半群的结构。     

关于图是(g,f,n)-临界图的充分条件

设G是一个图. 设g和f是两个定义在V(G)上的整值函数使得对V(G)所有的顶点x有g(x)f(x). 图G被称为(g,f,n)-临界图,如果删去G的任意n个顶点后的子图都含有G的(g,f)-因子. 本文给出了图是(a,b,n)-临界图几个充分条件. 进一步指出这些条件是最佳的. 例如,如果对V(G)所有的顶点x和y都有g(x)＜f(x), n+g(x)dG(x)和g(x)/(dG(x)-n)f(y)/dG(y),则G是(g,f,n)-临界图.     

两子空间的公共补与Groβ问题

设U,V是Hilbert空间H的两个闭子空间．若存在H的闭子空间L满足L+U=H,L+V=H,且L∩U=L∩V={0},则称L是U和V的公共补．本文获得了两子空间有公共补的一些新的特征,给出了等式H=[U∩(U⊥+ V⊥)]⊕[V⊕(U⊥∩V⊥)]成立的充分必要条件,完全回答了GroB提出的问题．     

环的B-稳定正则理想

研究了正则理想是B-稳定的充分和必要条件,并且证明环R的正则理想I是B-稳定的当且仅当对任意的有限生成投射右R-模A,如果A₁和A₂是A的有限生成子模且满足A₁≌A₂,A₁=A₁I以及A₂=A₂I,则存在一个有限生成子模B,使得A=A₁（?）B=A₂（?）B;当且仅当对任意的幂等元e,f∈I,eR≌fR蕴含eR/（eR∩fR）≌fR/（eR∩fR）;当且仅当对任意的a∈1+I,存在一个幂等元e∈I,使得a-e∈∪（R）并且aR∩eR=0.进而构造了相关的例子.     

S_n+W_n的邻点强可区别全色数

设G(V,E)是阶数不小于3的简单连通图,k是自然数,f是从V(G)∪E(G)到1,2,…,k的映射,满足:对任意的uv∈E(G),f(u)≠f(v),f(u)≠f(uv)≠f(v);对任意的uv,uw∈E(G)(v≠w),f(uv)≠f(uw);对任意的uv∈E(G),C(u)≠C(v),其中C(u)={f(u)}∪{f(v)uv∈E(G)}∪{f(uv)uv∈E(G)},则称f是图G的一个邻点强可区别的全染色法,简记作k-AVSDTC,且称χast(G)=min{k G的所有k-AVSDTC}为G的邻点强可区别的全色数.得到了星与轮联图的邻点强可区别的全色数.     

幂群与它的生成群

设г是G上的幂群,即以G的非空子集为元素,在G的子集的运算之下所成的群.P_1,P_2是这样的两个性质 P_1:对任意g∈G,存g∈G,存在A∈г,使得g∈A. P_2:对任意A,B∈г,如果A≠B,则A∩B=φ. 本文得出了群G上的幂群г分别具有性质P_1或P_2的充要条件.     

(a,b,n)-临界图的几个充分条件

设G是一个图 .设g和f是两个定义在V(G)上的整值函数使得对V(G)所有顶点x有g(x) ≤f(x) .图G被称为 (g ,f,n) 临界图 ,如果删去G的任意n个顶点后的子图都含有G的 (g ,f) 因子 .本文给出了图是 (a ,b ,n) 临界图几个充分条件 ,即度和邻域条件 .进一步指出这些条件是最佳的 .     

关于分数可消去图的若干结果

令G=(V(G),E(G))是一个图,并令9和f是两个定义在V(G)上的整数值函数且对所有的x∈V(G)有g(x)≤f(z)成立．若对G的每一条边e都存在G的一个分数(g,f)-因子G_h使得h(e)=0,其中h是G_h的示性函数,则称G是一个分数(g,f)-消去图,若在G中删去E′■E(G),|E′|=k后,所得图有分数完美匹配,则称G是分数k-边-可消去的。本文给出了图是1-可消去,2-可消去和k-边-可消去的与韧度和孤立韧度相关的充分条件。证明了这些结果在一定意义上是最好可能的．     

Isolated subgroups of finite abelian groups

Czechoslovak Mathematical Journal - We say that a subgroup H is isolated in a group G if for every x ∈ G we have either x ∈ H or 〈x〉 ∩ H = 1. We describe the set of...