PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: Very high
[parent] filter basis (Definition)

A filter subbasis for a set $ S$ is a collection of subsets of $ S$ which has the finite intersection property.

A filter basis $ B$ for a set $ S$ is a non-empty collection of subsets of $ S$ which does not contain the empty set such that, for every $ u \in B$ and every $ v \in B$, there exists a $ w \in B$ such that $ w \subset u \cap v$.

Given a filter basis $ B$ for a set $ S$, the set of all supersets of elements of $ B$ forms a filter on the set $ S$. This filter is known as the filter generated by the basis.

Given a filter subbasis $ B$ for a set $ S$, the set of all supersets of finite intersections of elements of $ B$ is a filter. This filter is known as the filter generated by the subbasis.

Two filter bases are said to be equivalent if they generate the same filter. Likewise, two filter subbases are said to be equivalent if they generate the same filter.

Note: Not every author requires that filters do not contain the empty set. Because every filter is a filter basis then accordingly some authors allow that a filter base can contain the empty set.



"filter basis" is owned by rspuzio. [ full author list (3) | owner history (2) ]
(view preamble)

View style:

Other names:  filter base
Also defines:  filter subbasis, equivalent

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: generate, subbasis, intersections, finite, basis, filter generated by, filter, supersets, empty set, contain, finite intersection property, subsets, collection
There are 127 references to this entry.

This is version 8 of filter basis, born on 2004-10-06, modified 2008-01-02.
Object id is 6302, canonical name is FilterBasis.
Accessed 7447 times total.

Classification:
AMS MSC54A99 (General topology :: Generalities :: Miscellaneous)
 03E99 (Mathematical logic and foundations :: Set theory :: Miscellaneous)

Pending Errata and Addenda
None.
[ View all 4 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)