How to measure the size of a set? It is easy for sets with finite elements, but how about sets with infinite elements? We have used ‘infinite’ several times in previous posts, as we all have a rough idea about what infinity means. In this post, we will give strict definition and other discussions concerning finite and infinite sets. Notice that has already been assumed.
1. Finite set
When we say a set is finite, we normally presume the existence of the amount. For example, the set is finite because it has four elements; the set ‘Chinese citizens’ is also finite as the amount, or say the total number of its elements, is finite, even though huge. We summarize this in a mathematical way as:
A set is finite if it’s empty, or there exists a positive number such that we can find a bijection between and .
Here, is the amount of elements of , which is a basic characteristic of this set. We call it the cardinality (势) of . The cardinality of a set is also called the cardinal number (序数). Informally, cardinality is the size of sets.
For a finite set, after defining the function (bijection), we are actually arranging the set. is called the nth element under this function. Therefore, each element might be in different positions under different functions. However, the size for finite sets is fixed, which is guaranteed by the following theorem:
Theorem 1: The cardinality is unique for finite sets. |
2. Countable set
A set is infinite if it is not finite. More specifically, a set is infinite if one cannot find a positive number such that there exists a bijection between and .
In the above definition, is a finite natural number. It makes sense since is assumed being well defined. Another point of view is for a finite set, after the arrangement by some function (bijection), there is a last element, Nth element.. For example, for the set {a,b,c,d}, we can arrange it in the manner of ‘a,b,c,d’, where ‘d’ is the last (4th) element; or we can arrange it as ‘d,b,a,c’, where ‘c’ is the 4th element. No matter how one arrange these element, the last one is always the 4th one. In another word, the cardinality of this set is 4.
For an infinite set, the property doesn’t hold. Take itself as an example. There is no biggest natural number. However, we can still list them as ‘1,2,3,…’. Another example is . We can list all the integers in this way: ‘0,1,-1,2,-2,3,-3,…’. Therefore, each integer has an unique position in this list, and one can find out the number for any given position. It is like one can count these numbers one by one, even though there is no stop. We think these infinite sets are still not that bad to study. Some other ones are even ‘worse’, like . There is no way to list all real numbers down.
A set is countable if it is finite, or there is a bijection between it and . For the second case, we call this set countable infinite.
Example 1: is countable.
Example 2: is a countable family of sets, where is countable for each . Then is countable. |
3. Uncountable sets
A set is uncountable (infinite) if it is not countable (neither finite nor countable infinite).
Example 3: is uncountable. |
An useful technique to prove a set being uncountable is to prove there is a bijection between this set and .
Example 4: (the power set of is uncountable.
Example 5: is uncountable. |
3. Cardinal numbers of infinite sets
Now back to the original question. The answer is to compare their cardinal numbers. We say two sets are of the same size (cardinality), if their cardinal numbers are the same.
- The cardinal number of a finite set are easily equal to the number of its elements, which is the cardinality.
However, it is not so clear for infinite sets. (we haven’t define cardinality and cardinal numbers for infinite sets yet.) A famous example is to compare the sizes of and . Seems like the second set is one element less than the first set. But does the first set really has more elements than the second set? By define , I can find ‘as many elements as there are’ in the first set. Moreover, let’s look at the following concern.
- All countable infinite sets should have the same ‘size’. This is clear since bijection has transitivity. If both and are bijections, then is also a bijection.
Hence, we define the cardinal number of countable infinite sets as .
- For uncountable sets, there might be different sizes, and things become very complicated here. We define the cardinal number of as . Of course, for any set, if there is a bijection between it and , its cardinal number is also .
For cardinal numbers greater than , you can refer to here.
4. Summary
So far, we have defined the cardinal number for finite sets, countable infinite sets, and some uncountable sets. To compare the cardinalities of two sets, we use functions. For two sets A and B:
- Their cardinalities are comparable. (See Well Ordering Principle)
- There have the same cardinality if there is a bijection from A to B.
- The cardinality of A is less than or equal to the cardinality of B, if there is an injection from A to B. Additionally, it is strictly less than if there is no injection from B to A (therefore no bijection between A and B).
2 comments
Comments feed for this article
March 10, 2011 at 10:29 PM
Yuan Li
如果有关于变量的相关性的，很感兴趣。
March 11, 2011 at 12:05 AM
wxlug
That could be an option for future topics, but maybe not soon.