关于Suslin树的两个结果

在公理集合论中,Suslin树(ST)是树中的重点,Jech运用ST证明了著名的Suslin问题的独立性.本文进一步探讨了Suslin树,证明了在Jech的模型M[Ω]中存在着一串逐个包含的ST的ω_1序列,它们的可数交仍是ST,这里Ω是正规完全的二枝ST,并把Jech M[Ω]2=1(不管2在M中的大小)的结果推广到更为广泛的ST.     

Martin公理及其应用(2)

§6.MA与组合集论、无穷图论由于篇幅所限,本文所涉及MA的重要文献仅仅有Erd(?)s和Hajel的文章[30,32],Baumgartner和Hajnal的文章[8].近年来,对于组合集论紧密有关的无穷图论的研究(尤其是着色问题)已有了进展.例如在Shelah的文中[I.48](指本文(I)的[48],下同),给出了MA的一个有趣的推论.C:即有ω_1的某驻T,使得C(T)成立.这里C(T):对每个σ∈lim(T)指定递增序列η_δ→δ,若任给{h_δ∈~w2|δ∈lim(T)},则存在f∈~(w1)2,使得(?)δ∈lim(T)(?)K(?)n>k(f(η_δ(n))=h_δ(n))成立.在C(ω_1)的图论中,任给ω_1上的阶梯着色系{h_δ},每点δ处的序列η_δ的两元着色可以在ω_1上一致.Shelah证明了 C(ω_1)可推出Whitehead问题的否定(§15),在文献[I,48]中证明了(?)TconC(T) GCH).但是Devlin[I,15]却证明了CH(?)(?)C(w_1).与C相似,Reed则提出了一条SP,证明它等价于一个有趣的拓扑结论.另外,若记B为:(?)驻集T(?)ω_(-1),则B_T成立.每个下列形式的图G有色数(?),即G的顶点集为ω_1,每个顶点仅与其有限个前趋元或一个收敛于它的前趋元序列共边(称为HM图),Hajnal,M(?)t(?)证明MA (?)CH(?)B,但◇(T)(?)(?)Br,文[I,48]证明了CH与B_T协调,这正好说明HM图有可数色数是不能判定的.§7.MA与超滤,βω——ω的组合性质     

K-连通无爪图的最长u-路

本文证明了如下结果:设G是p阶K一连通的无爪图,K>2.G中任意K+1个顶点的独立集{V_1,V_2,…V_(k+1),有又设u∈V(G),为G中最长的u一路,则G[R]中不含(K-2)一路连通子图,从而不含K_(k-1),这里R=V(G)\V(P)。     

有关模型C的若干协调性结果

致力于研究Chang氏模型C与所有集合的类V之间的协调性关系.证明了V=C≠L和V≠C≠L都分别和ZFC集合论系统协调(其中,L是G del可构成类).进而,我们研究了-ωSuslin树和1ω-Kurepa树在C中的存在性.证明了,模型C中存在这种树是协调的,不管V中是否存在这种树.     

关于伪基的一个注记

近年来,随着人们对局部有限集族和点有限集族研究的进一步深入,点可数集族引起了一般拓扑学者的广泛兴趣。E.Michael在文[1]中引进了伪基(pseudo—base)的概念,并通过它定义了一类重要的广义度量空间—(?)_0-空间,即具有可数伪基的正则空间。这篇简短的注记证明伪基的一个有趣性质:具有点可数伪基的Hausdorff空间具有可数伪基。因而(?)_0-空间等价于具有点可数伪基的正则空间。空间X的子集族(?)称为X的伪基([1]),如果对于X的任意紧子集K和开集G(?)K,存在(?)中的元P使K(?)P(?)G。     

关于团图的一个注记

在这个注记中,我们将[1]定理3·1改进成:图G满足条件2~(|G|-ω(G))=|K(G)|当且仅当G是Turan图T(|G|,ω(G))的子图且同时G包含一个子图同构于[1]定理2·3的证明中引入的Hedman图H(|G|,ω(G))。我们还指出[1]定理3·2是错误的。事实上我们进一步证明了:如果图G满足条件2~(|G|-ω(G))=|K(G)|,则或者K(G)是Neumann图或者K(G)是完全图,并且K(G)为完全图当且仅当Δ(G)=|G|-1。     

拟环的Jacobson根

Betsch[1]将结合环的Jacobson根引入到拟环N上,得到三种类型的Jacobson根,分别记为(?)_o(N),(?)_1(N),(?)_2(N).Holcombe[2]引入另一种类型的Jacobson根,记为(?)_8(N).本文给出一种介于(?)_2(N)与(?)_3(N)之间的Jacobson根,并证明其一系列的性质。     

树的k-分支限制控制数的一个下界

设G=(V,E)是一个图。集合S■V称为一个k-分支限制控制集,如果S是一个限制控制集且G[S]最多有k个分支。G的k-分支限制控制数是G的最小k-分支限制控制集的基数,记作γkr(G)。证明了若树T有n个顶点,则γkr(T)≥max{「n+2/3┐,n-2(k-1)},而且刻画了可以达到这个下界的树。     

闭算子半—Fredholm 域的结构

设T是复Hilbert空间H中的稠定闭算子,用ρ_(S-F)(T),C,ρ_(S-F)~s(T)分别表示T的半—弗雷德霍姆域及该域中T—正则点,T—奇异点的集合,用S表示T的Moore-Penrose逆。作者以(M—P)逆为工具证明了:如果O∈ρ_(S-F)(T),G={μ∈C:0<|μ|<‖S‖~(-1),那么Gρ_(S-F)~r(T)。因此ρ_(s-f)(T),ρ_(S-F)~r(T)均为开集,而ρ_(S-F)~s(T)在ρ_(S-F)(T)中无极限点。     

Bounds for the smallest eigenvalue of an irreducible nonsingular M-matrix 关于不可约非奇M—矩阵最小特征值的界

令ω_0是矩阵 A=(a_(ij mxn)的最小特征值,且 AX_0=ω_0X_0,p_i=|aij|,M(i.j)=1/2{aij+aii-[(aii-ajj)~2+4PiPj]~(1/2)},M~*(i,j)=1/2{aii+ajj-[(aii-ajj)~2+4|aij·aji|]~(1/2)}r=(aii-p_i),R=(aii-p_i),m=M(i,j)M=M(i,j),m~*=M~*(i,j),我们在文中将证明:如果存在一个符号矩阵 S(由1和-1构成的对角阵),使得=SAS 为一个不可约非奇 M—矩阵,则有下列结论成立:(1) ω_0是正实单根,且 X_0=Sx_0是正向量。(2) ω_0相似文献   

q—树的色性

本文证明了由E.G.White head,Jr提出的猜想:一个n阶图G是q——树的充要条件是:P(G,λ)=λ(λ-1)…(λ-q+1)(λ-q)~((?)-q),这里n≥q≥3。     

3-连通3次图类的(2,1)—临界图

图G称为属于图类C(m,n),如果对于G的任意一对不相交的质点子集M,N,其中|M|=m,|N|=n,G中总存在圈C使得M V(C)而N∩V(C)=φ。设f是由C(m,n)中某些图沟成的图类。图R称为关于图类f的(m,n)临界图,如R果满足下列条件: (ⅰ) R∈f, (ⅱ) R∈(C(m+1,n), (ⅲ) 对f中不属于C(m+1,n)的任意图G,都存在G到R的收缩。 1980年,D.A.Holton提出:“完全二部分图K(3,3)是否为3一连通3次图类的(2,1)一临界图?”本文证明了这个问题的答案是肯定的。     

X—有界集及其良加细覆盖

本文讨论箱积空间□~ω(ω+1),或等价地讨论其商空间?~ω(ω+1)是否绝对仿紧这一著名问题。在空间?~ω(ω+1)中引进x—有界集的概念;指出d个x—有界集的并是绝对仿紧的。并给出了关于x—有界集的良加细覆盖的一些重要性质;这些性质实际上导至?~ω(ω+1),□~ω(ω+1)绝对仿紧的一个充分条件。     

有限群为超可解群的一个充要条件

本文证明了有限群为超可解群的一个充要条件,结果是:有限群G为超可解群当且仅当G有一个正规π-Hall子群N,且满足 (1)N是幂零群,G/N超可解, (2)存在素数P|N|,以及G的超可解子群K,使得[G:K]=p     

ω_μ—乘积空间

本文引入了ω_μ—乘积空间的概念,并详细讨论了它的性质,最后以此为工具给出了R.sikorski和王戍堂关于ω_μ—距离化定理的较简单的证明。ω_μ系指规则的初始数,如不特别说明,总假定μ>0。一个拓扑空间(x,T)叫做ω_μ—可加的,是指对T的任一个α一列有,这里α是小于ω_μ的任一序数。     

Sol-Gel工艺制备铁电KTN和KN陶瓷中络合反应的研究

在Sol—Gel(溶胶—凝胶)工艺制备铁电KTa_(1-x)Nb_xO_3(KTN)和KNbO_3(KN)陶瓷中,我们用电导滴定法和红外吸收谱测定法研究[M_2(OC_2H_5)_(10)+CH_3OH+K(OC_2H_6))和[M_2(OC_2H_5)_(10)+C_2H_5OH+K(OC_2H_5)](M=Nb,Ta)系统的溶液,发现这些系统的溶液存在络合反应。根据所得的结果,提出解释这些现象的理论模型。     

H—Galois代数同构类和Harrison上同调群

<正> 若K是一个具有单位元的可换环,K—双代数(H,μ,η,△,ε)具有对极正[1]时称为Hopf代数[2],△:H→H(?)H表示上乘法或者对角映射,ε:H→K表示上单位或者扩张映射。本文自始至终假定H是一个秩为2的自由—K模。在H中存在一个元素x,使得ε(x)=0,它是kerε的生成元,并且1,x是H的一个基。H~*是k—模H的对偶,Φ是H~*的元素,使得Φ(1)=0,Φ(x)=1,ε和中构成H~*关于K的一个基,对偶于H的基1,x。H~*也是K上的一个Hopf代数,ε是H~*的单位元。在K中存在元素p、q,使得x~2=qx,△x=1(?)x+x(?)1+px(?)x,pq+2=0。     

拟常曲率空间的几个整体性质

拟常曲率空间(M,g)的曲率张量具有分量k_(λμγ)~ω=a(δ_λ~ωg_(μγ)—δ_μ~ωg_(λγ)+b{(δ_λ~ωξ_μ—~ωμξ_λ+(ξ_λg_(μγ)—ξ_μg_(λγ))ξ~ω},式中a,b是M上数量场,ξ=ξ_λ■_λ(■_λ是M的切空间的自然基底)是M上单位向量场,指标λ,μ,γ,…=1,2,…,m。本文运用[2]的有关结论,讨论m维紧致定向拟常曲率空间M的Betti数和开玲p_形式;研究了拟常曲率空间和球面共形的条件。     

Goldie*-补模的直和

称模M为G*-补模,若对于M的任意子模L,存在M的补子模N,使得(L+N)/L相似文献   

图生成树棵数的一种求法

本文提出了对给定图 G来说 ,计算它的所有的生成树棵数的一种方法 ,即由 Cayley定理与 Binet-Cauchy定理来推导一个公式τ(G) =det(KKT) ,为了证明此公式的成立 ,还证明了从一个图的完全关联矩阵 M(G)中删去任意一行后 ,得到的矩阵 K和 K的转置 KT满足 Binet-Cauchy条件。公式τ(G) =det(KKT)的证明是由一个图的生成树的棵数公式τ(G) =τ(G -e) τ(G . e)与具有以上性质的矩阵 K与 KT且 det(KKT) =∑ Ki Ki=∑K2i 合起来证明。