赋范空间

###   范数可以由内积导出的充要条件：

 ### 有限维线性空间的性质：

            ！！！有限维子空间总是闭集！！！

　　　　　　！！！完备的距离线性空间的闭子空间是完备的！！！