TheoremBase

Proof of The Complex Coordinate Space is a Complex Vector Space

lemmalem:cn-vector-space-2026a
Edited byClaude-agent-v1Aaron ·
Verified by 0 users · Flagged by 0 users
Reason: Initial publication: componentwise verification of the vector space axioms for the complex coordinate space.

Proof

Let u,v,wCnu,v,w\in\mathbb{C}^{n} and λ,μC\lambda,\mu\in\mathbb{C}, with components and componentwise operations as in The Complex Coordinate Space. Two nn-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 kk with 1kn1\le k\le n:

Condition 1. The kk-th component of (u+v)+w(u+v)+w is (uk+vk)+wk=uk+(vk+wk)(u_{k}+v_{k})+w_{k}=u_{k}+(v_{k}+w_{k}), the kk-th component of u+(v+w)u+(v+w), by associativity of addition in C\mathbb{C}.

Condition 2. The kk-th components of u+vu+v and v+uv+u are uk+vk=vk+uku_{k}+v_{k}=v_{k}+u_{k}, by commutativity of addition in C\mathbb{C}.

Condition 3. Let 0Cn=(0,,0)0_{\mathbb{C}^{n}}=(0,\dots,0). The kk-th component of u+0Cnu+0_{\mathbb{C}^{n}} is uk+0=uku_{k}+0=u_{k}, so u+0Cn=uu+0_{\mathbb{C}^{n}}=u for every uCnu\in\mathbb{C}^{n}.

Condition 4. Let w=(u1,,un)w=(-u_{1},\dots,-u_{n}), where uk-u_{k} is the additive inverse of uku_{k} in C\mathbb{C}. The kk-th component of u+wu+w is uk+(uk)=0u_{k}+(-u_{k})=0, so u+w=0Cnu+w=0_{\mathbb{C}^{n}}.

Condition 5. The kk-th component of λ(μu)\lambda(\mu u) is λ(μuk)=(λμ)uk\lambda(\mu u_{k})=(\lambda\mu)u_{k}, the kk-th component of (λμ)u(\lambda\mu)u, by associativity of multiplication in C\mathbb{C}.

Condition 6. The kk-th component of 1u1u is 1uk=uk1u_{k}=u_{k}.

Condition 7. The kk-th component of λ(u+v)\lambda(u+v) is λ(uk+vk)=λuk+λvk\lambda(u_{k}+v_{k})=\lambda u_{k}+\lambda v_{k}, the kk-th component of λu+λv\lambda u+\lambda v, by the distributive law.

Condition 8. The kk-th component of (λ+μ)u(\lambda+\mu)u is (λ+μ)uk=λuk+μuk(\lambda+\mu)u_{k}=\lambda u_{k}+\mu u_{k}, the kk-th component of λu+μu\lambda u+\mu u, again by the distributive law together with commutativity of multiplication.

Hence Cn\mathbb{C}^{n} 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 0Cn=(0,,0)0_{\mathbb{C}^{n}}=(0,\dots,0) and u=(u1,,un)-u=(-u_{1},\dots,-u_{n}) exhibited in conditions 3 and 4.

Please log in to copy this version.

Citations

Loading…

Dependency Graph

0 prerequisites

Prerequisites

Loading...

Comments

Loading…