- #36
mathwonk
Science Advisor
Homework Helper
- 11,828
- 2,073
these arguments are all due to cantor. you might enjoy reading his own work, contributions to the founding of the theory of transfinite numbers.the cardinality of the set of all maps from S to T is #(T)^[#(S)].
thus the cardinality of the maps from a set say Z to {0,1} is 2^alephnull.
the basic argument shows that this is always larger than the cardinality of S, if #T > 1. I guess.
Equivalently, since a subset of a set S is equivalent to a map from S to {0,1}, the set of subsets of S always has greater cardinality than does S.
It was knowing these arguments that got me into honors calc as a freshman in college, since it showed my interest in math. I read them in high school.
thus the cardinality of the maps from a set say Z to {0,1} is 2^alephnull.
the basic argument shows that this is always larger than the cardinality of S, if #T > 1. I guess.
Equivalently, since a subset of a set S is equivalent to a map from S to {0,1}, the set of subsets of S always has greater cardinality than does S.
It was knowing these arguments that got me into honors calc as a freshman in college, since it showed my interest in math. I read them in high school.