The improper filter
A filter is improper if it is the whole thing … whatever thing the filters are filters in.
Definition (improper filter in a lattice or other proset)
If is a lattice or even a proset, then is an filter in itself, the improper filter.
Definition (improper filter on a set)
If is a set, then the improper filter on is the power set of .
Of course, the improper filter on is simply the improper filter in the power set of .
The improper filter contrasts with proper filters (all of the other filters).
The improper filter does not count as a prime filter or an ultrafilter, because it is too simple to be simple, although it may satisfy careless or naïve definitions of those concepts (which must be required to be proper).
Conversely, sometimes one defines ‘filter’ to exclude the improper filter, especially in analysis and topology; however, this makes the set of all filters less nice to work with.
Created on August 17, 2012 21:52:06
by Toby Bartels