Functional analysis
主張 BCT1 は関数解析学において開写像定理、閉グラフ定理および一様有界性原理の証明に利用される。