## [Ultraproduit](/fr/node/61552) Définition Une structure obtenue à partir d'une famille indexée de structures (M_i)_{i∈I} dans une signature commune en prenant le produit cartésien des domaines puis en quotientant par un ultrafiltre U sur I : deux suites sont identifiées lorsqu'elles sont égales sur un ensemble d'indices appartenant à U ; le cas particulier d'ultrapuissance survient lorsque tous les M_i sont identiques. ## Principe Principe Le théorème de Łoś gouverne les ultraproduits : pour toute formule du premier ordre φ et tout tuple représenté par des suites, l'ultraproduit satisfait φ exactement lorsque l'ensemble des indices i tels que M_i satisfait φ sur les i-èmes composantes appartient à l'ultrafiltre U ; ceci transfère la vérité du premier ordre des facteurs au quotient. ## Démonstration Démonstration Une ultrapuissance du corps des réels R par un ultrafiltre non principal sur N produit un modèle non standard *R des réels contenant des éléments infinitésimaux et infinis ; le théorème de Łoś garantit que chaque propriété du premier ordre de R se reflète dans *R sur un ensemble d'indices U-large, fournissant le principe de transfert utilisé en analyse non standard. ## Mauvaise application Mauvaise application Utiliser un filtre arbitraire au lieu d'un ultrafiltre pour former le quotient (produit réduit) et s'attendre ensuite à un transfert de type Łoś pour toutes les formules du premier ordre ; sans maximalité de l'ultrafiltre, les classes d'équivalence peuvent ne pas refléter proprement la vérité du premier ordre. ## Conséquence Conséquence Les ultraproduits sont un outil flexible : ils produisent de nouveaux modèles avec une théorie du premier ordre contrôlée, permettent des constructions de type compacité, servent à construire des modèles saturés et des extensions non standard, et permettent des démonstrations de principes de transfert et de préservation sur des familles infinies. ## Inversion Inversion La notion duale est le produit direct ou produit réduit sans quotient par un ultrafiltre ; là, le comportement global au premier ordre est simplement pointwise et ne satisfait en général pas le transfert de Łoś, si bien que l'étape de l'ultrafiltre est essentielle pour les propriétés model-théoriques. ## Limite Limite La construction exige le choix d'un ultrafiltre (les ultrafiltres non principaux reposent généralement sur l'axiome du choix pour leur existence) ; les ultraproduits concernent les propriétés du premier ordre — les phénomènes d'ordre supérieur nécessitent un traitement séparé — et le type d'isomorphisme peut dépendre de l'ultrafiltre et de l'ensemble d'indices. ## Tension sémantique Tension sémantique La tension réside entre les ultraproduits, objets de type limite qui préservent les vérités du premier ordre, et d'autres constructions limites (limites directes/inverses) qui conservent d'autres aspects structurels ; les ultraproduits peuvent identifier des suites d'une manière qui efface des structures combinatoires ou catégoriques. ## Synthèse Synthèse Un ultraproduit forme une nouvelle structure en écrasant des suites point par point d'éléments selon un ultrafiltre de sorte que les propriétés du premier ordre se transfèrent via le théorème de Łoś ; c'est une construction centrale produisant des modèles au comportement du premier ordre contrôlé et munis de puissants principes de transfert.