Fuzzy蕴涵代数与有界BCK—代数等价

在[1]中作者给出了下面的定义. 定义1 一个(2,0)型代数(X,→,0)称为FI代数,如果(?) x,y,z∈X,有 (I_1) x→(y→z)=y→(x→z), (I_2) (x→y)→[(y→z)→(x→2)]=1, (I_3) (x→z)=1, (I_4) 若x→y=y→x=1,则x=y, (I_5) 0→x=1,其中 1=0→0. 在[2]中Iseki K引入了BCK-代数,参见[3,4]. 定义2 一个(2,0)型代数(X;*,0)称为BCK-代数,如果(?) x,y,z∈X,有 (Ⅰ) ((x*y)*(x*z))*(z*y)=0, (Ⅱ) (x*(x*y))*y=0, (Ⅲ) x*x=0.     

利用向量求一类无理函数的值域

设向量^→a=（x1＋y1）,^→b=（x2,y2）,则称cos（^→→a,b）=x1x2＋y1y2/√x1^2＋y1^2√x2^2＋y2^2为向量^→a与^→b的坐标形式的夹角公式．有一类无理函数,它本身就是根据这一公式编制出来的．其函数表达式的结构与坐标形式的向量夹角公式的结构相似,     

圆锥曲线中OA⊥OB的处理方法

圆锥曲线中时常出现"OA⊥OB"的情况,本文介绍两类处理方法,仅供参考. 　　一、等价转化法: 　　1.等价转化为"x1x2+y1y2=0":无论是通过kOA·kOB=-1,还是→OA·→OB=0,都可将QA⊥OB等价转化为x1x2+y1y2=0,其中A(x1,y1),B(x2,y2).……     

如何判定多元函数的可微性--一节习题课片段

如何判定多元函数的可微性 ,理解多元函数全微分的概念 ,以及多元函数可微与偏导数存在、可微与连续之间的关系 ,是多元函数微分学的难点 .为了帮助学生更好地掌握这些知识 ,老师安排了这样一次习题课 .先给出一道习题 :设函数z =f (x,y) =xyx2 y2 　　 x2 y2 ≠ 0　 0　　　　 x2 y2 =0研究全微分 dz| ( 0 ,0 ) 是否存在 ?一位同学这样做 :因为f′x(0 ,0 ) =limΔx→ 0f (0 Δx,0 ) -f (0 ,0 )Δx =limΔx→ 00Δx=0 ,f′y(0 ,0 ) =limΔy→ 0f (0 ,0 Δy) -f (0 ,0 )Δy =limΔy→ 00Δy=0 ,所以全微分 dz在 (0 ,0 )存在 ,且 dz| …     

点到空间直线距离公式的两种简洁证明

对空间中任意一点P(x0,y0,z0)到直线l:π1∶A1x B1y C1z D1=0π2∶A2x B2y C2z D2=0的距离公式:d=n1→×n→2,(A1x0 B1y0 C1z0 D1)n→2-(A2x0 B2y0 C2z0 D2)n→1介绍另两种过程简洁并且几何意义明显的证明     

用向量判定四点共面的一种方法

全日制<数学>第二册(下B)指出:空间一点P位于平面MAB内的充分必要条件是存在有序实数对x,y,使→MP=x→MA y→MB,或者对空间任一点O,有 →OP=→OA x→MA y→MB.     

如何作出y=x^m±1/x^n（m,n∈N^＊）的简图

渐近线的一般定义：（1）如果limf x→af（x）=∞或lim x→af（x）=-∞,那么直线x=a是函数图像y=f（x）的垂直渐近线。     

具有Heyting结构的Ockham代数

引入一个具有Heyting结构Ockham代数,简称HO-代数．所谓HO-代数,是指具有（2,2,2,1,0,0）类型的代数（L;∧,∨,→,f,0,1）．其中（L;f）是Ockham代数,（L;→）是Heyting代数,且运算f和→由恒等式f（x→y）=f^2（x）∧f（y）与f（x）→y=f^2（x）∨y所连结．主要讨论了HO-代数的同余关系的性质．并刻画了其次直不可约代数的某些性质．     

关于一类奇异两点边值问题的 Chawla样条方法

1、引言 本文考虑如下的奇异两点边值问题。-1/w（x）（p（x）y＇（x））＇ = f（x,y（x））, x ∈ （0, 1）（1）limx→0＋ p（x）y＇（x） = 0,y（1）=A（2）。     

一个三角形重心向量性质的空间拓广

利用平面向量的知识,三角形有以下性质: 命题1如图1,已知点G是△ABC的重心,过G作直线与AB、AC两边分别交于M、N两点,且→AM=x→AB,→AN=y→AC,则1/x+1/y=3.     

FI代数的导出序结构的一些性质

深入研究F I代数的与其导出序结构相关的一些性质。特别地,分别得到了在F I代数(L,→,0)中下列各式之一成为恒等式的若干条件:(1)(x∨y)→z=(x→z)∧(y→z);(2)z→(x∨y)=(z→x)∨(z→y);(3)(x∧y)→z=(x→z)∨(y→z);(4)z→(x∧y)=(z→x)∧(z→y)。     

三角形中一个向量性质及推广

性质1 如图1，在△PAB中，M是边AB上任意一点，Q是PM上的任意一点，过点Q的任意一条直线交边PA，PB于A′，B′，若→AM=λ→AB，→PQ=t→PM，→PA′=x→PA，→PB′=y→PB，则1-λ/x＋λ/y=1/t.     

世界各地数学奥林匹克试题选登

1找到所有映射f:R→R,满足f(f(x) y)=f(x2-y) 4f(x)y,其中x,y∈R.解映射f(x)=0和f(x)=x2显然符合条件.下面证明不存在其它的映射符合要求.设映射f:R→R满足f(f(x) y)=f(x2-y) 4f(x)y(1)其中x,y∈R.令a=f(0).在(1)中取x=0则对任意y∈R,f(a y)=f(-y) 4ay(2)在(2)式中先取y=0,则有f(a)=a.取y=-a,则有a=a-4a2,即a=0.因此由(2)式知f是一个偶函数.在(1)式中令y=-f(x)及y=x2.比较其结果有4(f(x))2=4x2f(x).因而f(x)=0或f(x)=x2.现假设存在x0使得f(x0)≠0,则x0≠0及f(x0)=x02.因为f是偶函数.我们假设x0>0.令x为任意非零实数,在(1)式中令y=-x0,则…     

偶然中的必然

一、偶然的发现 题1 已知向量a=x·→i+(y-√7)→j,→b=x·→i+(y+√7)→j(x,y∈R),且|→a|+|→b|=4√2,动点P(x,y)的轨迹方程记为C.射线y=2√2x(x≥0)与曲线C的交点为M,过M作倾斜角互补的两条直线,分别与曲线C交于A、B两点(异于M).求证:直线AB的斜率为定值.     

用定比的一个性质求一类参数的取值范围

已知定点P1(x1,y1),P2(x2,y2)在直线l:Ax+By+C=0外,直线l与直线P1P2相交于点P,若P1→P=λPP→2,则称λ为直线l分P1P→2所成的     

二重极限的一致收敛性判别法

本文将复杂的二元函数的极限问题转化为较简单的一元函数极限是否一致收敛的问题考察之。定理　设 f( x,y)在 ( 0 ,0 )点的某去心邻域内有定义 ,则 limx→ 0y→ 0f ( x,y) =A的充分必要条件是 :当r趋于 0时 ,f ( rcost,rsint)在 [0 ,2π]上一致收敛于常数 A。证明　必要性　由 limx→ 0y→ 0f( x,y) =A,知对任意 ε>0 ,存在 δ>0 ,当 0 相似文献   

Fuzzy BCK—代数

在集合论中关于差的运算及在命题演算中关于→的运算均具有以下性质: 1) (x*y)*(x*z)≤(z*y); 2) x*(x*y)≤y; 3) x≤x, 4) 0≤x; 5) 若x≤y,y≤x则x=y; 6) x≤y x*y=0. 在集合论中,“*”表示两个集合之差的运算,“≤”表示两个集合之间的包含“(?)”关系,“0”表示空集,“=”表示两个集合相等.在命题演算中,“*”表示两个命题之间的     

Approximation of the Cubic Functional Equations in Lipschitz Spaces

Let G be an Abelian group and let ρ : G×G→[0,∞) be a metric on GLet E be a normed spaceWe prove that under some conditions if f : G→E is an odd function and Cx : G→E defined by Cx(y) := 2 f(x + y) +2 f(x-y) + 12 f(x)-f(2x + y)-f(2x-y)is a cubic function for all x∈G, then there exists a cubic function C : G→E such that f-C is LipschitzMoreover, we investigate the stability of cubic functional equation2 f(x + y) + 2 f(x-y) + 12 f(x)-f(2x + y)-f(2x-y) = 0 on Lipschitz spaces.     

一道竞赛题的多层次研究

问题:直角坐标系xOy中,设A,B,M是椭圆C:x2/4+y2=1上的三点.若→OM=3/5→OA+4/5→OB,证明:线段AB的中点在椭圆x2/x+2y2=1上. 这题是2010年全国高中数学联赛江苏初赛第11题,是一道非常有研究价值的试题,本文将从此题出发展开探索.     

广义Lienard方程零解的全局渐近稳定性和极限环的存在性

研究了一类广义Lienard方程 x=φ（y）,y=-f（x）φ（y）-g（x）式中φ，F，g：R→R连续且保证系统初值解惟一，给出零解全局渐近稳定性条件，并讨论极限环的存在性．