Banach inverse mapping theorem <mathematics> In a {Banach space} the inverse to a {continuous} {linear mapping} is continuous. (1998-06-25)