具有条件（S）的BCK－代数运算的分配性

给出具有条件（Ｓ）的ＢＣＫ－代数关于运算“”的一些性质，证明了此类ＢＣＫ－代数对运算“＊”和“”分别关于“∨”及“∧”是可分配的，同时若Ｘ是正关联的，则ｘｙ＝ｘ∨ｙ．     

关于BCI—代数的拟自同态

讨论了ＢＣＩ－代数Ｘ的满足条件ｆ（ｘ＊ｙ）≤ｆ（ｘ）＊ｆ（ｙ）的自映射ｆ的性质，在Ｘ的伴随半群中给出了σ满足以上条件的一些充分必要条件．最后给出了ＢＣＫ－代数的半群特征和一个等价的公理体系．     

BCK－代数的滤子

ＢＣＫ－代数的滤子李继成（陕西师范大学数学系，西安７１００６２；作者，男，２５岁，硕士）本文所用到的概念均与文献［１］相同．定义１“’设Ｆ是ＢＣＫ一代数Ｘ的一个非空子集，若Ｆ满足：（１）ｘ６Ｆ，ｘ＜ｙ。ｙＥＦ；（２）ｘＥＦ，ｙ６Ｆ。ｇｌｂ｛ｘ，ｙ｝６...     

第二可数空间上Borel测度的支撑

定义 1[1] 　设 μ是度量空间 (Ｘ ,ｄ)上的Ｂｏｒｅｌ测度 ,定义 μ的支撑为 {ｘ∈Ｘ : ε >0 ,μ(Ｂ(ｘ ,ε) )>0 } ,其中 ,Ｂ(ｘ ,ε) ={ ｙ∈Ｘ :ｄ(ｙ ,ｘ) <ε}。定义 2 [2 ,3] 　若度量空间Ｘ具有可数基 ,则称它满足第二可数性公理 ,并称Ｘ为第二可数空间。引理[1] 　设 μ是度量空间Ｘ上的Ｂｏｒｅｌ测度 ,则 μ的支撑是Ｘ的闭子集。定理 1　设 μ是度量空间Ｘ上的Ｂｏｒｅｌ测度 ,记 μ的支撑为Ｓ。若Ｘ是第二可数的 ,则　μ(Ｘ \Ｓ) =0 .证明　 ｘ∈Ｘ \Ｓ ,由定义 , εｘ>0 ,使　μ(Ｂ ,(ｘ ,εｘ) ) =0 .设Ｇ是Ｘ的一个可数基 …     

Boolean代数与减法代数

根据集合代数的研究引入了减法代数的概念．证明了任一Ｂｏｏｌｅａｎ代数等价于一个具有一个二元代数运算，且仅可由四个方程式定义的减法代数系统〈Ｘ；－，０，１〉     

模m同余关系的进一步讨论

模ｍ同余关系的进一步讨论刘晓霞（西北大学计算机科学系，西安７１００６９；作者，女，３０岁，讲师）定义１［１］设ｕ＝〈Ｘ，＊，＋，△，…，〉是代数系统，若Ｘ中的等价关系Ｅ还对Ｘ中任意元素ｘ１，ｘ２，ｙ１和ｙ２，这里ｘ１Ｅｘ２，ｙ１Ｅｙ２关于所有运算“...     

Tapia 半内积与 Banach 空间的几何性质

利用Ｔａｐｉａ半内积（ｘ,ｙ）Ｔ＝ｌｉｍｔ→０＋［（ｘ＋ｔｙ２－ｘ２）／（２ｔ）］,ｘ,ｙ∈Ｘ,研究了Ｂａｎａｃｈ空间Ｘ的自反和逼近性质,并在光滑的Ｂａｎａｃｈ空间Ｘ上利用由Ｔａｐｉａ半内积定义的一类连续线性泛函Ｔ（Ｘ）＝｛ｆｘ∈Ｘ＊｜〈ｆｘ,ｙ〉＝（ｘ,ｙ）Ｔ;ｘ,ｙ∈Ｘ｝研究了Ｂａｎａｃｈ空间的严格凸、一致凸以及具有性质（Ｈ）的特征．     

带算BCK-代数及其同构定理

1966年Y.Imai和K.Iséki提出了如下的一类代数系: 定义设-为B(≠φ)的两元合成,若,且■O∈B,使对■a、b、c∈B,有BCK1.0 ≤a注;BCK 2.(a-b)-(a-c)≤c-b;BCK 3.a-(a-b)≤b,BCK 4.■;BCK 5.■,则称三元体(B,-,0)为一个BCK-代数(BCK algebra)(亦可参见〔2〕,〔3〕)。在不致发生混淆的情况下,我们把BCK代数(B,-,0)简记作BCK代数B。本文将在BCK代数中引进算子(这里指线性算子),从而建立带算BCK代数(BCKalgebra with operators)的概念。然后证明带算BCK代数的几个同构定理。     

二次曲线切线方程新探

文献 [1]、[2 ]、[3]、[4 ]分别给出了直线方程ｘ0 ｘ +ｙ0 ｙ =ｒ2 ,ｘ0 ｘａ2 +ｙ0 ｙｂ2 =1,ｘ0 ｘａ2 - ｙ0 ｙｂ2 =1和ｙ0 ｙ =ｐ(ｘ +ｘ0 )的三种几何意义 .本文将它们推广到常态的二次曲线上去 .先求经过常态二次曲线Ｃ :Ｆ(ｘ ,ｙ) =ａ11ｘ2 +2ａ12 ｘｙ +ａ2 2 ｙ2 +2ａ13 ｘ+2ａ2 3 ｙ+ａ3 3 =0 (1)上的点Ｐ(ｘ0 ,ｙ0 )的切线方程 .因为过Ｐ(ｘ0 ,ｙ0 )的直线总可写成ｘ =ｘ0 +Ｘｔ,ｙ =ｙ0 +Ｙｔ(2 )把 (2 )式代入 (1)式 ,并整理得到关于ｔ的方程(ａ11Ｘ2 +2ａ12 ＸＹ +ａ2 2 Ｙ2 )ｔ2 +2 [(ａ11ｘ0 +ａ12 ｙ0 +ａ13 )Ｘ +(ａ12 …     

关于BZMVdm一代数的若干性质

在文献 [1]的基础上 ,主要讨论了二元运算⊙的运算规律 ,并给出了德摩根 BZMVd M-代数的若干性质 ,即在一个 BZMVd M-代数中 ,(1)～～ x=x当且仅当～ x⊙ x=x当且仅当 x x=x.(2 ) x,y∈A,x∧ y=0当且仅当 y<～ x;若 x x=x,则 x∧ y=0当且仅当 x≤ y.(3)～ (x y) =～ x⊙～ y.(4) x ～ x=1.     

A Geometric Approach to Global Stability for a Class of Predator—Prey Model

Ｗｅｃｏｎｓｉｄｅｒｔｈｅｍｏｄｅｌｉｎｎｏｎｄｉｍｅｎｓｉｏｎａｌｆｏｒｍａｓｆｏｌｌｏｗｉｎｇ ,ｗｈｉｃｈｉｓｃｏｎｃｅｒｎｅｄｉｎ [1] ｘ =ｘ(1-ｘ) - ｐ(ｘ) ｙ+ｂ∫+∞0 ｆ(ｓ) ｙ(ｔ-ｓ)ｄｓ ｙ =ｙ(δ- βｙｘ)ｘ(0 ) >0 ,ｙ(0 ) >0　　Ｗｅａｐｐｌｙａｎｏｖｅｌｍｅｔｈｏｄｆｏｒｐｒｏｖｉｎｇｔｈｅｇｌｏｂａｌｓｔａｂｉｌｉｔｙ .ＬｅｔＸ→ ｆ(Ｘ) ∈ＲｎｂｅａＣ1ｆｕｎｃｔｉｏｎｆｏｒＸｉｎａｎｏｐｅｎｓｅｔＤ Ｒｎ.Ｃｏｎｓｉｄｅｒｔｈｅｄｉｆｆｅｒｅｎｔｉａｌｅｑｕａｔｉｏｎ Ｘ =ｆ(Ｘ) (1.1…     

BCI—代数的半同态与伴随半群间的关系

本文定义了ＢＣＩ－代数上的一种“半同态”映射ｆＬ（１）ｆ（ｘ＊ｙ）＝ｆ（ｘ）＊ｙ，（ｉｉ）若ｘ≤ｙ，则ｆ（ｘ）≥ｆ（ｙ），讨论了关同态映射的核与象的一些性质，给出了一定条件下ｆ∈Ｍ（ｘ）的一个充要条件。     

H-空间中一类广义拟-似变分不等式解的存在性定理

在Ｈ 空间中研究的变分不等式为 φ( ｘ , ｗ , ｙ ,ｘ)≥ 0 ,它包含了以下的变分不等式作为其特殊情形 :吴[1～ 3] 介绍和研究的一类变分不等式 :φ( ｘ , ｙ ,ｘ) ≥ 0 ,,丁和罗[4 ] 研究的变分不等式 :〈 ｗ - ｙ ,ｇ(ｘ) -ｇ( ｘ)〉 +ｂ(ｘ , ｘ) -ｂ( ｘ , ｘ) ≥ 0 ,张[5] 介绍的 η 映象的变分不等式 :〈Ｍ( ｗ , ｙ) ,η(ｘ , ｘ)〉 ≥ 0和Ｎｏｏｒ[6 ,7] 介绍和研究的变分不等式 :〈Ｍ( ｗ , ｙ) ,ｘ- ｘ〉+ｂ(ｘ) -ｂ( ｘ) ≥ 0 .对本文中研究的变分不等式 ,作者利用ＫＫＭ技巧 ,通过作连续选择 ,证明了其解的存在性定理 .1　预…     

Directly—Rieman积分的中值定理

本文在研究Directly—Rieman积分〔1〕,〔2〕的基础上,得到了Directly—Rieman积分的中值定理。 1 引言 定义1.设f(x)是定义在[0, ∞)是的函数,对每一个正数h及履n=1,2,3……,记sup{f(x)|(n-1)h≤x≤nh}为(?)(f)或(?)(h)或(?) inf{f(x)|(n-1)h≤x≤nh}为m_n(f)或m_n(h)或m_n或对于每一个正数h>0,级数     

无穷区间上函数的傅里叶级数

设非周期函数ｙ(ｘ)在所讨论的区间上连续或仅有有限个第一类间断点 ,且至多只有有限个极值点。因ｙ(ｘ)在有限区间上展开成傅里叶级数问题已经解决 ,而对于定义于无穷区间上的函数ｙ(ｘ) ,若能通过变量代换将其化为定义于有限区间上的函数ｆ(ｔ) ,则问题不难解决。以下仅给出相关变量代换式 :1°设ｙ =ｙ(ｘ)的定义区间为 ( 0 ,+∞ )。令ｔ=π 1 -1 / (ｘ+1ｘ) ｘ ,若设这时ｙ =ｆ(ｔ)。因当 0 <ｘ<∞时 ,ｘ +1ｘ=(ｘ -1ｘ) 2 +2≥ 2 ,易知 :0 <1 / (ｘ +1ｘ) ｘ<1。又 :ｌｉｍｘ→ 0 1 / (ｘ +1ｘ) ｘ=1 ,ｌｉｍｘ→∞1 / (ｘ +1ｘ) ｘ=0 …     

一类函数方程的不连续解

定义　若 ｆ(ｘ)是定义在Ｒ上的非零连续函数 ,且满足ｆ(ｘ +ｙ) =ｆ(ｘ) ｆ( ｙ) ,( 1 )则称 ｆ(ｘ)是指数函数 .可知 ｆ(ｘ)有惟一形式 ｆ(ｘ) =Ｑｘ.现在若 ｆ(ｘ)不连续 ,是否有满足条件 ( 1 )的函数存在 ?本文给出一个肯定回答 .对任意ｘ ,ｙ∈Ｒ ,若ｘ -ｙ∈Ｑ ,则称ｘ与 ｙ有关系 .易知此关系为等价关系 .实数域按此关系分类 ,记为 Ｒ ={[ｘ] |ｘ Ｒ}.下面的命题指出分类的意义 .命题 1　 Ｒ在有理数域或向量空间 ,且有 [ｘ] +[ｙ] =[ｘ +ｙ] , ａ∈Ｑ ,ａ[ｘ] =[ａｘ] . Ｒ有基Ｂ ={[ｘ] |[ｘ]∈ Ｒ},那么对基Ｂ中每一类 [ｘ] ,均…     

半格上算子的方程描述

文中定义了半格上的算子，给出了半格上算子的几个等价描述，得到如下定理：设（Ｌ，∨）表示Ｌ是一并半格，Ｆ是Ｌ到自身的一个映射，则如下几条等价：（１）Ｆ是Ｌ上的闭包算子；（２）ｘ，ｙ∈Ｌ，ｘ∨Ｆ（Ｆ（ｘ）∨Ｆ（ｙ））＝Ｆ（ｘ∨ｙ）；（３）Ｆ是Ｌ上的闭包算子，且满足Ｆ（Ｆ（ｘ）∨Ｆ（ｙ））＝Ｆ（ｘ∨ｙ）；（４）Ｆ满足：ｘ≤Ｆ（ｘ）且Ｆ（Ｆ（ｘ）∨Ｆ（ｙ））＝Ｆ（ｘ∨ｙ）．另外，还给出拓扑内部算子的方程描述：集Ｘ的幂集Ｓｕ（Ｘ）到自身的映射Ｉ是Ｘ上的一个拓扑内部算子当且仅当方程Ｘ－Ａ∩Ｉ（Ａ）∩Ｉ２（Ｂ）＝Ｉ（Ｘ）－Ｉ（Ａ∩Ｂ）成立     

根据函数方程判别基本初等函数的超越性

§1 代数函数与超越函数初等函数是初等数学乃至高等数学的主要研究对象。初等函数又可分为代数函数与超越函数两类。我们先叙述它们的定义。定义1 如果函数y=f(x)〔注1〕满足某代数力程 P(x,y)=0, (1)这里(?)是既约多项式〔注2〕,p_k(x)(k=0,1,…,n)都是x的多项式,且(?),则称y=f(x)为代数函数。     

二元函数的微积分基本定理

从二元函数的面导数出发定义原函数和不定积分，研究了它们的性质．证明了：（１）若ｆ（ｘ，ｆｙ）有原函数，则有一族原函数且任意两个原函数相差ｋ（ｘ，ｙ）＝Ｃ（Ｘ）＋Ｄ（ｙ）＋Ｅ，其中Ｃ（ｘ），Ｄ（ｙ）为一元函数，Ｅ为常数；（２）若ｆ（ｘ，ｙ）在闭区间［Ａ，Ｂ］Ｒ２上连续，Ｚ＝（ｘ，ｙ）∈［Ａ，Ｂ］，则Φ（ｘ，ｙ）＝ｆ（ｓ，ｔ）ｄｓｄｔ在（ｘ，ｙ）可导且Φ’ｘｙ＝ｆ（ｘ，ｙ）；（３）若ｆ（ｘ，ｙ）在［Ａ，Ｂ］上连续，Ｆ（ｘ，ｙ）为其一个原函数，则ｆ（ｘ，ｙ）ｄｘｄｙ＝Ｆ（［Ａ，Ｂ］）．     

有限优正则BCI—代数的Lagrange定理及正规理想

§1、引 言 1966年.日本数学家K.Iski引入了BCI-代数[1],即有下列: 定义1、一个BCI—代数是具有下列条件的(2,0)型的一个代数(X,(?);0):(?)x,y,2∈X BCI1,[(x·y)·(x·2)]·(z·y)=0, BCI2,[x·(x·y)]·y=0 RCI3,x·x=0