# Is “$a + 0i$” in every way equal to just “$a$”?

I'm having a little argument with my friend. He says that "$a + 0i$" is, in every way, absolutely equal to "$a$" (e.g.: $2 + 0i = 2$).

I say this is practically the case, so in every calculation you just assume that "$a + 0i$" is equal to the real number "$a$" and you always get the right results (this might not even be true, but I am no expert and as far as I can see this is the case). But then again, I believe that just cutting away "$+ 0i$" makes this number is not the same kind of number anymore, it's changed its structure and is not totally equivalent anymore. This is where he says I am absolutely wrong.

So, is it mathematically (strictly speaking!) perfectly fine to say that every complex number with an imaginary part of $0$ is just a real number? Or does this change the mathematical structure so much that it cannot be mathematically-valid but just something that happens to work (which is what I believe)?

I must say that I believe a complex number is one entity, whilst he believes that it is just a conglomerate of other entitites. So, as one said here, "$(a + bi) - bi = a$", I believe is barely a good argument. But then again: is it correct to view $a + bi$ as a single entity (like "$5$" or "$2$", just consisting of multiple symbols)? I'm (as a non-mathematician) not sure there either.

-
No, zero means zero. $a+0i=a$ – Paul Sundheim Aug 9 '14 at 21:25
$\mathbb{R}\times\{0\}$ and $\mathbb{R}$ are isomorphic not identical. – whatever Aug 9 '14 at 21:38
Rather pointless discussion, I'm afraid. Is (a + 0i ) - 0i equal to a ? Is a + (0i - 0i) ? Is a + 0 ? – MSalters Aug 9 '14 at 21:54
Not always. If you try an pronounce Aoirghe the same way as Arghe, you are gonna annoy many an Irish lass. – Jyrki Lahtonen Aug 9 '14 at 22:02
Is $\color{red}{\frac{2}{1}}=\color{blue}{2}$ and $\color{green}{0.25}=\color{red}{\frac{1}{4}}$ where the red $\in\mathbb{Q}$, the blue $\in\mathbb{N}$ and the green $\in\mathbb{R}$. – whatever Aug 10 '14 at 9:18

Well, yes and no. You are both right.

What does it mean to be the number 1? This is a fascinating philosophical point, worth careful consideration. The usual attitude of modern mathematics is that something is the number 1 if it belongs to a system in which it behaves like the number 1 and does the things we want the number 1 to do. For example, the system should have a notion of multiplication, and it should have $1\cdot x = x$ for each $x$. We would also like there to be something recognizable as 2, and we should have $1+1=2$. There may be other properties we require of 1.

But there are many systems that can serve as models of the natural numbers. In Peano arithmetic, we take the numbers $0,1,2\ldots$ to be sequences of symbols: $\mathbf{0}, \mathbf{S0}, \mathbf{SS0}, \ldots$. In another system we take them to be the sets $\varnothing, \{\varnothing\}, \{\varnothing, \{\varnothing\}\}, \ldots$. In each system we are obliged to define addition and multiplication in a way that makes the numbers do what they are supposed to, so that in the first case we ought to have $\mathbf{S0}+\mathbf{S0} = \mathbf{SS0}$ and in the second case we should have $\{\varnothing\}+ \{\varnothing\} = \{\varnothing, \{\varnothing\}\}$. If we can't do this, we have no right to say we are dealing with the number 1. If we can do it, we consider ourselves mathematically satisfied, and the question of whether $\mathbf{S0}$ or $\{\varnothing\}$ is the number 1 is no longer a mathematical but a philosophical one. But notice the strange situation we are in: Each of $\mathbf{S0}$ and $\{\varnothing\}$ is the number 1, but they are completely different objects: one is a set and one is a sequence of symbols. And yet each has an equally good claim to being ‘the’ number 1.

Similarly there are many ways to construct the complex numbers. A typical construction starts with the set of pairs $\def\c#1#2{\langle #1,#2\rangle}\c ab$ of real numbers and identifies $i$ as the pair $\c01$. In this construction, the complex number $a+bi$ is the pair $\c a b$, and the real number $x$ makes an appearance as the pair $\c x0$. This latter pair is not the same as the real number $x$, because the former is a pair of real numbers and the latter is a single real number.

But on the other hand, a pair of the form $\c x0$ behaves just like the real number $x$, and the set of such pairs behaves like $\Bbb R$. Its elements correspond exactly with the real numbers, and do all the things we expect the real numbers to do. So just as both $\mathbf{S0}$ and $\{\varnothing\}$ had equally good claims to being ‘the’ number 1, there is no reason to prefer the original $1$ over the pair $\c 10$ as ‘the’ real number 1. The set of $\c x0$ is $\Bbb R$ for all practical purposes. So much so that, having made this identification, we might then discard our original real numbers and consider thenceforth only the set of pairs of the form $\c x0$.

We do this same thing when we construct the real numbers in the first place. We start with the rationals, and then construct the reals as certain structures of rationals. Having done this, we identify certain reals as being morally equivalent to the rationals we started with. For example, we might observe that the pair $\left\langle \left\{x\in\Bbb Q \mid x\le \frac12\right\}, \left\{x\in\Bbb Q \mid x\gt \frac12\right\}\right\rangle$ behaves, in this new system, just the way we expect the rational number $\frac12$ to behave. These new rational numbers aren't the same objects as the rationals we started with: those were single rationals, and these new ones are pairs of sets of rationals. But the new rationals behave like the original rationals.

(Barry Mazur's paper “When is one thing equal to some other thing” is about this exact question, and discusses it at greater length. It is very readable, and I recommend it highly. Sample pullquote: “The heart and soul of much mathematics consists of the fact that the ‘same’ object can be presented to us in different ways.”)

-
Such a great response, thank you – D. W. Aug 10 '14 at 4:31
Might be useful to mention that when two things "behave like" each other like that, they are said to be isomorphic. – JohannesD Aug 10 '14 at 9:51
More interesting reading along similar lines: golem.ph.utexas.edu/category/2013/11/… (from "Notions of Sameness") – glaebhoerl Aug 10 '14 at 12:50
Another important quote from the Mazur paper is, "having the flexibility to adjust our viewpoint to the needs of the moment is the key". – Jason C Aug 10 '14 at 16:16
Nice response, thank you. – nobian Aug 10 '14 at 16:30

You first define $\mathbb{R}$, the real numbers, and then you define $\mathbb{C}$, the complex numbers, to be the pairs of numbers $(x,y)$ of real numbers that obey the rules $(x_1,y_1) + (x_2,y_2) = (x_1+x_2,y_1+y_2)$ and $(x_1,y_1)\cdot (x_2,y_2) = (x_1x_2 - y_1y_2,x_1y_2+x_2y_1)$. If we use the notation $a+bi$ for the pair $(a,b)$ then it amounts to saying that $i^2=-1$ where $i=(0,1)$. With this notation $\mathbb{R}$ is not really a subset of $\mathbb{C}$, however the set of numbers $(x,0)$ where $x$ is real is now identified as a subset of $\mathbb{C}$ which is essentially the same as the real numbers.

-
To be more precise, they are isomorphic rings (with 1). – Bill Dubuque Aug 9 '14 at 21:34
@Bill Of course, and you can also say they are isometric, ect. But I choose not to use those words just in case the OP is not familiar with those words. His question seemed elementary so I figured the most appropriate answer is an elementary one. – Nicolas Bourbaki Aug 9 '14 at 22:01
IMHO, this is only one way of constructing these sets. It is convenient to do it in this order for the purpose of proving that such algebraic structures are possible. Once this is done, nothing prevents you from deciding that these sets are nested, and this is the natural thing to do. – Valentin Waeselynck Aug 9 '14 at 22:02
I wrote "ring" and not some richer structure because any such further structure is generally not preserved. The Hamilton presentation of $\,\Bbb R\,$ as pairs of reals is a very special case of a general ring construction: given a commutative ring $\,R\,$ and a monic polynomial $\,f(x)\in R[x],\,$ Kronecker constructed an extension ring containing a "generic" root of $\,f(x),\,$ namely the quotient ring $\,R[\bar x] = R[x]/(f(x))\, \cong R[x]\ {\rm mod}\ f(x),\$ where $\ \bar x = x + f(x) R[x] = x\!\pmod{\!\!f(x)}.\ \$ – Bill Dubuque Aug 9 '14 at 22:50
"...you define $\mathbb{C}$, the complex numbers, to be the pairs of numbers $(x,y)$ of real numbers..." That's one way to do it. It's often undesirable to insist too strongly on a particular construction, especially outside of (1) proving some such structure exists or (2) doing foundations for its own sake. While the $\mathbb{R}^2$ construction of $\mathbb{C}$ is common, there are others in practical use: e.g., complex numbers may be $2\times2$ rotation/dilation matrices. And even when insisting on a particular construction, the $a$ we can $+$ with $0i$ is presumably the $a\in\mathbb{C}$. – Eliah Kagan Aug 10 '14 at 1:50

A common construction of $\mathbb C$ is that $\mathbb C=\mathbb R\times\mathbb R$ with some suitable addition and multiplication laws, namely, $(a,b)+(c,d)=(a+c,b+d)$ and $(a,b)\cdot(c,d)=(ac-bd,ad+bc)$ for every $a$, $b$, $c$, $d$ in $\mathbb R$. Then $(1,0)$ is a unit for this multiplication in $\mathbb C$ and one defines $i=(0,1)$. Thus, every $(a,b)$ in $\mathbb C$ is also $(a,0)+(b,0)\cdot i$, abbreviated as $a+b\cdot i$.

In this sense, $2+0\cdot i=(2,0)$ is an element of $\mathbb C$ while $2$ is an element of $\mathbb R$, hence these cannot coincide unless $2$ really means the element $(2,0)$ of $\mathbb C$. Every $(a,0)$ with $a$ in $\mathbb R$ is indeed often abbreviated as $a$. This corresponds to identifying $\mathbb R$ with $J(\mathbb R)$, where $J:\mathbb R\to\mathbb C$ is defined by $J(a)=(a,0)$ for every $a$ in $\mathbb R$.

-
Internal multiplication suffices $\ a+b\cdot i = (a,0)+(b,0)\cdot (0,1)\ \$ – Bill Dubuque Aug 9 '14 at 21:57

One place it matters is less purely mathematical and more about what information you can get about the context the number is in.

Consider this: occasionally, you will see a number with its sign attached, even if the sign is positive. What this tells you the reader is that we expect that numbers in this particular context could potentially be negative, but that today it is positive.

Similarly, when you see a number like 23.00, we expect that numbers in this particular context could potentially have two decimal places worth of fractions as part of it, but that today it is whole.

Following this pattern, 2 + 0i says that a number in this particular context could potentially have a complex part, but that today it does not.

-
I like this answer because it points out that what you mean is the real important thing here. $a \in \mathbb{C}$ is completely identical to $(a + 0i) \in \mathbb{C}$, but $a \in \mathbb{R}$ implies a strongly different environment. Whether you say the differences are inherent or part of the wider context is the very argument that this gets at. – Veedrac Aug 10 '14 at 22:57

is it mathematically (strictly speaking!) perfectly fine to say that every complex number with an imaginary part of 0 is just a real number?

In short: yes, it is.

Developing:

We define (as a convention) the set of complex numbers as a superset of the real numbers, because it is convenient to do so. Indeed, all the algebraic operations defined on complex numbers work the same on real numbers and stabilize the set of real numbers.

One might argue that the usual constructions of complex numbers are not superset of the real numbers. The most common of these constructions is to define algebraic operations on $\mathbb{R}^2$, and the most elegant I know is $\mathbb{R}[X]/(X^2 + 1)$.

But the main point of such a construction is just to prove that it is possible to have a set with such algebraic structure. Once it is done, there is no reason not to decide that all real numbers are complex numbers.

The issue is pretty much the same when you construct real numbers from rational numbers (e.g as sets of rational numbers), and rational numbers from integers (e.g as pairs of integers). Aren't we glad these sets are all nested?

Finally, if you do decide anyway that $\mathbb{R}$ is not a subset of $\mathbb{C}$, then $a + 0i$ probably makes no sense because addition will not be defined across sets.

-
"perfectly correct" ? Check @I Love Mr Paul's answer. – Yves Daoust Aug 9 '14 at 21:34
If we wish to be exact - they are not the same, but the concept of isomorphism arises, as Bill commented – Belgi Aug 9 '14 at 21:38
@YvesDaoust At the time, it was the only answer, and it was concise and correct, even though it didnt explain. I love Mr Paul's answer might have gone over the top of the head of the asker (i dont know the askers level) – Asimov Aug 9 '14 at 21:54
"Finally, if you do decide anyway that $\mathbb{R}$ is not a subset of $\mathbb{C}$, then $a+0i$ probably makes no sense because addition will not be defined across sets." +1 This cuts to the crux of the matter. – Eliah Kagan Aug 10 '14 at 2:08

Real numbers have a defined ordering, so you can say $1 < 2$, but it makes no real sense to say $1+0i < 2+0i$.

-
It does make sense. Although, I could never write it that way. You could look at it this way: if I have two numbers $a,\ b\in\mathbb C$, and I've shown that they're both in $\mathbb R$, then I'd have no problem saying that $a\leq b$, for example. – Farnight Apr 6 '15 at 22:27
@Farnight In that different context, I agree with you, but no +1 because I disagree with your first sentence in the original context, effectively agreeing with your second sentence :-) – Mark Hurd Apr 8 '15 at 1:12

All real numbers can be shown as $x+y$ where $x$ is the largest integer part, and $y$ is the part after the decimal.

Example: $2.25 = 2 + .25$ where $x=2$ and $y=0.25$

If $y=0$ then there is nothing after the decimal point, and that real number is an integer, because it can be all integer parts.

The same applies for you, a complex number can be real if its only parts are real, or even imaginary if it only has imaginary parts.

-

Like so many things throughout mathematics, your problem ultimately is what you define the string of symbols $a + 0i$ to mean. You're both right; you each can define the symbol differently and prove your points from there.

Your friend can tell you (and define) that $a + 0i =a + 0 = a$. Hence they are the same. For all practical (and some theoretical) purposes, this is true.

Your argument, however, could be slightly more interesting. You first define $1 + 0i$ to be a complex number, that is, it is a member of the set $\Bbb C$. Similarly, you say that 1 is a real number, that is, an element of $\Bbb R$. The complex numbers $\Bbb C$ are defined to be ordered pairs $(x, y): x, y \in \Bbb R$ (or all ordered pairs of real numbers), with some structure of addition and multiplication defined to fit with the intuitive notion $(0,1)^2 = (-1, 0)$ (or $i^2 = -1$). Since you've defined $1 + 0i$ to be an element of $\Bbb C$, the closest you can get to 1 is $(1, 0)$. You only need to argue that $(1, 0) \neq 1$, and you, too, are right.

One other interesting fact that hasn't yet been mentioned is that they are absolutely equal in a sense mathematicians call up to isomorphism. Assuming you haven't seen this concept yet, all this means is that there is some kind of natural correspondence between the sets $\Bbb R$ and ordered pairs $(a, 0)$ for $a$ in $\Bbb R$. This correspondence is, of course, between the real number $x$ and the ordered pair $(x, 0)$. Using the definitions we've come up with so far, $a + 0i$ is certainly in this correspondence or isomorphism with a. This could potentially be a counter argument for your friend.

In summary, this is entirely a matter of definition. Arguments like this are exactly the reason mathematics is supposed to be rigorous, to avoid such ambiguities.

-

If you know how to program, it makes for a useful analogy. Imagine you are implementing complex numbers in a computer. You would probably internall keep track of tuple of two real numbers, a, and b, which would represent $a + bi$, and implement various operations such as addition and multiplication on other tuples of two real numbers to match complex multiplication. But you would also want to implement addition and multiplication of real numbers, so that you can combine them directly.

For example, Python supports complex numbers directly (note that it spells $i$ as j)

>>> 1 + 2j
(1+2j)
>>> (1 + 2j)*(3 - 2j)
(7+4j)


And it's easy to see that 1 + 0j and 1 are distinct objects in the language, because they are implemented different (one is implemented as a tuple of two floats and takes up twice as much memory)

>>> 1 + 0j
(1+0j)
>>> 1
1


But you can easily mix complex and real numbers in operations, and if you compare 1 + 0j and 1, they come out equal

>>> 1 + 0j == 1
True


Mathematically, $1 + 0i$ and $1$ are the same. We can interchange the two in any operation (at least any operation where complex numbers make sense), but there is a difference in how the two are actually built from the logical foundations, similar to how 1 and 1 + 0j look different in the computer's memory in Python.

-
Is $1+0i$ really the same as $1$ mathematically? $1+0i$ lies on a 2-dimensional complex plane while $1$ lies on a 1-dimensional line. $1+0i$ contains more mathematical information than $1$ so in my opinion they are not quite the same, but if you try to describe both of them together in either system, they would have the same value. – Derek 朕會功夫 Aug 11 '14 at 2:57

The two are equal in almost every way. In the mathematical way, they are equal, since $0i = 0$ and $a + 0 = a$.

But for a computer, in all its glorious stupidity, they might be different. It's even possible that a + 0i == a could return False.

If you have Wolfram Mathematica, try the following and take note of the results:

• FactorInteger[10]
• FactorInteger[10 + 0I]
• FactorInteger[10, GaussianIntegers -> True]
• FactorInteger[10 + 0I, GaussianIntegers -> True]

In Mathics, the bootleg Mathematica, the first two will give the same result and it'll play dumb on the last two.

-