Complex inner product/Real part/Remark

If we consider a complex vector space , endowed with an inner product , as a real vector space, then the real part

is a real inner product, see exercise. Because of

we can reconstruct from the real part the original inner product.