無限行列について

無限行列を用いた線形有界演算子の性質と解の収束に関する主張を証明する。