# The Unapologetic Mathematician

## Properties of Complex Numbers

Today I’ll collect a few basic properties of complex numbers.

First off, they form a vector space over the reals. We constructed them as an algebra — the quotient of the algebra of polynomials by a certain ideal — and every algebra is a vector space. So what can we say about them as a vector space? The easiest fact is that it’s two-dimensional, and it’s got a particularly useful basis.

To see this, remember that we have a basis for the algebra of polynomials, which is given by the powers of the variable. So here when we throw in the formal element $i$, its powers form a basis of the ring $\mathbb{R}[i]$. But we have a relation, and that cuts things down a bit. Specifically, the element $i^2$ is the same as the element $-1$.

Given a polynomial $p$ in the “variable” $i$, we can write it as

$c_ni^n+...+c_2i^2+c_1i+c_0$

We can peel off the constant and linear terms, and then pull out a factor of $i^2$:

$(c_ni^{n-2}+...+c_2)i^2+(c_1i+c_0)$

Now this factor of $i^2$ can be replaced by $-1$, which drops the overall degree. We can continue like this, eventually rewriting any term involving higher powers of $i$ using only constant and linear terms. That is, any complex number can be written as $c_0+c_1i$, where $c_0$ and $c_1$ are real constants. Further, this representation is unique. This establishes the set $\{1,i\}$ as a basis for $\mathbb{C}$ as a vector space over $\mathbb{R}$.

Now the additive parts of the field structure are clear from the vector space structure here. We can write the sum of two complex numbers $a_1+b_1i$ and $a_2+b_2i$ simply by adding the components: $(a_1+a_2)+(b_1+b_2)i$. We get the negative of a complex number by taking the negatives of the components.

We can also write out products pretty simply, since we know the product of pairs of basis elements. The only one that doesn’t involve the unit of the algebra is $i\otimes i\mapsto-1$. So in terms of components we can write out the product of the complex numbers above as $(a_1a_2-b_1b_2)+(a_1b_2+a_2b_1)i$.

Notice here that the field of real numbers sits inside that of complex numbers, using scalar multiples of the complex unit. This is characteristic of algebras, but it’s worth pointing out here. Any real number $a$ can be considered as the complex number $a+0i$. This preserves all the field structures, but it ignores the order on the real numbers. A small price to pay, but an important one in certain ways.

We also mentioned the symmetry between $i$ and $-i$. Either one is just as valid as a square root of $-1$ as the other is, so if we go through consistently replacing $i$ with $-i$, and $-i$ with $i$, we can’t tell the difference. This leads to an automorphism of fields called “complex conjugation”. It sends the complex number $a+bi$ to its “conjugate” $a-bi$. This preserves all the field structure — additive and multiplicative — and it fixes the real numbers sitting inside the complex numbers.

Studying this automorphism, and similar structures of other field extensions forms the core of what algebraists call “Galois theory”. I’m not going there now, but it’s a huge part of modern mathematics, and its study is ultimately the root of all of our abstract algebraic techniques. The first groups were automorphism groups shuffling around roots of polynomials.

Posted by John Armstrong | Fundamentals, Numbers | 20 Comments

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 34, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9340283274650574, "perplexity_flag": "head"}