Suppose is an inner product space, is a vector space and is an isomorphism. For , define where the right-hand side involves the given inner product on . Prove that this defines an inner product on .
Show that, for real and ,
Suppose is an inner product space, and are both inner products defined on . Show that defines an inner product on .