Pullback norm

Definition

Suppose we have a normed vector space, $$(V,\|\cdot\|_V,F)$$ and another vector space $(U,F)$ and a linear isomorphism $$L:(U,F)\rightarrow (V,\|\cdot\|_V,F)$$

Then we can use the norm on $V$ to "pull back" the idea of a norm into $U$ yes

Proof

---

TODO:

---