コルモゴロフ・フォーミンのことなら、広大でもなんでも
ありゃあせん。函数解析の「基礎」を丁寧に書いただけだよ。

吉田の「Fuctional analysis」などに比べたら、ほんの入り口。