A non-empty subset of a partially ordered set satisfying the conditions: a) if and if the infimum exists, then ; and b) if and , then . The concept of a filter is dual to that of an ideal of a partially ordered set.
A filter over a non-empty set (or in a set ) is a proper filter of the set of subsets of , ordered by inclusion i.e. any non-empty collection of subsets of satisfying the conditions: If , then ; if and , then ; the empty set does not belong to .
A filter base is a system of subsets of satisfying the two conditions: 1) the empty set does not belong to it; and 2) the intersection of two subsets belonging to it contains some third subset belonging to it. Every filter is completely determined by any of its filter bases. The system of all subsets of that contain some element of a given filter base is a filter. It is said to be spanned by this base.
The set of all filters over a given set is partially ordered by inclusion. A maximal element of it is called an ultrafilter (a maximal proper filter in any Boolean algebra is also called an ultrafilter).
Examples of filters. 1) Let be the subset of the natural numbers consisting of those numbers that are multiples of ; the system is a filter base; the filter spanned by this base consists of those subsets that contain some . 2) The collection of all subsets containing a certain fixed non-empty subset is a filter over , called a principal filter. All filters over a finite set are principal. 3) If is an infinite set of cardinality and is the collection of all subsets of whose complements have cardinality less than , then is a filter (called a Fréchet filter). A Fréchet filter is an example of a non-principal filter. 4) The system of subsets containing some fixed point of a set is also a filter; moreover, it is an ultrafilter. 5) Suppose a topology is given on $E$; then the neighbourhoods of any point $x \in E$ (the subsets of $E$ containing $x$ in the interior) form a filter.
|||N. Bourbaki, "Elements of mathematics. General topology" , Addison-Wesley (1966) (Translated from French)|
|||P.M. Cohn, "Universal algebra" , Reidel (1981)|
|||A.I. Mal'tsev, "Algebraic systems" , Springer (1973) (Translated from Russian)|
There is some disagreement about the definition of a filter in a partially ordered set where finite infima do not always exist. Most authors would replace condition a) in the first paragraph above by "if a, b F, then there exists a c F with c≤ a and c≤ b" , cf. [a1]. This avoids some rather pathological seeming cases.
A further meaning of the word "filter" occurs in the theory of (partially observed) stochastic processes, cf. Stochastic processes, filtering of.
|[a1]||K. Kunen, "Set theory" , North-Holland (1980)|
Filter. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Filter&oldid=30577