Une construction model-théorique qui forme une nouvelle structure en prenant le produit cartésien d'une famille de structures et en quotientant par un ultrafiltre, utilisée pour transférer des propriétés et produire des modèles de type limite.

Principe

Considérer les éléments comme classes d'équivalence de suites modulo un ultrafiltre de manière qu'une formule soit vraie dans l'ultraproduit exactement lorsque l'ensemble des indices où elle est vraie appartient à l'ultrafiltre ; le théorème de Łoś formalise ce transfert de vérité des facteurs vers l'ultraproduit.

Démonstration

Étant donné une suite de structures (A_i) indexée par I et un ultrafiltre non principal U sur I, l'ultraproduit ∏_U A_i a pour domaine (∏ A_i)/~, et d'après le théorème de Łoś une formule du premier ordre φ tient dans ∏_U A_i si et seulement si {i ∈ I : A_i ⊨ φ} ∈ U ; ceci sert à construire des modèles saturés ou élémentairement équivalents limites.

Mauvaise application

Supposer que les ultraproduits conservent toutes les propriétés d'ordre supérieur ou infinitaires, ou utiliser des ultrafiltres principaux qui réduisent la construction à des facteurs triviaux ; outrepasser que des choix distincts d'ultrafiltre donnent des ultraproduits non isomorphes et que des hypothèses de compacité comptent.

Conséquence

Les ultraproduits permettent de passer de propriétés locales (par facteur) à des structures globales, produisent des modèles non standards (p. ex. analyse non standard) et sont centraux pour les arguments de compacité et de saturation en théorie des modèles.

Inversion

La vue duale consiste à décomposer un grand modèle en structures facteurs approximantes ou à étudier des ultraracines (structures dont l'ultraproduit donne le modèle considéré) ; la réversion explore comment des propriétés globales contraignent les familles de facteurs et les ultrafiltres possibles.

Limite

S'appuie sur des principes proches de l'axiome du choix pour garantir l'existence d'ultrafiltres non principaux sur des ensembles d'indices infinis ; applicable aux propriétés du premier ordre via le théorème de Łoś, mais pas automatiquement aux propriétés du second ordre ou externes sans précautions supplémentaires.

Tension sémantique

Tension entre la variabilité selon les facteurs et l'uniformité imposée par l'ultrafiltre : les ultraproduits peuvent dissimuler la diversité indice‑par‑indice en privilégiant les ensembles de l'ultrafiltre, et entre l'intuition constructive du produit et l'existence non constructive de certains ultrafiltres.

Synthèse

La construction d'ultraproduit fabrique des structures quotientées à partir de produits via un ultrafiltre de sorte que les vérités du premier ordre se transfèrent selon le théorème de Łoś ; c'est un outil puissant pour créer des modèles limites, des éléments non standards, et pour relier phénomènes locaux et globaux en théorie des modèles, sous réserve du choix de l'ultrafiltre et des hypothèses set‑théoriques.