An isomorphic embedding of normed vector spaces is an injective bounded linear operator whose inverse on its image is bounded. Equivalently for some . The two-sided bounds make the domain and its image carry equivalent norms. If the domain is a Banach space, a convergent sequence has a Cauchy sequence of preimages, so its limit remains in the image; thus the image is closed.
New to topics? Read the docs here!