【北京大学】《泛函分析》（精品课） P12 - 12. FA12