可拓赋范空间的完备化

• The completeness for extensive convex space