Let and , with components and componentwise operations as in The Complex Coordinate Space. Two -tuples are equal exactly when their corresponding components are equal, so each condition of Vector Space over a Field follows from the corresponding identity for each component, and those identities hold in the field of complex numbers by its field axioms. Explicitly, for each with :
Condition 1. The -th component of is , the -th component of , by associativity of addition in .
Condition 2. The -th components of and are , by commutativity of addition in .
Condition 3. Let . The -th component of is , so for every .
Condition 4. Let , where is the additive inverse of in . The -th component of is , so .
Condition 5. The -th component of is , the -th component of , by associativity of multiplication in .
Condition 6. The -th component of is .
Condition 7. The -th component of is , the -th component of , by the distributive law.
Condition 8. The -th component of is , the -th component of , again by the distributive law together with commutativity of multiplication.
Hence with these operations is a complex vector space. By claims 1 and 2 of Elementary Identities in a Vector Space, its zero vector and the additive inverse of each vector are unique, so they are exactly the elements and exhibited in conditions 3 and 4.
Loading…
Prerequisites
afbd9f86-be17-4d3a-8742-4c5349681751