BCK—代数的理想（Ⅲ）

一个(2,0)型代数叫做BCK-代数,如果对任意的x,y,z∈X恒有:BCK-1.(x*y)*(x*z)相似文献   

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.     

一个新的压缩型映象的不动点定理

设X是完备的度量空间,T:X→X是连续映象,若存在X×X上对称实函数φ(x,y).使T满足φ(Tx,Ty)≤aφ(x,y), x,y∈X及d(Tx,Ty)≤cd(x,y)+φ(x,y), x,y∈X,其中d是X上的度量,两个常数a,c满足0≤a<1,0≤c<1.本文证明了映象T有唯一的不动点x_*,且 x∈X,有T_x~n→x_*(n→∞).在φ(x,x)=0,φ是一元连续的条件下,证明了在X上一定存在一个拓扑等价的度量d~*使T关于d~*是X上的Banach压缩映象.     

中心循环的有限p-群中的非交换集

设G是一个群,X是G的一个子集,若对于任意x,y∈X且x≠y,都有xy≠yx,则称X是G的一个非交换集.进一步,如果对于G中的任意其他非交换子集Y,都有|X|≥|Y|,那么称X是G的一个极大非交换集.本文界定了中心循环的有限p-群中极大非交换集的势.     

评《关于膨胀算子不动点定理的注记》一文

在文献[1]中,于挺同志证明了下述定理: 定理1设(X,d)是紧度量空间,T是X→X的连续映射,如果存在h>0,对任意x,y∈X,有 d(TX,TY)≥hd(x,y) (1)则T在X中有唯一不动点x_*,且对任意x_0∈X,x_n=TX_(n-1)(n=1,2,…),有=x_*。 我们可以证明: 当X至少有两个点时,满足定理1条件的映射不存在。 证明 用反证法,设存在映射T满足定理1的条件。由X至少有两个不同的点及(1)式易知T≠Ⅰ(Ⅰ是X→X的恒等映射)。     

关于压缩映象的一个未解决的问题及一个新的不动点定理

§1.引言 设(X,d)是一完备度量空间,T是映X到X的映象.按照Rhoades的说法,T称为第(25)类的压缩映象,如果T满足下面的条件:对一切的x,y∈X,x≠y, d(Tx,Ty)相似文献   

有效极点的一个存在性定理

设 Y,∧ 均是 R~m 中的非空集合,称 x∈Y 为 Y 的一个有效点,如不存在 y∈Y,y≠x使 x∈y+∧.记 Y 的有效点集为 E(Y,∧).称 x∈Y 为 Y 的一个极点,如不存在 y∈Y,z∈Y,y≠z 使 x∈(y,z).记 Y 的极点集为 Y_e。记 Y 的有效极点集为 E_Y=Y_e∩E(Y,∧).Yu,L.P.在[1]中说明,若∧是凸锥,Y 是紧多面凸集,那么如果 E(Y,∧)≠φ,则Y 必有有效极点,即 E_Y≠φ.显然这个结论是线性多目标规划单纯形法的理论基础.     

Frattini子群循环的有限$p$-群中的非交换集和极大Abel子群

设G是一个群,X是G的一个子集,若对于任意x,y∈X且x≠y,都有xy≠yx,则称X是G的一个非交换集.进一步,如果对于G中的任意其它非交换子集Y,都有|X|≥|Y|,那么称X是G的一个极大非交换集.文中确定了Frattini子群循环的有限p-群中极大非交换集和极大Abel子群的势.     

三角函数周期的探讨

有高中“三角函数”这一章中,我们知道y =Asin(ωx + φ) (x∈R ,Aω≠0 ,A ,ω,φ为常数)与y =Acos(ωx + φ) (x∈R ,Aω≠0 ,A ,ω,φ为常数)及y =Asin2 (ωx + φ) (x∈R ,Aω≠0 ,A ,ω,φ为常数)与y =Acos2 (ωx +φ) (x∈R ,A·ω≠0 ,A ,ω,φ为常数)这些三角函数的周期.那么,三角函数y =Asinn(ωx+ φ)与y =Acosn(ωx + φ) (A·ω≠0 ,A ,ω,φ为常数x∈R)的周期又是怎样的呢?定理1　1 )函数y =sinnx (x∈R) .当n为偶数时的周期为kπ,(k∈Z ,k≠0 ) ,最小正周期为π;当n为奇数时,周期为2kπ(k∈Z ,k≠0 ) ,最小正周期为…     

具有正则*-断面的正则半群的结构

设S是一个正则半群,如果存在一个S的子半群S~*及上的一元运算*满足条件：(1)(?)x∈S,x~*∈S~*∩V(x)；(2)(?)x∈S~*,(x~*)~*=x；(3)(?)x,y∈S,(x~*y)~*=y~*x~(**),(xy~*)~*=y~(xx)x~*则称S~*是S的一个正则*_-断面．本文刻画了具有正则*_-断面的正则半群的结构。     

右端非增非连续微分方程组一对伪最小最大解的存在性

<正> 设 E 是 Banach 空间,P 是 E 中正规锥,E 中半序由 P 导出.设 u_0,v_0∈E,u_0(?)v_0,D=[u_0,v_0],A(·,·):D×D→E.若存在 x,y ∈D,使得 x(?)A(x,y),A(y,x)(?)y,则称x,y 是 A 的一对伪上下不动点;若 x,y∈D 满足 x=A(x,y),A(y,x)=y,则称 x,y 是 A的一对伪不动点;如果 x_*,x~*∈D 是 A 的一对伪不动点,并且对 A 在 D 中的任一对伪不动点 x,y,x(?)y,都有 x_*(?)x(?)y(?)x~*,则称 x_*和 x~*是 A 的一对伪最小最大不动点;若x∈D 满足 A(x,x)=x,则称 x 是 A 的不动点.如果对任给固定的 v∈D,A(·,v):D→E是增算子,并且对任给固定的 u∈D,A(u,·):D→E 是减算子,则称 A 是 D 上的混合增减算子.     

右端非增非连续微分方程组一对伪最小最大解的存在性

设 E 是 Banach 空间,P 是 E 中正规锥,E 中半序由 P 导出.设 u_0,v_0∈E,u_0(?)v_0,D=[u_0,v_0],A(·,·):D×D→E.若存在 x,y ∈D,使得 x(?)A(x,y),A(y,x)(?)y,则称x,y 是 A 的一对伪上下不动点;若 x,y∈D 满足 x=A(x,y),A(y,x)=y,则称 x,y 是 A的一对伪不动点;如果 x_*,x~*∈D 是 A 的一对伪不动点,并且对 A 在 D 中的任一对伪不动点 x,y,x(?)y,都有 x_*(?)x(?)y(?)x~*,则称 x_*和 x~*是 A 的一对伪最小最大不动点;若x∈D 满足 A(x,x)=x,则称 x 是 A 的不动点.如果对任给固定的 v∈D,A(·,v):D→E是增算子,并且对任给固定的 u∈D,A(u,·):D→E 是减算子,则称 A 是 D 上的混合增减算子.     

Banach空间的正规结构与对径点

假设S（X）是Banach空间X的单位球面,作引进了四个新的几何参数：Jε（X）=sup{βε（x）,x∈S（X）},jε（X）=inf{βε（x）,x∈S（X）},Gε（X）=sup{αε（x）,x∈S（X）},gε（X）=inf{αε（x）,x∈S（S）},其中≤ε≤1,βε（x）=sup{min{‖x εy‖,‖x-εy‖,y∈S（X）}},αε（x）=inf{max{‖x εy‖,‖x-εy‖,y∈S（X）}},讨论了这些参数的性质,本主要结果是：如果主要结果是：如果有一个ε,0≤ε≤1,使得Jε（X）＜1 ε/2或gε（X）＞1 ε/3,那末X有一至正规结构。     

第(16)类压缩映象的不动点定理

Let X be a complete metric space with distance function d, and T a mapp-ing from X into X. T is said to be a contractive mapping (16), if for any x, y∈ X, x ≠ y , it satisfies the following condition.     

一致光滑Banach空间中Φ-半压缩映象的不动点的迭代逼近

1　引言与预备知识设X为实Banach空间,X*为其共轭空间.正规对偶映象J:X→2X*定义为:Jx={x*∈X*:〈x,x*〉=‖x‖2=‖x*‖2},其中〈·,·〉表示广义对偶组.熟知,若X*为严格凸的,则J为单值正齐次的;若X*为一致凸的(等价地,X为一致光滑的),则J在X的任何有界子集上是一致连续的.我们用j表示单值的正规对偶映象.用R+表示正半实轴.以F(T)表示T的不动点集,即F(T)={x∈D(T):Tx=x}.映象T:D(T)X→X称为φ-半压缩的,如果F(T)≠,且存在严格增加函数φ:R+→R+,φ(0)=0,使得x∈D(T),y∈F(T),相应地存在某j(x-y)∈J(x-y)满足不等式〈Tx-y,j(…     

三角代数上的交换零点ξ-Lie可导映射

设u是数域F上的一个三角代数,δ是u上的一个线性映射,ξ∈F且ξ≠1证明了:如果对任意的x,y∈u且xy=yx=0有δ([x,y]_ξ)=[δ(x),y]_ξ+[x,δ(y)]_ξ,则在u上存在一个导子Φ和一个中心元λ使得对任意的x∈u,有δ(x)=Φ(x)+λx.     

RETRACTED ARTICLE: Some applications of BP-theorem in approximation theory

In this paper we apply Bishop-Phelps property to show that if X is a Banach space and G X is the maximal subspace so that G⊥ = {x* ∈ X*|x*(y) = 0; y∈ G} is an L-summand in X*, then L1(Ω,G) is contained in a maximal proximinal subspace of L1(Ω,X).     

关于序集碰撞数问题深度贪心算法的最优性

§1.引言称P=(X,≤)是一个序集是指,X是一个集合,“≤”是X上的一个二元关系(叫做小于等于),它满足:(1)自反性,(x≤x,x∈X),(2)传递性(x≤y,y≤z■x≤z)和(3)反对称性x≤y,y≤x,■x=y)。本文只讨论有限序集。用|X|或|P|表示序集P=(X,≤)所含有的元素个数,用x∈P或x∈X表示x是P的元素。对任一序集Q,我们也用相同的字母Q表示它的基本集。在序集P中,如果x≤y,则我们也用x≤y(P),y≥x及y≥x(P)来表示这一关系。     

Banach空间中一类广义Lipschitz非线性算子迭代序列的收敛定理

1　引言与预备知识设 X为一实 Banach空间 ,X*是 X的对偶空间 ,正规对偶映射 J:X→ 2 X*定义为 :J( x) ={ f∈ X*;〈x,f〉 =‖ f‖ .‖ x‖ ,‖ f‖ =‖ x‖ }其中〈· ,·〉表示 X和 X*的广义对偶组 .用 j(· )表示单值的正规对偶映射 .设 K是 X的一非空子集 ,算子 T:K→ X称为φ-强增生的[1 ,2 ] ,如果存在一个严格增加函数φ:[0 ,+∞ )→ [0 ,+∞ ) ,φ( 0 ) =0满足 x,y∈ K, j( x-y)∈ J( x-y)使得〈Tx -Ty,j( x -y)〉≥φ(‖ x -y‖ ) .‖ x -y‖ ( 1 )( 1 )中若 φ( t) =kt(其中 k>0 ) ,相应地称 T为强增生算子 ,k称为 T的…     

真拟弱几乎周期点和拟正则点

T为紧致度量空间X上的连续映射,M（X）为X上所有Borel概率测度.设x∈X,记Mx（T）为概率测度序列{1n∑n 1i=0δTi（x）}在M（X）中的极限点的集合,其中δx表示支撑集是{x}的点测度.记W（T）和QW（T）分别为T的弱几乎周期点和拟弱几乎周期点集.本文证明,如果（X,T）非平凡且满足specifcation性质,则存在x,y∈QW（T）／W（T）（称为真拟弱几乎周期点）,分别满足μ∈Mx（T）,x∈Supp（μ）和ν∈My（T）,y∈/Supp（ν）,回答了周作领等提出的公开问题.Mx（T）在弱拓扑中是紧致连通集,所以,要么是单点集,要么是不可数集.如果x∈QW（T）／W（T）,则Mx（T）是不可数集.一个自然的问题是,怎么刻画M x（T）是单点集的点x（这时x称为拟正则点）.本文给出M x（T）是单点集的充要条件.