# Ultrafilter Lemma

This page has been identified as a candidate for refactoring.The usualUntil this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

## Theorem

Let $S$ be a set.

Every filter on $S$ is contained in an ultrafilter on $S$.

### Corollary

Let $S$ be a non-empty set.

Let $\AA$ be a set of subsets of $S$.

Suppose that $\AA$ has the finite intersection property.

Then there is an ultrafilter $\UU$ on $S$ such that $\AA \subseteq \UU$.

## Also known as

This axiom may be called the **ultrafilter principle** or the **ultrafilter theorem**, and may be abbreviated **UL** or **UF**.

## Proof from the Axiom of Choice

Let $\Omega$ be the set of filters on $S$.

From Subset Relation is Ordering, the subset relation "$\subseteq$" makes $\Omega$ a partially ordered set.

Let $C \subseteq \Omega$ be a non-empty chain.

Then $\bigcup C$ is again a filter on $S$.

Thus $\bigcup C$ is an upper bound of $C$.

Indeed, if $A, B \in \bigcup C$ then there there are filters $\FF, \FF' \in C$ with $A \in \FF$ and $B \in \FF'$.

We have that $C$ is a chain.

Without loss of generality, let $\FF \subset \FF'$.

Thus $A \in \FF'$.

Hence:

- $A \cap B \in \FF'$

In particular:

- $A, B \in \bigcup C$

For any $\FF \in \Omega$ there is therefore by Zorn's Lemma a maximal element $\FF'$ such that:

- $\FF \subseteq \FF'$

The maximality of $\FF'$ is in this context equivalent to $\FF'$ being an ultrafilter.

$\blacksquare$

#### Axiom of Choice

This proof depends on the Axiom of Choice, by way of Zorn's Lemma.

Because of some of its bewilderingly paradoxical implications, the Axiom of Choice is considered in some mathematical circles to be controversial.

Most mathematicians are convinced of its truth and insist that it should nowadays be generally accepted.

However, others consider its implications so counter-intuitive and nonsensical that they adopt the philosophical position that it cannot be true.

## Proof from the Boolean Prime Ideal Theorem

Order the subsets of $S$ by reverse inclusion. Then the result follows trivially from the Boolean Prime Ideal Theorem.

$\blacksquare$

## Boolean Prime Ideal Theorem

This theorem depends on the Boolean Prime Ideal Theorem (BPI).

Although not as strong as the Axiom of Choice, the BPI is similarly independent of the Zermelo-Fraenkel axioms.

As such, mathematicians are generally convinced of its truth and believe that it should be generally accepted.