This is the first in a series of posts leading to a diagram called the Cichon’s diagram. The diagram displays relationships among twelve small cardinals, eight of which are defined by using -ideals. The purpose of this post is to set up the scene.
Ideals and -Ideals
Let be a set. Let be a collection of subsets of . We say that is an ideal on if the following three conditions hold.
- If and , then .
- If , then .
If , then is said to be a proper ideal. Note that if , then would simply be the power set of . Thus we would only want to focus on proper ideals. Thus by ideal we mean proper ideal.
We say that is a -ideal on if it is an ideal with the additional property that it is closed under taking countable unions, i.e. if for each , , then . For the discussion that follows, we even require that all singleton subsets of are members of any -ideal .
Elements of an ideal or a -ideal are considered “small sets” or “negligible sets”. The definition of -ideal does indeed reflect how small sets should behave. The empty set is naturally a small set. Any subset of a small set should be a small set. The union of countably many small sets should also be a small set as is any countable set (the union of countably many singleton sets).
Let be a collection of subsets of the set . We assume that is closed under taking countable unions. It is easy to verify that the set
is a -ideal on . This -ideal is said to be generated by the set . The set is called a base for the -ideal . A subbase for a -ideal is simply a collection of subsets of . Then a base would be generated by taking countable unions of sets in the subbase.
We now discuss the cardinal characteristics associated with a -ideal. As before, let be a set and be a -ideal on . As discussed above, we require that all singleton sets are in . We define the following four cardinals.
A subset of is said to be cofinal in if for each , there exists such that , i.e. is cofinal in the partial order . Such a is a base for .
The numbers , and are the minimum cardinalities of certain subfamilies of the -ideal which fail to be small, i.e. not in . The additivity number is the least cardinality of a subfamily of whose union is not in . The covering number is the minimum cardinality of a subfamily of whose union is the entire set . The covering number is the minimum cardinality of a covering of with elements of . The cofinality number is the least cardinality of a subfamily of that is a cofinal in . Equivalently, the cofinality number is the least cardinality of a base that generates the -ideal. The uniformity number is the least cardinality of a subset of that is not an element of .
The elements of the -ideal are “small” sets. The additivity number is the smallest number of small sets whose union is not small. The covering number is then the smallest number of small sets that fill up the entire set . The uniform number is the least cardinality of a non-small set.
Of these four cardinals, the smallest one is and the largest one is . Because is a -ideal, all four cardinals must be uncountable, hence . Obviously is confinal in . Thus . The following inequalities also hold.
Displaying the Four Cardinals in a Diagram
The inequalities shown in the preceding section can be displayed in a diagram such as the following.
Figure 1 – Cardinal Characteristics of a -Ideal
In the above diagram, means . The smallest cardinal is lower bounded by on the lower left since is a -ideal. The largest cardinal is upper bounded by the cardinality of on the upper right since is cofinal in . The diagram tells us that the additivity number is less than or equal to the minimum of the uniformity number and the covering number. On the other hand, the cofinality number is greater than or equal to the maximum of the uniformity number and the covering number.
In the subsequent posts, we would like to focus on two -ideals, hence eight associated cardinals. To define these two ideals, let , the real line. Let be set of all meager subsets of the real line and let be the set of all subsets of the real line that are of Lebesgue measure zero.
In the real line, a set is nowhere dense if its closure contains no open set. A meager set is the union of countably many nowhere dense sets. It is straightforward to verify that is a -ideal on the real line . Because of the Baire category theorem, . Thus it is a proper ideal. Similarly, it is straightforward to verify that is a -ideal as well as a proper ideal.
Before we examine the ideal , we consider the -ideal of bounded subsets of in the next post.
Dan Ma topology
Daniel Ma topology
Dan Ma math
Daniel Ma mathematics