m-k_n×k_s残留图

本文将讨论m-k_u×k_s残留图。定义1 图G=(V,E)为简单图,u∈V,集合N~*(u)={v∈V|v与u邻接}U{u}叫做u的闭邻域。定义2 G叫做F残留图,F是指定的图,如果对每一点u∈V(G),G-N~*(u)≌F,(≌表示同构)递归地定义,图G叫做是m-F残留图,如果对     

关于对称PBD猜想

在设计论中我们知道:(1)如D=(V,I)是对称设计S_λ(2,k,v),x∈V,令     

GCD整环与UFD分式理想的刻划

设R是整环,其商城为K.设I≤K是R的分式理想,令I~(-1)=|X∈K|XI≤R|,I_υ=(I~1)~(-1)及 _t=|B_υ|B是I的有限生成子分式理想|.当I=I_υ时,I称为υ-分式理想,当I=I_t时,I称为t-分式理想.在许多情形下,可用υ-理想与t-理想成功地刻划某些整环 也可以定义ω分式理想并用ω理想成功地刻划GCD整环与UFD.称R的一个分式理想I为ω-分式理想,指的是若J_x≤I,其中x∈K,J是有限生成的理想且J~(-1)=R,则必有X∈I.对任何分式理想I,Iω=|X∈R|存在一个有限生成理想J,使得J_(-1)=R,J_X≤I|,这是包含I的最小的ω分式理想.称I是有限型分式理想,如果存在一个有限生成子分式理想B≤I,使得B_ω=I_ω,这是有限生成概念的一个自然推广、我们有定理1 对整环R,以下各条等价:     

Banach空间中集值映射的积分

设(T,μ)为有界Lebesgue测度空间,X是Banach空间。文中积分指Bochner积分。用2~x记X的幂集合。对AX用coA和clA分别表示集合A的凸包和闭包。称集值映射F:T→2~x是非空、闭的,如果对每个t∈T,F(t)是非空闭的;称F是积分有界的,如果存在g(·)∈L~1(T,R~+)使得对任意t∈T,     

局部环R上线性群的生成元定理

本文主要是将域F上线性群GL_n(F)的生成元定理,推广到局部环R上的线性群GL_n(R)上去,因为对于局部环R上的n维R空间V及GL_n(R)中元素σ来说,Q=(σ-1)V及M={x∈V|σx=x}一般只是V的R子模而未必是V的R子空间,所以,O.T.O'Meara所定义的剩余空间的概念不能直接     

L~p空间上一类积-微分算子的谱

考虑如下被真空包围的有界闭凸集V中的中子迁移算子 A·=-vΩ·grad_r·-vΣ(r,v)·+∫_D∫_E κ(r,v,Ω,v′,Ω′)·dv′dΩ′,D(A)={Φ∈L~p(G)\AΦ∈L~p(G);Φ(r,v,Ω)=0对r∈aV及进入V的方向Ω成立},(r,v,Ω)∈G=V×E×D,E=(0,v_M],0相似文献   

不连续系统的实用稳定性

本文研究F-不连续系统(d_x)/(d_t)=f(t,x)的实用稳定性,这时f在n 1维区域G=E_4~1×H上可测,对任意有界闭域DG,存在L可积函数m(t)使得|f(t,x)|≤m(t),a.e.(t,x)∈D成立,称x(t)为(1)式的解,若x(t)在J的每个列紧子集I上绝对连续,使得对a.e.t∈J满足关系式     

二元周期序列相关函数的估计

引言一个二元序列是指a=(a_1,a_2,…,a_n,…),其中a_n=+1或-1.(1)以A_n表示满足条件a_1=a_(n+1) (i=1,2,…)的二元序列全体,显然|A_n|=2~n。这里|A_n|表示集合A_n的元素个数。设(1)式中的二元序列a∈A_n,在数字通信等领域中广泛采用下面两种自相关函数:     

保持广义可合数值域的线性算子

设G是对称群S_m的子群.记CG是所有函数f:G→C的集合.称f是半正定的,如果存在c∈CG,使得对任意的r∈G有f(r)=sum from σ∈G (c(στ)c(σ)特别地,G的不可约特征标是半正定的.记C_n×m为n×m复矩阵集.对于f∈CG,广义矩阵函数d_f:C_m×m→C定义为d_f(A)=sum from σ∈G (f(σ))multipy fromu=l to a_iσ(i),其中A=(a_i,)∈C_m×m 设 1≤ m≤n,f∈CG,A∈C_n×n.如果f是非零的和半正定的,则定义A的f可合数值域为集合W_f(A)=|d_f(X~*AX)|X∈C_n×m,d_f(X~*X)=1|当m=1且f=1时,W_f(A)即是A的经典数值域外W(A)=|x~*Ax|x∈C_n×1,x~*x=1|.f-可合数值域相关于张量对称类的可合元素.设c∈CG对任意的,τ∈G满足(1)式记V为带有标准内积的向量空间C_n×1.则张量空间(?)V是酉空间,其诱导内积满足(x(?),     

关于完全3-分图同构因子分解

一个图G=(V,E)的同构因子分解是边集合E的一个分划:{E_1,E_2,…,E_t}使得支撑子图(V,E_1),(V,E_2),…(V,E_t)都彼此同构。如果存在把图G分成t个子图的同构因子分解,就说t能整除G,记为t|G。显然t|G的必要条件是t||E(G)|。t||E(G)|被称为关于G和t的可分条件。Harary等人证明了,当t=2,和4时,可分条件对t|K(m,     

定向图中的路和回路

一个没有环的,任意两个顶点之间最多只存在一条弧的有向图,称作为定向图。定向图D=(V,A),其中V是D中的顶点集合,A是D中的弧集合。令D中各顶点的出度和入度不小于k.Jackson证明了D中存在一条长度至少为2k的通路。在本文中,将给出一个更好的结果。     

可分解设计RGD(4,3;v)的存在性

所谓一个可分组设计GD(k,m;v)是指这样一个有序三元组(V,G,B),其中V是一个v元集,G是V的一些m子集(称作组)的集合,B是V的一些k子集的集合,使得 (ⅰ) G构成V的一个划分; (ⅱ) V中任意一对取自G中不同组的元素恰好在唯一的一个区组中相遇。 给定一个GD(k,m;v),若B中的若干个区组构成V的一个划分,则称为一个平行     

多重Fourier级数及其共轭Fourier积分的球形求和

设E_K为K维欧氏空间,E_K中的点x记为x=(x_1,x_2,…,x_k),Q_k{x∈E_k;-π≤x_i<π,1≤i≤K},B(x_0,r)={x∈E_k;|x-x_0|≤r},Q={x∈E_k;|x|=1},K(x)=P(x/|x|)|x|~(-k)为球调和核,此处P(t)为n次齐次调和多项式。     

n-可扩图的局部邻域条件娄定俊

设G是阶为v的图且具有完美对集。设n是正整数,满足n≤(v-2)/2.G称为n-可扩的,是说:G中任意n条独立边包含在G的一个完美对集中。 设G是一个图且v∈V(G)。定义N_k(v)={u|u∈V(G)且d(u,v)=k}。设u,v∈V(G)满足d(u,v)=2.记I(u,v)=|N(u)∩N(v)|。定义散度α~*(u,v)如下: n_(u+v)(W)=max{|S||w∈N(u)∩N(v),S是G[{w}∪N_G(w)]中包含u和v的独立集},     

测度值分枝过程的伴随卷积半群

设E是Lusin拓扑空间,(?)(E)是由E的所有开子集产生的σ-代数,即E的Borel σ-代数.以B(E)记E上所有有界(E)-可测函数的全体,B(E)~+表示B(E)中非负元素构成的子集.设M(E)是(E,(?)(E))上全体有限测度构成的空间并装备了弱收敛拓扑,则M(E)也成为Lusin拓扑空间.令M(E)°=M(E)\{o},其中o表示E上的零测度.集中于点x∈E的单位测度记为δ_x.对于f∈B(E)和μ∈M(E)记μ(f)=∫fdμ.假定X=(W,(?),(?),X_t,Q_u)是M(E)     

关于竞赛图的弧哈密顿回路性

竞赛图T=(V,A)称为具有孤h回路性,若对任一条弧e∈A,T中都有一个长为h的回路通过e。设|V|=p,则弧p回路性也称作弧哈密顿回路性。邵品琮和张存铨在全国第二次图论学术交流会上提出如下的猜想:若T是弧哈密顿的,则T具有弧k回路性,k=h,h 1,…,p,其中,4≤h≤p—1。如将这个猜想记作c(h),显然有:若c(h)成立,则对任一h′,p—1≥h′≥h,c(h′)也成立;反之,若c(h)不成立,则对任一h′,4≤h′≤h,c(h′)也不成立。现在,我们证明了如下的结果。     

关于部分变元的Liapunov方程

考虑线性系统■其中x=(y~T·z~T)~T,y=(x_1,…,x_m)~T,z=(x_(m+1),…,x_n)~T P>0,P+m=n);A,B,C,D是相应阶数的常数矩阵;A(t),B(t),C(t),D(t)均为[a,+∞)上相应阶数且足够连续可微的有界矩阵。     

二参数正态过程的马尔科夫性

设t(t_1,t_2)为平面上的点(图1),R_+~2=(t:t_1≥0,t_2≥0)中Borelσ-代数记为β。ξ={ξ,(ω),t∈R_+~2}为概率空间(Ω,(?),P)上的实值随机过程。t(t_1,t_2)≥s(s_1,s_2)如t_1≥s_i,i=1,2,R_t=(s:s_1≤t_1或s_2≤t_2),(?)=σ{ξ(?),s∈R_1},即括号中变量产生的σ-代数。称ξ为二参数马尔科夫过程(二马程),如对任意有界β可测函数f,任意u=(u_1,u_2)>t=(t_1,t_2)∈R_+~2,有     

具有最多边的唯一因子图

§1.引言 设G=(V,E)是简单图,V和E分别是G的顶点集和边集。n=|V|称为顶点数,m=|E|称为边数。设S(?)V,从G中去掉S得到的子图,用G-S表示,就是V-S生成的子图。 G的两条边e_1,e_2若有一个公共端点,称为是关联的.设F(?)E是G的边子集,F中任     

区间对称矩阵渐近稳定的充要条件和充分条件

对区间对称矩阵G[B,C]={A|A=(a_(ij))_(n×n)=A~T,b_(ij)≤a_(ij)≤a_(ij)},(1)B=(b_(ij))_(n×n)=B~T,C=(C_(ij))_(n×n)=C~T∈R~(n×n),Bialas研究了G[B,C]渐近稳定的充要条件.后经有关文献(略)得到结论:G[B,C]渐近稳定当且仅当其子集H[B,C]={A|A=(a_(ij))_(n×n)∈G[B,C],a_(ij)=b_(ij)或C_i}(2)渐近稳定.我们进一步构造K[B,C]如下: