2
$\begingroup$

It is clear that Cofinite filter on any infinite set is contained in every non-principal ultrafilter so it is contained in the intersection of all non-principal ultrafilters, but my question is that Is Cofinite filter the intersection of all non-principal ultrafilters?

$\endgroup$
  • 1
    $\begingroup$ In other words, you want to know if every infinite set belongs to some non-principal ultrafilter? $\endgroup$ – bof Oct 12 '16 at 11:31
  • 1
    $\begingroup$ Did you roll a die to decide the tags for this question? $\endgroup$ – Asaf Karagila Oct 12 '16 at 11:44
  • $\begingroup$ What does this have to do with geometric group theory? (your tags) $\endgroup$ – Paul Plummer Oct 12 '16 at 13:43
  • $\begingroup$ it is used in the theory of asymptotic cones, which was the key ingredient in proof of Gromov's theorem on groups of polynomial growth $\endgroup$ – Sunny Rathore Oct 12 '16 at 13:46
  • 1
    $\begingroup$ Related: math.stackexchange.com/questions/476289/… and math.stackexchange.com/questions/676765/… $\endgroup$ – Martin Sleziak Oct 20 '16 at 14:05
5
$\begingroup$

Let $E$ be an infinite set. Suppose that a set $A\subseteq E$ belongs to every non-principal ultrafilter on $E;$ we want to show that $A$ is cofinite.

Assume for a contradiction that $A$ is not cofinite, i.e., the set $B=E\setminus A$ is infinite. Then the infinite set $B$ belongs to some non-principal ultrafilter $\mathcal U$ on $E.$ But then $\mathcal U$ is a non-principal ultrafilter on $E$ which does not contain $A,$ contradicting our assumption that $A$ belongs to every non-principal ultrafilter.

why this infinite set B belongs to some non-principal ultrafilter

Let $\mathcal F=\{X\subseteq E:\ E\setminus X\text{ is finite}\},$ the cofinite filter on$E.$ Then the collection $\{B\}\cup\mathcal F$ has the finite intersection property, whence $\{B\}\cup\mathcal F\subset\mathcal U$ for some ultrafilter $\mathcal U.$ Since $\mathcal U$ contains $\mathcal F,$ it is non-principal.

$\endgroup$
  • $\begingroup$ why this infinite set B belongs to son non-principal ultrafilter $\endgroup$ – Sunny Rathore Oct 12 '16 at 12:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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