>>592

つづき

ベールの範疇定理からは、関数解析学における重要な定理である一様有界性定理や開写像定理、 閉グラフ定理などが導かれる。

定理の証明
(略)
(引用終り)
以上

細かいことは後で(^^