Complex inner product/Real part/Inner product/Exercise

Let $V$ be a complex vector space, endowed with an inner product $⟨-,-⟩$. Show that the real part of this inner product is an inner product on the underlying real vector space.

Create a solution