Filter

A filter is a particular notion used to define ultraproducts/ultrapowers and various large cardinals above measurable cardinals, although they also have some relation to indescribable and greatly Mahlo cardinals. Formally, a filter on a set \(X\) is a collection \(F\) of subsets of \(X\) satisfying the following conditions:

• \(X \in F\).
• \(\emptyset \notin F\).
• If \(A \in F\) and \(B \in F\) then \(A \cap B \in F\).
• If \(A \in F\) and \(A \subseteq B\) then \(B \in F\).

Intuitively, a filter is a predicate which chooses out exactly which subsets of \(X\) are large; namely:

• \(X\) is large.
• The empty set is not large.
• The intersection of large sets is large.
• A superset of a large set is large.

An ultrafilter is a maximal filter: for every subset \(Y\) of \(X\), either \(Y\) is large or its complement (\(X \setminus Y\)) is large. The reason these are maximal is, because if \(F' \supset F\), then there is some \(Y \in F'\) so that \(Y \notin F\). Therefore \(X \setminus Y \in F\), and so \(X \setminus Y \in F'\), therefore \((X \setminus Y) \cap Y = \emptyset \in F'\), so \(F'\) can't be a filter.

One of the most natural examples of a filter is a maximal filter: given some \(x \in X\), the maximal filter with respect to \(x\) has \(Y\) large iff \(x \in Y\). It is easy to verify this is an ultrafilter, however this doesn't exactly match with one's intuition of largeness, since even singletons can be large in this interpretation. One therefore studies nonprincipal (possibly definition needed) filters instead - another easy example is the Fréchet filter, the filter on a cardinal \(\kappa\) defined by \(X\) being large iff \(|\kappa \setminus X| < \kappa\). It is also easy to see this is a filter, however, it is not an ultrafilter.

It is possible to impose further conditions, other than the four in the definition of the filter and nonprincipality. This includes \(\gamma\)-completeness, for a cardinal \(\gamma\), which asserts that the filter is closed not just intersection of two sets, but of \(< \gamma\)-many sets. Note that any filter is \(\omega\)-complete. A cardinal \(\kappa\) with a \(\kappa\)-complete ultrafilter on \(\kappa\) is precisely a measurable cardinal, and thus the existence of such a cardinal is unprovable in ZFC, assuming its consistency.

For a cardinal \(\gamma\) and set \(X\), a filter \(F\) on \([X]^{< \gamma}\) is called fine if, for each \(x \in X\), \(\{\sigma \in [X]^{< \gamma}: x \in \sigma\} \in F\). Similarly, an ultrafilter on a cardinal \(\kappa\) is called fine (or uniform) if, for each \(\alpha < \kappa\), \(\{\sigma: \alpha < \sigma < \kappa\} \in F\).