A Brief Taxonomy of Numbers


Part of the peterjamesthomas.com Maths and Science archive

This article is both adapted and extended from a piece that I originally wrote on Q&A site Quora.com back in 2017.
As someone with a Mathematical background, I have spent long periods of my life working with numbers. There are many beautiful different types of these that can be constructed (or is that discovered?). The process starts with the first building blocks, the Counting Numbers, 1,2,3,4,5,\ldots\ which are known more technically as the Natural Numbers. However our journey to discover the nature of numbers will take us into much less familiar territory. Along the way, I will attempt to introduce you to the most salient parts of the extensive Number Menagerie. My aim is to make the material as accessible as possible to a non-Mathematical audience. Inevitably there are formulae here, but I hope that I build things up in a way that can be followed by the able and engaged reader.

The types of numbers I cover are as follows, most of them are labelled with a capital letter in a Blackboard Bold font:

For each I have adopted a bullet-point style, which hopefully stresses the essential facts, rather than cocooning these in extraneous prose. Along the way a few additional explanations are included as asides in boxes. Let’s start by looking at the basic Counting Numbers mentioned above, the Natural Numbers.

Natural Numbers, \mathbb{N}

  • These are the “counting numbers”, so:




    The notation \{\ldots\} indicates that what falls between the curly brackets is a set, a collection of things. All animals is a set, all cats is a subset of this. So here \mathbb{N} is a label for all the numbers listed between the curly brackets, including those hinted at by the \ldots

    Some people nowadays also include 0 in this set, but I’m a traditionalist and would call this set non-negative Integers (see below).

  • The \ldots above implies that the Natural Numbers go on for ever. There is no end to the Natural Numbers, or to put it another way, there is no biggest Natural Number.
  • To see this, suppose on the contrary that the largest Natural Number is N, then clearly N+1 is also a Natural Number and bigger than N, a contradiction. If a statement leads to a contradiction in this manner, the statement itself must be false.
  • We use the word infinity to describe sets like \mathbb{N} that go on for ever.
  • As we will see soon, there are different magnitudes of infinity. The size of the Natural Numbers is labelled \aleph_0, pronounced Aleph Null. Any infinite set which has a size of \aleph_0 is called Countably Infinite as we can use the Natural Numbers to count them (see An aside about Counting below).

Prime Numbers

  • Prime numbers are Natural Numbers that have precisely two factors, themselves and 1.
  • A factor of a Natural Number is one that divides it with no remainder. So 2 is a factor of 10 because 10=2\times 5. 3 is not a factor of 10 because the remainder when it is divided by 3 is 1, 10=3\times 3+1.
  • 1 is not a Prime because it has just one factor, 1.
  • Prime Numbers are important for many reasons, notably because any Natural Number greater than 1 can be expressed as a unique product of Prime Numbers (if you ignore the order in which they are multiplied). This is the Fundamental Theorem of Arithmetic. \hspace{2mm}


    Here we going to introduce the symbol \in, which is used to denote that something is a member of a set, for example 3 \in \{1,2,3,4,5\}.

    \in may be read as “in”, “belongs to” or “is a member of”.

    The Fundamental Theorem of Arithmetic states that for any n\in\mathbb{N} we can find Prime Numbers, p_1,p_2,p_3,\ldots,p_m (possibly with some repeats), such that n=p_1\times p_2\times p_3\times\ldots\times p_m.

    For a proof of this and some examples, see Glimpses of Symmetry, Chapter 8 – Simplicity.
  • There are an infinite number of Primes as well. To see this, assume the contrary and that p_1,p_2,p_3,\ldots,p_n is a complete list of all Prime Numbers. Then construct the following number, P=p_1\times p_2\times p_3\times\ldots\times p_n+1. No number n, which is greater than 1, divides n+1, so this means than none of our list of Primes can divide P. Therefore either P has no prime divisors and so is prime itself, or it has some other prime divisor, say p_{n+1}, which does not appear in our finite list. Either way a contradiction arises, so our assumption that the Primes were finite is erroneous.


    This proof is a modern recasting of the one originally devised by the eminent Greek Mathematician Euclid circa 300 BC.

  • The Primes also have precisely the same size as the Natural Numbers, \aleph_0.

    Here we note one of the odd things about infinite sets, a subset can be as big as the whole set – in the same way the set of all even Natural Numbers is the same size as the size of the Natural Numbers – or, as Richard Feynman put it, “there are twice as many numbers as numbers”.

An aside about Counting

  • Above we called the Natural Numbers the counting numbers, here let’s consider what counting actually means. When we say “Five little ducks went swimming one day” what we are actually doing is setting up a relationship between the set of ducks and the Natural Numbers.

    5 Little Ducks

    This may sound a bit esoteric, but if I say that what we do is to point at the first duck and say “one”, point at the second duck and say “two”, the third and say “three” and so on, then the process hopefully becomes a more familiar one.

    As this is a written article and not a vlog, I’m going to use some notation to describe this process. I will write 1\rightarrow duck to mean pointing at a duck (or something else) and saying “one”. Similarly I will write 2\rightarrow frog if I want to point at the second frog in a set. We will come back to this notation below when talking about both Integers and Real Numbers.

Integers, \mathbb{Z}

  • Here we extend the Natural Numbers by including 0 and negative whole numbers (whole numbers is a bit of a fuzzy term, so I have, in general, excluded it from this article), so:

  • As with Natural Numbers and even Natural Numbers above, perhaps counterintuitively, there are the same number of Integers as Natural Numbers. Recalling our duck-centric notation, if we define 1 \rightarrow X to mean pointing at X and saying “one” and 2 \rightarrow Y as pointing at Y and saying “two”, then we can count the Integers like this: 1 \rightarrow 0,\hspace{2mm} 2 \rightarrow 1,\hspace{2mm} 3 \rightarrow -1,\hspace{2mm} 4 \rightarrow 2,\hspace{2mm} 5 \rightarrow -2,\hspace{2mm} 6 \rightarrow 3,\hspace{2mm} 7 \rightarrow -3,\hspace{2mm} \ldots\hspace{2mm}, then we have matched each element of \mathbb{N} with each element of \mathbb{Z} and thereby established that they are the same size.
  • If we want to consider just negative integers \{-1,-2,-3,\ldots\}, we use the symbol \mathbb{Z}^-. \mathbb{Z}^+ is just the Natural Numbers again.

For more background on the Natural Numbers and Integers, see: Glimpses of Symmetry, Chapter 2 – What is a Group?

Rational Numbers, \mathbb{Q}

  • Rational Numbers are fractions both positive and negative, so numbers like:

    \displaystyle\frac{1}{2}, \hspace{10mm} \displaystyle\frac{41}{7}, \hspace{10mm} \displaystyle-\frac{2}{3}, \hspace{10mm} \displaystyle\frac{35,931}{12,343},

    and so on.

  • However, a loose definition of fractions would include that abomination, \frac{1}{0}, which as every schoolchild learns is the work of the devil and to be avoided at all costs.
  • It would also include, for example:

    \dfrac{1}{\sqrt{2}}\hspace{5mm}\text{and}\hspace{5mm}\dfrac{2\sqrt{13}}{83 - \sqrt[3]{19}i}

    which is probably not what any of us had in mind when using the term.

  • A way to avoid such complications is to define \mathbb{Q} in terms of the numerators and denominators of its elements as follows:

    \displaystyle\mathbb{Q} = \left \{\frac{a}{b} \hspace{2mm} \bigg | \hspace{2mm} a\in\mathbb{Z}, b\in\mathbb{N} \right \}



    Here we introduce some more notation. To date, we have generally been explicit (or at least indicative) about which numbers make up a set. Instead, what we have above is a sort of recipe for creating the members of a set, namely the Rational Numbers. The bit directly after the first curly bracket and before the vertical bar shows the general pattern of set members. The bit after the vertical bar and before the second curly bracket provides restrictions on the general pattern. The vertical bar itself can be read as “such that”. For example, consider the set \{2n \hspace{2mm} | \hspace{2mm} n\in\mathbb{N}\}. This is the even Natural Numbers; the set of numbers of format 2n such that n is a Natural Number.

    So our definition of the Rationals can similarly be read as “numbers consisting of a divided by b, such that a is an Integer and b is a Natural Number”.

    This definition alone is enough for me to argue that keeping \mathbb{N} zero free is worth it.

  • Perhaps strange to say, there are no more Rational Numbers than Natural Numbers. If we create an array of the Rational numbers as follows:

    \begin{array}{cccccc} \\ \displaystyle \frac{1}{1} \hspace{5mm} & \displaystyle \frac{2}{1} \hspace{5mm} & \displaystyle \frac{3}{1} \hspace{5mm} & \displaystyle \frac{4}{1} \hspace{5mm} & \displaystyle \frac{5}{1} \hspace{5mm} & \ldots \hspace{5mm} \\[25pt] \displaystyle \frac{1}{2} \hspace{5mm} & \displaystyle \frac{2}{2} \hspace{5mm} & \displaystyle \frac{3}{2} \hspace{5mm} & \displaystyle \frac{4}{2} \hspace{5mm} & \displaystyle \frac{5}{2} \hspace{5mm} & \ldots \hspace{5mm} \\[25pt] \displaystyle \frac{1}{3} \hspace{5mm} & \displaystyle \frac{2}{3} \hspace{5mm} & \displaystyle \frac{3}{3} \hspace{5mm} & \displaystyle \frac{4}{3} \hspace{5mm} & \displaystyle \frac{5}{3} \hspace{5mm} & \ldots \hspace{5mm} \\[25pt] \displaystyle \frac{1}{4} \hspace{5mm} & \displaystyle \frac{2}{4} \hspace{5mm} & \displaystyle \frac{3}{4} \hspace{5mm} & \displaystyle \frac{4}{4} \hspace{5mm} & \displaystyle \frac{5}{4} \hspace{5mm} & \ldots \hspace{5mm} \\[25pt] \displaystyle \frac{1}{5} \hspace{5mm} & \displaystyle \frac{2}{5} \hspace{5mm} & \displaystyle \frac{3}{5} \hspace{5mm} & \displaystyle \frac{4}{5} \hspace{5mm} & \displaystyle \frac{5}{5} \hspace{5mm} & \ldots \hspace{5mm} \\ \\ \vdots \hspace{5mm} & \vdots \hspace{5mm} & \vdots \hspace{5mm} & \vdots \hspace{5mm} & \vdots \hspace{5mm} \\ \\ \end{array}

    It may be readily seen that any Rational Number will appear in it somewhere. If we again use our convention that 1 \rightarrow X is pointing at X and saying “one”, we can count the Rational Numbers by tracing a winding route through the array as follows:
    1\rightarrow\frac{1}{1},\hspace{2mm} 2\rightarrow\frac{2}{1},\hspace{2mm} 3\rightarrow\frac{1}{2},\hspace{2mm} 4\rightarrow\frac{1}{3},\hspace{2mm} 5\rightarrow\frac{2}{2},\hspace{2mm} 6\rightarrow\frac{3}{1},\hspace{2mm} 7\rightarrow\frac{4}{1},\hspace{2mm} 8\rightarrow\frac{3}{2},\hspace{2mm} 9\rightarrow\frac{2}{3},\hspace{2mm} 10\rightarrow\frac{1}{4},\hspace{2mm} \ldots
    The path we take looks like this:

    Rational countable

  • If (as shown above) we can count the Rationals (more formally if we can set up a mapping between the Natural Numbers and the Rational Numbers), then the Rationals are also Countably Infinite.

Real Numbers, \mathbb{R}

  • Number Line
    If we consider a line extending out from zero in both a positive and a negative direction, never ending on either side, the the Real Numbers are the inhabitants of this line.
  • It might be thought that we have just effectively duplicated the definition of the Rational Numbers, but this is not the case. There are Real Numbers which are not Rationals. Indeed, in a sense, the vast majority of Real Numbers are not Rational.
  • The canonical way to show this is by considering the radical \sqrt{2}. It can be shown relatively easily [1] that there are no two numbers a \in \mathbb{Z} and b \in \mathbb{N} such that \sqrt{2}=\frac{a}{b}. Equivalently, \sqrt{2} is not a member of \mathbb{Q}.
  • \sqrt{2} is clearly a number, to ten decimal places it is equal to 1.4142135624. However the decimal expansion of \sqrt{2} never actually ends and never settles down to any repeating pattern. This formulation leads to one of the most common ways of viewing Real Numbers as decimals and including those that go on for ever. We can then say:

    \mathbb{R}=\{a_m a_{m-1}\ldots a_2 a_1.b_1 b_2 b_3 b_4 \ldots \hspace{2mm} | \hspace{2mm} a_i \hspace{2mm} (1 \le i \le m), \hspace{2mm} b_j \hspace{2mm} (1 \le j < \infty) \in \{0,1,2,3,\ldots,9\}\}



    Above we use the symbol \infty which indicates infinity. Where the context is counting to infinity – as it clearly is above – this means the \aleph_0 version of infinity, i.e. the size of the set of Natural Numbers.

  • Any Rational Number can also be expressed using this approach, but the numbers after the decimal point will settle down to a pattern, e.g.:

    \frac{1}{3} = 0.333\ldots




  • A Real Number that is not a Rational Number is called an Irrational Number (meaning “not a Rational” as opposed to “illogical”). The Mathematical notation A\backslash B applied to two sets A and B means: all elements in set A that are not in set B. So we can write the Irrational Numbers as \mathbb{R} \backslash \mathbb{Q}. Irrational numbers – like \sqrt{2} – will never have their decimal expansion settle down to a repeating pattern.
  • A final type of Real Number completes this menagerie. They too have a weird name, Transcendental Numbers. Irrational numbers like \sqrt{2} are the root of some polynomial equation [2] with Rational coefficients, in this case x^2 - 2 = 0.


    A polynomial (meaning “many names”) is an equation of the form:

    a_nx^n + a_{n-1}x^{n-1} + \ldots +\hspace{1mm}a_2x^2 + a_1x + a_0 = 0

    Where the a_i are constants, typically Integers or Rational Numbers, called coefficients and x is the variable, or unknown; the thing that is to be found. The general idea is to find which number, or numbers, when substituted for x result in a value of 0.

    The highest power of x that appears is called the degree of the polynomial. Some polynomials of small degree have special names. Degree one polynomials (where the highest power is x itself) are called linear. Degree three polynomials (where the highest power is x^3) are called cubics. Nestling in between these are polynomials of degree 2, or as every schoolchild is taught, quadratics. An example of a quadratic is the equation:

    x^2 - 3x + 2 = 0

    Which can be factored into:

    (x - 1)(x - 2) = 0

    Showing that it has the solutions x = 1 and x = 2.

    For more complicated quadratics, the same schoolchildren are taught a standardised formula which yields the solution of ax^2 + bx + c = 0, namely:

    \displaystyle x=\dfrac{-b \pm\sqrt{b^2-4ac}}{2a}

    The \pm above indicates that, as in our simple example, there are two values of x that satisfy the quadratic equation, one is calculated using a + in the formula, the other a - instead. All quadratics have two solutions. In general, a polynomial of degree n will have n solutions (some of which may be repeated), these are often referred to as roots of the polynomial.

    Transcendental Numbers are Irrational Numbers that are not the root of any finite polynomial equation with Rational coefficients. The two best known Transcendentals are \pi, most commonly defined as the ratio of a circle’s circumference to its diameter [3], and Euler’s Number, e [4]. However, again Transcendentals are more common than non-Transcendental, Irrational Numbers, though not all have the special properties of \pi and e.

    Below we show each of \sqrt{2}, e and \pi on our Real Number line:
    Real Number Line

  • Readers may have been getting the feeling that the size of all sets of numbers is the same as the Natural Numbers. Here we come across a counter-example. The size of the Real Numbers is actually larger than the Naturals, the Real Numbers are not countable. This result is derived from a famous proof by Georg Cantor. This runs as follows:
    • First of all, let’s assume the opposite, that the number of Real Numbers (Rationals plus Irrationals) is countably infinite. To make our work easier, let’s just focus on the segment of the number line 0 < x < 1, you can easily generalise from here. So any Real Number in this interval can be written as 0.a_1a_2a_3a_4a_5 \ldots, where the a_i are digits in \{0,1, \ldots, 9\}.
    • If these numbers are countable, then we can (by definition and like with the little ducks above) set up a one-to-one correspondence between the Natural Numbers and the Real Numbers in this interval, something like:

      \begin{array}{cccccc} \\[10pt] 1 \rightarrow 0.\boldsymbol{a_{1,1}}a_{1,2}a_{1,3}a_{1,4}a_{1,5} \ldots \\[10pt] 2 \rightarrow 0.a_{2,1}\boldsymbol{a_{2,2}}a_{2,3}a_{2,4}a_{2,5} \ldots \\[10pt] 3 \rightarrow 0.a_{3,1}a_{3,2}\boldsymbol{a_{3,3}}a_{3,4}a_{3,5} \ldots \\[10pt] 4 \rightarrow 0.a_{4,1}a_{4,2}a_{4,3}\boldsymbol{a_{4,4}}a_{4,5} \ldots \\[10pt] 5 \rightarrow 0.a_{5,1}a_{5,2}a_{5,3}a_{5,4}\boldsymbol{a_{5,5}} \ldots \\[10pt] \vdots \\ \end{array}

      and so on (this is the essence of counting of course).

    • Now consider the diagonal of this array (highlighted in bold above) and use this to create a new number 0.b_1b_2b_3b_4b_5\ldots as follows. Pick b_1 different from a_{1,1}, b_2 different from a_{2,2}, b_3 different from a_{3,3}, and so on. Clearly this new number doesn’t appear anywhere on the original list, it is different from the first number in the first place after the decimal point, different from the second number in the second place after the decimal point and so on. So we have assumed that the Reals are countable and used this to create a Real Number which is not in the list of Real Numbers paired to the Natural Numbers, a contradiction. Therefore the Real Numbers cannot be countable.


      There are some technicalities to be considered in the above argument, for example 0.5000\ldots and 0.4999\ldots being precisely the same number, these have been elided here for the sake of clarity.

  • It might be tempting to assume that the size of the Real Numbers is \aleph_1, i.e. the next biggest type of infinity. However, this opens a can of worms. The Real Numbers are sometimes also known as the continuum. The size of the continuum is denoted by \mathfrak{c} and it may be shown that \mathfrak{c}=2^{\aleph_0}. The statement that \mathfrak{c} = \aleph_1 is known as the continuum hypothesis. This margin is too small to contain [5] a full review of the continuum hypothesis and the reader is invited to research this elsewhere [6].

More background about both Rational and Real Numbers may be read in Glimpses of Symmetry, Chapter 4 – Rationality and Reality

Complex Numbers and Gaussian Integers, \mathbb{C} and \mathbb{Z}[i]
I attempted to provide a gentle introduction to the Complex Numbers in Glimpses of Symmetry, Chapter 7 – Imaginary Battleships and would recommend anyone unfamiliar with the area starting here. In this piece instead I will jump straight in.

  • The Complex Numbers are an extension of the Real Numbers that we met above. The extension is achieved by introducing a new number, i, which is defined as \sqrt{-1}. The set of Complex Numbers is denoted by \mathbb{C} and the way that the extension works is by setting:

    \mathbb{C}=\{a+ib \hspace{2mm} | \hspace{2mm} a, b\in\mathbb{R}, i^2 = -1\}

    As an aside, a+ib and a+bi are the same Complex Number, the order of multiplication is immaterial, I will probably swap between the two notations in places.

  • The number i is not an artificial one. In the section on Real Numbers, we saw how a non-rational number, \sqrt{2}, arose by considering the solutions (roots) of the quadratic equation, x^2-2=0. The number i arises in a similar way by considering the roots of a different quadratic, x^2+1=0, or x^2=-1.
  • A lot of people have problems accepting i as a real (lowercase “r”, so no pun intended) number. This comes from confusion about the nature of numbers themselves. All numbers are abstract concepts. The reader may object saying that they know that they have 5 fingers (or little ducks). However what is happening here is that a relationship is being set up between a set of things (fingers) and another set (the Natural Numbers). The number 5 is no more concrete than i, it is just a convenient label we use because it is helpful to do so. The duck-centric diagram I provided above makes this explicit. The issue is that we do this so often and so unconsciously that it seems different to other abstractions like i. What is important is not so much whether or not a number is “real”, in a sense none of them are, but rather whether or not it is well-defined and helpful.
  • On the helpful side, of course the introduction of the Complex Numbers allows us to provide solutions to all finite polynomials, something we could not achieve with just the Reals. So there is one use. More broadly, many calculations in real-world areas, such as engineering, fluid dynamics or electronics, have Complex Numbers appear half way through and then magically disappear later in the workings, yielding a correct answer. If the step including the Complex Numbers was skipped, the answer could not be derived. They are also somewhat useful in Particle Physics, as covered in several chapters of Glimpses of Symmetry [7].
  • Complex numbers of the form 0+ib, or just ib, are called Imaginary Numbers. This somewhat problematic nomenclature is perhaps one reason why they can be viewed as mystical by some people.
  • Having defined i, we can state that \sqrt{-n}=i\sqrt{n}, where n is any positive Real Number.
  • A Complex Number, z=a+ib, can be seen to have a Real part, a, and an Imaginary part, b. We write \mathfrak{Re}(z)=a and \mathfrak{Im}(z)=b. The Real and Imaginary parts are somewhat independent of each other, so if we add two Complex Numbers, we have z+w= (a+ib)+(c+id)= (a+c)+i(b+d) which it may be seen is the same as, (\mathfrak{Re}(z)+\mathfrak{Re}(w)) +i(\mathfrak{Im}(z)+\mathfrak{Im}(w)), or even more explicitly, \mathfrak{Re}(z+w) +i\mathfrak{Im}(z+w), the result being obtained by adding the Real and Imaginary parts separately.
  • Multiplication is a little more complicated. (a+ib)(c+id)= ac + iad + ibc + i^2bd= ac + iad + ibc - bd (by the definition of i). Which we can rearrange as, (ac-bd)+i(ad+bc).
  • For a Complex Number z=a+ib, an important concept is its conjugate, written \bar{z} which is obtained by changing the sign of just the Imaginary component, i.e. \bar{z}=a-ib.
  • The conjugate comes in useful when we want to divide Complex Numbers. Consider:


    If we multiply both top and bottom by the conjugate of c+id, i.e. c-id, we get:


    multiplying out both top and bottom we get:

    \displaystyle\dfrac{(ac+bd)+i(bc-ad)}{(c^2 + d^2)}

    which we can write as:

    \displaystyle\dfrac{(ac+bd)}{(c^2 + d^2)}+i\dfrac{(bc-ad)}{(c^2 + d^2)}

    which is clearly another Complex Number (assuming one of c and d is non-zero, or equivalently c+id\ne 0).

  • Given the way that addition and multiplication work, one important way of visualising Complex Numbers is the Complex Plane, a coordinate system where the Real part of a Complex Number is plotted on the horizontal, or x-axis and the Imaginary part is plotted on the vertical, or y-axis as follows (note the position of the Complex Number \sqrt{2}+i3.75).

    Complex Plane

  • It can be seen that taking the conjugate of a Complex Number is equivalent to reflecting it in the x-axis.

    Complex Conjugate

  • We can use the Complex Plane and some basic Trigonometry to further our understanding of Complex Numbers.


    Before going any further, let’s pause for a brief refresher on the basics of Trigonometry. Consider a generic right-angled triangle as in the figure below:


    Here the bottom left-hand angle has a value of \theta, the hypotenuse has length c, the adjacent side has length a and the opposite side has a length of b. We then have the following definitions:

    \sin\theta = \dfrac{b}{c}\hspace{5mm}\Rightarrow\hspace{5mm} b = c\sin\theta

    \cos\theta = \dfrac{a}{c}\hspace{5mm}\Rightarrow\hspace{5mm} a = c\cos\theta

    \tan\theta = \dfrac{b}{a}\hspace{5mm}\Rightarrow\hspace{5mm} b = a\tan\theta

    (the last purely for the sake of completeness).

  • Now let’s construct a triangle by drawing a line from the origin of the Complex Plane (0+i0, or just 0) to a Complex Number z=a+ib and dropping a perpendicular to the x-axis as follows (where \theta is the angle that z makes with the x-axis):

    Trigonometry and Complex Numbers

  • First of all, we can define the size of z, written |z| as being the length of the line we have drawn. Using Pythagoras, we can see that |z|=\sqrt{a^2+b^2}. Then Trigonometry gives us a=|z|\cos\theta and b=|z|\sin\theta. So we can write z=|z|\cos\theta + i|z|\sin\theta.
  • But now we can now recall Euler’s Formula [8] that e^{ix}=\cos x+i\sin x. If we use this in the above, we can see that z=|z|e^{i\theta}, so we have a way of expressing any Complex Number using the Exponential Function. The fact that the Exponential Function with a Complex argument is periodic (something also implicit in the link to \cos \theta and \sin \theta above) explains some of why Complex Numbers appear in the study of waves and things that rotate (see also Glimpses of Symmetry, Chapter11 – Root of the Problem and Chapter 13 – First Contact – U(1)).
  • So far, we have been expanding out our number definitions, however we can move in the opposite direction. Let’s consider a subset of the Complex Numbers defined as follows:

    \mathbb{Z}[i]=\{a+ib \hspace{2mm} | \hspace{2mm} a, b\in\mathbb{Z}, i^2 = -1\}

    These are know as the Gaussian Integers, which are denoted by \mathbb{Z}[i]. In the Complex Plane, if you consider horizontal lines running through each of \{\ldots,-2i,-i,0,i,2i, \ldots\} and vertical lines running through each of \{\ldots,-2,-1,0,1,2,\ldots\}, then the Gaussian Integers appear at the intersections of these sets of lines. You can add, subtract, multiply and even divide (with remainder) Gaussian Integers. There is even the concept of prime Gaussian Integers.

  • Finally, given that \mathbb{C} is essentially made of two copies of \mathbb{R} spliced together (again think the x- and y-axes), it might be thought that the size of \mathbb{C} is greater than the size of \mathbb{R}. Once more intuition lets us down. Actually the two numbers are equal. The slightly weird way that cardinalities of infinite sets (also known as transfinite numbers) work mean that: |\mathbb{C}|=|\mathbb{R}\times\mathbb{R}|=|\mathbb{R}|^2=|\mathbb{R}|.

Quaternions and Octonions, \mathbb{H} and \mathbb{O}
The following section is adapted from a box entitled “The Sign of the Four” which appears at the end of Glimpses of Symmetry, Chapter 7 – Imaginary Battleships.

  • So we defined the Complex Numbers in terms of the Real Numbers by introducing i to get: \mathbb{C} = \{a + ib \hspace{2mm} | \hspace{2mm} a, b \in \mathbb{R}, i^2 =-1\}. Maybe we could add just another element like i, say j. It turns out that this doesn’t really work, but if we take a further step and introduce a third new element, k, then something wonderful happens, we have found the Quaternions, first discovered by Irish Mathematician William Hamilton in 1843.
  • The set of Quaternions is denoted by \mathbb{H} in honour of Hamilton. It is defined as follows:

    \mathbb{H} = \{a + ib + jc + kd \hspace{2mm} | \hspace{2mm} a, b, c, d \in\mathbb{R}, i^2 = j^2 = k^2 = ijk = -1\}


  • We can use these definitions to form a table capturing how the various elements combine as follows:

    × i j k
    i – 1 k – j
    j k – 1 i
    k j i – 1
  • We can also fairly readily see that numbers in \mathbb{H} are well-behaved, you can add, subtract, multiply and divide them in ways analogous to what we have demonstrated for \mathbb{C} earlier in this article. One point to note however is that multiplication is not commutative [9] (i.e. ab\ne ba), indeed in general if g, h are two distinct generators (i.e. each a different one of i, j, k) then gh = -hg, as may be seen in the table above.
  • Of course a natural follow-on would be to wonder whether or not we can take this process of extending the concept of number further. There is one further extension, the Octonions, which unsurprisingly have eight generating elements analogous to the four for the Quaternions. However that is then it, there is no meaningful set of numbers with 16 generating elements or indeed any more. The reason is that we lose features of the number system along the way, the Quaternions are not commutative, the Octonions are not associative [10] – i.e. a(bc) \ne (ab)c – and there is nothing much left to lose beyond this while retaining meaning as a number system.

More background about Complex Numbers and Quaternions may be read in Glimpses of Symmetry, Chapter 7 – Imaginary Battleships

Here we will stop our journey into the realms of Numbers. There are other towns and villages that we could have taken in along the way. We have not mentioned other number bases, such as Hexadecimals, or the Binary System; both of which are important in Computing. We could also start to put our numbers (of whatever sort) into tables with rows and columns, also known as matrices. Beyond these, Modular Numbers [11], p-adic Numbers and Hyperreal Numbers come to mind, as does the important area of Finite Fields. However hopefully the trip has still been a pleasant and stimulating one, albeit that we skipped on some esoterica.

It is a long and winding road from the Natural Numbers to the Octonions. I trust that I have been able to show that it is a navigable path and that there are some inherent properties shared by all the numbers we have looked at above; they can be added, they can be multiplied and so on. I also trust that I will have helped at least some readers to expand what they view as being a number. It is a big Mathematical Universe out there and, if my brief notes have whetted your appetite, there is a wealth of helpful material available at different levels of sophistication and just a quick Google away.


The following people’s input is acknowledged:

  • John Heaver, who pointed out that The Fundamental Theorem of Arithmetic applies only to Natural Numbers greater than 1.

Of course any [other] errors and omissions remain the responsibility of the author.

Consider Supporting Us
Like all of the content on peterjamesthomas.com, this article is free. However, if you enjoyed reading it, you might consider helping to support the creation of new content by making a small contribution to defray our costs. Pay as much or as little as you want. Of course this is entirely optional.

Peter James Thomas


<< Glimpses of Symmetry When I’m 65 >>
Part of the peterjamesthomas.com Maths and Science archive.


See a footnote to Glimpses of Symmetry, Chapter 4 – Rationality and Reality.
See a second footnote to Glimpses of Symmetry, Chapter 4 – Rationality and Reality.
However, also see More π in the sky – Quora.
See a section of Glimpses of Symmetry, Chapter 20 – Power to Truth and also a Quora artcile Mi a name I call myself.
Pierre de Fermat – Wikiquote.
The Continuum Hypothesis – Wikipedia.
In particular:

The author’s answer to How can you prove that eiπ = – 1? – Quora.
See a section of Glimpses of Symmetry, Chapter 3 – Shifting Shapes.
See a section of Glimpses of Symmetry, Chapter 2 – What is a Group?.
For a brief introduction to Modular Numbers, see Glimpses of Symmetry, Chapter 2 – What is a Group?.

Text & Images: © Peter James Thomas 2017 – 2018.
Published under a Creative Commons Attribution 4.0 International License.

3 thoughts on “A Brief Taxonomy of Numbers

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.