## [O-Minimale Theorie](/de/node/63611) Definition 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 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 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 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 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 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 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 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 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.