【北京大学】《泛函分析》（精品课） P16 - 16. FA16