系统L^＊中极大相容理论的结构刻画和紧致性定理

为给模糊推理建立严格的逻辑基础，本文第二作者在1997年提出了一种新型的模糊命题演绎系统L^＊。本文基于系统L^＊的强完备性定理给出了极大相容理论的结构刻画，证明了每一个极大相容理论必然具有形式D（{φ1，φ2，…}），这里φ1∈{pi，→pi，（→pi^2）＆（→（→pi）^2）}（i=1，2，…），p1，p2，…是系统L^＊中全体命题变元，进而给出了极大相容理论的若干刻画条件。本文还证明了系统L^＊的满足性定理和紧致性定理。至此，系统L^＊的基本定理包括完备性定理、强完备性定理、可判定性定理、满足性定理和紧致性定理已被我们所掌握，所以本文的结果完善了系统L^＊的理论体系。     

系统(￡)*n的逻辑性质及其应用

证明了系统(￡)*n中的可满足性定理,紧致性定理和可判定性定理,完善了系统(￡)*n的理论体系,并将这些性质应用到计量逻辑学中,给出了∑Γ-真度和条件真度存在的充要条件.     

一个不等式的逆向

文[1]证明了文[2]提出的一个猜想:说ai≥0,pi≥0,(i=1,2,…,n)且p1 p2 … pn=1,则n∑i=1piai≥n∏i=1aipi.本文将给出上述不等式的一个逆向不等式,从而得出一个不等式组.命题设ai>0,pi≥0(i=1,2,…,n),且p1 p2 … pn=1,则1∑ni=1piai≤n∏i=1aipi≤n∑i=1piai.证为了使命题证明     

Lukasiewicz 命题逻辑系统一种新的理论的相容度

根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念.给出了理论Γ相容、不相容及其它相关结论的充分必要条件,并且获得了相容度与发散度之间联系的重要关系式.     

一个不等式的推广

文[1],[2]给出了一个不等式:设ai>0,pi≥0(i=1,2,…,n)且p1 p2 … pn=1,则1∑ni=1piai≤∏ni=1aipi≤∑ni=1piai.本文再给出上述不等式一个推广情形:命题设ai>0,pi≥0(i=1,2,…,n),且各pi不全为0.则:∑ni=1pi∑ni=1piai≤(∏ni=1aipi)1∑ni=1pi≤∑ni=1piai∑ni=1pi.为了证明该     

关于有限群极大子群的强θ-完备

本文定义了有限群极大子群的强θ-完备这一概念.通过研究极大子群的强θ-完备对群结构的影响,给出了有限群可解性,超可解性,幂零性的一些新刻画,所得结果改进了以往的定理.     

关于有限群极大子群的强θ-完备

本文定义了有限群极大子群的强θ-完备这一概念．通过研究极大子群的强θ-完备对群结构的影响,给出了有限群可解性,超可解性,幂零性的一些新刻画,所得结果改进了以往的定理．     

关于调和数的一个结论

设n是大于1的正常数,并且设n=pα11p2α2…ptαt,其中pi为素数,i=1,2,…,t,ω(n)表示n的不同素因子的个数,即ω(n)=t.若n的所有因子的倒数和为整数,即0≤∑ij≤αjj=1,2,…,t1p1i1pi22…ptit为整数,称n是调和数.证明了和调和数相关的一个结论.     

耗散的Klein-Gordon-Schr dinger方程组的周期解的存在性(英文)

本文运用Leray Schauder不动点定理和紧致性原理 ,证明了方程组周期解的存在性 .     

二值命题逻辑中的极大命题集与完备命题集

系统讨论了二值命题逻辑系统中极大命题集与完备命题集,给出了两种命题集的等价描述和表示定理,揭示了极大命题集和完备命题集的深刻内涵和联系.     

关于多项式系数的整除性

设n是正整数,k1,k2,…+k1=n的非负整数,正整数[nk1k2…ks]=n！/k1!k2!…k5!称为多项式系数,本文讨论了当n=a0+a1p+a2p^2+…arp^r,其中p为素数且p≤n,0≤ai&;lt;p(0≤i≤r);ki=a0^(i)+a1^(i)p+…+ar^(i)p^r,其中ki≤0,∑^si=1,ki=n,0≤ak^(i)p(0≤i&;lt;s)时多项式系数的整除性问题,得出的结果推广了著名的Lucas定理^[1].     

Schrdinger-Poisson-Slater方程驻波的强不稳定性

本文研究Schr¨odinger-Poisson-Slater(SPS)方程i?ψ?t+△ψ-χ(|x|-1*|ψ|2)ψ+|ψ|p-1ψ=0,χ0,x∈R3.当p73时,运用变分法证明SPS方程的基态驻波强不稳定,并进一步用基态驻波解刻画SPS方程的解在有限时间爆破的门槛初始条件;在p=73时,建立了基态驻波解的L2范数的下界.     

堆垒素数论的一些新结果

<正> (?)在1937年证明了所有充分大的奇数 N 皆可表成三素数之和,即有N=p_1+p_2+p_3,其中 p_i(i=1,2,3)为奇素数.而本文的目的在于限制 p_i(i=1,2,3)的变化范围.证明了下面三个定理:定理1.°设 N 为充分大的奇数,则必有 pi(i=1,2,3)满足     

关于常曲率空间中子流形p-调和l-形式的一个消灭定理

令Mⁿ(n≥3)是常曲率空间N^n+m(c)中的、具有平坦法丛的完备非紧致的浸入子流形.假设Mⁿ(n≥3)满足四个不同的具体几何条件之一时,该文利用Bochner-Weitzenb?ck公式和Sobolev不等式,通过Duzaar-Fuchs截断函数方法,证明了Mⁿ上不存在非平凡的L^β p-调和l-形式,其中β≥p≥2.     

一类含导数的非线性m-点边值问题的正解存在性

通过利用Krasnosel′skii不动点定理的扩充定理,对于一类含导数的非线性二阶m-点边值问题(1.1)+(1.2)u″(t)+f(t,u(t),u′(t))=0,0相似文献   

非紧集上不连续函数的Ky Fan不等式及其等价形式和应用

证明了非紧集上不具有任何连续性的函数弱Ky Fan点的存在性,给出了在函数只具非常弱的连续性和凸性条件下非紧集上Ky Fan不等式解的存在性,并给出它的两种等价形式.作为应用:(1)得到Ky Fan截口定理和Fan-Browder不动点定理的推广;(2)应用于博弈理论,得到几个新的Nash平衡存在性定理.     

一个随机偏差定理

设{Xn,n≥0}是可列非齐次马尔可夫链,Sn(i0,i1,…,im-1,ω)表示m元状态序组(i0,i1,…,im-1)在序列(X0,X1,…,Xm-1),(X1,X2,…,Xm),…,(Xn-1,Xn,…,Xn+m-2)中出现的次数.本文给出了关于Sn(i0,i1,…,im-1,ω)的一个对任意可列非齐次马尔可夫链普遍成立的随机偏差定理,即用不等式表示的一个强极限定理.     

一个随机偏差定理

设{Xn，n≥0}是可列非齐次马尔可夫链，Sn（i0，i1，…，im-1，ω）表示m元状态序组（i0，i1，…，im-1）在序列（X0，X1，…，Xm-1），（X1，X2，…，Xm），…，（Xn-1，Xn，…，Xn＋m-2）中出现的次数.本文给出了关于Sn（i0，i1，…，im-1，ω）的一个对任意可列非齐次马尔可夫链普遍成立的随机偏差定理，即用不等式表示的一个强极限定理.     

完备随机赋范模中的Drop定理与Petal定理

在随机赋范模中给出了L0-drop的定义并在局部L0-凸拓扑下证明了完备随机赋范模中的Drop定理与Petal定理,然后证明了它们与此拓扑下完备随机赋范模中的Ekeland变分原理是相互等价的;进而,利用(ε,λ)-拓扑与局部L0-凸拓扑下基本结果之间的联系,得到了(ε,λ)-拓扑下完备随机赋范模中的Drop定理与Petal定理以及它们与该拓扑下完备随机赋范模中的Ekeland变分原理之间的等价性.     

一类中值定理双介值问题命题的注记

在中值定理类双介值问题的命题中,很多命题者没有注意到结论的平凡性.文章借助于微分Darboux定理,证明了对应的非平凡问题解的存在性.