Complex inner product/Real part/Remark

< Complex inner product < Real part

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.