Ein Ultraprodukt ist ein Konstrukt auf dem Gebiet der Modelltheorie, einem Teilgebiet der Mathematik. Die Zielsetzung der Konstruktion besteht darin, zu einem Modell (oder vielen Modellen) für ein gegebenes Axiomensystem ein weiteres zu erhalten, das ungewöhnliche, in der Sprache des Axiomensystems nicht formalisierbare Eigenschaften aufweist. Idee der Konstruktion ist, Relationen für Folgen durch eine Art von Mehrheitsentscheidung zu definieren.

Definition

Bearbeiten

Gegeben sei irgendeine Sprache erster Stufe  . Sei   eine unendliche Indexmenge,   ein Ultrafilter auf  , der kein Hauptfilter ist. Zu jedem   sei   ein Modell der Sprache  . Auf dem kartesischen Produkt

 

definieren wir eine Äquivalenzrelation durch

  genau dann, wenn  

und legen auf der Menge der Äquivalenzklassen folgende Interpretation der Symbole der Sprache fest: Verknüpfungen erfolgen komponentenweise; für jedes Relationssymbol   gelte

  genau dann, wenn  

(insbesondere ist dies konsistent mit der Definition der Gleichheit). Dann bildet die Menge aller Äquivalenzklassen von   modulo ~ ein Modell der vorgegebenen Sprache  ; es heißt Ultraprodukt der  .[1]

Eigenschaften

Bearbeiten

Jede Formel der Sprache  , die in jeder Komponente erfüllt ist, gilt auch für das Ultraprodukt selbst. Erfüllen also alle   ein gegebenes Axiomensystem erster Stufe, so auch das Ultraprodukt. So ist etwa das Ultraprodukt von Körpern ein Körper, das Ultraprodukt von geordneten Mengen eine geordnete Menge usw.

Dagegen muss dies für Aussagen, die nicht in   formalisierbar sind, nicht zutreffen. So ist etwa das Induktionsaxiom eine Aussage über Teilmengen (und nicht Elemente) der Menge der natürlichen Zahlen und in einem Ultraprodukt aus unendlich vielen Kopien der Menge der natürlichen Zahlen nicht erfüllt.

Die Konstruktion hängt von   ab; dies führt z. T. zu sehr speziellen mengentheoretische Fragen aus der Theorie der Ultrafilter.

Ultrapotenzen

Bearbeiten

Häufig wählt man für alle   dasselbe Modell und erhält dann eine so genannte Ultrapotenz dieses Modells. Ein Beispiel sind die hyperreellen Zahlen. Eine analoge Konstruktion für die natürlichen Zahlen ergibt ein Nichtstandardmodell der Peano-Arithmetik.

Die Einbettung einer Struktur in ihre Ultrapotenz ist elementar.

Unter der Annahme der Kontinuumshypothese kann man zeigen, dass bestimmte Ultrapotenzen isomorph sind.

Ultraprodukt und Ultralimes metrischer Räume

Bearbeiten

Falls jedes   ein metrischer Raum   ist, kann man auf dem Ultraprodukt eine Pseudometrik durch

 ,

d. h.,   ist ein Element aus  , so dass für jede Umgebung   von   gilt:

 .

Wähle einen „Beobachtungspunkt“, d. h. eine Familie  . Dann kann man die Menge aller Äquivalenzklassen von Familien   mit   betrachten. Auf dieser Teilmenge nimmt die Pseudometrik   nur endliche Werte an.

Als Ultralimes der Folge   relativ zum Beobachtungspunkt   bezeichnet man den metrischen Raum, den man als Quotienten dieser Teilmenge unter der Äquivalenzrelation   mit der von   induzierten Metrik erhält.

Siehe auch

Bearbeiten

Satz von Łoś

Literatur

Bearbeiten

Einzelnachweise

Bearbeiten
  1. Rautenberg (2008), S. 164.