MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If X is a set and A is a subset of X containing at least two elements, then certainly for any element $a \in A$, the principal ultrafilter of $a$ contains the principal filter of A (which is NOT an ultrafilter). Are all ultrafilters containing the principal filter of A of this form, or are there non-principal examples? (I'm assuming axiom of choice etc.)

share|cite|improve this question
up vote 8 down vote accepted

If a filter $X$ contains any set $A$, then it contains the principal filter of $A$. Thus you are really asking: for which subsets $A$ of a set $X$ can a free ultrafilter contain $A$?

It is a standard exercise to see that such free ultrafilters exist iff $A$ is infinite.

Let me briefly sketch the proof:

1) If an ultrafilter contains a finite union of sets $A_1,\ldots,A_n$, then it contains $A_i$ for at least one $i$. Thus an ultrafilter which contains any finite set is principal.

2) If $A$ is infinite, consider the family $F$ of subsets which either contain $A$ or have finite complement. Then $F$ satisfies the finite intersection condition, so is a subbase for a filter $\mathcal{F}$ (see e.g. Exercise 5.2.5 of Then it can be extended to an ultrafilter which, since it contains the Frechet filter, is free.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.