>>131
https://www.ms.u-tokyo.ac.jp/~ito/notes_functional_analysis_20180511.pdf
(1)は84〜85ページを少し変えればよい
B(X)が作用素ノルムに関して完備となるのは71ページ
（２）が（１）から導けないようではお先真っ暗