What is the cardinality of the set of all ultrafilters containing a Fréchet filter?

140 Views Asked by At

Let $\mathfrak{F}$ be the Fréchet filter on an infinite set $X$. $~$What is the cardinality of the set of all ultrafilters containing $\mathfrak{F}\,$? $~$Is it equal to the cardinality $2^{2^{|X|}}$ of the set of all ultrafilters on the set $X\,$?

1

There are 1 best solutions below

3
On BEST ANSWER

Yes. If an ultrafilter $U$ does not contain the Fréchet filter, then $U$ must be principal. A principal ultrafilter is determined by its generating element, so there are $|X|$-many principal ultrafilters. Since $|X|<2^{2^{|X|}}$, the cardinality of the set of non-principal ultrafilters must be $2^{2^{|X|}}$.