Filter (set theory)

In mathematics, a filter on a set is a family of subsets such that: [1]

  1. and
  2. if and , then
  3. If and , then

A filter on a set may be thought of as representing a "collection of large subsets",[2] one intuitive example being the neighborhood filter. Filters appear in order theory, model theory, and set theory, but can also be found in topology, from which they originate. The dual notion of a filter is an ideal.

Filters were introduced by Henri Cartan in 1937[3][4] and as described in the article dedicated to filters in topology, they were subsequently used by Nicolas Bourbaki in their book Topologie Générale as an alternative to the related notion of a net developed in 1922 by E. H. Moore and Herman L. Smith. Order filters are generalizations of filters from sets to arbitrary partially ordered sets. Specifically, a filter on a set is just a proper order filter in the special case where the partially ordered set consists of the power set ordered by set inclusion.

Preliminaries, notation, and basic notions

[edit]

In this article, upper case Roman letters like and denote sets (but not families unless indicated otherwise) and will denote the power set of A subset of a power set is called a family of sets (or simply, a family) where it is over if it is a subset of Families of sets will be denoted by upper case calligraphy letters such as Whenever these assumptions are needed, then it should be assumed that is non–empty and that etc. are families of sets over

The terms "prefilter" and "filter base" are synonyms and will be used interchangeably.

Warning about competing definitions and notation

There are unfortunately several terms in the theory of filters that are defined differently by different authors. These include some of the most important terms such as "filter". While different definitions of the same term usually have significant overlap, due to the very technical nature of filters (and point–set topology), these differences in definitions nevertheless often have important consequences. When reading mathematical literature, it is recommended that readers check how the terminology related to filters is defined by the author. For this reason, this article will clearly state all definitions as they are used. Unfortunately, not all notation related to filters is well established and some notation varies greatly across the literature (for example, the notation for the set of all prefilters on a set) so in such cases this article uses whatever notation is most self describing or easily remembered.

The theory of filters and prefilters is well developed and has a plethora of definitions and notations, many of which are now unceremoniously listed to prevent this article from becoming prolix and to allow for the easy look up of notation and definitions. Their important properties are described later.

Sets operations

The upward closure or isotonization in [5][6] of a family of sets is

and similarly the downward closure of is

Notation and Definition Name
Kernel of [6]
Dual of where is a set.[7]
Trace of [7] or the restriction of where is a set; sometimes denoted by
[8] Elementwise (set) intersection ( will denote the usual intersection)
[8] Elementwise (set) union ( will denote the usual union)
Elementwise (set) subtraction ( will denote the usual set subtraction)
Grill of [9]
Power set of a set [6]

For any two families declare that if and only if for every there exists some in which case it is said that is coarser than and that is finer than (or subordinate to) [10][11][12] The notation may also be used in place of

Two families mesh,[7] written if

Throughout, is a map and is a set.

Notation and Definition Name
[13] Image of or the preimage of under
Image of or the preimage of
[14] Image of under
Image of
Image (or range) of

Nets and their tails

A directed set is a set together with a preorder, which will be denoted by (unless explicitly indicated otherwise), that makes into an (upward) directed set;[15] this means that for all there exists some such that For any indices the notation is defined to mean while is defined to mean that holds but it is not true that (if is antisymmetric then this is equivalent to ).

A net in [15] is a map from a non–empty directed set into The notation will be used to denote a net with domain

Notation and Definition Name
Tail or section of starting at where is a directed set.
Tail or section of starting at
Set or prefilter of tails/sections of Also called the eventuality filter base generated by (the tails of) If is a sequence then is also called the sequential filter base.[16]
(Eventuality) filter of/generated by (tails of) [16]
Tail or section of a net starting at [16] where is a directed set.

Warning about using strict comparison

If is a net and then it is possible for the set which is called the tail of after , to be empty (for example, this happens if is an upper bound of the directed set ). In this case, the family would contain the empty set, which would prevent it from being a prefilter (defined later). This is the (important) reason for defining as rather than or even and it is for this reason that in general, when dealing with the prefilter of tails of a net, the strict inequality may not be used interchangeably with the inequality

Filters and prefilters

[edit]

The following is a list of properties that a family of sets may possess and they form the defining properties of filters, prefilters, and filter subbases. Whenever it is necessary, it should be assumed that

The family of sets is:
  1. Proper or nondegenerate if Otherwise, if then it is called improper[17] or degenerate.
  2. Directed downward[15] if whenever then there exists some such that
    • This property can be characterized in terms of directedness, which explains the word "directed": A binary relation on is called (upward) directed if for any two there is some satisfying Using in place of gives the definition of directed downward whereas using instead gives the definition of directed upward. Explicitly, is directed downward (resp. directed upward) if and only if for all there exists some "greater" such that (resp. such that ) − where the "greater" element is always on the right hand side,[note 1] − which can be rewritten as (resp. as ).
    • If a family has a greatest element with respect to (for example, if ) then it is necessarily directed downward.
  3. Closed under finite intersections (resp. unions) if the intersection (resp. union) of any two elements of is an element of
    • If is closed under finite intersections then is necessarily directed downward. The converse is generally false.
  4. Upward closed or Isotone in [5] if or equivalently, if whenever and some set satisfies Similarly, is downward closed if An upward (respectively, downward) closed set is also called an upper set or upset (resp. a lower set or down set).
    • The family which is the upward closure of is the unique smallest (with respect to ) isotone family of sets over having as a subset.

Many of the properties of defined above and below, such as "proper" and "directed downward," do not depend on so mentioning the set is optional when using such terms. Definitions involving being "upward closed in " such as that of "filter on " do depend on so the set should be mentioned if it is not clear from context.

A family is/is a(n):
  1. Ideal[17][18] if is downward closed and closed under finite unions.
  2. Dual ideal on [19] if is upward closed in and also closed under finite intersections. Equivalently, is a dual ideal if for all [9]
    • Explanation of the word "dual": A family is a dual ideal (resp. an ideal) on if and only if the dual of which is the family is an ideal (resp. a dual ideal) on In other words, dual ideal means "dual of an ideal". The family should not be confused with because these two sets are not equal in general; for instance, The dual of the dual is the original family, meaning The set belongs to the dual of if and only if [17]
  3. Filter on [19][7] if is a proper dual ideal on That is, a filter on is a non−empty subset of that is closed under finite intersections and upward closed in Equivalently, it is a prefilter that is upward closed in In words, a filter on is a family of sets over that (1) is not empty (or equivalently, it contains ), (2) is closed under finite intersections, (3) is upward closed in and (4) does not have the empty set as an element.
    • Warning: Some authors, particularly algebrists, use "filter" to mean a dual ideal; others, particularly topologists, use "filter" to mean a proper/non–degenerate dual ideal.[20] It is recommended that readers always check how "filter" is defined when reading mathematical literature. However, the definitions of "ultrafilter," "prefilter," and "filter subbase" always require non-degeneracy. This article uses Henri Cartan's original definition of "filter",[3][4] which required non–degeneracy.
    • A dual filter on is a family whose dual is a filter on Equivalently, it is an ideal on that does not contain as an element.
    • The power set is the one and only dual ideal on that is not also a filter. Excluding from the definition of "filter" in topology has the same benefit as excluding from the definition of "prime number": it obviates the need to specify "non-degenerate" (the analog of "non-unital" or "non-") in many important results, thereby making their statements less awkward.
  4. Prefilter or filter base[7][21] if is proper and directed downward. Equivalently, is called a prefilter if its upward closure is a filter. It can also be defined as any family that is equivalent (with respect to ) to some filter.[8] A proper family is a prefilter if and only if [8] A family is a prefilter if and only if the same is true of its upward closure.
    • If is a prefilter then its upward closure is the unique smallest (relative to ) filter on containing and it is called the filter generated by A filter is said to be generated by a prefilter if in which is called a filter base for
    • Unlike a filter, a prefilter is not necessarily closed under finite intersections.
  5. π–system if is closed under finite intersections. Every non–empty family is contained in a unique smallest π–system called the π–system generated by which is sometimes denoted by It is equal to the intersection of all π–systems containing and also to the set of all possible finite intersections of sets from :
    • A π–system is a prefilter if and only if it is proper. Every filter is a proper π–system and every proper π–system is a prefilter but the converses do not hold in general.
    • A prefilter is equivalent (with respect to ) to the π–system generated by it and both of these families generate the same filter on
  6. Filter subbase[7][22] and centered[8] if and satisfies any of the following equivalent conditions:
    1. has the finite intersection property, which means that the intersection of any finite family of (one or more) sets in is not empty; explicitly, this means that whenever then
    2. The π–system generated by is proper; that is,
    3. The π–system generated by is a prefilter.
    4. is a subset of some prefilter.
    5. is a subset of some filter.
    • Assume that is a filter subbase. Then there is a unique smallest (relative to ) filter containing called the filter generated by , and is said to be a filter subbase for this filter. This filter is equal to the intersection of all filters on that are supersets of The π–system generated by denoted by will be a prefilter and a subset of Moreover, the filter generated by is equal to the upward closure of meaning [8] However, if and only if is a prefilter (although is always an upward closed filter subbase for ).
    • A  –smallest (meaning smallest relative to  ) prefilter containing a filter subbase will exist only under certain circumstances. It exists, for example, if the filter subbase happens to also be a prefilter. It also exists if the filter (or equivalently, the π–system) generated by is principal, in which case is the unique smallest prefilter containing Otherwise, in general, a  –smallest prefilter containing might not exist. For this reason, some authors may refer to the π–system generated by as the prefilter generated by However, if a  –smallest prefilter does exist (say it is denoted by ) then contrary to usual expectations, it is not necessarily equal to "the prefilter generated by " (that is, is possible). And if the filter subbase happens to also be a prefilter but not a π-system then unfortunately, "the prefilter generated by this prefilter" (meaning ) will not be (that is, is possible even when is a prefilter), which is why this article will prefer the accurate and unambiguous terminology of "the π–system generated by ".
  7. Subfilter of a filter and that is a superfilter of [17][23] if is a filter and where for filters,
    • Importantly, the expression "is a superfilter of" is for filters the analog of "is a subsequence of". So despite having the prefix "sub" in common, "is a subfilter of" is actually the reverse of "is a subsequence of." However, can also be written which is described by saying " is subordinate to " With this terminology, "is subordinate to" becomes for filters (and also for prefilters) the analog of "is a subsequence of,"[24] which makes this one situation where using the term "subordinate" and symbol may be helpful.

There are no prefilters on (nor are there any nets valued in ), which is why this article, like most authors, will automatically assume without comment that whenever this assumption is needed.

Basic examples

[edit]

Named examples

  • The singleton set is called the indiscrete or trivial filter on [25][10] It is the unique minimal filter on because it is a subset of every filter on ; however, it need not be a subset of every prefilter on
  • The dual ideal is also called the degenerate filter on [9] (despite not actually being a filter). It is the only dual ideal on that is not a filter on
  • If is a topological space and then the neighborhood filter at is a filter on By definition, a family is called a neighborhood basis (resp. a neighborhood subbase) at if and only if is a prefilter (resp. is a filter subbase) and the filter on that generates is equal to the neighborhood filter The subfamily of open neighborhoods is a filter base for Both prefilters also form a bases for topologies on with the topology generated being coarser than This example immediately generalizes from neighborhoods of points to neighborhoods of non–empty subsets
  • is an elementary prefilter[26] if for some sequence
  • is an elementary filter or a sequential filter on [27] if is a filter on generated by some elementary prefilter. The filter of tails generated by a sequence that is not eventually constant is necessarily not an ultrafilter.[28] Every principal filter on a countable set is sequential as is every cofinite filter on a countably infinite set.[9] The intersection of finitely many sequential filters is again sequential.[9]
  • The set of all cofinite subsets of (meaning those sets whose complement in is finite) is proper if and only if is infinite (or equivalently, is infinite), in which case is a filter on known as the Fréchet filter or the cofinite filter on [10][25] If is finite then is equal to the dual ideal which is not a filter. If