Banach 空間から Banach 空間の上への有界線形作用素は開写像である． 証明 を Banach 空間， を有界線形作用素で全射であるものとする．0"> が存在して， であることを言えばよい． 仮定より， は完備なので， Baire のカテゴリー定理より，0"> が存在して…