## [Ultraprodukt](/de/node/61552) Definition Eine Struktur, die aus einer indizierten Familie von Strukturen (M_i)_{i∈I} in einer gemeinsamen Signatur gebildet wird, indem man das kartesische Produkt der Trägermengen nimmt und durch ein Ultrafilter U auf I faktorisiert, sodass zwei Folgen identifiziert werden, wenn sie auf einer Menge von Indizes in U übereinstimmen; ein Spezialfall ist eine Ultrapower, wenn alle M_i gleich sind. ## Prinzip Prinzip Das Łoś-Theorem steuert Ultraproducte: Für jede Erstordnungsformel φ und für durch Folgen dargestellte Tupel erfüllt das Ultraproduct φ genau dann, wenn die Menge der Indizes i, für die M_i φ auf den i-ten Komponenten erfüllt, im Ultrafilter U liegt; so werden erstordnungslogische Wahrheiten von den Faktoren auf den Quotienten übertragen. ## Demonstration Demonstration Eine Ultrapower des reellen Feldes R durch ein nicht-prinzielles Ultrafilter auf N erzeugt ein nicht-standard Modell *R der reellen Zahlen, in dem infinitesimale und unendliche Elemente existieren; das Łoś-Theorem stellt sicher, dass jede erstordnungslogische Eigenschaft von R in *R auf einer U-großen Indexmenge reflektiert wird, was das Transferprinzip der nichtstandard Analysis liefert. ## Fehlanwendung Fehlanwendung Einen beliebigen Filter anstelle eines Ultrafilters im Quotienten zu verwenden (ein reduziertes Produkt) und dann ein Łoś-artiges Transferergebnis für alle Erstordnungsformeln zu erwarten; ohne Maximalität des Ultrafilters spiegeln die Äquivalenzklassen die erstordnungslogische Wahrheit nicht notwendigerweise sauber wider. ## Konsequenz Konsequenz Ultraproducte sind ein flexibles Werkzeug: sie erzeugen neue Modelle mit kontrollierter Erstordnungstheorie, ermöglichen kompaktitätsähnliche Konstruktionen, dienen zum Aufbau gesättigter Modelle und nicht-standardischer Erweiterungen und erlauben Beweise von Transfer- und Erhaltungsergebnissen über unendliche Familien. ## Umkehrung Umkehrung Das Gegenstück ist das direkte Produkt oder reduzierte Produkt ohne Quotientierung durch ein Ultrafilter; dort ist das globale erstordnungslogische Verhalten einfach punktweise und erfüllt im Allgemeinen nicht den Łoś-Transfer, weshalb der Schritt mit dem Ultrafilter für modelltheoretische Eigenschaften wesentlich ist. ## Abgrenzung Abgrenzung Die Konstruktion erfordert die Wahl eines Ultrafilters (nicht-prinziell vorhandene Ultrafilter setzen gewöhnlich das Auswahlaxiom voraus); Ultraproducte betreffen erstordnungslogische Eigenschaften — Phänomene höherer Ordnung bedürfen gesonderter Behandlung — und der Isomorphietyp kann vom Ultrafilter und der Indexmenge abhängen. ## Semantische Spannung Semantische Spannung Die Spannung liegt zwischen Ultraproducten als grenzwertähnlichen Objekten, die erstordnungslogische Wahrheiten bewahren, und anderen Grenzkonstruktionen (direkte/inverse Limiten), die andere strukturelle Merkmale erhalten; Ultraproducte können Folgen so identifizieren, dass kombinatorische oder kategoriale Strukturen verschleiert werden. ## Synthese Synthese Ein Ultraprodukt bildet eine neue Struktur, indem punktweise Folgen von Elementen über eine Indexmenge gemäß einem Ultrafilter zusammengezogen werden, so dass erstordnungslogische Eigenschaften mittels des Łoś-Theorems übertragen werden; es ist eine zentrale Konstruktion, die Modelle mit vorgegebenem erstordnungslogischem Verhalten und starken Transferprinzipien liefert.