上で書かれてるRudinのFunctional Analysisを見てみたけど
すごく古臭い書き方してた
これならまだReed-Simonの方がいいんじゃ？