Are the reals genuinely a subset of the complex numbers? [duplicate]

In Michael Spivak's Calculus, he defines a complex number as an ordered pair of real numbers: $z=(a,b)$ with $a,b \in \mathbb{R}$. The imaginary unit $i$ is then just a shorthand for the ordered pair $(0,1)$. Spivak goes on to say

When complex numbers were first introduced, it was understood that real numbers were, in particular, complex numbers; if our definition is to be taken seriously then this is not true—a real number is not a pair of real numbers, after all.

Although the complex number $(a,0)$ behaves in pretty much the same way as the real number $a$, they are still not identical. There seem to be some non-trivial differences, as well: we can't write $(5,0)>(3,0)$ in the way we can write $5>3$. With this in mind, I ask the following questions:

1. Can the real numbers be said to be a subset of the complex numbers if complex numbers are defined as ordered pairs?
2. If the complex numbers are constructed in some other way, then is it meaningful to write $\mathbb R \subset \mathbb C$?

Here is slightly abstract point of view: When we say $A\subseteq B$, we don't actually mean that $A$ is literally a subset of $B$. The symbol $\subseteq$ and its cousins $\subset,\supset,\subsetneq,\supsetneq,\dots$ are sensitive to context. If $A$ and $B$ are considered as sets, then the subset symbols mean what you were taught that they mean. But when $A$ and $B$ bear some additional structure, like being groups, vector spaces, metric spaces, fields, etc., then $A\subseteq B$ means:

"There is a natural, i.e., in some sensible way unique, injective homomorphism $i:A\longrightarrow B$, and from now on we mean $i(A)$ when we write $A$."

What a homomorphism is depends on the exact kind of structure we're looking at. If it's groups, we mean a group homomorphism. If it's vector spaces, we mean linear maps. If it's topological fields (fields equipped with a topology such that addition, multiplication and inversion are continuous), then we mean continuous field homomorphism.

Some authors try to get around this overloading of $\subseteq$ by specifying that $\subseteq$ literally means a subset and $\leq$ means what I wrote above. But if you ask me, in the big picture, it's not at all helpful to distinguish between the two cases. I can't think of a single instance where we actually care that, for instance, $\mathbb R$ is not literally a subset of $\mathbb C$ according to the standard construction of $\mathbb C$. We only care about how things behave, not how they look. And $\mathbb C$ contains a unique subset which, if equipped with the restricted field operations, behaves exactly like $\mathbb R$. And it's just cumbersome to always write "$\mathbb C$ contains a subfield isomorphic to $\mathbb R$" instead of just writing "$\mathbb C$ contains $\mathbb R$". So we do the latter.

Also, here's a better, less ambiguous way to talk about the subject: let $F$ be a field. A subfield of $F$ is a pair $(E,i)$, where $E$ is a field and $i:E\to F$ is an injective field homomorphism (field homomorphisms are automatically injective, but injectivity is needed for other structures). "Classical" subfields in the sense of subsets which are also fields are subfields in this sense if we take the natural inclusion mapping as $i$. And if $i$ is clear from context, we just say $E$ to be a subfield of $F$. Take this definition and then just say $\mathbb R$ is a subfield of $\mathbb C$, without using the subset symbol. It's what we care about, anyway: that one is a subfield of the other.

This is actually one of the problems with the idea of building maths purely on sets alone as foundations. If we take it strictly and formally, we get various statements which may or may not be true, subject to just how we have or have not constructed a particular object. For example, it gets even worse than what you are talking about: in a purely set-theoretic construction, natural numbers are sets, too, and thus we can ask whether, say,

$$1 \subseteq 3$$

and the answer to this is "it depends on your set-theoretic construction"!

For me, what I suggest is that this problem is very reminiscent of one often seen in computer programming: in computers, we have something similar going on in that everything we work with - pictures, sound, text, whatever - ultimately gets represented by the same "stuff": bits. And thus, if one does not have safeguards in place, one can try to interpret, say, the bits corresponding to text as a picture, or a picture as text, or conversely. Of course, what you get will be mostly scramble and nonsense, but you can do it, and the computer won't care.

So to deal with this, we need some way to encode that semantic information - that these two pieces of bits are semantically different - into the language in question.

And the way that is handled in computer programming is to use programming languages that require a data type, to discourage the programmer from arbitrarily mixing of different sets of bits that are meant to represent different things. Data typing attaches a semantic tag to each bit of data to say that it should represent a picture or text or a number, say, and then you cannot, in the same program, freely mix the two.

Likewise, this concept is not unheard of in maths - "type theory" explores a whole array of foundational systems and languages that use something very similar, and indeed both of these fields of application are closely related - but it's not the "standard consensus" foundation for maths.

But were we to use a typed foundation, I'd suggest the answer would best be thought of as a "no, but": the real numbers are not a subset of complex numbers, but we have the "type coercion" rule

$$x \mapsto (x, 0)$$

which allows us to "upgrade" a real number, should it be combined with a complex number in an expression, to a complex number. Such rules often feature in programming languages as I just mentioned, too. In general, they must be defined along with the types in question, but are typically based on whether or not "natural" correspondences of the kind you are perceiving here, exist.

There are a lot of "inclusions" of a similar character, for example $\mathbb N \subset \mathbb Z \subset \mathbb Q \subset \mathbb R$. It depends on your interpretation of what these sets are whether you regard $\subset$ as a genuine inclusion or if you regard $\subset$ as a notation indicating that there is a canonical embedding of the object on left hand side as a subobject of the object on the right hand side.

Frequently one starts on the level of axiomatic set theory and then successively constructs $\mathbb N$, $\mathbb Z$, $\mathbb Q $, $\mathbb R$ etc. The usual constructions produce an "ascending sequence" of algebraic objects which are not related by genuine inclusions, but the respective construction yields a new object plus an embedding of the original object into the new one. Recall the construction of $\mathbb Q$ as a set of equivalence classes of pairs in $\mathbb Z \times (\mathbb Z \setminus \{0\})$.

However, usually there are various alternative constructions supplying specific models of the sets $\mathbb N, \mathbb Z, \mathbb Q, \mathbb R$ etc. But I think most people have a more abstract (or, if you want, more intuitive) understanding of these objects. We know what their purpose is, which operations can be performed and which rules are satisfied. The specific construction is then fairly irrelevant. I would call that an axiomatic point of view. For example, the reals can be constructed based on $\mathbb Q$ via Dedekind cuts, via nested intervals or via Cauchy sequences in $\mathbb Q$, and certainly there are even more approaches. But I doubt the anybody imagines a real number as a Dedekind cut or as an equivalence class of Cauchy sequences.

Therefore the concrete model of an object as $\mathbb R$ is fairly uninteresting, it can be replaced without problems by any other model having the same properties.

In your case we start with some model of $\mathbb R$ and construct $\mathbb C$ as the set of real pairs. Then $\mathbb R' = \mathbb R \times \{0\}$ is a subfield of $\mathbb C$ which is canonically isomorphic to the original $\mathbb R$ and we may now work with the new model $\mathbb R'$ which is a genuine subset of $\mathbb C$.

If you do not like this replacement, be aware that the standard construction of $\mathbb C$ is just one possible approach (but a very transparent one). It can be easily modified as follows. The simple idea is to add new (non-real) numbers to $\mathbb R$ instead of embedding $\mathbb R$ into $\mathbb R^2$ (which produces the isomorphic subfield $\mathbb R' = \mathbb R \times \{0\} \subset \mathbb C$ and causes the "philosophical discussion" whether, or in what sense, $\mathbb R$ is a genuine subset of $\mathbb C$).

Given $\mathbb R$, the sets $\mathbb R$ and $\mathbb R \times \mathbb R^*$ (where $\mathbb R^* = \mathbb R \setminus \{0\}$) are disjoint. Define $$\mathbb C = \mathbb R \cup (\mathbb R \times \mathbb R^*)$$ and $$\phi : \mathbb C \to \mathbb R \times \mathbb R, \phi(\zeta) = \begin{cases} (x,0) & \zeta = x \in \mathbb R \\ \zeta & \zeta \in \mathbb R \times \mathbb R^*\end{cases} $$

This is a bijection. The usual complex field structure on $\mathbb R \times \mathbb R$ is then transferred via $\phi$ to our modified $\mathbb C$. Doing so, we get a genuine inclusion $\mathbb R \subset \mathbb C$. But, to be honest, I can't see that this has an added value. Anyway, our model of $\mathbb C$ is a real vector space with basis $\mathcal B = \{1 \in \mathbb R, i = (0,1) \in \mathbb R \times \mathbb R^* \}$. Noting that $x\cdot 1 = x$ for $x \in \mathbb R$ and writing $y \cdot i = i y$ for $y \in \mathbb R$ we get $$\mathbb C = \{x\cdot 1 + y\cdot i = x + iy \mid x,y \in \mathbb R\} .$$ Here the complex number $x + i0$ is literally the same as the real number $x$.

Using similar methods we can of course construct a chain of genuine set inclusions $$\mathbb N \subset \mathbb Z \subset \mathbb Q \subset \mathbb R \subset \mathbb C .$$

1.- As already stated in your question, no: formally we can't say the reals are even a subset of the complex numbers. Yet there are many way in which we can embed $\;\Bbb R\;$ into $\;\Bbb C\;$ in such a way that the basic characteristics of these two fiels are mantained, and one of the most usual isomorphisms (=embeddings respecting the algebraic structure) is precisely $\;\phi:\Bbb R\to\Bbb C\;,\;\;\phi(r):=r+0\cdot i\;$ , or if you prefer the other very usual definition, $\;\phi(r):=(r,0)\;$. In this manner the real numbers become not only a subset but, as said, a subfield of the field $\;\Bbb C\;$ .

2.- Yes, we can define $\;\Bbb C\;$ as the algebraic closure of $\;\Bbb R\;$ , getting a fields extension of degree two, and in which in a rather canonical way, the basis field $\;\Bbb R\;$ is embedded in a the extension field $\;\Bbb C\;$ . In the sense of a theorem by Artin, this is the only possible algebraic extension of degree two of a real closed field.