-3

The complex numbers are typically defined as the set of all ordered pairs $(x,y),$ where $x,y \in \mathbb{R},$ along with the usual operations of addition and multiplication (which I won't write out here.)

The standard argument then goes that, by defining $i = (0,1),$ the rule of multiplication on the complex numbers gives $i^2 =(0,1)(0,1) = (-1,0);$ therefore $i^2 = -1.$ But this seems to me to just be $\it wrong.$ Although there clearly exists an isomorphism that maps $i^2$ to $-1,$ it is in fact the case that $i^2$ is an ordered pair; not a real number.

Am I missing something here? Are mathematicians just being lazy/careless when saying that $i^2 = -1?$ This is my first question.

My second question has to do with the definition of $\mathbb C:$

I have always made a distinction between the $\it set$ $\mathbb R$ and the $\it field \ \mathbb R.$ I make a similar distinction with $\mathbb R^2.$ With this in mind, I am slightly confused about $\mathbb C.$ Is $\mathbb C$ only a field, and not a set? Does such a thing as "the set of all complex numbers" even exist? For the underlying set in the field $\mathbb C$ is clearly $\mathbb R^2,$ when $\mathbb C$ is defined as above.

Thank you for your responses.

$\bf Edit:$ Please read my question. Nobody who responded seems to be paying attention to anything I wrote beyond the title of my post.

Optional
  • 692
  • $i$ is defined as the $\sqrt{-1}$ –  May 13 '14 at 00:41
  • 2
    Wrong. Did you read what I wrote? Or any text on the subject? – Optional May 13 '14 at 00:53
  • While $(-1, 0)$ isn't literally $-1$, there is an injection that sends $\mathbb{R}$ to $\mathbb{C}$ given by $a \mapsto (a,0)$. Often in mathematics, we don't care about the representation of an object, just how it behaves. The subset of $\mathbb{C}$ with second component zero behaves exactly like the real numbers, so we say it is "isomorphic" to $\mathbb{R}$. It's a bit weird to get used to at first, but it makes sense once you deal with other groups/rings/fields. – Henry Swanson May 13 '14 at 01:03
  • I noted this in my post. Hence my question. – Optional May 13 '14 at 01:10
  • 2
    There is something fundamentally odd / strange about the question you are asking and the way you are responding to some of the answers below. What is a "real number" to you? – Braindead May 13 '14 at 04:41
  • 1
    In fact, what do the "set of natural numbers," "integers," "rationals" mean to you? I ask because I think the answers below do in fact, answer your original question. The fact that you don't think they address your question has to do with some differences in our understanding of these sets. – Braindead May 13 '14 at 04:44
  • Wait, I think I get what you're asking now. We know $\mathbb{C}$ is a field, and there are many constructions of it. But when we "cast down" from Field to Set, which construction do you obtain? (I feel like the forgetful functor might be relevant here, but category theory is a mystery to me.) – Henry Swanson May 13 '14 at 22:17

2 Answers2

8

The idea that $\mathbb{C} = \mathbb{R}^2$ is false. In $\mathbb{R}^2$ there is no meaning to $(x_1,x_2)\cdot(y_1,y_2)$. It is true that $\mathbb{C}$ satisfies all of the axioms for a field (associative, commutative, etc.) so it is a field.

I feel that this excerpt from Conway's "Functions of One Complex Variable" answers your other question better than I ever could.

We will write $a$ for the complex number $(a,0)$. This mapping $a \to (a,0)$ defines a field isomorphism of $\mathbb{R}$ into $\mathbb{C}$ so we may consider $\mathbb{R}$ a subset of $\mathbb{C}$ (Page 1).

Brad
  • 5,156
  • 2
  • 19
  • 50
  • 1
    This is the correct answer. Rudin, Greene and Krantz and many others do it this way as well. – Cameron Williams May 13 '14 at 01:01
  • 2
    Emphasis on isomorphism. The set $(a,0)$ in the complex numbers behaves exactly like the real numbers, so it is not mis-leading/lazy to write $i^2=-1$. And of course, that's how $i$ was originally defined. –  May 13 '14 at 01:01
  • Brad, perhaps I should have mentioned that Conway was one of my sources for this post. This doesn't answer my question though. I am well aware that $\mathbb C$ and $\mathbb R^2$ are different fields, as noted in my post. – Optional May 13 '14 at 01:12
  • NotNotLogical, I noted this in my post. This does not answer my question. – Optional May 13 '14 at 01:14
  • 3
    @Optional I think this answers the part of your question that makes sense. If you understand this answer, then I can't understand what your remaining question is. – Alex Becker May 13 '14 at 02:03
  • 1
    He is saying that without the operations, there is no point talking about the set $\mathbb{C}$, because it's the same as $\mathbb{R}^2$. Take out the operations and think about what you can talk about numbers in $\mathbb{C}$, the point is that in this case you could just talk about numbers in $\mathbb{R}^2$ and would be no difference. – Integral May 13 '14 at 02:40
  • From what I understand, the point is that $\mathbb{C}$ is just the set $\mathbb{R}^2$ with some special operations, and with this operations we call it the field of complex numbers. – Integral May 13 '14 at 02:43
  • Yes! Integral understands what I am saying. Does anybody have anything to say on this subject? Brad's answer, despite all of the upvotes, is not helpful to me in any way; it mostly just repeats what I said in my question. – Optional May 13 '14 at 02:49
  • If you remove the operations from $\mathbb{C}$ then you have something that is not $\mathbb{C}$. I don't see how I "repeated what [you] said" when I provided a definitive answer to your first question. – Brad May 13 '14 at 02:56
  • $\newcommand{\CC}{\mathbb{C}} \newcommand{\RR}{\mathbb{R}}$As fields, $\RR^2$ is isomorphic to $\CC$ (because it's not even a field). But they are isomorphic as $\RR$-vector spaces, and therefore, as $\RR$-modules, as abelian groups, and as sets. So one must be specific about what kind of isomorphic-ness one wants. Does that help? – Henry Swanson May 13 '14 at 22:13
5

There is no such thing as the set of complex (or real) numbers. One can say that there exists, unique up to isomorphism, field of complex (or real numbers). These fields have many models. Besides the one you know, one can model complex numbers for instance by certain real 2-by-2 matrices. I can write more details if this is unclear.

Edit: Incidentally, there is no such thing as a complex number $i$ until you fix a model of complex numbers. What is well defined, however, is the set of roots of the polynomial $z^2+1$.

Personally, my favorite definition of C is as the algebraic closure of R. Once you have the fundamental theorem of algebra, you can then identify C with the set of pairs of real numbers (as a model).

Moishe Kohan
  • 97,719