# Every Filter has Limit Point implies Every Ultrafilter Converges

Jump to navigation
Jump to search

## Theorem

Let $T = \struct {S, \tau}$ be a topological space.

Let each filter on $S$ have a limit point in $S$.

Then each ultrafilter on $S$ converges to a point in $S$.

## Proof

Let $T = \struct {S, \tau}$ be such that each filter on $S$ has a limit point in $S$.

Let $\FF$ be an ultrafilter on $S$.

By hypothesis, $\FF$ has a limit point $x \in S$.

By Limit Point iff Superfilter Converges, there exists a filter $\FF'$ on $S$ which converges to $x$ satisfying $\FF \subseteq \FF'$.

Because $\FF$ is an ultrafilter, $\FF = \FF'$.

This article, or a section of it, needs explaining.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Explain}}` from the code. |

Thus $\FF$ converges to $x$.