设x是线性赋范空间,若x与x"同构,则必是完备的
出自:泛涵分析