バナッハ空間
Further, by the open mapping theorem, if there is a bounded linear operator from the Banach space onto the Banach space , then is reflexive.