GoofyGreatDane wrote:
Aleph-null : the cardinality of the set of natural numbers.
A cardinality is like the "number of elements in the set". For any set of finite cardinality, adding an element generates a set with a larger cardinality. {} has cardinality zero, while {a} has cardinality of one.
Aleph-null is the cardinality of the set of positive integers. As an infinite cardinal , it has some interesting properties.
One interesting property is that aleph-null + 1 =aleph-null , adding one element to an infinite set, or even a countably infinite number of elements to the set, does not change the cardinality of the set. So the set of even numbers , the set of all rational numbers, and the set of integers are of the same size. One set that is guartanteed to be larger than a given infinite set is the set of all subsets of the set.
Another interesting property of infinite cardinals is the continuum hypothesis. The generalized continuum hypothesis states that there is no set with cardinality between the that of an infinite set and the set of all subsets of of that set. It would imply that there is no set with cardinality between that of the natural numbers and that of the real numbers. This would make sense but has never been proven. And more interestingly, not only has this never been proven- but its also been shown to be independent of ZFC axiomatic set theory. This means that both the hypothesis and its negation are equally "valid " in ZFC- there is no way to construct a set in ZFC that you can prove has an intermediate cardinality, but you can't prove that there is no set with such an intermediate cardinality either.
The set of algebraic reals is surprisingly equivalent to the integers, but much, much more dense.
_________________
"God may not play dice with the universe, but something strange is going on with prime numbers."
-Paul Erdos
"There are two types of cryptography in this world: cryptography that will stop your kid sister from looking at your files, and cryptography that will stop major governments from reading your files."
-Bruce Schneider