Filtre de Fréchet

Un article de Wikipédia, l'encyclopédie libre.

En topologie, le filtre de Fréchet, dû à Maurice René Fréchet, est le filtre F \subset \textbf{P}(\mathbb{N}) des complémentaires des parties finies de \mathbb{N}.

Ce filtre est engendré par la base de filtre \sigma(\mathbb{N}) constituée des segments terminaux S_{k}= \{i\in\mathbb{N}|i\geq k \}, \quad k=0,1,2 \ldots