Let and be complete norms on a vector space .
Suppose for all and some .
Then and are equivalent ( for all and some )

Proof

Let be the identity map from to
Then continuous
Also is a bijection
So also continuous by Inversion Theorem.

Remarks

  1. Comparability theorem gives a silly reason why is incomplete in
  2. Inversion Theorem tells us that if , Banach Space, surjective then is isomorphic to .