Ultrafilter

In mathematics, an ultrafilter is a maximal filter. 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.

There are two very different types of ultrafilter: principal and free. A principal (or fixed, or trivial) ultrafilter on S consists of all sets containing a particular point of S. Any ultrafilter which isn't principal is called a free (or non-principal) ultrafilter.

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.

Ultrafilters are useful in topology, especially in relation to compact Hausdorff spaces. Every ultrafilter on a compact Hausdorff space converges to exactly one point.

The set G of all ultrafilters on a set S can be topologized in a natural way. For any subset A of S, let D_A = { U in G : A in U }. Then the set of all D_A is a base for a compact Hausdorff topology on G. The resulting topological space is the Stone-Čech compactification of a discrete space of cardinality |S|.

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.

Common misspelling and questions (FAQ)

ltrafilter  utrafilter  ulrafilter  ultafilter  ultrfilter  ultrailter  ultraflter  ultrafiter  ultrafiler  ultrafiltr  ultrafilte  lutrafilter  utlrafilter  ulrtafilter  ultarfilter  ultrfailter  ultraiflter  ultrafliter  ultrafitler  ultrafiletr  ultrafiltre  ultrafilte  uultrafilter  ulltrafilter  ulttrafilter  ultrrafilter  ultraafilter  ultraffilter  ultrafiilter  ultrafillter  ultrafiltter  ultrafilteer  ultrafilterr  7ltrafilter  yltrafilter  hltrafilter  8ltrafilter  jltrafilter  8ltrafilter  iltrafilter  jltrafilter  uotrafilter  uktrafilter  u,trafilter  uptrafilter  u.trafilter  uptrafilter  u;trafilter  u.trafilter  ul5rafilter  ulrrafilter  ulfrafilter  ul6rafilter  ulgrafilter  ul6rafilter  ulyrafilter  ulgrafilter  ult4afilter  ulteafilter  ultdafilter  ult5afilter  ultfafilter  ult5afilter  ulttafilter  ultfafilter  ultrqfilter  ultrwfilter  ultrzfilter  ultrwfilter  ultrsfilter  ultrzfilter  ultrarilter  ultradilter  ultracilter  ultratilter  ultravilter  ultratilter  ultragilter  ultravilter  ultraf8lter  ultrafulter  ultrafjlter  ultraf9lter  ultrafklter  ultraf9lter  ultrafolter  ultrafklter  ultrafioter  ultrafikter  ultrafi,ter  ultrafipter  ultrafi.ter  ultrafipter  ultrafi;ter  ultrafi.ter  ultrafil5er  ultrafilrer  ultrafilfer  ultrafil6er  ultrafilger  ultrafil6er  ultrafilyer  ultrafilger  ultrafilt3r  ultrafiltwr  ultrafiltsr  ultrafilt4r  ultrafiltdr  ultrafilt4r  ultrafiltrr  ultrafiltdr  ultrafilte4  ultrafiltee  ultrafilted  ultrafilte5  ultrafiltef  ultrafilte5  ultrafiltet  ultrafiltef  ultrafylter  ultrafiltah  ulyrafilter  ultyrafilter  ultrafilters 


and most satisfying to examine. I decided that it would be sufficient began the book with a detailed history of moth, egg, caterpillar, evolution of one cocoon and one pupa case moth. I began with for the spinners, and ended with Regalis, of earth--and the rarest. The luck I had in securing Regalis in such complete form seems to and it reads more like a fairy tale than sober every-day fact, I said, "Now I am done. This book is completed." Soon afterward, which depended three rolled leaves securely bound to their twigs `Would you be interested in them?' Would I? Instantly I knew this book was not finished. As I held last chapter sliding over from fourteen to fifteen to make place Cecropia. Often I had seen the pictured cocoon, in its neat little, scientific collections and museums; I knew their beautiful forms of the male and the red wine and clay-coloured female with her at leaf-fall early in November to await the outcome of those three pair would emerge close enough together to mate and produce fertile life history. That was a long wait, thickly punctuated with `ifs.' Then the twig was carried to my room and stood in a vase of weight. I was sure they were perfect. That spring I had been .