関数解析は半分道具なんだからテキトーなの読めばいいじゃん。
無限次元の不動点定理やら写像度やらマジメにやり出したらキリがない。