Eine Theorie geordneter Strukturen, in der jede definierbare Teilmenge der Geraden (eindimensionaler Träger) eine endliche Vereinigung von Punkten und Intervallen ist; O-Minimalität erzwingt starke geometrische Zähmung definierbarer Mengen.

Prinzip

Forde­re, dass definierbare Teilmengen der Domäne in einer Variablen einfach sind — endliche Vereinigungen von Punkten und Intervallen — sodass höherdimensionale definierbare Mengen durch Zellzerlegung und Dimensionstheorie zahme geometrische und topologische Eigenschaften erben.

Demonstration

Die Theorie des geordneten reellen Körpers ist o-minimal: jede definierbare Teilmenge der reellen Gerade ist eine endliche Vereinigung von Punkten und offenen/geschlossenen Intervallen, was zahme Geometrie liefert und Werkzeuge wie Zellzerlegung und definierbare Stetigkeit erlaubt.

Fehlanwendung

Zu glauben, O-Minimalität folge aus einer schwachen Ordnung oder bloßer Abwesenheit pathologischer Kombinatorik; viele geordnete Strukturen sind nicht o-minimal, und man kann O-Minimalität nicht allein aus NIP oder Stabilität folgern.

Konsequenz

O-Minimalität hat mächtige Folgen: definierbare Mengen haben endliche topologische Komplexität, Dimensionen verhalten sich vorhersehbar, definierbare Funktionen sind stückweise stetig und unter milden Erweiterungen differenzierbar, und man erzielt starke geometrische und maßtheoretische Kontrolle.

Umkehrung

Das Gegenteil sind geordnete Theorien, in denen eine definierbare Teilmenge der Geraden fraktales oder stark oszillierendes Verhalten zeigt oder beliebige diskrete Muster kodiert — solche Theorien fehlen die o-minimale Zähmung und besitzen wilde definierbare Mengen.

Abgrenzung

Gilt für erste Ordnungserweiterungen geordneter Strukturen und betrifft als Ausgangspunkt eindimensionale definierbare Mengen; sie schließt Theorien aus, in denen Ordnung mit reicherer Kombinatorik oder nicht-definierbarer Vollständigkeit interagiert, und lässt sich nicht ohne Weiteres auf nicht-geordnete Sprachen verallgemeinern.

Semantische Spannung

Es besteht Spannung zu NIP und Stabilität: O-Minimalität ist stärker und geometrisch — jede o-minimale Theorie ist NIP, aber nicht umgekehrt; O-Minimalität verlangt ordnungstheoretische Regularität jenseits bloßer kombinatorischer Zähmung.

Synthese

O-Minimalität ist die ordnungsbezogene Zähmungsbedingung, die verlangt, dass eindimensionale definierbare Mengen endliche Vereinigungen von Punkten und Intervallen sind; dies überträgt sich auf zahme mehrdimensionale Geometrie und starke Regularität definierbarer Funktionen.