The Complex Coordinate Space is a Complex Vector Space
lemmaAlgebraLinear Algebralem:cn-vector-space-2026aLet be a \reftext{def:natural-numbers-2026a}{natural number} and let be the \reftext{def:complex-coordinate-space-cn-2026a}{complex coordinate space}, with the componentwise operations of that definition.
Then with these operations is a \reftext{def:vector-space-2026a}{complex vector space}. Its \reftext{lem:vector-space-basic-identities-2026a}{zero vector} is the -tuple all of whose components are the complex number , and the additive inverse of is .
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
Authors
Loading…