每一个赋范空间都可以完备化，在等距同构意义下，其完备化空间是唯一的.