Why do we call complex numbers “numbers” but we don’t consider 2-vectors numbers?

They're called "numbers" for historical reasons, since the motivation in the development of the complex numbers was solving polynomial equations. They were viewed as natural extensions of the real numbers. It's somehow quite natural and satisfying to say "every polynomial equation can be solved by some (complex) number". Is it more natural to regard $i$ as being a number which, when squared, is equal to $-1$, or is it more natural to regard $i$ as being some non-number thingamajig which when squared is equal to $-1$? Clearly the former.

"Higher" number systems, like quaternions, aren't really called numbers very often, for the simple fact that they are not as intimately connected with number theory and analysis in the same way that complex numbers are.

Beyond these social conventions, I can't see any other reason. The word "number" doesn't have a strict or absolute definition in pure mathematics. $\mathbb{N}$, $\mathbb{Z}$, $\mathbb{Q}$, $\mathbb{R}$ and $\mathbb{C}$ are technically just sets with a certain algebraic structure.

I partially disagree with the other answers which claim that complex numbers are numbers simply by virtue of the fact that you can add and multiply them. Well, if that's the rationale, is every ring also a set of numbers?


The two fundamental operations for numbers are "addition" and "multiplication" which obey very nice "laws" of arithmetic. Taking powers is also important. You can do all of those things with complex numbers. You can add two vectors but the "dot" product of two vectors is not a vector and the "cross" product of two vectors does not satisfy the "nice laws". Neither the dot product nor the cross product of vectors can be used to define powers.


I think naming is a rather soft topic, so there may not be a hard answer. However, I think it is worth noting that complex numbers are one of the three associative real division algebras (real numbers, complex numbers, and quaternions). These are all linked by the idea that division is meaningful in those three systems.

In general, a 2 dimensional real vector cannot admit a concept of division which matches what we expect division to do. However, if said real vector defines addition and multiplication the way complex numbers do, division is a natural result of those definitions.


Both, complex numbers and vector spaces are mathematical spaces, i.e., sets equipped it with some structure, e.g., operations (such as addition or multiplication) and rules obeyed by them (such as commutativity or associativity). Without that structure, these sets are pretty useless: You can hardly make any interesting statements about them or connect them to reality.

For example, without any structure, the only difference between ℝ and ℝ² is how we tend to name the objects within: We can find bijective maps between them. Of course, once we impose the usual structure onto these sets, we will note that these maps do not preserve any of it (they are not even continuous) and thus are not very relevant.

Now, for ℝ² (the space of 2-vectors) and ℂ, some structure such as addition is the same, but some isn’t, e.g., there is no equivalent to complex multiplication in ℝ². This distinction in structure is the only relevant difference between ℝ² and ℂ. If you define a multiplication of 2-vectors that just mirrors complex multiplication, you would just be inventing complex numbers under a different name.

So much for why it is justified to apply different labels to complex numbers and 2-vectors. As for why we call complex numbers numbers in the first place, there’s certainly a bit of history involved (of which I know little) and number is not a mathematically defined concept anyway. That being said, calling complex numbers numbers is not completely deviod of consistency, given that complex numbers feature most of the structural properties of other sets that we call numbers (for even more historical reasons), e.g., the vast majority of things you can do with real numbers, you can also do with complex numbers. This does not hold for 2-vectors.


In my observation, the term number is used almost exclusively in the following cases:

  • The natural numbers, basically the origin of the term.

  • Any system which extends a system already called “numbers” by adding numbers that are in some sense “missing” That is, there are some constructions which sometimes give a number, but sometimes don't, although is “looks like” such a number should exist.

    The actual construction of the extension is then different from just adding those “missing” numbers just in order to make sure that what you do makes sense. However the goal is always to add the “missing” numbers, and any further numbers that are implied by their existence, but nothing else.

The classic sequence of number sets is exactly of this type:

  • The natural numbers allow to solve equations like $2+x=6$, but not equations like $5+x=2$. Adding solutions to the latter gives the integers (which, of course, are considered to be numbers).

  • The integers allow to solve equations like $2x=6$, but not equations like $5x=2$. Adding solutions to the latter gives the rational numbers.

  • In the rational numbers, all convergent sequences are Cauchy, but not all Cauchy sequences converge. But they look like they should converge. Thus the missing limits are added. (Note that there are other constructions of the real numbers, based on other constructions where numbers are found "missing").

  • In the real numbers, equations like $x^2=2$ can be solved, but equations like $x^2=-2$ cannot. Adding those numbers then gives the complex numbers.

But is also is true for most other systems which are generally called numbers. For example:

  • Finite sets always have an integer number of elements. For infinite sets, there's no natural number describing the set's size. The cardinal numbers add those numbers describing the size of infinite sets.

  • Similarly, when considering well-orderings, you need a generalization of the terms “first”, “second”, … to infinite size orderings. The ordinal numbers provide those missing numbers.

  • When informally talking about differentiation and integration, one often uses the concept of “infinitesimal quantities”. Those don't exist in the real or complex numbers. Non-standard analysis adds those “missing” infinitesimals (and everything implied by them), arriving at the hyperreal numbers.

  • When looking at the sequence $r_n$ of remainders modulo $p^n$, $p$ prime, every integer gives an unique sequence. But not every sequence gives a number. The $p$-adic numbers add those “missing” numbers.

Indeed, off the top of my head, I can only think of two constructions called “numbers” that fall outside this scheme:

  • The quaternions are not constructed as extension, but explicitly as “numbers” that allow to describe three-dimensional geometry, after seeing that complex numbers describe two-dimensional geometry. It turned out that you need a fourth dimension to get something meaningful. However not everyone considers the quaternions to be numbers.

  • The surreal numbers are not constructed as extension to anything, but arise independently from combinatoric game theory. However since not only behave very much like numbers do, but in addition contain subsets isomorphic to several other number sets or classes (you'll find subsets isomorphic to the real numbers, to all systems of hyperreal numbers, and to the ordinal numbers under natural arithmetic). So while the surreal numbers are not constructed as extension, they can be viewed in some sense as such, justifying the term “number”.