discussion:en:en:泛函分析:有限维赋范空间