Skip to main content
1 of 2

Convergent filters generated by (not necessarily countable) chains

Suppose $\langle X,\mathscr{O}\rangle$ is a topological space and let $\mathscr{O}_x$ be the family of all open neighbourhoods of $x\in X$. Let $\mathscr{F}$ be the filter generated from $\mathscr{O}_x$: $$\mathscr{F}=\{Q\in2^X\mid\exists_{V_1,\ldots,V_n\in\mathscr{O}_x}\,V_1\cap\ldots\cap V_n\subseteq Q\} $$

What I am interested in is under what conditions (if any) can we guarantee existence of a chain $C\subseteq\mathscr{O}_x$ (may be uncountable) such that the filter $\mathscr{F}_C$ generated by $C$ is equal to $\mathscr{F}$.