An ultrafilter that contains the cofinite filter is called the free ultrafilter. Why is it called free? Does this notion of freeness bear any relation to the way we say the free vector space on a set?
Why are free ultrafilters called free?
4
$\begingroup$
terminology
filters
-
0There are several words which are used in completely orthogonal meanings through mathematics. Free, normal, regular, etc. it doesn't mean that there is any relation between those. – 2012-09-15
1 Answers
10
In this context free contrasts with fixed: an ultrafilter $\mathscr{U}$ on a set $X$ is said to be fixed if there is an $x\in X$ such that $\mathscr{U}=\{U\subseteq X:x\in U\}$. In other words, this $\mathscr{U}$ is just the family of all subsets of $X$ containing the point $x$: it’s tied down, or fixed, to the point $x$. (Such ultrafilters are also known as principal ultrafilters.) An ultrafilter that is not fixed in this way $-$ that is not so tied down $-$ is free. Its members are in some sense free to ‘float’ all over $X$: they’re not forced to contain any particlar element.
This notion has nothing to do with free in the sense that you mention, or in the sense of a free group.