ULTRAFILTRE

Articles associés

• MODÈLES THÉORIE DES

  • Écrit par Daniel ANDLER, Daniel LASCAR, Gabriel SABBAGH
  • 6 865 mots
  Soit I un ensemble non vide et soit (a _i ), i ∈ I, une famille de L-structures. Un ultrafiltre sur I est un ensemble D de sous-ensembles de I qui vérifie les conditions suivantes :

  

• RÉELS NOMBRES

  • Écrit par Jean DHOMBRES
  • 13 126 mots
  Une telle famille s'appelle un ultrafiltre (cf. théorie des modèles). En dehors de l'exemple trivial où U est la famille de tous les sous-ensembles de N contenant au moins un ensemble du type A _n0 , l'existence des ultrafiltres utilise l'axiome du choix et leur description explicite est impossible....