discussion:en:en:泛函分析:赋范线性空间