说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> (代数性)自反包
1)  (algebraically) reflexive closure
(代数性)自反包
2)  ((topologically) algebraically) reflexive closure
(拓扑)代数自反包
3)  (algebraically) reflexive
代数(性)自反
4)  reflexive algebra
自反代数
1.
Let be a reflexive algebra in Banach space X such that O+≠O and X_≠X in Lat, thenevery ring automorphism φ (resp.
设为Banach空间X中一自反代数使得在Lat中O+≠O且X_≠X,则的每一环自同构φ(环反自同构ψ)具有形式φ(A)=TAT-1(ψ(A)=TA*T-1),其中T:X→X(T:X*→X)或为一有界线性双射算子或为一有界共轭线性双射算子。
5)  algebraic reflexivity
代数自反
1.
Some further results about algebraic reflexivity introduced by Hadwin were obtained.
基于线性插值的需要 ,本文引入了弱代数自反的概念 ,并发现两者有一种对偶关系 ,于是 ,有关代数自反的许多结果可以移植到弱代数自反
6)  reflexive BCK-algebras
自反BCK-代数
补充资料:自反性


自反性
reflexivity

  自反性[reflex州ty:pe如e砍”BH0cT“」 二元关系的一个性质.集合A上的二元关系(场-nary relation)R是自反的(re份xive),如果对所有的a‘A有aRa.自反关系的例子有相等关系,等价关系,序关系.T.c.中呻aHoBa撰赵希顺译可驳公式[re加妞b.forlnl山;onponep狱”Ma,加pMy-,],形式可驳公式(formally refutahlefo功叫da),在给定公式系统中 其否定可以在给定系统中推导出的闭公式. B .H.fpH山班n撰【补注】给定逻辑系统中的闭公式A是形式可判定的(由c翻巨b比)(见可判定公式(de‘dable ror丽a3,’茹果A是可证的或可驳的.
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条