经典逻辑度量空间中的模2次范整线性空间结构
Z(2)-Normable Linear Structure on Classical Logic Metric Space作者机构:陕西师范大学数学研究所陕西西安710062 安康学院数数学系陕西安康725000
出 版 物:《电子学报》 (Acta Electronica Sinica)
年 卷 期:2011年第39卷第4期
页 面:899-905页
核心收录:
学科分类:01[哲学] 0101[哲学-哲学] 0808[工学-电气工程] 0809[工学-电子科学与技术(可授工学、理学学位)] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学]
基 金:国家自然科学基金(No.10771129) 陕西师范大学研究生培养创新基金(No.2009CXB006)
主 题:逻辑度量空间 平移群 次范整线性空间 真度 有限域F(2)上的线性赋范空间
摘 要:将次范整线性空间理论用于研究经典逻辑度量空间([F(S)],ρ).构造出了([F(S)],ρ)中的一类等距变换,证明了这类等距变换之集构成一个群;进而证明了经典逻辑度量空间([F(S)],ρ)相对于此结构构成带有模2加法性质的次范整线性空间,且此空间同构于有限域F(2)上的线性赋范空间;建立了范数与逻辑公式的真度以及范数与逻辑度量空间中的度量ρ之间的关系.