[Home]History of Ultrafilter

HomePage | Recent Changes | Preferences

Revision 5 . . (edit) October 1, 2001 1:05 am by Zundark [add some whitespace to a formula]
Revision 4 . . (edit) October 1, 2001 1:03 am by Zundark [link to Ultrafilter Lemma]
Revision 3 . . August 16, 2001 8:02 pm by AxelBoldt [ultrafilter in Goedel's ontological proof; every filter sits in an ultrafilter]
Revision 2 . . (edit) August 16, 2001 2:57 am by Zundark
  

Difference (from prior major revision) (minor diff, author diff)

Changed: 2c2
Equivalently, an ultrafilter F on a set S is a filter on S with the additional property that for every subset A of S, either A is in F or S\A is in F.
Equivalently, an ultrafilter F on a set S is a filter on S with the additional property that for every subset A of S, either A is in F or S \ A is in F.

Changed: 6c6
The existence of free ultrafilters cannot be proved without the axiom of choice, and therefore explicit examples of such ultrafilters cannot be given. Nonetheless, almost all ultrafilters on an infinite set are free. By contrast, every ultrafilter on a finite set is principal.
One can show that every filter is contained in an ultrafilter (see Ultrafilter Lemma) and that free ultrafilters therefore exist, but the proofs involve the axiom of choice in the form of Zorn's Lemma, so explicit examples of free ultrafilters cannot be given. Nonetheless, almost all ultrafilters on an infinite set are free. By contrast, every ultrafilter on a finite set is principal.

Changed: 12c12,14
Ultrafilters are also used in the construction of hyperreal numbers.
Ultrafilters are also used in the construction of hyperreal numbers.

Gödel's ontological proof of God's existence uses as an axiom that the set of all "positive properties" is an ultrafilter.

HomePage | Recent Changes | Preferences
Search: