在R0单位区间[0,1]上引入了一个逻辑度量ρ,从而([0,1],ρ)成为一个度量空间(本文中称“(R0单位)逻辑度量空间”),并对逻辑度量空间的结构及其性质进行了详尽的讨论,结果表明任意a∈(0,1),{a}即开又闭,而{0},{1}是闭集,但不是开集.
In this paper, a logical metricρ on Ro unit interval is proposed, and ([0,1-] ,ρ) becomes a metric space(It is called (R0 unit) logical metric space). And the structure and properties of (R0 unit) logical metric space are discussed in details. The results given in this paper show that arbitary a∈(0,1), {a}is both open and closed in ([0,1-],ρ), {0}, {1} is closed, but not open in ([0,1-],ρ).