完备赋范空间 complete normed space;

见: 完备: 完备赋范空间 complete normed space;