关于端单调线性泛函的扩张和存在性

主要讨论偏序线性空间的端单调线性泛函的延拓性。进一步得出端单调线性泛函的存在性定理。