A question about cardinalities

[phil335]

TL;DR Summary

a question about infinity

If there are an infinite number of whole numbers, and an infinite number of decimals between any two whole numbers, and an infinite number of decimals in between any two decimals, does that mean that there are infinite infinities? And an infinite number of those infinities? And an infinite number of those infinities? And an infinite number of those infinities? And an infinite number of those infinities? And… (Infinitely times. And that infinitely times. and that infinitely times. and that infinitely times. And..)...

---

 

[fresh_42]

TL;DR Summary: a question about infinity

If there are an infinite number of whole numbers, and an infinite number of decimals between any two whole numbers, and an infinite number of decimals in between any two decimals, does that mean that there are infinite infinities? And an infinite number of those infinities? And an infinite number of those infinities? And an infinite number of those infinities? And an infinite number of those infinities? And… (Infinitely times. And that infinitely times. and that infinitely times. and that infinitely times. And..)...

---

Yes.

If we have a set $X$ with infinitely many elements $|X|$ then its power set $P(X)$, i.e. the set of all subsets of $X$ has $|P(x)|=2^{|X|}$ many elements which is strictly bigger than $|X|$ because $P(X)$ contains all subsets $\{x\}\in P(X)$ for $x\in X$ and many more sets. There is no one-on-one map between $X$ and $P(X).$

It is not clear whether there is another proper infinity class $c(X)$ between them, i.e. whether
$$
|X| \leq c(X) \leq |P(X)|=2^{|X|}
$$
implies $|X|=c(X)$ or $c(X)=2^{|X|}$ or whether this is not the case.

 

[phinds]

Look up "aleph null" and go from there.

 

[jbriggs444]

TL;DR Summary: a question about infinity

If there are an infinite number of whole numbers,

The cardinality of the whole numbers is normally taken as aleph null.

and an infinite number of decimals between any two whole numbers

The cardinality of the set of terminating decimals between any two whole numbers is also aleph null.
The cardinality of the set of not necessarily terminating decimals between any two whole numbers is the cardinality of the continuum -- the cardinality of the power set of the naturals.

and an infinite number of decimals in between any two decimals

Again, the cardinality of the set of terminating decimals between any two distinct decimals is aleph null while the cardinality of the set of non-terminating decimals between them is the cardinality of the continuum.

does that mean that there are infinite infinities?

There are at least aleph null infinities. Because for each infinite cardinality there is an obvious successor.

However, I am not entirely sure that the cardinality of the set of all cardinalities is a coherent notion.