简介：利用实赋范线性空间E上非零连续线性泛函f,确定了E上半序关系和锥Pf,证明了锥Pf的几个性质,给出了Hilbert空间中Pf的对偶锥的表现形式及由Pf确定的Hilbert投影距离与Thompson距离.
锥Pf的若干性质
