Complex inner product/Real part/Inner product/Exercise

Let ${}V$ be a complex vector space, endowed with an inner product ${}\left\langle -,-\right\rangle$. Show that the real part of this inner product is an inner product on the underlying real vector space.

Create a solution