title: Filtre (mathématiques)
text: # Filtre (mathématiques)
  
  En mathématiques, et plus particulièrement en topologie générale, un filtre est une structure définie sur un ensemble, et permettant d'étendre la notion de limite aux situations les plus générales. La théorie des filtres a été inventée, en 1937, par Henri $Cartan^,$ et utilisée par Bourbaki.
  
  Les filtres ont permis en particulier une démonstration élégante du théorème de Tychonov. Le cas particulier important des ultrafiltres joue un rôle fondamental dans la construction de prolongements d'objets classiques tels que les réels (donnant naissance aux hyperréels), ou les espaces localement compacts (permettant une construction du compactifié de Stone-Čech).
  
  ## Avant-propos
  
  En mathématiques, la notion de limite est au cœur de nombreux phénomènes et donne lieu à une théorie appelée topologie :
  
      (1) Si E et F sont des espaces topologiques, f une fonction de E dans F et a un point de E, on dit que « f(x) tend vers une limite ℓ ∈ F lorsque x tend vers a » si pour tout voisinage V de ℓ dans F, il existe un voisinage U de a dans E tel que f(U) ⊂ V.
      (2) Si A est une partie non vide de la droite réelle achevée ℝ et a ≠ –∞ est un point adhérent à A, on appelle limite à gauche de f au point a, relativement à A, une quantité ℓ ∈ F telle que pour tout voisinage V de ℓ dans F, il existe un voisinage U de a dans ℝ tel que f(U ∩ A ∩ ]–∞, a ⊂ V ; lorsque F est séparé, une telle quantité ℓ est unique et notée $\lim _{x\to a,x<a,x\in A}f(x)$.
  
  Lorsque a admet un système fondamental dénombrable de voisinages, par exemple lorsque E est un espace métrisable, l'utilisation de suites est commode pour étudier les limites :
  
  * dans le cas (1) ci-dessus, pour que f(x) tende vers une limite ℓ ∈ F lorsque x tend vers a, il faut et il suffit que pour toute suite $(x_n)$ de E convergeant vers a, la suite $(f(x_n))$ converge vers ℓ dans F ;
  * dans le cas (2), pour que ℓ ∈ F soit limite à gauche de F au point a, relativement à A, il faut et il suffit que pour toute suite $(x_n)$ de A ∩ ]–∞, a[ convergeant vers a, la suite $(f(x_n))$ converge vers ℓ dans F.
  
  La caractérisation des limites au moyen de suites devient impossible lorsque les points de E n'admettent pas un système fondamental dénombrable de voisinages. C'est le cas, par exemple, si E est un espace localement convexe limite inductive stricte d'une suite strictement croissante d'espaces de Fréchet. De tels exemples se rencontrent en théorie des distributions. On peut alors remplacer les suites par des suites généralisées (ou « suites de Moore-Smith » ou filets). Mais selon Bourbaki,
  
     « L'introduction des filtres par H. Cartan, tout en apportant un instrument très précieux en vue de toutes sortes d'applications (où il se substitue avantageusement à la « notion de convergence à la Moore-Smith »), est venue, grâce à la théorie des ultrafiltres, achever d'éclaircir et de simplifier la théorie. »
  
  Néanmoins, comme l'écrit Eric Schechter,
  
     « Filters have many other uses — in set theory, logic, algebra, etc. — but filters can also be used to study convergences. In fact, nets and filters yield essentially the same results about convergences. Some mathematicians prefer nets or prefer filters, and use only one system or the other. It is this author's opinion that the ideas of nets and filters complement each other; they should not be viewed as two separate systems of ideas. »
  
  Les filets permettent de traiter les problèmes classiques de topologie (ceux ayant trait aux questions de convergence) au même titre que les filtres, tandis que les filtres s'avèrent, sinon nécessaires, du moins mieux adaptés, pour des problèmes de topologie plus exotiques.
  
  ## Définition
  
  Étant donné un ensemble E, on appelle filtre sur E toute partie ℱ de P(E) (ensemble des parties de E) telle que :
  
  * toute partie de E incluant un élément de ℱ appartient à ℱ ;
  * toute intersection finie d'éléments de ℱ appartient à ℱ ;
  * l'ensemble vide n'appartient pas à ℱ.
  
  Remarques :
  
  * l'axiome 2 est équivalent à la conjonction des deux axiomes suivants :
     * 2a. l'intersection de deux éléments de ℱ appartient à ℱ,
     * 2.b. E (l'intersection de la famille vide) appartient à ℱ ;
  * les axiomes 2.b et 3 montrent qu'il n'y a pas de filtre sur l'ensemble vide ;
  * en présence de l'axiome 1 :
     * l'axiome 2.b équivaut à : ℱ est non vide ;
     * l'axiome 3 équivaut à : ℱ ≠ P(E).
  
  ## Exemples
  
  * Les éléments en vert foncé forment un filtre : ce sont tous les sous-ensembles qui incluent {1, 4}. Si on ajoute les éléments en vert clair, on a le filtre principal composé des éléments qui incluent {1}.Soit A un sous-ensemble non vide d'un ensemble E. L'ensemble ${\mathcal {F}}_{A}=\{X\in P(E)\mid A\subseteq X\}$ est un filtre, qu'on dit être un filtre principal. Le filtre principal ${\mathcal {F}}_{\{x\}}$ ($x\in E$) est souvent noté ${\mathcal {F}}_{x}$.
  * Soit E un espace topologique et x un élément de E. L'ensemble des voisinages de x est un filtre sur E appelé filtre des voisinages de x. Dans le cas particulier où la topologie de E est discrète, on retombe sur un filtre principal puisque pour la topologie discrète, une partie de E est un voisinage de x si et seulement si elle contient x.
  * Le filtre de Fréchet sur un ensemble infini E est l'ensemble des parties de E ayant un complémentaire fini dans E. En absence de précision, un filtre de Fréchet est considéré sur l'ensemble $\mathbb {N}$ des entiers naturels.
  * Soit A un sous-ensemble de E et ℱ un filtre sur E. La trace $ℱ_A$ de ℱ sur A est un filtre sur A si et seulement si tout élément de ℱ rencontre A. Cette trace $ℱ_A$ est alors appelée le filtre induit par ℱ sur A.
  * Soit $({\mathcal {F}}_{i})_{i\in I}$ une famille non vide de filtres sur un ensemble E. L'ensemble ${\mathcal {F}}=\bigcap \nolimits _{i\in I}{\mathcal {F}}_{i}$ est un filtre sur E, appelé filtre intersection de la famille $({\mathcal {F}}_{i})_{i\in I}$.
  
  ## Bases de filtre
  
  ### Définition
  
  Soit E un ensemble. Une partie ℬ de P(E) est une base de filtre si l'ensemble ℱ = $\{A\in P(E)\mid A$ inclut un élément de ℬ$\$ est un filtre. On dit alors que ℬ est une base du filtre ℱ ou encore que ℱ est le filtre engendré par ℬ.
  
  ### Condition
  
  Pour que ℬ soit une base de filtre, il faut et il suffit qu'il possède les trois propriétés suivantes :
  
  * ℬ est non vide,
  * ℬ ne contient pas l'ensemble vide,
  * L'intersection de deux éléments de ℬ inclut un élément de ℬ.
  
  De la définition de ℱ à partir de ℬ, on déduit que :
  
  * ${\mathcal {F}}=\varnothing \Leftrightarrow {\mathcal {B}}=\varnothing$ ;
  * $\varnothing \in {\mathcal {F}}\Leftrightarrow \varnothing \in {\mathcal {B}}$ ;
  * ℱ vérifie toujours la propriété (3) de la définition des filtres ;
  * ${\mathcal {B}}\subset {\mathcal {F}}$ donc si ℱ vérifie la propriété (4) alors en particulier $\forall (X,Y)\in {\mathcal {B}}^{2}~X\cap Y\in {\mathcal {F}}$, ce qui est une reformulation de la troisième condition ci-dessus ;
  * réciproquement, si $\forall (X,Y)\in {\mathcal {B}}^{2}~X\cap Y\in {\mathcal {F}}$ alors ℱ vérifie (4) car pour tout couple (A,B) d'éléments de ℱ, A∩B contient un élément de ℱ donc — comme ℱ vérifie (3) — A∩B est lui-même un élément de ℱ.
  
  Noter qu'une base de filtre ℬ, collection d'ensembles quelconques satisfaisant aux trois conditions ci-dessus, est ainsi définie indépendamment de tout filtre particulier, et même de tout ensemble englobant E. Pour tout ensemble E surensemble de tous les éléments de ℬ, il existe un filtre ℱ et un seul sur E dont ℬ est base.
  
  $Remarque^,$ : étant donné un filtre ℱ, un sous-ensemble ℬ de ℱ en est une base si et seulement si tout élément de ℱ contient un élément de ℬ.
  
  Une prébase de filtre sur E est un ensemble non vide 𝒫 de parties de E dont toute intersection finie est non vide. Ces intersections finies forment alors une base du plus petit filtre contenant 𝒫, et l'on dit que 𝒫 est une prébase de ce filtre.
  
  ### Exemples
  
  * {{x}} est une base du filtre principal $ℱ_x.$
  * Soit E un espace topologique et x un élément de E. Une base de voisinages de x est une base du filtre des voisinages de x.
  * $\{[-r,r]\mid r>0\}$ est une base du filtre des voisinages de 0 dans ℝ ; $\-r,r[\mid r>0\}$ en est une autre ; $\-1/n,1/n[\mid n\in \mathbb {N} ^{*}\}$ en est encore une autre (cette dernière a l'avantage d'être dénombrable).
  * Plus généralement, soit E un espace métrique et x un point de E, l'ensemble des boules ouvertes (ou fermées) de centre x et de rayon r > 0 est une base du filtre des voisinages de x.
  * Dans ℝ, $\{[-r,0[\cup ]0,r]\mid r>0\}$ est une base du filtre des voisinages épointés de 0, permettant de définir la limite épointée (ou limite par valeurs différentes) d'une fonction en 0.
  * Dans ℝ, $\0,r]\mid r>0\}$ est une base du filtre des voisinages à droite de 0 (épointés), permettant de définir la limite à droite en 0 (ou limite par valeurs strictement supérieures).
  * Dans ℕ, $\{[n,+\infty [\mid n\in \mathbb {N} \}$ est une base du filtre de Fréchet, permettant de définir la notion de limite d'une suite.
  * Dans $ℝ^N,$ l'ensemble des complémentaires des boules de centre 0 est une base du filtre des parties de complémentaire borné. Il permet de définir la notion de limite à l'infini d'une fonction définie sur $ℝ^N.$
  
  ## Finesse d'un filtre et ultrafiltres
  
  ### Définition
  
  Soient $ℱ_1$ et $ℱ_2$ deux filtres sur un ensemble E. On dit que $ℱ_2$ est plus fin que $ℱ_1$ — ou que $ℱ_1$ est plus grossier que $ℱ_2$ — si $ℱ_1$ ⊂ $ℱ_2.$ Supposons que $ℱ_1$ (resp. $ℱ_2)$ ait pour base $ℬ_1$ (resp. $ℬ_2).$ Pour que $ℱ_2$ soit plus fin que $ℱ_1,$ il faut et il suffit que tout élément de $ℬ_1$ inclue un élément de $ℬ_2.$
  
  ### Propriétés
  
  Le filtre intersection d'une famille non vide de filtres sur E est moins fin que chaque filtre de cette famille.
  
  La réunion de toute chaîne non vide de filtres sur E est un filtre sur E. C'est le plus grossier des filtres sur E plus fins que chaque filtre de cette chaîne.
  
  Pour qu'il existe un filtre sur E plus fin que $ℱ_1$ et que $ℱ_2,$ il faut et il suffit que l'intersection d'un élément de $ℱ_1$ et d'un élément de $ℱ_2$ ne soit jamais vide.
  
  ### Ultrafiltre
  
  Un ultrafiltre est un filtre maximal pour l'inclusion. En d'autres termes, ℱ est un ultrafiltre si et seulement si ℱ est le seul filtre plus fin que ℱ.
  
  Les filtres principaux du type ${\mathcal {F}}_{x}$ (cf. exemples ci-dessus) sont des ultrafiltres (souvent aussi appelés ultrafiltres triviaux).
  
  Tout filtre est inclus dans un ultrafiltre ; autrement dit, pour tout filtre ℱ, il existe un ultrafiltre plus fin que ℱ. C'est une conséquence classique de l'axiome du choix ou de son équivalent le lemme de Zorn ; mais, réciproquement, l'axiome du choix s'avère nécessaire pour pouvoir construire des ultrafiltres non principaux (il y a des modèles de ZF dans lesquels il n'en existe pas sur les entiers, par exemple).
  
  En revanche l'énoncé UF = « tout filtre peut être prolongé en un ultrafiltre » est strictement plus faible que l'axiome du choix, c'est-à-dire que (si ZF est consistante) alors il existe des modèles de ZF+UF dans lesquels AC est faux.
  
  On notera qu'un filtre ${\mathcal {F}}$ sur un ensemble E est un ultrafiltre si et seulement si toute partie A de E possède la propriété suivante: $A\in {\mathcal {F}}$ ou $A^{c}\in {\mathcal {F}}$. Dans l'énoncé précédent, $A^{c}$ est le complémentaire de A dans E et la disjonction est nécessairement exclusive.
  
  Il est immédiat qu'un filtre ${\mathcal {F}}$ sur E présentant la propriété $\forall A\in {\mathcal {P}}(E),A\in {\mathcal {F}}\lor A^{c}\in {\mathcal {F}}$ est un ultrafiltre, les éléments de ${\mathcal {P}}(E)$ ne lui appartenant pas ayant nécessairement une intersection vide avec l'un de ses éléments. La réciproque se démontre par l'absurde sur la propriété suivante: soit ${\mathcal {F}}$ filtre sur E, et A, partie de E telle que $A^{c}$ ne soit pas élément de ${\mathcal {F}}$, alors, nécessairement, l'intersection de A avec tout élément de ${\mathcal {F}}$ est non vide (sinon le complémentaire de A contiendrait un élément de ${\mathcal {F}}$ et serait donc élément de ${\mathcal {F}}$). Donc ${\mathcal {F}}\cup \{A\}$ est prébase d'un filtre contenant ${\mathcal {F}}$ et dont A est élément.
  
  ## Filtre convergent, point adhérent à un filtre
  
  Soient E un espace topologique et x un élément de E. On dit que
  
  * un filtre sur E converge vers x s'il est plus fin que le filtre des voisinages de x ; on exprime cela aussi en disant que x est une limite du filtre
  * une base de filtre sur E converge vers x si le filtre qu'elle engendre converge vers x.
  * x est adhérent à un filtre ℱ (sur E) si tout voisinage V de x et tout élément F de ℱ se rencontrent. Autrement dit il existe un filtre ℱ ' qui contient à la fois ℱ et ${\mathcal {V}}(x)$ ou encore il existe un filtre ℱ ' plus fin que ℱ qui converge vers x.
  
  L'ensemble des points adhérents à un filtre ℱ est un fermé : c'est $\cap _{F\in {\mathcal {F}}}{\overline {F}}$.
  
  Si un filtre ℱ converge vers x alors x est adhérent à ℱ. La réciproque est vraie si ℱ est un ultrafiltre.
  
  L'espace E est séparé si, et seulement si un filtre sur E ne peut avoir plus d'une limite.
  
  ## Filtre image, limite d'une fonction
  
  Soit E et F deux ensembles, f une fonction de E dans F et ℱ un filtre sur E. Le filtre image de ℱ par f est par définition l'ensemble des parties de F dont l'image réciproque par f appartient au filtre ℱ. Une base de ce filtre est l'ensemble f(ℱ) des images directes des éléments de ℱ.
  
  Lorsque F est un espace topologique et y un élément de F, on dit que f converge vers y suivant ℱ, et on écrit $y=\lim \nolimits _{\mathcal {F}}f$, si f(ℱ) converge vers y. Ceci généralise la notion habituelle de limite : lorsque E est également un espace topologique, a est un point de E et ℱ est le filtre des voisinages de a, on dit, lorsque f converge vers y suivant ℱ, que f(x) tend vers y lorsque x tend vers a ; si A est un sous-espace de E, a est un point adhérent à A et ℱ est la trace sur A du filtre des voisinages de a, on dit, lorsque f converge vers y suivant ℱ, que y est limite de f au point a, relativement au sous-espace A. On écrit $y=\lim \limits _{x\rightarrow a}f\left(x\right)$ dans le premier cas, $y=\lim \limits _{x\rightarrow a,x\in A}f\left(x\right)$ dans le second. On dit que f est continue au point $a\in E$ si $f(a)=\lim \limits _{x\rightarrow a}f\left(x\right)$.
  
  On peut également définir les notions de limites inférieure et supérieure, suivant un filtre, d'une fonction à valeurs dans ℝ.
  
  Théorème — Soit E et F des espaces topologiques.
  
      (1) Si f est continue au point a et ${\mathcal {F}}$ est un filtre de E convergeant vers a, alors $f({\mathcal {F}})$ converge vers $f(a)$.
      (2) Inversement, f est continue au point a si l'une des conditions équivalentes suivantes est vérifiée :
         (a) Pour tout filtre ${\mathcal {F}}$ de E convergeant vers a, $f({\mathcal {F}})$ converge vers $f(a)$.
         (b) Pour tout ultrafiltre ${\mathcal {U}}$ de E convergeant vers a, $f({\mathcal {U}})$ converge vers $f(a)$.
  
  (1) Si f est continue au point a, pour tout voisinage V de $f(a)$ dans F, il existe un voisinage U de a dans E tel que $f(U)\subset V$. Alors si ${\mathcal {F}}$ est un filtre de E convergeant vers a, on a $U\in {\mathcal {F}}$, donc $V\in f({\mathcal {F}})$, et donc $f({\mathcal {F}})$ converge vers $f(a)$.
  
  (2) Étant donné un filtre ${\mathcal {F}}$ de E convergeant vers a, il existe un ultrafiltre plus fin que lui, donc convergeant vers a. Puisque tout ultrafiltre est un filtre, les conditions (a) et (b) sont équivalentes. Supposons la condition (a) vérifiée. Soit ${\mathcal {F}}$ le filtre des voisinages de a dans E. Puisque $f({\mathcal {F}})$ converge vers $f(a)$, tout voisinage de $f(a)$ dans F appartient à $f({\mathcal {F}})$, donc il existe un voisinage U de a dans E tel que $f(U)\subset V$, ce qui montre que f est continue au point a.
  
  ## Filtre élémentaire
  
  Soit $(x_{i})_{i\in I}$ une suite généralisée (ou filet) dans un ensemble E et, pour tout $i\in I$, ${\mathcal {B}}_{i}=\{x_{k}\mid k\geq i\}$. L'ensemble ${\mathcal {B}}=\{{\mathcal {\mathcal {B}}}_{i}\mid i\in I\}$ est une base de filtre de E, appelé base du filtre élémentaire associé au filet $(x_{i})_{i\in I}$. Ce filtre élémentaire est l'image du filtre de Fréchet de I par la fonction $i\mapsto x_{i}$ de I dans E.
  
  Réciproquement, soit ${\mathcal {F}}$ un filtre sur un ensemble E, $I$ une base de ${\mathcal {F}}$, filtrante pour l'inclusion. Pour tout $i\in I$, soit $x_{i}\in i$. Le filet $(x_{i})_{i\in I}$ est dit associé à ${\mathcal {F}}$ (il n'y a pas unicité d'un filet associé à un filtre).
  
  On dit qu'un filet $(x_{i})_{i\in I}$ d'un ensemble E converge vers un point a de E si pour tout voisinage U de a, il existe $i\in I$ tel que $x_{k}\in U$ pour tout $k\geq i$.
  
  Lemme — Soit E un espace topologique, $(x_{i})_{i\in I}$ un filet de E, ${\mathcal {F}}$ le filtre élémentaire associé, et $a\in E$. Les conditions suivantes sont équivalentes :
  
      (a) ${\mathcal {F}}$ converge vers a.
      (b) $(x_{i})_{i\in I}$ converge vers a.
  
  Supposons (a) vérifié et soit V un voisinage de a. Il existe donc $i\in I$ tel que ${\mathcal {F}}_{i}\subset V$, donc $x_{k}\in V$ pour tout $k\geq i$, et (b) est vérifié. La réciproque se montre de la même manière.
  
  Théorème — Un filtre sur un ensemble E est le filtre intersection des filtres élémentaires plus fins que lui.
  
  Soit ${\mathcal {F}}$ un filtre sur E et $({\mathcal {A}}_{i})_{i\in I}$ une base de ${\mathcal {F}}$. Soit $\Phi (I)$ l'ensemble des parties finies de I et, pour tout $J\in \Phi (I)$, ${\mathcal {B}}_{J}=\bigcap \nolimits _{i\in J}{\mathcal {A}}_{i}$. Alors $\left({\mathcal {B}}_{J}\right)_{J\in \Phi (I)}$ est une base de ${\mathcal {F}}$ et si $J\subset K$ ($J,K\in \Phi (I)$), alors ${\mathcal {B}}_{K}\subset {\mathcal {B}}_{J}$. Soit $a_{J}\in {\mathcal {B}}_{J}$ pour tout $J\in \Phi (I)$. Le filtre élémentaire associé au filet $(a_{J})_{J\in \Phi (I)}$ est plus fin que ${\mathcal {F}}$, donc le filtre ${\mathcal {G}}$, intersection des filtres élémentaires plus fins que ${\mathcal {F}}$, existe. Ce filtre ${\mathcal {G}}$ est évidemment plus fin que ${\mathcal {F}}$. Supposons qu'il soit strictement plus fin. Il existerait alors un ensemble $M\in {\mathcal {G}}$ tel que ${\mathcal {B}}_{J}\cap (E-M)\neq \emptyset$ pour tout $J\in \Phi (I)$. Soit $b_{J}\in {\mathcal {B}}_{J}\cap (E-M)$ pour tout $J\in \Phi (I)$. Le filtre élémentaire associé au filet $(b_{J})_{J\in \Phi (I)}$ serait plus fin que ${\mathcal {F}}$ et M n'appartiendrait pas à ce filtre, contrairement à la définition de ${\mathcal {G}}$
  
  Corollaire — Soit ${\mathcal {F}}$ un filtre sur un espace topologique E et $a\in E$. Les conditions suivantes sont équivalentes :
  
      (a) ${\mathcal {F}}$ converge vers a.
      (b) Tout filtre élémentaire plus fin que ${\mathcal {F}}$ converge vers a.
      (c) Tout filet associé à ${\mathcal {F}}$ converge vers a.
  
  Il est clair que (b) équivaut à (c) et que (a) implique (b). Réciproquement, si la condition (b) est vérifiée, le filtre intersection des filtres élémentaires plus fins que ${\mathcal {F}}$, c'est-à-dire ${\mathcal {F}}$ d'après le théorème, converge vers (a), donc la condition (a) est vérifiée.
  
  De même :
  
  Corollaire — Soit ${\mathcal {F}}$ un filtre sur un espace topologique E et $a\in E$. Les conditions suivantes sont équivalentes :
  
      (a) a est un point adhérent au filtre ${\mathcal {F}}$.
      (b) Il existe un filtre élémentaire ${\mathcal {G}}$ plus fin que ${\mathcal {F}}$, convergeant vers a.
      (c) Il existe un filet associé à ${\mathcal {G}}$, convergeant vers a.
  
  On a vu plus haut que (a) équivaut à (b). D'autre part, (b) équivaut à (c) d'après le lemme.
  
  ## Compacité
  
  Les filtres permettent une caractérisation simple des espaces topologiques compacts.
  
  Théorème : Un espace topologique séparé E est compact si et seulement si tout filtre de E admet un point adhérent, ou encore si et seulement si tout ultrafiltre de E converge.
  
  Cette caractérisation qui généralise le théorème de Bolzano-Weierstrass permet de démontrer élégamment le théorème de Tychonov.
  
  Par définition, un espace topologique est compact s'il est séparé et quasi-compact, et un espace E est quasi-compact si de toute famille de fermés de E d'intersection vide on peut extraire une famille finie d'intersection vide. On prouve ici l'équivalence :
  
  * Soient E quasi-compact et ℱ un filtre sur E. Pour toute partie finie J de ℱ, $∩_{A∈J}$ A ≠ ∅ (puisque ℱ est un filtre) et a fortiori $∩_{A∈J}$ A ≠ ∅ donc (par quasi-compacité) $∩_{A∈ℱ}$ A ≠ ∅, c'est-à-dire que ℱ a des points adhérents.
  * On suppose que tout filtre sur E admet un point adhérent. Soit $(F_i)_{i∈I}$ une famille de fermés de E pour laquelle il est impossible d'extraire une famille finie d'intersection vide : pour toute partie finie J de I, l'ensemble $F_J$ défini par $F_J$ = $∩_{i∈J}$ $F_i$ est non vide. Alors la famille des $F_J$ (indexée par les parties finies J de I) est non vide (car elle comprend au moins $F_∅,$ égal à E par convention), elle est constituée d'ensembles non vides, et $F_J∩F_K$ = $F_{J∪K}.$ C'est donc une base de filtre, et le filtre ℱ sur E qu'elle engendre admet par hypothèse un point adhérent : ∅ ≠ $∩_{A∈ℱ}$ A ⊂ $∩_{i∈I}$ $F_i$ = $∩_{i∈I}$ $F_i.$ On a prouvé que toute famille de fermés dont les intersections finies sont non vides est d'intersection non vide, ce qui exprime la quasi-compacité de E.
  
  ## Filtre de Cauchy
  
  ### Espace métrique
  
  Dans un espace métrique, une suite est dite de Cauchy si pour tout réel r strictement positif, il existe un rang à partir duquel les termes de la suite sont tous distants les uns des autres de moins de r.
  
  Cette notion se généralise aux filtres en définissant : dans un espace métrique, un filtre est de Cauchy si pour tout réel strictement positif, il existe un élément du filtre de diamètre inférieur ou égal à ce réel.
  
  On vérifie qu'une suite est de Cauchy si et seulement si le filtre associé (le filtre image par la suite du filtre de Fréchet sur ℕ) est lui aussi de Cauchy.
  
  Un espace métrique est dit complet si toute suite de Cauchy y converge. On montre que cela équivaut à dire que tout filtre de Cauchy y converge.
  
  Par contre, dans un espace métrique quelconque, un filtre convergent, tout comme une suite convergente, est toujours de Cauchy.
  
  ### Espace uniforme
  
  Dans un espace uniforme, une suite de Cauchy est définie par le fait que pour tout entourage, il existe un rang à partir duquel tous les couples de termes de la suite appartiennent à l'entourage. Un filtre de Cauchy est défini par le fait que pour tout entourage, il existe un élément du filtre dont le carré cartésien est sous-ensemble de cet entourage.
  
  Si l'espace uniforme est associé à un espace métrique, ces deux définitions équivalent aux définitions correspondantes données ci-dessus pour les espaces métriques.
  
  Dans un espace uniforme, la notion de complétude ne peut plus être définie de façon indifférente par la convergence des filtres de Cauchy ou des suites de Cauchy. Il existe ainsi dans un espace uniforme deux notions de complétude : on dit que l'espace uniforme est
  
  * complet si tout filtre de Cauchy y converge,
  * séquentiellement complet si toute suite de Cauchy y converge.
  
  La complétude tout court entraîne la complétude séquentielle ; la réciproque est vraie si l'espace uniforme peut être associé à une métrique, mais pas en général.
  
  Dans un espace uniforme, comme dans un espace métrique, les suites et les filtres convergents sont toujours de Cauchy.
  
  ## Filtres bornés
  
  Soit E un espace vectoriel topologique, ${\mathcal {F}}$ un filtre sur E. On dit que ${\mathcal {F}}$ est borné s'il contient une partie bornée de E.
  
  En particulier, si $(x_{i})_{i\in I}$ est un filet de E et ${\mathcal {F}}$ est le filtre élémentaire associé, ce filtre est borné si, et seulement s'il existe $i\in I$ tel que $\{x_{k}:k\geq i\}$ est un sous-ensemble borné de E. C'est le cas si $(x_{i})_{i\in I}$ est une suite de Cauchy (avec $I=\mathbb {N} )$.
  
  Soit E un espace localement convexe. Les conditions suivantes sont équivalentes :
  
  (a) Toute partie bornée et fermée de E est complète (pour la structure uniforme induite par celle de E).
  
  (b) Tout filtre de Cauchy borné de E est convergent.
  
  L'espace localement convexe E est dit quasi complet si l'une des conditions équivalentes ci-dessus est satisfaite.
  
  Démonstration des équivalences : Supposons (a) satisfaite, soit ${\mathcal {F}}$ un filtre de Cauchy borné de E et $A\in {\mathcal {F}}$ une partie bornée de E. La trace ${\mathcal {F}}_{A}$ sur A de ${\mathcal {F}}$ est un filtre de Cauchy sur l'adhérence A de A qui est une partie fermée et bornée de E. Donc ${\mathcal {F}}_{A}$ converge, et par suite ${\mathcal {F}}$ converge puisque ${\mathcal {F}}_{A}\subset {\mathcal {F}}$ ; donc (b) est satisfaite. Réciproquement, supposons (b) satisfaite, soit A une partie fermée bornée de A et ${\mathcal {F}}$ un filtre de Cauchy de A. Ce filtre est un filtre borné de E, donc converge, et (a) est donc satisfaite.
  
  