NOTICE: Citizendium is still being set up on its newer server, treat as a beta for now; please see here for more.
Citizendium - a community developing a quality comprehensive compendium of knowledge, online and free. Click here to join and contribute—free
CZ thanks our previous donors. Donate here. Treasurer's Financial Report -- Thanks to our content contributors. --

Filter (mathematics)

From Citizendium, the Citizens' Compendium
(Redirected from Ultrafilter)
Jump to: navigation, search
This article is a stub and thus not approved.
Main Article
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
This editable Main Article is under development and not meant to be cited; by editing it you can help to improve it towards a future approved, citable version. These unapproved articles are subject to a disclaimer.

In set theory, a filter is a family of subsets of a given set which has properties generalising those of neighbourhood in topology.

Formally, a filter on a set X is a subset of the power set with the properties:

If G is a subset of X then the family

is a filter, the principal filter on G.

In a topological space , the neighbourhoods of a point x

form a filter, the neighbourhood filter of x.

Filter bases

A base for the filter is a non-empty collection of non-empty sets such that the family of subsets of X containing some element of is precisely the filter .


An ultrafilter is a maximal filter: that is, a filter on a set which is not properly contained in any other filter on the set. Equivalently, it is a filter with the property that for any subset either or the complement .

The principal filter on a singleton set {x}, namely, all subsets of X containing x, is an ultrafilter.