几种向量空间

之前在看有关算法的文章时，碰到理论证明部分总会蹦出几个不知晓的空间的概念，现在把一些知识整理如下：

内积向量空间	定义了内积<x, y>的向量空间
Banach空间	空间内的每个cauchy序列都收敛于该空间
Hilbert空间	空间内的每个cauchy序列都依范数收敛于该空间
赋范空间	定义了范数的向量空间

这只是定义上的理解，真正的要使用还需要在实践中慢慢体会，后面有新的发现再来编辑！