◀ ▲ ▶Branches / Topology / Axiom: Filter

Axiom: Filter

Let $X$ be a set. A filter $\mathcal F$ on $X$ is a set of subsets of $X$ fulfilling the following axioms:

1. $F$ contains with every set also all of its supersets, formally $$O\in F\wedge O\subseteq S\Rightarrow S\in F.$$
2. $F$ contains for each pair of set elements also their intersection, formally $$O_1,O_2\in\mathcal F\Rightarrow O_1\cap O_2\in\mathcal F.$$
3. $F$ is not the empty set and it does not contain the empty set $$\mathcal F\neq\emptyset\wedge \emptyset\not\in\mathcal F.$$

If $X$ has a filter $\mathcal F,$ then it is called filtered by $\mathcal F.$

Notes

• A filter can be defined for any set, not only for topological spaces.
• Any set of neighborhoods of a point is a filter according to its properties.

Mentioned in:

Definitions: 1 2
Proofs: 3
Propositions: 4

Thank you to the contributors under CC BY-SA 4.0!

Github:

References

Bibliography

1. Steen, L.A.;Seebach J.A.Jr.: "Counterexamples in Topology", Dover Publications, Inc, 1970
2. Jänich, Klaus: "Topologie", Springer, 2001, 7th Edition