Complex vector space (source code)

= Complex vector space
{title2=$V\text{ over }\mathbb C$}

A <vector space> over the <field> of <complex numbers>. A <complex-linear map> preserves addition and multiplication by complex scalars.