I understand how the set of transcendental numbers is greater than the set of algebraic numbers (Aleph II vs Aleph I). Can someone explain why the set of functions (Aleph III) is greater than the set of transcendental numbers?
You are using in an unconventional manner usually denote the cardinality of the naturals and that of the continuum (the reals). The continuum hypothesis is that (that is that there is no set with cadinality between that of naturals and that of the reals).
The algebraic numbers are in fact countable and so have cardinality .
The trancendentals have cardinality as they are those reals which are not algebraic.
The set of all functions on the reals is equivalent to the power set of the reals and we know that the cardinality of the power set of a set is strictly larger than that of the set itself.
CB
"Also, how do you know that the cardinality of the algebraic numbers is greater than that of the transcendental? I mean, it's definitely true. But, I have never seen you post or say anything about cardinal numbers. Do you have proof?"
The proof that the cardinality of the reals is greater than that of the algebraic numbers is a well-known proof given by Cantor. The proof itself is referred to as the diagonalization proof whereby (expressed in decimal form), you go down diagonally through the list of algebraic numbers to come up with a new number which isn't part of the list (which you already know is referred to as C for the reals).
I'm sure that someone proved that the cardinality of C and the reals match up (maybe Cantor). What I had originally wanted to know is how someone knew that the cardinality of the functions is greater than the cardinality of the real numbers. My answer comes from a book written by Tobias Dantzig titled "number: the language of science", copyrighted 2/2007. On Page 233 it lists as an example of an aggregate with a power greater than C the functional manifold,"i.e. the totality of all correspondences which can be established between two continua....The corresponding cardinal number is denoted by f."
It appears that all of the functions themselves are part of the foregoing definition. The book goes on to say that the functional "space" is derived from the continuum (real numbers) through the diagonalization process that led from the algebraic numbers to the real numbers. And this diagonalizational process can indefinitely produce greater aggregates.
I gave you a link to where I proved that the cardinality of is . The uncountability of the transcendentals is more instructively proven, in my humble opinion, by showing that the algebraics are countable (many easy ways to do this) and showing by contradiction that is uncountable.
can also be shown to have cardinality . This shown by first noting that and then that .
Also, it can be shown that the set of all continuous mappings from the reals into the reals has cardinality .
Also,...I digress.
If you would like proofs or just justifications for any of these claims. Let me know.