Ein funktionalanalytisches Resultat (Banach–Steinhaus-Satz), das aussagt, dass eine Familie stetiger linearer Operatoren auf einem Banachraum, die punktweise beschränkt ist, in Operatornorm gleichmäßig beschränkt ist: punktweise Beschränktheit impliziert eine globale Supremumsbeschränkung.

Prinzip

Durch Anwendung der Baire-Kategorie auf den Banachraum wird punktuelle Kontrolle (für jedes x gilt sup_{T} ||T x|| < ∞) in eine gleichmäßige Kontrolle (sup_{T} ||T|| < ∞) überführt; Vollständigkeit ist der Mechanismus, der lokal zu global macht.

Demonstration

Sei X ein Banachraum und F eine Familie beschränkter linearer Abbildungen X→Y mit sup_{T∈F} ||T x|| < ∞ für alle x; der Baire-Satz liefert eine nichtleere offene Menge, auf der der Supremum über F der ||T|| endlich ist, womit eine uniforme Normbeschränkung folgt.

Fehlanwendung

Die Schlussfolgerung ohne Vollständigkeit des Definitionsraums anzunehmen, ist ein häufiger Missbrauch; es existieren punktweise beschränkte Familien auf unvollständigen Räumen mit unbeschränkten Operatornormen.

Konsequenz

Verhindert pathologische Beispiele, in denen punktweise Beschränktheit mit beliebig großen Operatornormen koexistiert, stützt zahlreiche Konvergenz- und Kompaktheitsargumente und rechtfertigt das Vertauschen gewisser Grenzprozesse im Funktionalanalysis-Kontext.

Umkehrung

Wird Vollständigkeit oder Linearität fallengelassen, bricht die Schlussfolgerung zusammen: in unvollständigen Räumen oder für nichtlineare Abbildungen impliziert punktweise Beschränktheit nicht notwendigerweise eine uniforme Beschränkung; Gegenbeispiele sind dann häufig.

Abgrenzung

Voraussetzung ist ein Banachraum als Definitionsbereich und lineare stetige Operatoren; der Zielraum darf ein normierter Raum sein; der Satz gilt nicht direkt für nichtlineare Operatoren, punktweise Funktionenkonvergenz ohne weitere Struktur oder Familien ohne die nötige Messbarkeitsstruktur.

Semantische Spannung

Spannung besteht gegenüber punktuellen Begriffen wie punktweiser Konvergenz: Punktweise Beschränktheit ist schwächer und kann ohne Banach-Annahme mit divergenten Normen koexistieren; das Prinzip hebt die punktuelle Endlichkeit nur im vollständigen linearen Rahmen auf ein globales Niveau.

Synthese

Das Prinzip Der Gleichmäßigen Beschränktheit stellt fest, dass in einem vollständigen linearen Rahmen lokale Beschränkung an jedem Punkt eine globale Schranke der Operatornormen erzwingt: Vollständigkeit zusammen mit Linearität wandelt punktuelle Finitheit der Bildwerte in ein einheitliches Supremum der Operatornormen um und verhindert verdeckte Unbeschränktheiten.