Isomorphism of Banach spaces (source code)

= Isomorphism of Banach spaces

An isomorphism of Banach spaces is a bijective bounded <linear map> whose inverse is bounded. The <bounded inverse theorem> makes boundedness of the inverse automatic.