在BCK-代数中同态映射保持理想

下面先给出 BCK－代数中的几个定义 　　定义 1设〈 X;＊, 0〉是一个 BCK－代数, X的一个非空子集 A被称为一个理想,如果它满足 　　(1)0∈ A　　(2)x∈ A, y＊ x∈ A, y∈ A(以后表示可推出 )　　定义 2设和〈 Y;＊ 1,θ〉是两个 BCK－代数,如果存在一个映射, f∶ X→ Y,使得对于任意的 x, y∈ X,有 f(x＊ y)=f(x)＊ 1f(y),则称 f为 X到 Y的一个同态映射,且称 X和 Y是同态的,记 X～ Y　　定义 3设 f是两个 BCK－代数到的一个同态,称集合 Ker(f)={x∈ X;f(x)=θ }为同态 f的核。 在 [1]中已有如下结论 …     

滞后型泛函微分方程可反向延拓的充要条件

本文使用文[1]的有关符号和概念.考虑滞后型泛函微分方程x=f(t,x_t) (1)x∈R~n,x_t∈C=C([-r,0],R~n),r>0,f(t,φ):Ω→R~n”连续,Ω是 R×C 中的开子集,且设 f_φ~″和 f_φ~′在Ω中连续定义(?):[-r-α,0]→R~n,0<α相似文献   

齐型空间上Lipschitz函数的一个新刻画

~~的核 Sk( x,y)附加了对称性的要求 .本研究在文 [3]的基础上 ,利用最近 Y.S.Han在文 [2 ]给出的恒等逼近的改进定义给出了 Lipschitz函数类 Lipα的一个新刻画 ,是文 [3]结果的推广 ,其主要结果如下 .定理　设算子列 {Sk}k∈ z[2 ]是齐型空间 ( X,ρ,μ)上的恒等逼近 ,Dk=Sk- Sk-1,f是在任有界集上可积的函数 ,0 <α 相似文献   

非负系数多项式的倒数对连续函数的最佳联合逼近

设 C_0~+[0,∞)={f∈C[0,∞):f(x)>0,x∈[0,∞),(?)(x)=0},(?)C~+(X)={f∈C(X):f(x)>0,x∈X(?)[0,∞)},K_n(X)={P∈П_n:P(x)>0,x∈X,P(j)(0) ≥0,j=1,2,…,n,X(?)[0,∞)},其中П_n 表示次数≤n 的代数多项式。本文讨论了用 K_n[0,∞)(或 K_n(X),X 为紧集)中元素的倒数对有限个连续函数f_1,f_2,…,f_(?)∈C_0~+[0,∞)(C~+(X))的最佳联合逼近问题,建立了最佳联合逼近的存在性,特征性及强唯一性定理。     

Segal代数S_p(G)的近似单位元

设G是局部紧的交换群,G是它的对偶群,S(G)是群G上的一个Segal代数,即S(G)是L_1(G)的一个平移不变子代数,并且对任何f∈S(G)以及任何x∈G有‖τ_xf‖s=‖f‖s,其中τ_x是平移算子,τ_xf(y)=f(y-x),同时x→τ_xf是G→S(G)的连续映射。此外,S(G)中的范数和L_1(G)中的范数满足下列关系:‖f‖_1≤C‖f‖s,f∈S(G),C是常数。同时,S(G)在L_1(G)中(按范数‖‖1,)稠密(关于Segal代数的知识可参见[6])。又设S_p(G)(1≤p<∞)是S(G)的一个子代数,其元素f的Fourier变换f∈L_p(G),在S_p(G)中定义范数为‖f‖S_p=‖f‖S ‖f‖p。我们知道,S_p(G)也是一个Segal代数。     

关于凸函数的幂平均不等式的一点注记

杨镇杭 [1]曾得到如下结论 :f(x) >0 ,x ∈ [a ,b],且 f′′(x)存在 ,则 (1)当 f′′(x) >0 ,α≥ 1时有f(a b2 ) 相似文献   

拓扑群上的一致与等度连续及其非标准特征

文中涉及的拓扑空间约定都包含在标准全域 U 的个体集 S 中,非标准全域~*U 是扩大.m(α)表示α点的单子,x≈α表示x∈m(α).定义1 设(G,I_1,·,e_1)及(H,I_2,·,e_2)是拓扑群,f:G→H,若对每一 V∈I_2(e_2)存在 W∈I_1(e_1)使对任意的 g_1,g_2∈G,若 g_1·g_2~(-1)∈W,即有 f(g)·f~(-1)(g_2)∈V,则称 f 在 G 上一致连续.容易验证,若 f 在 G 上一致连续,则其在 G 上连续.     

实紧空间X与C(X)到R的Riesz同态

设X是拓扑空间,C(X)是X上所有实值连续函数的全体,在本文中证明了,X是实验紧空间当且仅当,对于每一个Riesz同态φC(X)～R且φ(1x)=1,皆存在唯一一点x∈X,使得φf)=f(x)(f∈C(X))。设X是实紧空间,令Ω是所有C(X)到R的Riesz同态φ且φ(1x)-1的全体.当赋予Ω某一弱拓扑后,证明了Ω同胚于X。     

上C-连续条件下集值映射的C-拟凸性

拟凸性在最优化理论及经济学中是一个非常重要的概念,对它的研究一直受到运筹学工作者的广泛重视,最近,对集值优化理论的研究吸引了众多学者,文献[1]得到了如下趣结果:定理[1]　令X是Rn中的非空凸集,f:X→R是下半连续函数,若对任意x1、x2∈X,存在α∈(0,1),使得f(αx1+(1-α)x2)≤max{f(x1),f(x2)},则f是X上的拟凸函数。本文将文献[1]的上述定理由数量情形推广到集值情形,并得出在上C 连续条件下集值C 拟凸函数的等价命题。文中假定:X、Y是实拓扑线性空间,S X是任意给定的非空集,C Y是点闭凸锥,F:S→2Y是集值映射。定义1[2]　令…     

关于Bernstein-Kantorovich算子的强逆不等式

定义了一种新的K-泛函:K(f,t)n∞＝infg∈C2[0,1]{‖f-g‖n∞+t‖δ2ng″‖n∞+t‖g′‖n∞},其中‖f‖n∞＝supx∈[0,1]|δ-βn(x)f(x)|,0≤β≤2,δ2n(x)＝φ2(x)+(1)/(n),φ(x)=x(1-x).利用此K -泛函给出了Bernstein-Kantorovich算子点态逼近的强逆不等式,即若f∈C[0,1],β＝α(1-λ),0<α≤2,0≤λ≤1,则(A)x∈[0,1],及(A)h∈(0,(1)/(4)),都存在正整数n及m满足|(Δ)2hφλ f(x)|≤Chαnα/2{‖Knf-f‖n∞+‖Kmnf-f‖n∞}.     

三种模糊测度的一些性质

文章给出了可能性空间中子集的包含、并、交、差、余关于可能性测度、必要性测度和信任性测度的一些性质.     

光电检测在迈克尔逊干涉仪上的应用

本文旨在用新的方法来改进实验教学，力求实验数据的准确。     

平衡式电力测功机的测试精度分析

本文根据计量学的一般原理明确地给出了电力测功机的精度定义.从电力测功机的力矩平衡出发,分析了影响其测试精度的各种因素,提出了提高扭矩测试精度的措施和标准力矩的设计原则,介绍了静态标定和动态标定方法及其实际应用的结果。     

环R上σ─有限测度的内测度扩张的新方法

由环Ｒ上的σ－有限测度μ，引出了一个定义在可传σ－环Ｈ（Ｒ）上的一个集函数μ，证明了它与ＰａｕｌＲ．Ｈａｌｍｏｓ由σ－环Ｓ（Ｒ）上的σ－有限测度μ（μ｜Ｒ＝μ）所引出的定义在Ｈ（Ｓ（Ｒ））＝Ｈ（Ｒ）上的内测度μ是一致的，由此指出了环Ｒ上σ－有限测度的扩张的另一条途径．     

随机测度的阶乘矩测度

本文把阶乘矩测度的概念推广到随机测度，给出阶乘矩测度存在的充要条件及用矩来表示阶 乘矩的递推公式．最后，把累积阶乘矩测度的概念也推广到随机测度，并指出其存在的充要条件 及阶乘矩测度的关系。     

汉语中"一+量+名"结构的语用研究

本文对汉语中“一+量词+名词”这一短语结构的特点进行了研究,探索了这一结构的使用和发展变化,特别地分析了在这一结构形式中其量词的不同含义和作用。     

R^n上测度双K框架

我们引入测度双K-框架的定义,研究任给一个测度双K-框架添加测度Bessel序列后使之成为紧测度K-框架;讨论在算子K_1和K_2是关于算子T相似等价的条件下, 测度双K_1-框架经算子T扰动后成为测度双K_2-框架; 研究不同空间的测度双K-框架在有界线性算子扰动下的稳定性.     

虚拟测量平台的开发与应用

提出了一种开发计算机虚拟测量平台的方法。并以某测量系统为例,开发了一套实用性很强的虚拟测量平台,说明了计算机虚拟测量平台在测量技术领域中具有广阔的应用前景。     

单片机计时—计数—计频仪

本文介绍用单片微机8051与运动转换装置等构成计时、计频、计数仪.它既可以替代老式计时仪表的功能,又可以开拓一些新领域的应用.     

对Itakura语音失真测度的改进

提出了一种对Ｉｔａｋｕｒａ 语音失真测度的改进方法——感知谱失真（ＰＳＤ） 测度方法,该方法通过模拟人的听觉特性把语音短时谱转变为符合听觉特性的感知谱,再以感知谱为基础,结合Ｉｔａｋｕｒａ 测度的优点来度量语音失真程度．通过对不同质量的语音信号进行仿真实验以及与Ｉｔａｋｕｒａ 测度方法作对比实验,结果表明ＰＳＤ测度克服了Ｉｔａｋｕｒａ 测度的不足,与语音质量的主观评价一致性较好,特别是在语音失真程度较大时ＰＳＤ测度明显优于Ｉｔａｋｕｒａ 测度．