discussion:en:en:泛函分析:商空间与积空间