Definition of the real part of a vector in C^n

math.la.d.vec.real.cn