Ultrafiltre
Un ultrafiltre est un filtre maximal pour l'inclusion. On dispose d'une caractérisation algébrique des ultrafiltres.Proposition : Soit F un filtre sur un ensemble X. Alors F est un ultrafiltre si et seulement si, pour toute partie A de X, A ou Ac est élément de X. |
Consulter aussi...