Bioinformathematics

いよいよ有名定理が出て来て最初の山場に入ってきたことを感じる。 一様有界性、開写像、閉グラフ定理 4.1. 一様有界性定理 Baireのカテゴリー定理から入る Baireのカテゴリー定理 を完備な距離空間とする。の可算個の閉部分集合がを覆っているとき、少なくとも一つのはの開球を含む。 証明の方針 背理法でスタート。のど…