Ultrafilter

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
The powerset lattice of the set {1,2,3,4}, with the upper set ↑{1,4} colored dark green. It is a principal filter, but not an ultrafilter, as it can be extended to the larger nontrivial filter ↑{1}, by including also the light green elements. Since ↑{1} cannot be extended any further, it is an ultrafilter.

In the mathematical field of order theory, an ultrafilter on a given partially ordered set (poset) P is a certain subset of P, namely a maximal filter on P, that is, a proper filter on P that cannot be enlarged to a bigger proper filter on P.

If X is an arbitrary set, its power set ordered by set inclusion, is always a Boolean algebra and hence a poset, and ultrafilters on are usually called an ultrafilters on the set X.[note 1] An ultrafilter on a set X may be considered as a finitely additive measure on X. In this view, every subset of X is either considered "almost everything" (has measure 1) or "almost nothing" (has measure 0), depending on whether it belongs to the given ultrafilter or not.[citation needed]

Ultrafilters have many applications in set theory, model theory, and topology.[1]:186

Ultrafilters on partial orders[edit]

In order theory, an ultrafilter is a subset of a partially ordered set that is maximal among all proper filters. This implies that any filter that properly contains an ultrafilter has to be equal to the whole poset.

Formally, if is a set, partially ordered by then

  • a subset is called a filter on if
    • is nonempty,
    • for every there exists some element such that and and
    • for every and implies that is in too;
  • a proper subset of is called an ultrafilter on if
    • is a filter on and
    • there is no proper filter on that properly extends (that is, such that is a proper subset of ).

Types and existence of ultrafilters[edit]

Every ultrafilter falls into exactly one of two categories: principal and free. A principal (or fixed, or trivial) ultrafilter is a filter containing a least element. Consequently, principal ultrafilters are of the form for some (but not all) elements of the given poset. In this case is called the principal element of the ultrafilter. Any ultrafilter that is not principal is called a free (or non-principal) ultrafilter.

For ultrafilters on a powerset a principal ultrafilter consists of all subsets of that contain a given element Each ultrafilter on that is also a principal filter is of this form.[1]:187 Therefore, an ultrafilter on is principal if and only if it contains a finite set.[note 2] If is infinite, an ultrafilter on is hence non-principal if and only if it contains the Fréchet filter of cofinite subsets of [note 3][citation needed] If is finite, each ultrafilter is principal.[1]:187

Every filter on a Boolean algebra (or more generally, any subset with the finite intersection property) is contained in an ultrafilter (see ultrafilter lemma) and that free ultrafilters therefore exist, but the proofs involve the axiom of choice (AC) in the form of Zorn's lemma. On the other hand, the statement that every filter is contained in an ultrafilter does not imply AC. Indeed, it is equivalent to the Boolean prime ideal theorem (BPIT), a well-known intermediate point between the axioms of Zermelo–Fraenkel set theory (ZF) and the ZF theory augmented by the axiom of choice (ZFC). In general, proofs involving the axiom of choice do not produce explicit examples of free ultrafilters, though it is possible to find explicit examples in some models of ZFC; for example, Gödel showed that this can be done in the constructible universe where one can write down an explicit global choice function. In ZF without the axiom of choice, it is possible that every ultrafilter is principal.[2]

Ultrafilter on a Boolean algebra[edit]

An important special case of the concept occurs if the considered poset is a Boolean algebra. In this case, ultrafilters are characterized by containing, for each element of the Boolean algebra, exactly one of the elements and ¬ (the latter being the Boolean complement of ):

If is a Boolean algebra and is a proper filter on then the following statements are equivalent:

  1. is an ultrafilter on
  2. is a prime filter on
  3. for each either or (¬) [1]:186

A proof of 1. ⇔ 2. is also given in (Burris, Sankappanavar, 2012, Corollary 3.13, p.133).[3]

Moreover, ultrafilters on a Boolean algebra can be related to maximal ideals and homomorphisms to the 2-element Boolean algebra {true, false} (also known as 2-valued morphisms) as follows:

  • Given a homomorphism of a Boolean algebra onto {true, false}, the inverse image of "true" is an ultrafilter, and the inverse image of "false" is a maximal ideal.
  • Given a maximal ideal of a Boolean algebra, its complement is an ultrafilter, and there is a unique homomorphism onto {true, false} taking the maximal ideal to "false".
  • Given an ultrafilter on a Boolean algebra, its complement is a maximal ideal, and there is a unique homomorphism onto {true, false} taking the ultrafilter to "true".[citation needed]

Ultrafilter on the powerset of a set[edit]

Given an arbitrary set its power set ordered by set inclusion, is always a Boolean algebra; hence the results of the above section Special case: Boolean algebra apply. An (ultra)filter on is often called just an "(ultra)filter on ".[note 1] The above formal definitions can be particularized to the powerset case as follows:

Given an arbitrary set an ultrafilter on is a set consisting of subsets of such that:

  1. The empty set is not an element of
  2. If and are subsets of the set is a subset of and is an element of then is also an element of
  3. If and are elements of then so is the intersection of and
  4. If is a subset of then either[note 4] or its relative complement is an element of

Another way of looking at ultrafilters on a power set is as follows: for a given ultrafilter define a function on by setting if is an element of and otherwise. Such a function is called a 2-valued morphism. Then is finitely additive, and hence a content on and every property of elements of is either true almost everywhere or false almost everywhere. However, is usually not countably additive, and hence does not define a measure in the usual sense.

For a filter that is not an ultrafilter, one would say if and if leaving undefined elsewhere.[citation needed][clarification needed]

Applications[edit]

Ultrafilters on powersets are useful in topology, especially in relation to compact Hausdorff spaces, and in model theory in the construction of ultraproducts and ultrapowers. Every ultrafilter on a compact Hausdorff space converges to exactly one point. Likewise, ultrafilters on Boolean algebras play a central role in Stone's representation theorem.

The set G of all ultrafilters of a poset P can be topologized in a natural way, that is in fact closely related to the above-mentioned representation theorem. For any element a of P, let This is most useful when P is again a Boolean algebra, since in this situation the set of all Da is a base for a compact Hausdorff topology on G. Especially, when considering the ultrafilters on a powerset the resulting topological space is the Stone–Čech compactification of a discrete space of cardinality

The ultraproduct construction in model theory uses ultrafilters to produce elementary extensions of structures. For example, in constructing hyperreal numbers as an ultraproduct of the real numbers, the domain of discourse is extended from real numbers to sequences of real numbers. This sequence space is regarded as a superset of the reals by identifying each real with the corresponding constant sequence. To extend the familiar functions and relations (e.g., + and <) from the reals to the hyperreals, the natural idea is to define them pointwise. But this would lose important logical properties of the reals; for example, pointwise < is not a total ordering. So instead the functions and relations are defined "pointwise modulo U", where U is an ultrafilter on the index set of the sequences; by Łoś' theorem, this preserves all properties of the reals that can be stated in first-order logic. If U is nonprincipal, then the extension thereby obtained is nontrivial.

In geometric group theory, non-principal ultrafilters are used to define the asymptotic cone of a group. This construction yields a rigorous way to consider looking at the group from infinity, that is the large scale geometry of the group. Asymptotic cones are particular examples of ultralimits of metric spaces.

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

In social choice theory, non-principal ultrafilters are used to define a rule (called a social welfare function) for aggregating the preferences of infinitely many individuals. Contrary to Arrow's impossibility theorem for finitely many individuals, such a rule satisfies the conditions (properties) that Arrow proposes (for example, Kirman and Sondermann, 1972).[4] Mihara (1997,[5] 1999)[6] shows, however, such rules are practically of limited interest to social scientists, since they are non-algorithmic or non-computable.

See also[edit]

Notes[edit]

  1. ^ a b If X happens to be partially ordered, too, particular care is needed to understand from the context whether an (ultra)filter on or an (ultra)filter just on X is meant; both kinds of (ultra)filters are quite different. Some authors[citation needed] use "(ultra)filter" of a partial ordered set" vs. "on an arbitrary set"; i.e. they write "(ultra)filter on X" to abbreviate "(ultra)filter of ".
  2. ^ To see the "if" direction: If then or ..., or by induction on using Nr.2 of the above characterization theorem. That is, some is the principal element of
  3. ^ is non-principal if and only if it contains no finite set, i.e. (by Nr.3 of the above characterization theorem) if and only if it contains every cofinite set, that is, every member of the Fréchet filter.
  4. ^ Properties 1 and 3 imply that and cannot both be elements of

References[edit]

  1. ^ a b c d Davey, B. A.; Priestley, H. A. (1990). Introduction to Lattices and Order. Cambridge Mathematical Textbooks. Cambridge University Press.
  2. ^ Halbeisen, L. J. (2012). Combinatorial Set Theory. Springer Monographs in Mathematics. Springer.
  3. ^ Burris, Stanley N.; Sankappanavar, H. P. (2012). A Course in Universal Algebra (PDF). ISBN 978-0-9880552-0-9.
  4. ^ Kirman, A.; Sondermann, D. (1972). "Arrow's theorem, many agents, and invisible dictators". Journal of Economic Theory. 5 (2): 267–277. doi:10.1016/0022-0531(72)90106-8.
  5. ^ Mihara, H. R. (1997). "Arrow's Theorem and Turing computability" (PDF). Economic Theory. 10 (2): 257–276. CiteSeerX 10.1.1.200.520. doi:10.1007/s001990050157. S2CID 15398169. Archived from the original (PDF) on 2011-08-12Reprinted in K. V. Velupillai, S. Zambelli, and S. Kinsella, ed., Computable Economics, International Library of Critical Writings in Economics, Edward Elgar, 2011.CS1 maint: postscript (link)
  6. ^ Mihara, H. R. (1999). "Arrow's theorem, countably many agents, and more visible invisible dictators". Journal of Mathematical Economics. 32 (3): 267–277. CiteSeerX 10.1.1.199.1970. doi:10.1016/S0304-4068(98)00061-5.

Bibliography[edit]

Further reading[edit]