# 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)