## You are here

Homeevery filter is contained in an ultrafilter

## Primary tabs

# every filter is contained in an ultrafilter

Let $X$ be a set and $\mathcal{F}$ be a filter on $X$. Then there exists an ultrafilter $\mathcal{U}$ on $X$ which is finer than $\mathcal{F}$.

An importance consequnce of this theorem is the existence of free ultrafilters on infinite sets. According to the theorem, there must exist an ultrafilter which is finer than the cofinite filter. Since the cofinite filter is free, every filter finer than it must also be free, and hence there exists a free ultafilter.

Also note that this theorem requires the axiom of choice.

Related:

LindenbaumsLemma

Type of Math Object:

Theorem

Major Section:

Reference

Parent:

Groups audience:

## Mathematics Subject Classification

54A20*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections