6
$\begingroup$

I remember of this image I've learned at school:

enter image description here

I've heard about other number (which I'm not really sure if they belong to a new set) such as quaternions, p-adic numbers. Then I got three questions:

  • Are these numbers on a new set?
  • If yes, where are these sets located in the Venn diagram?
  • Is there a master Venn diagram where I can visualize all sets known until today?

Note: I wasn't sure on how to tag it.

  • 1
    You wrote: *I wasn't sure on how to tag it.* I've added the [tag:number-systems] tag, which seems reasonable to me.2012-10-18
  • 0
    @MartinSleziak Yep. Thank you.2012-10-18
  • 1
    The diagram suggests that there are other real numbers besides rational and irrational :) Anyway, while $\mathbb{Q}_p$'s would intersect your diagram (and each other) only in $\mathbb{Q}$ (and $\mathbb{Z}_p$ in rationals without $p$ in denominator), it is important to consider all (non-canonical!) field embeddings (you can embed $\mathbb{Q}_p$ to $\mathbb{C}$ if you wish). You should also consider algebraic numbers (in $\mathbb{C}$ AND in $\mathbb{Q}_p$'s and their extensions).2012-10-18
  • 2
    It also suggests that "whole number" means something definite, which is distinct from both the naturals and the integers, when in fact "whole number" is a horrible phrase that means either the naturals (with or without $0$) or the integers.2012-10-18
  • 0
    @ChrisEagle: That's the term in Hebrew, "whole numbers".2012-10-18
  • 0
    @Asaf: I wasn't aware we were speaking Hebrew.2012-10-18
  • 0
    @ChrisEagle: Well, first of all.. $\aleph,\beth$ :-) And also note that this diagram was probably made by a high school teacher (or something in a similar mathematical level). And if that someone was Israeli then the choice of names is reasonable, it is probably like it in one or two other languages as well.2012-10-18
  • 0
    @ChrisEagle Particularly in K-12 curriculum, it is common to define $\mathbb{N} = \{1, 2, \dots\}$ and $\mathbb{W} = \{0, 1, 2, \dots \}$.2012-10-18
  • 0
    If $x\in\Bbb R$ is green, is $x^2$ green?2012-10-18

2 Answers 2

7

This Venn diagram is quite misleading actually.

For example, the irrationals and the rationals are disjoint and their union is the entire real numbers. The diagram makes it plausible that there are real numbers which are neither rational nor irrational. One could also talk about algebraic numbers, which is a subfield of $\mathbb C$, which meets the irrationals as well.

As for other number systems, let us overview a couple of the common ones:

  1. Ordinals, extend the natural numbers but they completely avoid $\mathbb{Z,Q,R,C}$ otherwise.
  2. $p$-adic numbers extend the rationals, in some sense we can think of them as subset of the complex numbers, but that is a deep understanding in field theory. Even if we let them be on their own accord, there are some irrational numbers (real numbers) which have $p$-adic representation, but that depends on your $p$.
  3. You can extend the complex numbers to the Quaternions (and you can even extend those a little bit).
  4. You could talk about hyperreal numbers, but that construction does not have a canonical model, so one cannot really point out where it "sits" because it has many faces and forms.
  5. And ultimately, there are the surreal numbers. Those numbers extend the ordinals, but they also include $\mathbb R$.

Now, note that this diagram is not very... formal. It is clear it did not appear in any respectable mathematical journal. It is a reasonable diagram for high-school students, who learned about rationals and irrationals, and complex numbers.

I would never burden [generic] high-school kids with talks about those number systems above.

  • 0
    Extend the quaternions a little bit? You mean octonions?2012-10-18
  • 1
    @Gustavo: Yes, and Sedenions. Both, however, are non-commutative and non-associative. So everything behaves much worse than expected to in "normal number systems".2012-10-18
1

Strictly speaking $\mathbb{R}$ is not a subset of $\mathbb{C}$, rather it is isomorphic to a subfield of $\mathbb{C}$. Same for $\mathbb{Q}\subseteq\mathbb{R}$. Now $\mathbb{Z}$ is also isomorphic to a subring of $\mathbb{Q}$, not a proper subset. Whenever you have two algebraic structures $A$ and $B$ with respect to same binary operations, it may be possible to 'identify' $A$ with some subset of of $B$, that means to show an isomorphism between $A$ and a subset of $B$ with respect to the defined opereations; it this case you can write $A\subseteq B$, in some loose sense.

  • 2
    I appreciate this answer, but it is needlessly pedantic for most purposes.2012-10-18
  • 1
    If you *really* want to, those are actual subsets and not just embeddings.2012-10-18
  • 1
    I would be interested to see your proof that $\mathbb{R} \not\subset \mathbb{C}$. I suspect it might use definitions that are not universally agreed upon. (Of course, so would a proof that $\mathbb{R} \subset \mathbb{C}$.)2012-10-18
  • 0
    @Trevor: Many people consider $\mathbb C$ to be defined as a quotient of $\mathbb R[x]$, so its elements are equivalent classes. We can easily identify those corresponding to real numbers, but it's not the same. Similarly for $\mathbb Q$ in $\mathbb R$, and similarly for $\mathbb Z$ and so on. However from a set theoretical point of view, you can always just fix $\mathbb C$ and declare that the other objects are those subsets, which is what I meant in my comment. Either way, I agree with Austin that this answer is not useful here.2012-10-18
  • 0
    @AsafKaragila Good point. I was thinking that we could define the others as subsets of $\mathbb{C}$, but forgetting that in defining $\mathbb{C}$ we probably defined $\mathbb{R}$ along the way in a manner that is incompatible with this new definition.2012-10-18
  • 0
    @Trevor: This is about what is your "atomic" universe (for sake of argument, take ZFC+Atoms and endow these atoms with basic numerical structure). If we take our atoms to be $\mathbb C$ then we can *define* the reals, rationals, etc. as actual subsets; if we begin with the natural numbers we have to build the rest. I find it amusing that philosophically and mentally most people start with $\mathbb R$, but would still insist that $\mathbb Q\nsubseteq\mathbb R$.2012-10-18