Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

I have several questions regarding filters and ultrafilters:

(a) Does every non-principal ultrafilter contain a cofinite filter? Why?

(b) What is the difference between a Fréchet filter and a cofinite filter?

(c) Can we say "an ultrafilter is free iff it contains a Fréchet filter"? Why?

share|cite|improve this question
The Frechet filter and the cofinite filter, in the usual definition, are the same. – André Nicolas Aug 26 '13 at 5:13

Yes, every non-principal ultrafilter on an infinite set $X$ contains the cofinite filter on $X$. Let $\mathscr{U}$ be a non-principal ultrafilter on $X$, and let $x\in X$ be arbitrary. Since $\mathscr{U}$ is an ultrafilter, exactly one of the sets $\{x\}$ and $X\setminus\{x\}$ belongs to $\mathscr{U}$, and since $\mathscr{U}$ is non-principal, $\{x\}\notin\mathscr{U}$. Thus, $X\setminus\{x\}\in\mathscr{U}$ for each $x\in X$. Now let $F$ be any finite subset of $X$; then $$X\setminus F=\bigcap_{x\in F}\left(X\setminus\{x\}\right)$$ is the intersection of finitely many members of $\mathscr{U}$. Every filter is closed under finite intersections, so $X\setminus F\in\mathscr{U}$. The cofinite filter on $X$ is precisely $\{X\setminus F:F\subseteq X\text{ is finite}\}$, so we’ve just shown that $\mathscr{U}$ contains the cofinite filter on $X$.

Fréchet filter and cofinite filter are two names for the same thing; there is no difference.

Yes, an ultrafilter on $X$ is free iff it contains the Fréchet filter on $X$. In the first paragraph I proved that every free ultrafilter on $X$ contains the Fréchet filter on $X$. For the converse, suppose that $\mathscr{U}$ is a fixed ultrafilter on $X$; then there is an $x\in X$ such that $\{x\}\in\mathscr{U}$. But then $X\setminus\{x\}$ is an element of the Fréchet filter that is not in $\mathscr{U}$, so $\mathscr{U}$ does not contain the Fréchet filter.

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.