Proposition 2. Soit Eun ensemble non vide.
1. Si (Fi)i∈Iest une famille de filtres alors l’intersection Ti∈IFiest un filtre.
2. Soit Aune partie non vide de 2Estable par intersection, il existe un filtre
contenant Asi et seulement si pour tout A∈ A et pour tout B∈ A,
A∩B6=∅.
3. Soit Aune partie non vide de 2Estable par intersection telle que pour tout
A∈ A et pour tout B∈ A,A∩B6=∅, alors le plus petit filtre contenant
Aest F=B∈2E:∃A∈ A, A ⊂B.
4. Un filtre Fest un ultrafiltre si et seulement si A∈ F ou E\A∈ F pour
tout A∈2E.
Proof. Ti∈IFi6=∅du fait que tout filtre contient au moins E, on d´eduit facile-
ment que c’est un filtre.
S’il existe un filtre contenant A, alors c’est trivial que pour tout A∈ A et pour
tout B∈ A,A∩B6=∅car aucun filtre ne contient l’ensemble vide. Si pour tout
A∈ A et pour tout B∈ A,A∩B6=∅. Soit F=B∈2E:∃A∈ A, A ⊂B.F
est un filtre, en effet, il n’est pas vide car contient les ´el´ements de A, ne contient
pas l’ensemble vide car sinon Acontiendrait l’ensemble vide, on v´erifie ais´ement
que l’intersection d’´el´ements de Fest encore dans Fet que si C∈2Einclut un
´el´ement de F, alors C∈ F.
F=B∈2E:∃A∈ A, A ⊂Best bien sˆur un filtre contenant A, montrons
que c’est le plus petit filtre. Soit Gun filtre contenant A, si B∈ F, alors il
existe un ´el´ement A∈ A contenu dans B, mais comme en particulier A∈ G et
Gest un filtre, alors A∈ G.
Supposons que Fsoit un ultrafiltre. Soit A∈2Etel que A /∈ F. Pour tout
B∈ F, on a (E\A)∩B6=∅, en effet, s’il existait B∈ F tel que (E\A)∩B=∅,
alors B⊂Aet alors A∈ F, ce qui est contradictoire. Ainsi, on peut d´efinir le
filtre engendr´e par la partie F ∪ {E\A}, mais comme Fest un ultrafiltre, alors
F=σ(F ∪ {E\A}) et donc E\A∈ F. Supposons que Fne soit pas un ultra-
filtre, alors il existe un filtre Gcontenant strictement F. Soit alors A∈ G\F, si
E\Aappartenait `a F, il appartiendrait aussi `a G, mais alors ∅appartiendrait `a
Gqui est un filtre, ce qui est contradictoire.
En terme de convergence et de valeurs d’adh´erence, nous avons:
Proposition 3. Soit (E, T)un espace topologique.
1. Si un filtre Fconverge vers a, alors aest valeur d’adh´erence de F.
2. Si un ultrafiltre Fa pour valeur d’adh´erence a, alors Fconverge vers a.
Proof. Le premier point est trivial.
Si un ultrafiltre Fa pour valeur d’adh´erence a, on a pour tout V∈ V(a) et tout
A∈ F,V∩A6=∅,F´etant un ultrafiltre on en d´eduit F=σ(F ∪ V(a)), d’o`u
V(a)⊂ F.
2