en:discussion:泛函分析:有界线性算子