【北京大学】《泛函分析》（精品课） P17 - 17. FA17