# Venn diagram for the reals and transfinite numbers as sets

• I
• zrek
In summary, the conversation discusses the first transfinite ordinal, omega, and its relationship with the set of natural numbers and real numbers. It is stated that omega is the first number that cannot be expressed by any natural number and is not included in the set of natural numbers. The set of natural numbers is a subset of real numbers, but there is no integer number in it that is large enough to pair with omega. The statement is made that the set of transfinite ordinals and the real numbers are disjoint sets. There is a suggestion to use upper-case omega to represent all ordinals, but this is not a commonly used notation. The Venn diagram shown does not accurately represent the relationship between the sets being discussed.

#### zrek

My statement:
The first transfinite ordinal, omega is the first number that cannot be expressed by any natural number, therefore it is not included in the set of natural numbers. The set of natural numbers is a subset of real numbers, every natural number can be taken out of it, but still true that there is no integer number in it that is capable ("big enough") to pair with omega. By this, it is also a good statement to say that the set of transfinite ordinals and the real numbers are disjoint sets.

Is this a good tought? If this is not, then can be refined to make it mean that "omega is after the finite numbers therefore it is after also any real number"?
Is the Venn diagram below correct?

Thank you!

#### Attachments

• real_transfinite_venn2.png
1.7 KB · Views: 605
zrek said:
My statement:
The first transfinite ordinal, omega is the first number that cannot be expressed by any natural number, therefore it is not included in the set of natural numbers. The set of natural numbers is a subset of real numbers, every natural number can be taken out of it, but still true that there is no integer number in it that is capable ("big enough") to pair with omega. By this, it is also a good statement to say that the set of transfinite ordinals and the real numbers are disjoint sets.

Is this a good tought? If this is not, then can be refined to make it mean that "omega is after the finite numbers therefore it is after also any real number"?
Is the Venn diagram below correct?

Thank you!

First of all, there is a difference between ##\omega##, the first infinite ordinal, and ##\Omega## the first uncountable ordinal.

Anyway, you are correct that the only thing that ##\mathbb{R}## and the ordinals have in common is ##\mathbb{N}##. They are not quite disjoint.

If you want to make precise that ##\omega## is bigger than any real, you'll need the surreal numbers.

zrek
It seems a bit of a mix. First, I do not recall seeing upper-case omega Ω used for either the first transfinite ordinal (which is usually lower-case omega ω) or the first transfinite cardinal (which is aleph-zero ); nor have I seen it used for the first uncountable ordinal (ω1) or the first uncountable cardinal (Aleph-1), nor the cardinal corresponding to the real numbers (Which is 2aleph-zero I have seen Ω as the class of all ordinal numbers. "Number" is a bit vague. In any case, one cannot automatically associate the first uncountable ordinal with the The next term you could make more precise is "after". For ordinals, "bigger than" corresponds to set membership, but for size, cardinalities are usually compared. Your idea that "ω is after the finite numbers" is vague, but I would presume that this means that every finite ordinal is a member of ω. Even vaguer is "it [ω] is after also any real number". Since you are attacking this in terms of sets, you will need a good definition of a real number as a set. I am not sure how you intend to make sense of that statement. As far as your Venn diagram: if we stretch a point and take the set of real numbers to be the set of all subsets of the natural numbers, then yes, ℕ⊂ℝ. ω and ℕ could be argued to be the same unless you are a purist. Since I don't know what you mean by Ω, I do not know where that should go in your diagram.
My feeling is that you want to use some sort of transitivity, saying that saying that "a real number r is less than a finite natural number n which is less than ω , therefore r is less than ω." But this doesn't work: the first "less than" is according to a metric, the second one is set membership. So they are two different relationships, so transitivity doesn't apply.

It seems a bit of a mix. First, I do not recall seeing upper-case omega Ω used for either the first transfinite ordinal (which is usually lower-case omega ω) or the first transfinite cardinal (which is aleph-zero ); nor have I seen it used for the first uncountable ordinal (ω1) or the first uncountable cardinal (Aleph-1), nor the cardinal corresponding to the real numbers (Which is 2aleph-zero I have seen Ω as the class of all ordinal numbers.

https://en.wikipedia.org/wiki/Aleph_number#Aleph-one
Using ##\Omega## to denote all ordinals is something I have never seen before.

It seems a bit of a mix. First, I do not recall seeing upper-case omega Ω used for either the first transfinite ordinal (which is usually lower-case omega ω) or the first transfinite cardinal ...
I used upper case omega, because I tried to symbolize the second part of this set, in which the lower case omega is only a member:
##0,1,2,\cdots, \omega , \omega +1, \omega + 2, \cdots , \omega+\omega, \omega + \omega + 1, \cdots##
So the upper case omega represents the ordinals that can not be represented by natural numbers. Maybe this is not a good idea, I'd be happy to follow your suggestions.

if we stretch a point and take the set of real numbers to be the set of all subsets of the natural numbers, then yes, ℕ⊂ℝ.

The set of all subsets of the natural numbers would be something like this, right? : { {0},{0,1},{0,1,2},...{0,2},{0,2,3}... } -- all of the possible combinations of the natural numbers (set of 2aleph0, right?) If you mean this, then no, not this is what I'd like to explain.
I simply mean the simple meaning of ℕ⊂ℝ, like this: http://thinkzone.wlonk.com/Numbers/RealSet-big.png

Yes, I try to mix the the ordinals and the cardinals to show that if a natural number is not big enough to represent ##\omega## in a well-ordered list, it is also true for its container set, the Reals.

Is this a defendable concept?
Is it possible to demonstrate this in a Venn diagram?

micromass said:
https://en.wikipedia.org/wiki/Aleph_number#Aleph-one
Using ##\Omega## to denote all ordinals is something I have never seen before.
You're right, micromass, for calling me out on the carpet on this. I was thinking, "I have seen Ω used somewhere for the class of all ordinals in a sum, but it is not standard ("On" is pretty standard, and "Ord(α)" is standard for saying that α is an ordinal), and I would have difficulty digging up the reference. Probably someone introducing their own notation, so it should be avoided.", and ill-advisedly wrote the first part of my thought.

micromass
zrek said:
I used upper case omega, because I tried to symbolize the second part of this set, in which the lower case omega is only a member:
##0,1,2,\cdots, \omega , \omega +1, \omega + 2, \cdots , \omega+\omega, \omega + \omega + 1, \cdots##
A minor note about style: your list looks deceptive, since you look like you are listing only a countable number of ordinals, not even getting up to
ω⋅ω. But OK,
zrek said:
So the upper case omega represents the ordinals that can not be represented by natural numbers.
In other words, On minus ω. This is not standard, and so should be explicitly defined before using it.
zrek said:
The set of all subsets of the natural numbers would be something like this, right?
Yes

zrek said:
if a natural number is not big enough to represent &#x03C9;" style="font-size: 113%; position: relative;" tabindex="0" class="mjx-chtml MathJax_CHTML" id="MathJax-Element-8-Frame">ω in a well-ordered list, it is also true for its container set, the Reals.
"Container set"? I guess you mean "superset". "in a well-ordered list"? a list of what, the naturals?"it is also true...the Reals": by "it" you are saying that an natural number does not "represent" ω, so where are you putting ℝ: are you saying that no natural number "represents" ℝ, or that no real number represents ω? Also, what do you mean by "represent"? You could have a natural number "represent" ℝ as in the Beth-function (Um, how do you get Hebrew letters in this text box?), where Beth-0 is the cardinality of Aleph-0, Beth-n is the cardinality of the power set of Beth-(n-1), and so forth for limit ordinals. So here, the natural number "1" would "represent" ℝ by a peculiar definition of "represent". This is obviously not what you mean to say by the word, but a clear definition would be a good starting point.

If you just want to say that the cardinality of ℝ is bigger than the cardinality of ℕ, that would be easy enough (and you have already represented it in a Venn diagram). But I think you want to say something else, so I will keep needling you to make your terms precise until I figure out what you want to say, and then we can see if you can represent it in a Venn diagram. Unless someone else understands you better. (Think of me as one of those robots in old sci-fi films who needed everything explicitly explained.)

Also, what do you mean by "represent"? ... But I think you want to say something else, so I will keep needling you to make your terms precise until I figure out what you want to say, and then we can see if you can represent it in a Venn diagram. Unless someone else understands you better. (Think of me as one of those robots in old sci-fi films who needed everything explicitly explained.)

Thank you for your effort trying to understand me, I'm sorry for my lack of english. I created an image with elementary school logic, hopfully this tells more about what I'd like to explain by a simple Venn diagram (if it is possible to do correctly).

...are you saying that no natural number "represents" ℝ, or that no real number represents ω?
I'd like to say that that no natural number and no real number represents ω, even if the Reals is the superset of the Naturals (and have much bigger cardinality).

#### Attachments

• omega_and_reals.png
32.5 KB · Views: 1,188
zrek said:
I'm sorry for my lack of english.
I didn't notice any lack of English. Your general English is excellent; most native speakers of English aren't used to expressing themselves with the precision (or, to some, pedantry) required for mathematics.
zrek said:
elementary school logic
I'm impressed. Many countries don't include logic in primary school (alas).
zrek said:
I'd like to say that that no natural number and no real number represents ω,
Again, we can only get somewhere on this if you can tell me what you mean by "represents".

Thank you, but I think at least with difficult topics and mathematical language I have not enough experience, so please feel free to fix my wording if you find obvious errors.