関数解析をじっくり学習したいのですが証明などが細かくのっている本はありますか？