Do I understand the continuum hypothesis correctly?

115 Views Asked by At

I read this concept new. The purpose of this question is: I want to check if I understand this concept correctly or not.

What I understand:

We can not create such a set, consisting of composition of rational numbers, natural numbers, all integer numbers, irrational numbers, transcendental numbers, algebraic numbers, real numbers or complex numbers which is the cardinality of this set,

$$\aleph_0<X<2^{\aleph_0}$$

Do I understand the continuum hypothesis correctly?

2

There are 2 best solutions below

2
On

I don't know what you meant by “composition of” in this context. The continuum hypothesis simply says that no set $S$ of real numbers exists such that its cardinal is strictly larger than the cardinal of $\mathbb N$ and strictly smaller than the cardinal of $\mathbb R$. Or, if you wish, no set $S$ of real numbers exists such that$$\aleph_0<S<2^{\aleph_0}.$$

1
On

The cardinality of a set $A$ is defined as the smallest initial ordinal that $A$ is isomorphic to, that is to say that if $A$ is isomorphic to some initial ordinal (cardinal) $\alpha$, and $A$ is not isomorphic to any other initial cardinal $\beta$ with $\beta \in \alpha \Leftrightarrow |X|= \alpha $. Now the Reals, or $\mathbb{R}$, is called the continuum and it's cardinality is denoted as $\mathfrak{c}$, it is know that $$ \mathfrak{c}=2^{\aleph_0}$$ Also, $\aleph_0$ is the smallest infinite cardinal, that is called a limit ordinal the formal definition is the following

Definition: An ordinal $\theta$ is called a limit ordinal if for every ordinal $\lambda\in \theta$, the successor $\lambda + 1\in \theta$

Now, the CH states that there exists no set $A$ such that $$ \aleph_0<|A|<\mathfrak{c} $$

Here, we do not talk about what the elements of $A$ are, but about how ¨many¨ of them are there.