电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2011年
4期
899-905
,共7页
逻辑度量空间%平移群%次范整线性空间%真度%有限域F(2)上的线性赋范空间
邏輯度量空間%平移群%次範整線性空間%真度%有限域F(2)上的線性賦範空間
라집도량공간%평이군%차범정선성공간%진도%유한역F(2)상적선성부범공간
将次范整线性空间理论用于研究经典逻辑度量空间([F(S)],ρ).构造出了([F(S)],ρ)中的一类等距变换,证明了这类等距变换之集构成一个群;进而证明了经典逻辑度量空间([F(S)],ρ)相对于此结构构成带有模2加法性质的次范整线性空间,且此空间同构于有限域F(2)上的线性赋范空间;建立了范数与逻辑公式的真度以及范数与逻辑度量空间中的度量ρ之间的关系.
將次範整線性空間理論用于研究經典邏輯度量空間([F(S)],ρ).構造齣瞭([F(S)],ρ)中的一類等距變換,證明瞭這類等距變換之集構成一箇群;進而證明瞭經典邏輯度量空間([F(S)],ρ)相對于此結構構成帶有模2加法性質的次範整線性空間,且此空間同構于有限域F(2)上的線性賦範空間;建立瞭範數與邏輯公式的真度以及範數與邏輯度量空間中的度量ρ之間的關繫.
장차범정선성공간이론용우연구경전라집도량공간([F(S)],ρ).구조출료([F(S)],ρ)중적일류등거변환,증명료저류등거변환지집구성일개군;진이증명료경전라집도량공간([F(S)],ρ)상대우차결구구성대유모2가법성질적차범정선성공간,차차공간동구우유한역F(2)상적선성부범공간;건립료범수여라집공식적진도이급범수여라집도량공간중적도량ρ지간적관계.