Ultrafilters Are Maximal

Ultra filter A filer $\mathcal{F}$ containing either $Y$ or $Y^\complement$ for any $Y \subseteq X$. Two days ago, I spent an afternoon to understand Dudley’s proof of this little result. A filter is contained in some ultrafilter. A filter is an ultrafilter iff it’s maximal. At the first glance, I didn’t even understand the organisation of the proof! I’m going to rephrase it for future reference. [Read More]

Filters and Nets

Some basic examples

Motivation $\gdef\vois#1#2{\mathcal{V}_{#1}(#2)}$ Nets and filters are used for describing convergence in a non-metric space $X$. Denote the collection of (open) neighbourhoods of $x \in X$ by $\vois{X}{x}$. Definitions and examples Directed set A partially ordered set $I$ such that $$\forall i, j \in I: i \le j, \exists k \in I: k \ge j.$$ Net A function in $X^I$, where $I$ is a directed set. example: any sequence in $X^\N$ Convergence of nets to a point $x_i \to x$ if $$\forall A \in \vois{X}{x}, \exists j \in I: \forall k \ge j, x_k \in A. [Read More]