应用泛函分析,这题怎么证明啊?