Complexification

In mathematics, the complexification of a real vector space V is a vector space VC over the complex number field obtained by formally extending scalar multiplication to include multiplication by complex numbers. Any basis for V over the real numbers serves as a basis for VC over the complex numbers.