3
$\begingroup$

As I understand it: In ZFC the continuum hypothesis can neither be proven true nor false, or in other words, a new axiom could be added to ZFC that says the continum hypotheis is true or that it is false and it wouldn't contradict any of the other axioms in ZFC assuming that ZFC is consistent.

There are other systems where the continuum hypothesis is false. For example, in the surreal number system, the continuum hypothesis is not held as true and $\omega$, which is defined as the first ordinal greater than the natural numbers, is less than $\omega + 1$.

My question is, if the set of all natural numbers (excluding $0$) contains $\omega$ numbers (or some other transfinite ordinal number of numbers), then wouldn't this imply that the set of all whole numbers (including $0$) contains $\omega + 1$ numbers, and so is larger? Also, wouldn't the entire set of integers contain $\omega + 1 + \omega = 2\omega + 1$ numbers? If this is the case, then how could you justify comparing the cardinality of different infinite sets, what makes the number of natural numbers $\omega$ why is that not the number of integers or the number of even numbers or whatever else, doesn't this conflict with Georg Cantor's intuition for comparing infinite sets by a correspondence between their components? I'm curious how the cardinalities of infinite sets are described in the surreal number system, and other systems where the continuum hypothesis isn't held as true.

Edit: I was reading a book about the surreal numbers and this question cropped up out of a misunderstanding of the distinction between different kinds of infinity. However, I've agreed to not delete the question anyway, in case anyone else runs into the same misunderstanding and needs a response.

$\endgroup$
  • $\begingroup$ What does CH has to do with No ? Sure No is not a set because ordinals themselves form a class, but if you limit yourself to practical purpose let say all surreals whose birth date is $<\omega_1$ for instance, you get a perfectly reasonnable set of surreals. Also you are confusing ordering and cardinality, $\omega,\omega+1,2\omega$ are orderings of $\mathbb N$ but all have the same cardinality $\aleph_0$. $\endgroup$ – zwim Dec 22 '17 at 12:13
  • 4
    $\begingroup$ This question seems to be very confused. $\endgroup$ – Asaf Karagila Dec 22 '17 at 12:16
  • $\begingroup$ This is like saying that if you use integers instead of natural numbers then you can have sets which are smaller than the empty set. $\endgroup$ – Dan Robertson Dec 22 '17 at 12:29
  • $\begingroup$ $Stories$ $About$ $Sets$ by Vilenkin. Short,fun, easy to understand. $\endgroup$ – DanielWainfleet Dec 23 '17 at 0:06
10
$\begingroup$

Cardinality of sets are indeed something of interest in set theory. And set theory is generally considered as a list of rules for objects which we call "sets", and they come to model our intuition as to what is a collection of mathematical objects (e.g. given a collection of collections, we can take the union of these, etc.)

Cardinality, in specifics, is a way to measure the size of sets. And it is based on bijections between sets, as this is a way that has nice properties.

Cantor proved that the cardinality of the real numbers equals to that of the power set of $\Bbb N$, and that it is uncountable. While he hypothesized that there are no intermediate cardinals between them, he could not prove this. Many years after his death, we learned through collective efforts of Gödel, Cohen and many others, that indeed it is impossible to prove or disprove the continuum hypothesis from the axioms of $\sf ZFC$.

The surreal numbers, on the other hand, are not a set theoretic system. They are an ordered field, which is maximal, in the sense that every ordered field has an embedding into them. Moreover, it is a complete field, in the same sense that the real numbers are complete. But it is just a field. It is not meant to describe "sets" or "collections", and therefore has no inherent concept of what are the natural numbers (as an object), or their power set, or the real numbers. Moreover, cardinalities are not described using the surreal numbers any more than they are described by the real numbers (and just to be clear, they are not described by the real numbers at all).

So, the question itself is based on a type mismatch. But let me address the ordinals, which do have some relevance here.

The ordinal $\omega$ is used to model the natural numbers—and it is often regarded as the natural numbers in set theory—and indeed it can be seen as a surreal number, since the ordinals themselves have a canonical embedding into the surreal line. But as far as cardinal arithmetic, $\omega$ and $\aleph_0$, are different objects. For example $\aleph_0+1=\aleph_0$ whereas $\omega+1\neq\omega$. In fact, ordinals also come with their own arithmetic, where $1+\omega=\omega\neq\omega+1$, so that is also something which is different from the surreal numbers and from the cardinal arithmetic. Even if we identify $\aleph_0$ with the ordinal $\omega$.

One could ask, perhaps we can use the ordinals to measure "size" of sets. But this is only true for finite sets. Both $\omega$ and $\omega+1$, which are different ordinals as mentioned above, have the same cardinality. Suddenly, the way that we place objects matters, and cardinality is a measure of size which ignores "extraneous structure" (like order). So what would be the ordinal that you match for $\Bbb Z$ or $\Bbb Q$? Well, the natural choice would be "the smallest one possible". But then we are back to the cardinals, at least in the context of $\sf ZFC$.

$\endgroup$
1
$\begingroup$

When you say “the set $X$ has $n$ elements,” what you mean is “the cardinality of the set $X$ is the same as the cardinality denoted by the cardinal number $n$.”

For a natural number $n$, the cardinality denoted by $n$ is the cardinality of $\{1,2,\dots,n\}.$ Furthermore one lets the cardinal number $\aleph_0$ denote the cardinality of the set of natural numbers.

Surreal numbers are not necessarily cardinal numbers and they are certainly not in (natural) bijection. Indeed if we allow $\omega$ to denote the cardinality of $\{1,2,\dots\}$ and $\omega+1$ the cardinality of $\{0,1,2,\dots\},$ we see that the two sets are in bijection ($n\mapsto n-1$) and so the cardinalities are equal.

The continuum hypothesis is about cardinalities and sets. It says “There exists no set $X$ such that there are injections $\mathbb N\to X$ and $X\to\mathbb R$ but there does not exist surjections $\mathbb N\to X$ and $X\to\mathbb R.$” That is, it says that there is no cardinality between those of $\mathbb N$ and $\mathbb R$. The continuum hypothesis says nothing about the way cardinal numbers may represent cardinalities. It is certainly not true to say that it is independent of our usual number system and false in the surreal numbers. I think the root of this misunderstanding is confusing different kinds of infinity (cardinal, ordinal, and number-system).

$\endgroup$
  • $\begingroup$ You have the negation in the wrong place. It's not that "surreal numbers are not necessarily cardinal numbers". It's that surreal numbers are necessarily not cardinal numbers. Also, your formulation of CH is a bit awkward and might fail without the axiom of choice in play (I know, I know, it's irrelevant here, but it's so much easier to just outright say "bijections", and not "surjections"). $\endgroup$ – Asaf Karagila Dec 22 '17 at 13:17
  • $\begingroup$ By necessarily I mean “naturally” or “without making extra definitions.” Certainly one could say some surreal numbers are cardinal numbers (I.e. nonnegative integers) in the same way that some integers are cardinal numbers. And one could also define say $\omega$ to represent the cardinality of the naturals. I read “$X$ necessarily not $Y$” as “$\forall x\in X\; \neg Y(x)” and “$X$ not necessarily $Y$” as “it is not naturally true that $\forall x\in X \; Y(x)$ but under some circumstances $\thereis x\in X \; Y(x).$ $\endgroup$ – Dan Robertson Dec 22 '17 at 13:27
  • $\begingroup$ I accept what you say about CH. I guess my point was just “CH is about sets not number systems. Indeed here I have written it without even assuming that numbers exist” $\endgroup$ – Dan Robertson Dec 22 '17 at 13:28
  • $\begingroup$ Sure, one could say that. One would be wrong to say that, or at least misleading, especially if one will, at some point, will talk about infinite cardinals. $\endgroup$ – Asaf Karagila Dec 22 '17 at 13:28
  • $\begingroup$ And let me point out that I give dirty looks to set theorists who use $\omega$ to denote the cardinal $\aleph_0$. And if both cardinal and ordinal arithmetic might show up, I will also voice a remark on this choice of notation. There is a reason why we have symbols to denote cardinals and symbols to denote initial ordinals, and that these symbols are different. $\endgroup$ – Asaf Karagila Dec 22 '17 at 13:36

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.