经典逻辑度量空间中的模2次范整线性空间结构
, PP. 899-905
Keywords: 逻辑度量空间,平移群,次范整线性空间,真度,有限域F(2)上的线性赋范空间
Abstract:
将次范整线性空间理论用于研究经典逻辑度量空间([F(S)],ρ).构造出了([F(S)],ρ)中的一类等距变换,证明了这类等距变换之集构成一个群;进而证明了经典逻辑度量空间([F(S)],ρ)相对于此结构构成带有模2加法性质的次范整线性空间,且此空间同构于有限域F(2)上的线性赋范空间;建立了范数与逻辑公式的真度以及范数与逻辑度量空间中的度量ρ之间的关系.
Full-Text
