Slater猜想的证明

图G称为k临界n连通的,如果对每一V′(?)V(G),其中|V′|≤k,有k(G-V′)=n-|V′|。这里k(G)表示G的连通度。一个k临界n连通图简称为(n,k)图。这一概念最早由Maurer与Slater在文献[1]中引进。Slater在文献[1]中提出如下猜想: 猜想A 当2k>n时,完全图K_(n+1)是唯一的(n,k)图。     

TU(n,K,h)或Ω(n,K,Q)在GL(nr,F)中的扩群

设K,F是体,KF,将K看作F上的左空间并设dim_FK—r<∞。n维左K-空间V(n,K)可看作F上nr维空间V=V(nr,F),从而作用于V(n,K)上的GL(n,K)被嵌入作用于V(nr,F)上的GL(nr,F).在文献[1]中我们定出了SL(n,K),Sp(n,K)在GL(nr,F)中的全部扩群,它们恰是作用于中间体E(FEK,dim_EK=d)上空间结构V(nd,E)上的线性群或辛群,仅当GL(nr,F)=SL(4,2)时有例外。本文涉及的是酉群TU(n,K,f)或正交群Ω(n,K,Q)在GL(nr,F)中的扩群。我们对Witt指数v(f)≥2     

实半单Lie群的正交实表示

严志达与张大干在文献[1]中,给出了实半单Lie群的有限维实表示的分类。本文将利用Vogan在文献[2]中提出的最低K型的概念,讨论实半单Lie群的正交表示设G为实半单连通Lie群,K为G的极大紧子群,分别为它们的Lie代数。V是一个实Hilbert空间。π:G→End(V)为一个同态。且π(g)v(g∈G,v∈V)为G×V到矿V的连续映射,则称(V,π)为G的一个实Hilbert表示。若π(g)同时又是正交算子(保持内积不变),则(V,π)称为G的正交(实)表示。若V中没有π(G)的非平凡不变闭子空间,则称(V,π)不可约。以下恒假定(V,π)为G的不可约正交表示。记(V~c,π)为(V,π)的复化。     

固定设计下的非参数多元回归

设Y_i~(n)=g(x_i~(n))+g~(n),i=1,…,n,g为R~P中紧集A上未知函数,x_i~(n)为已知非随机设计点列,为随机误差。文献[1]中用来估计g(x),     

图的连通度与Hamilton连通性

一、引言 我们讨论的图均为简单图,K和α分别表示图的连通度和独立数。我们采用文献[1]的术语和符号,并记G_n~k={G丨G为n阶k-连通图},H_e={G丨G是Hamilton连通图},用P_H(u,v)表示从u到v的Hamilton路。图G中的路P称为控制路,如果G[P(G)\V(P)]均为孤立点.给出图G中的一条(x,y)-路P,总认为是从x到y定向,表示的反向。若u,v∈V(P),则uv表示P上沿从u到v的路。又u≠y,v≠x,则u~+和v~-分     

复投影空间和四元数投影空间的切丛的不可扩充性

设K是一个CW复形,L为它的子复形。L上的一个实(复)向量丛被称作可以扩充到K上,如果它等价于K上一个实(复)向量丛的限制。Schwarzenberger研究了CP~n(RP~n)上的向量丛到CP~m(RP~n),(m>n)的不可扩充性问题,这里CP~n(RP~n)是复(实)投影n-空间。Kobayashi等研究了透镜空间的情形。应用Riemann-Roch定理,Schwarzenberger建立了下列定理1 CP~n的复切丛可以扩充到CP~(n+1),当且仅当n=1。使用K理论,我们给出这一定理的另一证明。进一步,我们考察了作为实向量丛CP~n的     

关于伪对称集的一个注记

为了研究某些不等式的需要,最近文献[1]引进了伪对称集的概念。 定义 设是n维欧氏空间E~n中的一个点集,我们说是E~n伪对称的,如果的凸包是n维的,而且 (ⅰ)中所有的点都分布在E~n中的某个球面S~(n-1)上;     

环面→单连通空间的映射的同伦群

把从环面K=S~1×S~1到拓扑空间V的映射(指连续映射,下同)的绝对同伦类集合记为N(K,V)。我们在文献[1]中曾指出:当V为二维球面S~2时,该集合可被构造成同构于整数加群Z的群,并据此解决了环管状铁磁体磁化状态的绝对拓扑分类问题。N     

关于图论中的三个B.Zelinka猜想

本文中未给定义的名词术语和未加说明的符号记法都可以在文献[1]中找到。 一、关于方体图可达划分数猜想 设G是无向图,如G的点集V(G)的子集D满足对任意的v∈V(G)-D,存在u∈D,使得u与v邻接,则称D是G的一个可达集。最小可达集的基数称为可达数,记作r(G),V(G)可以划分成若干不交可达集的并,划分的最大基数称为G的可达划分数,记作d(G)。确定n方体Q_n的可达数和可达划分数是一个还没有解决的问题。Zelinka得到了一个部分结     

k连通闭流形到某些欧氏空间的内浸

在这篇文章中,我们主要获得了以下二个结果:1.设W为k连通n维闭流形,k=0时,要求W是可定向的。令M=(?),0≤h≤2k,n—2h≥5,则M到R~(2n-h-1)的内浸一定可以扩张为W到R~(2n-h-1)的内浸。2.给出k连通闭流形到某些欧氏空间的内浸分类。由定理3当k=0时,就得出文献[1]中当流形为n维定向闭流形时到R~(2n-1)的内浸分类;当K=1,n≡0 mod 4时,我们就得出文献[2]中当流形为n维单连通闭流形时到R~(2n-2)的内浸分类。     

群Z_2在RP(2K)上的光滑作用

设(M~n,T)为n维光滑闭流形M~n上的光滑对合,F~(n-k)为T的不动点集F中n-k维连通分支的并,V~k为F~(n-k)在M~n中的法丛。Czes,Kosniowski和Stong在文献[1]中已证明     

处处振荡的达布函数

Marcus在文献[1]中证明了下述定理。 定理 假设f(x)是区间I上的连续函数,它在I的某一稠密集上点点取到极大值,那么对于每一个区间J(?)I,或是存在区间K(?)J,使f(x)在K上是常数;或是存在关于f(J)={y;     

非线性正系统的结构特性

这里扼要给出我们在非线性正系统方面所得到的几个结论,有关定义见文献[1].文献[2]中通过矩阵给出了线性正系统的概念.以下定义是更一般的:定义设某系统在零时刻由x 出发的轨线为φ(t,x),并记R_+~n={(x_1,x_2,…,x_n)~T∈R~n|x_i≥0,i=1,2,…,n).若对任意的x∈R_+~n,有φ(t,x)∈R_+~n,(?)t≥0,则该系统为一正系统.其中t 对于连续系统属于实数集R,对于离散系统属于整数集Z.     

实二次数域类数h(K)=1问题

利用文献[1]等关于丢番图方程的结果和连分数等理论,本文对实二次域K,特别是其中的ERD型域,将给出一系列关于理想类数h(K)=1和h(K)>1的判定定理。实二次域类数问题自从Gauss提出猜想以后,文献很多。例如陆洪文在文献[2—4]中有关于类数为1问题的很深刻的结果。我们在文献[5]中决定了类群的子群特别是类数的因子。对ERD型二次域,最近有许多结果(可见文献[6]及所引结果),但问题也远未解决。     

自正交卷积码约束长度的下界

按照Massey的思想,文献[1]引进了自正交卷积码,这类卷积码的优点是可以采取门限译码,且错误扩散是有限的。对于一个码长n_0=k_0 1和设计距离d均给定的(mn_0,mk_0)-自正交卷积码,其编码约束长度n=mn 0有如下的下界(见文献[1]或[2]中系13.1):     

微分多项式理想的极小特征基

在文献[1]中我们定义了多项式理想的极小特征基并研究了其性质。本文将这一概念推广至微分多项式理想。 1。极小特征基的定义 考虑一个特征为零的基本数域K及一组变元X_1,…,X_n。K{X_1,…,X_n)为系数在K中X_1,…,X_n的微分多项式集。我们用X_i,j表示X_i的j次微分。有关微分代数的一些概念如:初式、升列、基列等读者可参考文献[2,3]。在变量间     

关于(q~s,q~s,…,q~s)型数域的相对整基

文献[1]中简洁构作了Abel数域K的Genus域K_G。本文将对K_G作进一步刻画,从而决定Abel数域K的导子f(K)和判别式D(K)。最后证明(q~s,q~s,…,q~s)型数域扩张L/K具有相对整基。设L是一个数域,K是其一子域。域K的整数环O_K是Dedekind环,O_L是无扭O_K-模。于是由E.Steinitz(1912)和I.Kaplansky(1952)关于Dedekind环上模的结构定理知O_LO_K~(-1)J,其中n=[L:K],J是K的理想,在相差主理想倍(即同一理想类)意义下唯一决定。于是,代表的理想类[J]就完全决定了O_L的环结构。特别     

再论多重共轭Fourier级数的强求和

本文是文献[1]的继续,其目的是改进文献[1]关于多重共轭Fourier级数强求和的结果。 沿用文献[1]的记号。设Q={x=(x_1,…,x_k):-π≤x_j<π,j=1,…,k}。 L(Q)表示在Q上可积的函数的集合,设P(x)是一个n≥1次的k元齐次调和多项式。对于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]如下:     

Markov和Bernstein不等式的一个推广

以||·||p[a,b]表示[a,b]上的Lp范数,1≤p≤∞,若0相似文献