en:discussion:en:en:泛函分析:内积空间