标签：有限维赋范空间必完备.;有限维赋范空间必可分.;有限维赋范空间的任一子空间都是闭子空间.