complexification

For $V$ a vector space over the real numbers or some other $\mathbb{R}$-module, its *complexification* is the tensor product over $\mathbb{R}$ with the complex numbers $\mathbb{C}$: the *extension of scalars* along the canonical inclusion $\mathbb{R} \hookrightarrow \mathbb{C}$.

Revised on July 16, 2013 00:30:11
by Urs Schreiber
(89.204.139.41)