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.
- Comparability theorem gives a silly reason why is incomplete in
- Inversion Theorem tells us that if , Banach Space, surjective then is isomorphic to .