共查询到20条相似文献,搜索用时 187 毫秒
1.
为给模糊推理建立严格的逻辑基础,本文第二作者在1997年提出了一种新型的模糊命题演绎系统(£)*.本文基于系统(£)*的强完备性定理给出了极大相容理论的结构刻画,证明了每一个极大相容理论必然具有形式D({ψ1,ψ2,…}),这里ψi∈{pi, pi,((→)p2i)&((→)((→)pi)2)}(i=1,2,…),p1,p2,…是系统(£)*中全体命题变元,进而给出了极大相容理论的若干刻画条件.本文还证明了系统(£)*的满足性定理和紧致性定理.至此,系统(£)*的基本定理包括完备性定理、强完备性定理、可判定性定理、满足性定理和紧致性定理已被我们所掌握,所以本文的结果完善了系统(£)*的理论体系. 相似文献
2.
姚喜妍 《应用泛函分析学报》2008,10(2):155-161
引入并研究了Banach空间X中的Bessel集、广义框架与广义Riesz基.对X中的任一Bessel集{gm}m∈M,定义有界线性算子T:L^2(P)→X^*,利用算子丁,给出了Bessel集与广义框架的等价刻画.同时讨论了广义框架和广义Riesz基的摄动. 相似文献
3.
探讨了C^n中单位球面S上Berezin变换和Toeplitz算子的性质,证明了由{Tφ,φ∈L^∞ (S)}所生成的C^*-代数中算子T的符号恰好为单位球B上函数T(称为T的Berezin变换)的非切向边界值.此外,本文还得到了经典Toeplitz符号演算的有趣推广. 相似文献
4.
随机内积模上的Riesz表示定理及其应用 总被引:2,自引:0,他引:2
首先对完备随机内积模上的几乎处处有界的随机线性泛函建立了Riesz表示定理,该定理不仅表明每个完备随机内积模都是随机自共轭的而且也改进了文[1]的主要结果;然后,作为Riesz表示定理的应用,还证明了如下基本定理:设(Ω,σ,u)为任一概率空间,为任一不可分的Hilbert空间,那么任一弱随机元V:Ω→H必弱等价于某个强可测的随机元V:Ω→H 相似文献
5.
定理 设数列{αn}是等差数列,sn=α1^m+α2^m+…+αn^m,m∈N^*,则存在λi∈R(i=2,3,…,m+1),有g(n)=λm+1αn^m+1+λmαn^m+…+λ3αn^3+λ2αn^2,使{sn-g(n)}为等差数列. 相似文献
6.
张传洲 《应用泛函分析学报》2008,10(3):228-233
对维林金系统{ψ,n≥1}和0<α< 1定义极大算子σ^α*f:= sup │σ^αnf│,其中σ^αnf是函数f的(C,α)平均值.证明了算子σ^α*是(p,p)型(1〈P〈∞)和弱(1,1)型.另外‖σ^α*f‖1≤C‖f‖H1,,其中H1是Hardy空间.利用上述结果,证明了对任一可积函数f,σ^αnf几乎处处收敛于f. 相似文献
7.
关于广义Aluthge变换的谱性质的研究 总被引:2,自引:0,他引:2
设T∈H(H),T=U|T|是算子T的极分解,则定义T^λ=|T|^λU|T|^1-λ和T^λ(*)=|T*|^λU|T*|^1-λ,(其中0〈λ〈1)分别为算子的广义Aluthge变换和广义*-Aluthge变换.本文中主要研究了三者之间的几种谱的关系.同时,还证明了算子T满足修正的Weyl定理当且仅当弘满足修正的Weyl定理当且仅当T^λ(*)满足修正的Weyl定理.最后证明了算子T满足a—Weyl定理当且仅当T^λ满足a—Weyl定理. 相似文献
8.
从王国俊教授提出的模糊命题演算形式系统L^*、L0^*的性质以及它们与F.Esteva和L.Godo提出的MTL、IMTL和NM的关系出发,借助代数方法证明了L^*和NM中的公理(L10^*)和(NM)可以由一务只含一个命题变元且形式更为简单的公理模式(LW^*)代替。这一结果简化了L&*和NM的公理系统。 相似文献
9.
10.
(1)中的Lipschz条件下,证明了形如下列方程X=Ф(X)+F(X).M的解的存在性和唯一性;(2)在局部Lipschtz条件下,证明了上述方程解的存在性和唯一性;然而在实际应用中,有许多随机微分方程不满足Lipschtz条件,但解存在却不唯一(见(5)中例子)本文利用非紧致度在更弱条件下证明(*)至少存在一个解,从面推广了(1),(2),(3)中的存在性定理。 相似文献
11.
根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念.给出了理论Γ相容、不相容及其它相关结论的充分必要条件,并且获得了相容度与发散度之间联系的重要关系式. 相似文献
12.
本文主要给出以下定理C。设Ri(i=1,2)是MLPI环(即Ri是有位单元的结合环,且每个极大左理想必是主理想),元素Pi∈Ri使得RiPi是Ri的极大左理想,Mi是Pi-准素的Ri-模。则我们有以下定理C 设M1的终Goldie维数(=min{P^n1M1的Goldie维数|n=0,1,2,…|})≤3,如果有子模格同构f:L(M1)^~-L(M2)。则有逆向全射系{R1/R1P1^n(n∈N);θ}与{R2/R2P2^n2(n∈N);θ′n}之间的同构{ψn:R1/R1P^n1→R2/P2^2(n∈N),其中θn和θ′n(n∈N)是自然满同态,ψn(n∈N)是环同构。若令R^*1,R^*2分别是以上两逆向全射系的逆向极限环。则有环同构ψ:R^*1^~-R^*2和M1到M2的ψ-线性同的φ,φ诱导出f:fR1x=R2φ(x),任意x∈M1。易见:(1)当P1=0=P2,且M1是有限维向量空间时,由定理C即得射影几何的基本定理;(2)当R1=Z=R2,且P1和P2为素数时,由定理C即得Pi=P2,从百得Baer关于交换p-群的相应结果。 相似文献
13.
15.
16.
离散空间■~2(Z)中正交小波系的完备性 总被引:1,自引:0,他引:1
本文研究l^2(Z)中正交小波系的完备性,其主要目的是寻找一些容易验证的充分条件.为此,我们首先改进了Frazier约定理,给出小波系完备的一个刻画,然后在此基础上得到三个容易验证的充分条件. 相似文献
17.
Using variational methods, we prove the existence of a nontrivial weak solution for the problem
{-∑i=1^Nδxi(|δxiu|pi-2δxiu)=λα(x)|u|q(x)-2u+|u|p*-2u,in Ω,
u=0 inδΩ,
where Ω R^N(N≥3) is a bounded domain with smooth boundary δΩ,2≤pi〈N,i=1,N,q:Ω→(1,p*)is a continuous function, p* =N/∑i=1^N 1/pi-1 is the critical exponent for this class of problem, and λ is a parameter. 相似文献
{-∑i=1^Nδxi(|δxiu|pi-2δxiu)=λα(x)|u|q(x)-2u+|u|p*-2u,in Ω,
u=0 inδΩ,
where Ω R^N(N≥3) is a bounded domain with smooth boundary δΩ,2≤pi〈N,i=1,N,q:Ω→(1,p*)is a continuous function, p* =N/∑i=1^N 1/pi-1 is the critical exponent for this class of problem, and λ is a parameter. 相似文献
18.
用单调有界定理证明了数列{[Γ(n+1)/2]/√nΓ(n/2)}n=1^+∞的奇子列和偶子列极限的存在性,并给出了该数列的极限为1/√2本文所得结果对帮助学生更好理解概率统计论中t分布密度函数的极限函数的证明有一定指导作用. 相似文献
19.
R~N上临界增长的椭圆方程无穷多解的存在性 总被引:3,自引:0,他引:3
本文证明了RN上的拟线性椭圆型方程-div(|Du|p-2Du)+|u|p-2u=λ(x)·|u|α-2u+a(x)|u|s-2u+b(x)|u|p*-2u在W1,p(RN)中无穷多解的存在性,其中N≥3,2≤p相似文献
20.
N值随机变量序列的AEP型极限及若干强偏差定理 总被引:1,自引:1,他引:0
设{X_n,n≥1}是在S={1,2,…,N}中取值的随机变量序列,其分布为p(x_1,…,x_n),liminf[P(X_1,…,X_n)]~(1/n)与limsup[p(X_1,…,X_n)]~(1/n)称为AEP型极限。利用这些极限该文得到{X_n,n≥1}的若干强偏差定理,即一类用不等式表示的强极限定理。 相似文献