关于连续统假设2~(ω~(0))=ω_1的证伪凡数皆可数2~(ω~(0))=ω_1的证明

通过破连续统假设的基石即其中的基本定理与基本方法,得到主要结果:证伪"定理:ω1是基数";康托定理的证伪;对角线法不可取;从正面几个角度几种方法来证明连续统[0,1]是可数的.得出关于连续统的一个新证明:2ω0=ω0.用进制法证明2ω0可数;用一一对应法证明[0,1]实数区间的可数性.     

一阶偏微分方程组的斜微商问题的积分算子及其解的表示定理

本文证明了广义一阶非线性椭圆型偏微分方程组——方程组(A)W_z=g(Z,W,W_z),|Z|<1, (A·1)|g(Z,W,W(_z~1))-g(Z,W,W(_z~2))|≤q_0|W(_z~1)-W(_z~2)|,q_0=const<1 (A·2)的斜微商问题等价于问题 P:在单位圆 K(|Z|<1)内寻找方程组(A)的一组解 W(Z),在|Z|=1上适合条件R_e[Z~(-n)W_z]=0。我们构造了适合问题 P 的边界条件的两个积分算子г(ω)与г_1(ω),建立了它们的全连续性与可微性,研究了其微分算子π(ω)与π_1(ω)的范数。我们还证明了问题 P 的解的表示定理W(Z)=(?),其中ω(Z)=W_z,Φ(Z)在 K 内解析,在|Z|=1上适合 R_e[Z~(-n)Φ'(Z)]=0。     

关于弱自避免字的注记

文章将给出两个元素字母表上的极大弱自避免字的完整刻画,同时给出三个元素字母表Σ3上,满足条件:x1[1]=2,2-1x1∈Σ2ω的无限弱自避免字x1=20012010150130111017012301150…,其中(20)-1x1中0的位置由序列fn决定:f2n 1=52n-2(n≥0),f2n=82n-1-2(n≥1).     

Mixed delay-independent／delay-dependent stability of uncertain linear time-delayed systems

Consideruncertainlineartimedelaysystemsdescribedbythefollowingstateequation : x(t) =[A0 +ΔA0 (t) ]x(t) +∑ri=1[Ai+ΔAi(t) ]x(t-τi) . (1)x(t) =(t) t∈[- τ,0 ]; τ=maxri =1 {τi} (2 )whereΔA0 (·)andΔAi(·) (i=1,…,r) arerealmatrixfunctions .ΔAi(t) =LiFi(t)Ei,ΔA0 (t) =L0 F0 (t)E0 ,whereLi,EiareknownrealconstantmatricesandFi(t)areunknownrealtime -varyingmatriceswithLebesguemeasurableelementssatisfying‖Fi(t)‖ I , t(i=0 ,1,…,r) .Inthisnote ,wedevelopthemethodsofrobuststabilityw…     

平面点集的一个极值问题

设S是欧氏空间Rm中由有限个点A1,A2,…,An组成的集合.d(Ai,Aj)表示点Ai和Aj之间的距离.令σ(S)=∑1≤i9 2 3.此外还提出几个猜想.     

一种场站设置问题

研究了如下一种场站设置问题:设S是欧空间Rm中由有限个点A1,A2,…,An组成的集合,d(Ai,Aj)表示点Ai和Aj之间的距离.令σ(s)=∑d(Ai,Aj),d(S)=min {d(Ai,Aj)｝,l≤i＜j≤n 1≤i≠j≤nμ(m,n)=σ(S)/d(S)(S(∈) Rm,｜...     

无穷长语言L_(ω_1ω_1)相对于集合A的可构成集类

在文献[1],C.C.Chang定义了L_(ω_1ω_1)语言的可构成集类C,并且在ZFC中讨论了C的若干性质.本文建立了相对于集合A的用语言L(ω_1ω_1)所刻划的可构成集类C[A],并且得出了其若干性质.     

2-循环相容次序阵的AOR迭代的收敛域

设A∈Cn×n是2-循环相容次序阵,其Jacobi阵J的非零特征值均为纯虚数.记α=ρ(J).本文证明了A的AOR迭代阵Lr,ω(约定ω》0,r≠0)收敛当且仅当参数ω,r满足条件0＜ω＜2/(1 α2),ω ω-2/α2＜r＜1/2[ω (2-ω)2/ωα2],r≠0,或等价地,{r≥rb,0＜ω＜2 rα2-α(r2α2 4r-4)/1 α2;rb≥r＞-2/α2,r≠0,0＜ω＜2 rα2/1 α2,其中rb=2/1 (1 α2).这一结果纠正了薛秋芳文给出的相应结果,并指出了其中的3个问题.     

关于叶非莫夫的一个错误例证

在1954年春,本文作者在教学工作中即已发现叶非莫夫[1]在他的“高等几何学”第二版里,为了证明阿基米德公理对于较强形式的康托尔公理以及除连续公理组以外的其他各组希尔伯特(D.Hilbert)公理的独立性,而错误地引用了柯尔莫哥夫的一个例子.例证中的所谓“广义数目”系统(我们叫它 做Ω)的确是一个非阿基米德有序城,所谓的“第五种运算”(1+ω~2)~(1/2)(ω∈Ω)在其中也可以定义.     

关于SAOR迭代法的注记

设A是2-循环相容次序阵,其Jacobi阵J的特征值均为实数,记α=ρ(J)>0.本文证明了两个主要结论: (1)SAOR迭代收敛(→)<1且参数ω与γ满足条件0<ω<2,ω-(2-ω)/α<γ<ω+(2-ω)/α,或等价地,{2≤γ<2/α,0<ω<(2-γα)/1-α;-2/α<γ≤2.0<ω<(2+γα)/1+α.(2)以Sγ,ω表示SAOR迭代阵,则:当ω≠1时,p(Sγ,ω)>α2;当ω=1时,p(Sγ,1)=这表明:SAOR迭代的渐近收敛因子是α2,最优参数是ω=1与γ∈[0,2].本文的结果改进了张引的两个相关结论.     

几个涉及参数的分式不等式(Ⅰ)

使用基本的与已知的不等式,将田彦武的一类涉及参数的分式不等式推广为更为一般情形与别的情形.例如,设ai>0(i=1,2,…,n),n 2,an+1=a1,an+2=a2,∑in=1api/2=1,且p 2,μ>0,λ>0,则有,∑ni=1aipλapi/+21+μapi+2>(1-4λ)-4μ,(ⅰ),如果在上述假设下还有0相似文献   

二次系统(Ⅲ)_(n=0)的极限环的惟一性

讨论了特殊二次系统(Ⅲ)n=0的极限环的惟一性问题,首先证明当a(b+2l)0,且d[l-a(b+2l)]0时该系统无极限环,再让d从零变为d[l-a(b+2l)]<0,文中就a 0,b+2l 0,b+2l 0这两种情形,在适当附加条件下证明了这时极限环最多只有一个.     

Brown运动增量关于Brown时的一些极限问题

本文将文献[3]、[4]、[5]中关于Brown运动增量的一些极限定理推广到具有随机时间间隔(Brown时)的Brown运动增量情形上去。我们得到下述主要结果:(?)     

面内场对枝状畴形成的IID畴壁中VBL链的影响

实验研究了面内场作用下枝状畴形成的第2类哑铃畴(IID)畴壁中垂直布洛赫线(VBL)链的解体过程.发现存在一个与材料参量有关的临界面内场范围[H(0)ip对应IID畴壁中垂直布洛赫ip,H(1)ip],其中H(0)线链保持稳定的最大临界面内场,H(1)ip对应IID畴壁中垂直布洛赫线链完全解体的最小临界面内场.此外,实验发现不同低直流偏场下产生的枝状畴在面内场作用下的软化过程相同,且在这个临界面内场范围内畴壁中的VBL是逐步丢失的.同时实验结果也证明了枝状畴畴壁中VBL是随机分布的.     

亚紧空间和σ-亚紧空间的无限乘积

主要证明了如下结果 :用P表示下列诸覆盖性质之一 :亚紧 ;次亚紧 ;弱次亚紧 ;σ -亚紧 .( 1)如果X =∏α∈ΛXα 是 |Λ| -仿紧空间 ,则X具有P当且仅当 F∈ [Λ]<ω,∏α∈FXα 具有P ;( 2 )如果X =∏i∈ωXi 是可数仿紧的 ,则下列三条等价 :X具有P : F∈ [ω]<ω,∏i∈FXi具有P : n <ω ,∏i≤nXi,具有P .     

关于ω阶Euclid理想的一些性质

理想A称为ω阶Euclid理想,如果对任何a,b∈A,a≠0,有k阶可除链(k∈N),使得φ(rk)<φ(a),其中φ:A→NU{0}且满足:φ(x)≥0对任何x∈A;φ(x)=0当且仅当x=0.文章建立了ω阶Euclid理想与有限可除链之间的充分必要关系,证明了ω阶Euclid理想中两个元素(至少有一个不为零)存在最大公因子和每一个ω阶Euclid理想是主理想,构造了一个适当的例子,证明了ω阶Euclid理想上每一个n阶矩阵能通过初等变换简化为标准对角阵.     

行随机矩阵的逆特征值问题

非负矩阵逆特征值问题的理论价值和应用背景一直吸引不少学者从事于这个热门课题的研究.论文研究行随机矩阵逆特征值问题,考虑一类特殊的复数集Λ=∪k=1mΛk,m>0,每个Λk含有pk>0个元,其中一元是λk1>0,其余元是ωke2πi/pk,…,ωke2(pk-1)πi/pk,0<ωk≤λk1.论文同时给出了求解的方法.当p1,…,pm全为2时,Λ变成2m+1非零个实数的集合.论文同时也给出以已知任意奇数个非零实数为谱的行随机矩阵逆特征值问题有解的充分条件及求解的方法.     

Hilbert空间中Bessel列的广义扰动

运用算子理论方法,研究了Hilbert空间中Bessel列的广义扰动,对Hilbert空间H中的任一Bessel列f={fi}i∞=1,给出了序列g={gi}∞i=1={α1(1)f1,α1(2)f1,α2(2)f2,α1(3)f1,α2(3)f2,α3(3)f3,…},g={gi}∞i=1={α1(1)f1,α1(2)f2,α2(2)f2,α1(3)f3,α2(3)f3,α3(3)f3,…},g={gi}∞i=1={∑∞j=1αj(i)fj}∞i=1,成为Bessel列的充分条件。     

无爪图中具有指定长度的路因子

在无爪图G中,设σ2(G)表示不相邻顶点度和的最小值. 令|V(G)|=n=∑ki=1ai,ai6,1ik,并且σ2(G)n+k-1,证明了对于图G中任意的k个顶点v1,v2,…vk, 都存在点不相交的路P1,P2,…Pk，使得对于1ik，都有|V(Pi)|=ai并且vi是路Pi的一个端点.