完备的赋范空间;一个赋范空间，其诱导的距离空间是完备的.