A.4 泛函与抽象空间