Ultrafiltre

En mathématiques, et plus précisément en théorie des ensembles, un ultrafiltre sur un

ensemble X est une collection de sous-ensembles de X qui est un filtre, et qui n'est pas
contenue dans un filtre plus grand. On peut considérer un ultrafiltre comme étant une mesure
(finiment additive), et alors tout sous-ensemble de X est, pour cette mesure, soit négligeable
(de mesure 0), soit valant « presque tout » X (de mesure 1). Cette notion se généralise aux
algèbres de Boole et aux ordres partiels, et a de nombreuses applications en théorie des
modèles et en topologie.

Définition

Étant donné un ensemble X, un ultrafiltre sur X est un ensemble U formé de sous-ensembles

de X tel que :

1. l'ensemble vide n'est pas un élément de U ;

2. toute partie de X incluant un élément de U est aussi un élément de U ;

3. L'intersection de deux éléments de U est également dans U ;

4. si A est un sous-ensemble de X, alors A ou son complémentaire X\A est un élément de

U.

Remarques :

les axiomes 1 et 3 impliquent que A et X\A ne peuvent être tous les deux éléments de U ; le
ou de l'axiome 4 est exclusif ;

tout ultrafiltre sur X est un filtre sur X, c'est-à-dire qu'il vérifie les axiomes 1, 2 et 3 et qu'il
est non vide (d'après l'axiome 4).
D'autres caractérisations des ultrafiltres sont données par le théorème suivant :

Pour tout filtre U sur X, les conditions suivantes sont équivalentes :

U est un ultrafiltre sur X ;

il n'y a pas de filtre sur X strictement plus fin que U, c'est-à-dire que
⊂ F entraîne U = F
pour tout filtre F sur X, U [1]
 ;

A∪B ∈ U entraîne A ∈ U ou B ∈ U . [2]

Une autre façon d'envisager les ultrafiltres sur X est de définir une fonction m sur l'ensemble
des parties de X en posant m(A) = 1 si A est un élément de U et m(A) = 0 sinon. Alors m est
une mesure finiment additive sur X, et (par rapport à m), toute propriété des éléments de X
est soit vraie presque partout, soit fausse presque partout. Il faut remarquer que cela ne
définit pas une mesure au sens usuel, lequel demande que m soit dénombrablement additive ;
d'ailleurs, un ultrafiltre qui définit ainsi une mesure dénombrablement additive est dit σ-
complet, et l'existence d'un tel ultrafiltre (non trivial) est en fait non démontrable dans ZFC, et
est équivalente à un axiome de grand cardinal.

Complétude

Généralisation aux ensembles partiellement ordonnés

Ultrafiltres triviaux et non triviaux

Un filtre principal (ou trivial, ou fixé) est un filtre ayant un élément minimal, qui est alors
minimum. Les filtres triviaux sont donc des ultrafiltres particuliers, de la forme Fa = {x | a ≤ x}
pour un certain élément a de l'ensemble (partiellement ordonné) de base. Dans ce cas, a
s'appelle l'élément principal de l'ultrafiltre. Dans le cas de filtres sur des ensembles, les
éléments principaux sont exactement les singletons. Ainsi, un ultrafiltre trivial sur S est formé
de tous les ensembles contenant un point donné de S. Les ultrafiltres sur des ensembles finis
sont tous triviaux. Tout ultrafiltre non trivial est appelé un ultrafiltre libre (ou non principal).

On peut montrer, en utilisant le lemme de Zorn que tout filtre (ou plus généralement tout
sous-ensemble ayant la propriété d'intersection finie) est contenu dans un ultrafiltre, et par
conséquent que des ultrafiltres libres existent, mais cette démonstration utilisant l'axiome du
choix, il n'est pas possible de donner des exemples d'ultrafiltres non triviaux, et il existe
d'ailleurs des modèles de ZF n'en contenant pas. Cependant, si on admet l'axiome du choix,
on peut montrer que « presque tous » les ultrafiltres sur un ensemble infini X sont libres ; plus
précisément[4] : le cardinal de l'ensemble des ultrafiltres (donc aussi celui des ultrafiltres
|X|
libres) est égal à 22 (strictement supérieur au cardinal |X| de l'ensemble des ultrafiltres
triviaux).

Applications

Ordre sur les ultrafiltres

Ultrafiltres sur ω

Notes

Références

Ce document provient de
« https://fr.wikipedia.org/w/index.php?
title=Ultrafiltre&oldid=191448042 ».

Dernière modification il y a 8 mois par AbsordingKK