Pullback norm

Definition

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

Then we can use the norm on [ilmath]V[/ilmath] to "pull back" the idea of a norm into [ilmath]U[/ilmath] yes

Proof

---

TODO:

---