Complex Numbers form Vector Space

From ProofWiki
Jump to: navigation, search

Theorem

Let $\R$ be the set of real numbers.

Let $\C$ be the set of complex numbers.


Then the $\R$-module $\C$ is a vector space.


Proof

Recall that Real Numbers form Field.

Thus by definition, $\R$ is also a division ring.

Thus we only need to show that $\R$-module $\C$ is a unitary module, by demonstrating the module properties:

$\forall x, y, \in \C, \forall \lambda, \mu \in \R$:

$(1): \quad \lambda \left({x + y}\right) = \left({\lambda x}\right) + \left({\lambda y}\right)$
$(2): \quad \left({\lambda + \mu}\right) x = \left({\lambda x}\right) + \left({\mu x}\right)$
$(3): \quad \left({\lambda \mu}\right) x = \lambda \left({\mu x}\right)$
$(4): \quad 1 x = x$


As $\lambda, \mu \in \R$ it follows that $\lambda, \mu \in \C$.

Thus from Complex Multiplication Distributes over Addition, $(1)$ and $(2)$ immediately follow.


$(3)$ follows from Complex Multiplication is Associative.


$(4)$ follows from Complex Multiplication Identity is One, as $1 + 0 i$ is the unity of $\C$.

$\blacksquare$


Also see


Sources