## [Wesentliches Infimum](/de/node/62555) Definition Für eine messbare Funktion f ist das wesentliche Infimum die größte erweiterte reelle Zahl m, sodass f(x) ≥ m für fast alle x gilt (d. h. bis auf eine Nullmenge). Es liefert eine größte untere Schranke modulo Nullmengen. ## Prinzip Prinzip Nullmengen für untere Schranken vernachlässigen: das wesentliche Infimum maximiert die untere Schranke, die fast überall gilt, und bietet so eine a.e.-Notation für Minimalwerte. ## Demonstration Demonstration Betrachte g, die überall 5 ist, außer auf einer abzählbaren Nullmenge, auf der g den Wert −100 annimmt. Das wesentliche Infimum von g ist 5, da die tiefen negativen Werte nur auf einer Nullmenge liegen, obwohl das punktweise Infimum −100 ist. ## Fehlanwendung Fehlanwendung Das punktweise Infimum fälschlich als wesentliches Infimum verwenden und so vernachlässigbare Einbrüche die globale untere Schranke bestimmen lassen; oder das Konzept ohne Messbarkeit oder Maßangabe anwenden. ## Konsequenz Konsequenz Ermöglicht eine stabile Notion von unteren Schranken fast überall, relevant für L^p‑Abschätzungen, Vergleichsprinzipien und die Ordnung von Äquivalenzklassen messbarer Funktionen. ## Umkehrung Umkehrung Das punktweise Infimum ignoriert Nullmengen nicht und ist im Allgemeinen ≤ dem wesentlichen Infimum, wenn auf Nullmengen negative Spitzen vorhanden sind. ## Abgrenzung Abgrenzung Gilt nur für messbare Funktionen auf einem Maßraum; es ist eine erweiterte reelle Zahl und kann −∞ oder +∞ sein. Es erfasst keine topologischen Minima oder Verhalten auf nicht messbaren Mengen. ## Semantische Spannung Semantische Spannung Spannung zum punktweisen Infimum: das wesentliche Infimum betont a.e.-Verhalten, das punktweise Infimum behandelt jeden Punkt gleich; ohne Maßangabe entsteht Mehrdeutigkeit. ## Synthese Synthese Das wesentliche Infimum ist die größte erweiterte reelle Zahl, die fast überall als untere Schranke dient: das maßtheoretische Gegenstück zum klassischen Infimum, stabil gegen Änderungen auf Nullmengen.