无重复区组的可分解二重三元系

一、引言 所谓一个三元系S_λ(2,3;v)是一个序对(V,B),其中V是一个v元集,B是由V的一些3-子集(叫作三元组)组成的子集族,使得V的任一2-子集都恰好包含在λ个三元组中。 S_λ(2,3;v)中若干三元组若构成V的一个划分,则称为一个平行类。若B可划分成平行类,则S_λ(2,3;v)叫作可分解的并记作RS_λ(2,3;v)。若B的某个子集构成V\{x}的一     

严格单纯Mendelsohn三元系的嵌入

一个v阶Mendelsohn三元系MTS(v)是这样一个序对(X,v),其中的X是一个v元集,A是由X的循环有序3-子集(称为三元组)组成的集合,使得由X中不同元素作成的任一序对恰好包含在唯一的一个三元组中,我们指出三元组(a,b,c)包含序对(a,b),(b,c)与(c,a)而不包含(b,a),(c,b)或(a,c)。 设(X,A)为一个MTS(v),如果(a,     

可分解平衡不完全区组设计RBIB的存在性理论

一个t-(v,k,λ)设计(X,■)是指由一个v元集X和一个X的子集族■所构成的序对,■中的元素为X的某些k元子集(称为区组),而且X中任意的t元子集都恰好被包含在λ个区组之中。2-设计就是在实验设计中经常用到的平衡不完全区组设计(BIB)。如果     

不可约单纯设计B[4,2;v]与B[4,3;v,]的存在性

所谓一个平衡不完全区组设计B[k,λ;v]是这样一个序对(X,(?)),其中X是一个包含v个元素的有限集,(?)是由X的k-子集(称为区组)组成的一个子集族,使得X中任意一对不同的元素同时包含于λ个区组中。若一个B[k,λ;v]不包含重复区组,则称为单纯的。     

3-GDD大集存在的谱

一个可分组设计GDD(t~u)是一个三元组(X,(?),(?)),它满足如下条件:(1)X是一个tu元点集;(2)(?)将X分拆成u个t子集,(?)中元称为组;(3)(?)是X的3子集簇,(?)中元称为区组,使得对任意B∈(?)及任意G∈(?),|B∩G|≤1,且X的任意不含在同一组内的2子集恰含在一个区组中.具有相同组集的两个GDD(t~u)(X,(?),(?))及(X,(?),(?))称为不相交的,若(?)∩(?)=φ.     

交换封闭的理想语言及其准素分解

设X为一个有限集,X~*表示由X生成的自由么半群。X中的元素叫字母,X~*的元素与子集分别称为X上的字与语言。X~*的恒等元称为空字,记为λ。且记X~+=x~*-{λ}。 关于X上任一语言A,如下定义的X~*上的关系P_A是X~*上的同余:     

标号可分解设计与可分解GD设计的构作

设V为包含v个元素的一个有限集,为V的一些k-子集(称作区组)组成的子集族,若V中任意一对不同的元素恰好在λ个区组中相遇,则称序对(V,(?))为一个平衡不完全区组设计,或简称为区组设计,记作S_λ(2,k;v)。     

2~n+2阶Mendelsohn三元系大集的构造

设X是一个v元集(v≥3)。X的一个循环三元组是由三个有序对(x,y),(y,z),(z,x)组成的一个集,其中x,y,z是X的不同元。我们记它为〈x,y,z〉或〈y,z,x〉或〈z,x,y〉。X上的一个Mendelsohn三元系是一个对子(X,B),其中B由X的若干循环三元组构成,使得X的每个(由不同元组成的)有序对恰在B的一个循环三元组中。我们记它为MTS(v)。已经知道MTS(v)存在当且仅当v≡0或1(mod3),v≥3 v≠6。如果     

互不相交的transitive三元系大集

设X是一个v元集(v≥3)。X的一个transitive三元组是三个有序对(x,y),(y,z),(x,z)的集,其中x,y,z是x的相异元,通常将此三元组记为(x,y,z)。一个transitive三元系指的是一个有序对(X,％),其中％是X的一些transitive三元组的集     

Chebyshev中心的连续性

设X是赋范线性空间,G是X的子集,A是X的有界子集,定义r_G(A)=(?)||a-g||.对g_0∈G,(?)||a-g_0||=r_G(A),则称g_0是G对A的限制Chebyshev中心,而r_G(A)称为A关于G的限制Chebyshev半径.特别地,若G=X,则g_0称为A的Chebyshev中心,r(A)=r_x(A)为A的Chebyshev半径.     

关于变分方程零点问题一个分歧图定理

设E是一个实Hilbert空间,λ∈R,F∈C~2(E×R,R).假定F的梯度D_xF(x,λ)为A(λ)x+N(x,λ),其中N(x,λ)=o(|x|)对有界的λ一致,当X→θ时.下面考虑方程A(λ)x+N(x,λ)=θ (1)_λ的解问题.设0是A(0)的孤立本征值,且0相似文献   

连续统与集函数Γ

集函数(如T,K)在连续统理论中已显示出很好的性质,本文对一个尚未充分得到研究的集函数Γ给出若干结果。 定义1 X为连续统,A(?)X,Γ(A)=X—{x}存在x的分支至多可数闭邻域D(x),使D(x)∩A=φ}。 定义2 连续统X称为Γ可加的,如果对X的每个闭子集族Λ,∪Λ亦闭,则成立     

关于随机集值映象的不动点定理

设(X,d)是一Polish空间,(Q,A,P)是完备概率空间。(?)x∈X,B(?)X,d(x,B)=inf{d(x,y):y∈B}。CB(X)(K(X))表X的全体非空有界闭(紧)子集,D表CB(X)上用d诱导的Hausdorff距离。我们说集值映象T:Q→CB(X)是A可测的,如果对于X的任意开子集B,     

Wielandt不等式的矩阵形式及其统计应用

设A为n×n正定Hermite阵 ,X和Y分别为n×p和n×q的矩阵 ( p + q≤n) ,满足X Y =0 .证明了如下不等式 :X AY(Y AY) -Y AX ≤ λ1-λnλ1+λn2 X AX ,这里 ,M-表示M的广义逆 .λ1和λn 分别为A的最大和最小特征根 .这个不等式是著名的Wieldandt不等式的矩阵形式 .利用此不等式 ,得到关于协方差矩阵、典则相关系数以及复相关系数的一些有意义的不等式 .     

一致信任函数扩张定理

设X为一非空集,是X的子集的一个非空类。用(?)表示中集合的余集全体,即(?)={A~c|A∈(?)}。本文约定。     

不分明集的一个分解定理及其在不分明拓扑中的应用

设A是X上的任一不分明集,σ_r(A)={x:A(x)>r}表示A的强r截集,X_E表示X的子集E的特征函数,Q是[0,1)内所有有理数的集,则有以下     

可分解设计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的一个划分,则称为一个平行     

讳基数的一个组合性质

Solovay证明了定理:设k是正则不可数基数,则k的每一个稳定集是k个k上不交稳定集的并(参见文献[1]定理85).设k为讳基数,A(?)K,若A为讳集,则A是稳定集,从而A可以表示为k个不交稳定集的并.那么能否加强为“A是k个不交讳集的并呢”?本文作出了肯定的回答.文中使用的集合论术语是标准的.以α,β,γ,……表示序数,k,λ,……表示基数.设k为不可数正则基数,若C为K上的封闭无界子集,则我们记它为Club_kC.若s是K上的稳定集(stationary set),则记它为St_kS;若I是k上的理想,则令I~ ={x(?)k│X(?)I│,I~*=|X(?)k│(k-X)∈I},I,I~*是互相对偶的.令NS_K={X(?)k│Club_kX′∧X′(?)X}=|X(?)k│～St_kX}是封闭无界滤子的对偶理想,它是k完全的,通常称为稳定理想或疏朗(thin)理想.     

关于Campbell提出的三个问题

设A、B 是任给的两个序列集合,(A,B)是A 到B 的乘子所成之集合,即若{λ_n)∈(A,B),则对每个{α_n}∈A,有{α_nλ_n}∈B.把一个解析函数看作由其Taylor 系数组成的序列.记l(2,∞)={{λ_n}:sup(?) sum from n=2~(m-1) to 2~m-1 |λ_n|~2<∞}.对于序列空间A,记s(A)=(l~∞,A).D.M.Campbell 于1984年提出关于乘子理论的22个未解决问题.其中问题9是“X     

矩阵dI_βJ的性质及其应用

设v>2,又设v元集S的一个子集系(?)={B_1,B_2,…,B_b}是S上的一个平衡不完全区组设计,其参数为b、v、r、k、λ。记该设计的关联矩阵为A,于是