バナッハ空間
バナッハ空間における逆写像定理は、陰函数定理がバナッハ空間値の写像に対しても拡張できることに基づく。