Functional analysis
ベールの範疇定理は関数解析学において、開写像定理や閉グラフ定理を証明するのに用いられる。