nLab
complexification

For V a vector space over the real numbers or some other -module, its complexification is the tensor product over with the complex numbers : the extension of scalars along the canonical inclusion .

Created on June 4, 2012 11:03:39 by Urs Schreiber (212.236.23.114)