Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Filter (set theory)
Summary
In mathematics, a filter on a set is a family of subsets such that:
and
if and , then
If , and , then
A filter on a set may be thought of as representing a "collection of large subsets", 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 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.
In this article, upper case Roman letters like denote sets (but not families unless indicated otherwise) and will denote the power set of A subset of a power set is called (or simply, ) where it is 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.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.