三大定理をベールのカテゴリ定理によらないシンプルな証明を与えてる
関数解析の基礎 吉田