赋范线性空间中线性半群的共轭半群为正规锥实心锥的充要条件

本文给出了赋范线性空间 E 中线性半群 P 的共轭半群 P~*分别为正规锥和实心锥的两组充分必要条件,并分别将郭大钧和 H.Amann 关于 P 为正规锥的必要条件的两个定理改进成 P为正规锥的充要条件.这里以 E 表实赋范线性空间,E~*为 E 的实共轭空间,P 为 E 中的线性半群,P~*为 P 的共轭半群,除非特殊声明.定义1 称 P 为 total 的是指(?)=E,即 P-P 在 E 中稠密;又当 P-P=E 时称 P 为再生的;P 称为实心的是指(?)(P 表 P 的内部),x∈(?)又记为(?).定义2 如果 P≠E,则称 P 为非不足道的.