A.7 泛函分析