首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
本文对(?)乙合同之间“≥”关系的规定同于〔(?)〕,格乙的合同全体按“≥”关系构成的格中最大元,即乙的任二元都成合同的合同,这个最走元为ī,中也有最小,即任一合同类只含乙中一个元的合同,这个置小元记做ō,并且在乙按合同θ的合同的格乙/θ中把乙的元α所属的格同类记为α β,并把α→α θ称为乙/θ上的自然同态。  相似文献   

2.
格蕴涵代数与Lukasiewicz逻辑系统   总被引:1,自引:1,他引:0  
讨论格蕴涵代数与Lukasiewicz逻辑系统的关系,证明了:若(L(n),≤)是一个n元链,θ,I分别为最小、最大元,则以≤为导出关系的格蕴涵代数(L(n),∨,∧,→,′,θ,I)恰有一个,并且与n值Lukasiewicz逻辑系统同构.  相似文献   

3.
G为π-可分群,H为G的Hall π-子群,N为G的正规子群,G=NH,α∈Irr(H),β∈Irr(M),θ∈Bπ(N),χ∈Bπ(G)它们存在诱导关系,即α=β^H,χ=θ^G。的条件下,本文讨论了α为H在G中与χ相伴的Fong特征标与β为M在N中与θ相伴的Fong特征标之间的关系.  相似文献   

4.
设Fq是q个元素的域,Fq^(n)是Fq上的n维行向量空间。令L(n,Fq)={X|X是Fq^(n)的子空间}。对于X,Y∈L(n,Fq),如果X包含于Y,规定它们的偏序关系为X≥Y。那么(L(n,Fq),≥)是一个有限格,称为Fq^(n)的子空间格。本先证明(L(n,Fq),≥)是一种几何格,而后给出这个格的特征多项式。  相似文献   

5.
将格上可分同余关系的概念推广到MS-代数上并讨论了MS-代数上可分同余关系的性质,利用这些性质得到了同余关系格θ(L)为布尔代数的MS-代数的结构定理。  相似文献   

6.
用光谱法研究了Ni[(C4H9O)2PS2]2(简称NiL2)与2,2’-联吡啶(简称B)温度为32℃时在乙醇溶剂中的加合反应.Ni[(C4H9O)2PS2]2与2,2’-联吡啶生成1:1的六配位的加合物NiL2·B,且加合物的吸收光谱是由NiS4N2的发色基团所引起的.实验测定了加合反应的平衡常数值K^θ=3.40×10^6.  相似文献   

7.
讨论同余关系θ的唯一性,其中θ是MS-代数L的以理想I为核的同余关系,主要结果有:(1)分别是L的同余核,d1≥d,如果以(d]为核的同余关系是唯一的,则以(d1]为核的同余关系是唯一的.(2)在商代数L/θ中,给出([d]]是同余核的充分必要条件.  相似文献   

8.
过平面上的原点做直线L,与x轴交角为α,0<α<π,令L~+表示L的y坐标为正的部分。M(x),x≥0为正半x轴的点过程,在第n个点以随机角θ_n沿x轴负向做一直线,设{θ_n,n≥0}独立且与M(x)独立,有共同分布函数F(·),0<θ_1<π。令φ~+表示L~+上这些随机线交点的集合。[1]研究了M(x)为齐poisson过程时φ~+性质,本文讨论M(x)为Mixed poisson的情形。  相似文献   

9.
在[1]、[2]中,我们运用L—相重的概念,重新定义了L—fuzzy邻近空间,并指出它比[3]、[4]中定义的fuzzy邻近空间更广泛;通过讨论相应的L—fuzzy拓扑的若干性质表明它又更接近于分明邻近空间,显示了这种定义方式的自然性。本文是[1]、[2]的继续,这里研究了同一集合X上所有L—fuzzy邻近关系的比较,它们与相应导出的L—fuzzy拓扑的关系,并且证明全体这种邻近关系就所定义的偏序“≤”组成一个完全格。  相似文献   

10.
研究了负相关(NA)样本下具有非对称损失函数单边截尾参数的经验Bayes检验.其损失函数为L(θ,θ0 )=k1 (θ-θ0 )2I(θ<θ0 ) [k1 (θ- θ0 )2 k2 (θ- θ0 )] I(θ≥θ0 ),ki≥0,i = 1,2.应用概率密度函数的核估计来构造检验函数,得到了它的收敛速率具有渐近最优性. 并发现对所提出的EB检验,在某些条件下,具有渐近最优性的收敛速率,能够任意接近于1.  相似文献   

11.
设L是Hilbert空间H中的交换子空间格,AlgL是相应的子空间格代数,K是Alg L中弱闭的Lie理想,证明了I=IR=wk-clspan{LTL^⊥:T∈H,L∈E}是Alg L中弱闭的原子对角不交理想.  相似文献   

12.
<正> 1、问题的提出文[2]中讨论递归程序的不动点语义时,指出函数空间[(D~+)~n→D~+]关于Scott偏序“”是一个链半格,由此根据Kleen定理推断出连续泛函不动点的存在性。这里的链格与通常定义的完全格有何关系?设偏序集(L,≤),对任意的x,y∈L,都存在它的最大下界glb(x,y)和最小上界lub(x,y),则称L为格,对于CL,如对于任意x,y∈C,或有x≤y或有y≤x,称C为链。如果对格L中的任意链C,在L中都存在它的最小上界lub(c)和最大下界glb(c),则称L为完全链格。  相似文献   

13.
§1.具有本性奇点的态及其完备系随着解决具体问题中的经验与问题的积累,我们逐渐觉得原来量子力学关于力学量的理论框架有必要作某些推广。问题如下: 1.光的相干态的研究[1]指出粒子数N与位相θ的测不准关系(Dirac)(⊿N)~2(⊿θ)~2≥1/4是不严格的,因此认为对易关系[N,θ]=i是近似的。同时怀疑到角动量Z分量L_Z与方位角φ的对易关系的正确性  相似文献   

14.
[2]提出了一般格的表示论,[3]提出了De—Morgan代数的广义Fuzzy集的表示,本文对一般格的L—fuzzy集表示作了初步探讨,并把[3]中的某些结果推广到一般格上。本文始终假设F_L(x)是论域X上L—fuzzy集全体所作成的格,其中L是一个完全分配格。定义1 一个格R到F_L(X)的子格上的同态φ,称为格R按X的L—集同态表示,特别地,在同构时,称为L—集同构表示(本文以下把L—集同态表示简称为L—表示)。  相似文献   

15.
在θ条件下的Huggims系数k_(Hθ)有以下关系:k_(Hθ)=K(?)。实验测定了八种高分子,分子量范围由1—8×10~4到0.5—1.3×10~4的级分或试样,在相应的θ溶剂中的Huggins系数。计算了k_(Hθ)-(?)方程中的K和β值,讨论了指数β与高分链特征柔性参数C=间的关系。  相似文献   

16.
采用金属Cu为“牺牲阳极”,在含配体对甲苯磺酰L-异亮氨基酸(H2L)的甲醇溶液中电解合成了[Cu(L)(2CH3OH)]配合物.当向含配体的甲醇溶液中加入2,2′-联吡啶时,电解合成了[Cu(L)(2,2’-bipy)]配合物.利用元素分析、红外光谱、紫外光谱、热分析对配合物进行了表征.测试了铜电极在溶液中的电化学行为和配合物的电化学性质.  相似文献   

17.
本文讨论可补格的一种分类问题,它是由于考虑多值逻辑的判定问题而引起的。(正文中谈到了问题的逻辑来源。) 一个具有最小元O及最大元I的格L,如果在其中又定义了一个单值的1元运算“′”能适合O′=I,I′’=O,则称L为一可补格,一个命题演算良构式A(设只含命题连接词A,V,~),如果命它的变数在L中任意取值且将A,V,~分别解释为L中的运算∩,U,′时,A永远得到值I,则称A为L上的恒I式,当两个可补格L_1,L_2上的恒I式集相同时,称L_1,L_2为同型的,本文就是讨论可补格按同型关系分类的问题,所得结果如下: 定理设有限可补格L_2适合条件:(C),存在一良构式A(x,y)能使则任一可补格L_1与L_2同型的一个充分必要条件是: (A_1).存在一个由L_1的子可补格到L_2上的同态对应φ,并且, (A_2).对L_1中每一ξ≠I,都存在一个由L_1到L_2内的同态对应φ_ξ能使φ_ξ(ξ)≠I。  相似文献   

18.
欧拉公式应用很广。中学教材只提出了此公式和指数式与复数三角式的互化。本文就其在三角中的应用作一些探讨。一、基本公式由欧拉公式eθi=cosoθ+isinθ容易推出二、应用举例1、求三角表达式的值。__。_I。3S!llHWeS!ill4tedcosx-cos3x值:由tgx—a。e”-e-”’一al(e“‘+e-“’)代入上式消去(e“+e”)2、证明三角恒等式:。:。、、。。ctxxis!nx为方便计算令下一0,原式变为ig36-3、解三角方程:解:把x一1200-x代入②得:s!nxSlfl(IZ’-ie)由欧拉公式得:—、—。一。一卜一1800k+goo卜—-18O”+3O”由…  相似文献   

19.
H_p(p≥1)空间中有理函数的最佳逼近   总被引:1,自引:0,他引:1  
已知L_p[0,2π]空间中的Jackson定理如下: 设函数g(θ)具有周期为2π且它的K级微商g~((k))(θ)在[0,2π]上L_p(P≥1)可积,则存在一个不高于n次的三角多项式T_n(θ),使得 其中C_1为绝对常数,ω_p(g~((k)),δ)为函数g~((k))(θ)在L_p[0,2π]上的连续模,即  相似文献   

20.
振荡积分的研究在Fourier积分算子理论中具有重要的地位。L.H(?)rmander在[1]中讨论了具有齐次位相函数的振荡积分的渐近展开,本文将讨论这样的振荡积分的渐近性质,它的位相函数是一个半齐次函数和一个非齐次函数的和,从而推广了[1]中的定理3·2·4。我们使用的方法是著名的稳定位相法。§1.定理的叙述设R~k是k在维欧氏空间,点x=(x_1…,x_n)∈R~n,点θ=(θ_1,…,θ_N)∈R~N,  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号