Ein lokal konvexer topologischer Vektorraum, in dem jede abgeschlossene und beschränkte Teilmenge kompakt ist; äquivalent dazu besitzt jede beschränkte Folge eine konvergente Teilfolge und beschränkte Mengen sind relativ kompakt.

Prinzip

Die Verbindung von lokaler Konvexität mit starker Kompaktheit der beschränkten Mengen stellt sicher, dass sequentielle Kompaktheitseigenschaften der endlichen Dimension ähneln; dies ermöglicht Normalfamilienargumente und eine kompaktitätsbasierte Funktionalanalysis.

Demonstration

Der Raum O(U) der holomorphen Funktionen auf einer offenen Menge U mit der Topologie der gleichmäßigen Konvergenz auf Kompakta ist Montel nach klassischen Normalfamilientheoremen: Beschränkte Folgen auf Kompakta besitzen Teilfolgen, die gleichmäßig auf Kompakta konvergieren.

Fehlanwendung

Zu denken, Montel bedeute immer Endlichdimensionalität oder Reflexivität; es gibt unendlich-dimensionale Montel-Räume, und Reflexivität ist eine unabhängige Eigenschaft.

Konsequenz

Starke kompakteitätsfolgen: Jede beschränkte Folge hat konvergente Teilfolgen, die starken Duale besitzen nützliche Eigenschaften, und viele operatorentheoretische sowie Approximationsresultate vereinfachen sich, weil Präkompaktheit an die Stelle bloßer Beschränktheit tritt.

Umkehrung

Räume, in denen beschränkte Mengen nicht kompakt sind (typische Banachräume wie l^p für p≥1), sind nicht Montel; dort impliziert Beschränktheit nicht relative Kompaktheit und Folgen brauchen keine konvergenten Teilfolgen zu besitzen.

Abgrenzung

Montel ist eine starke topologische Eigenschaft, die in vielen klassischen Beispielen durch Nuklearität und Barrelledness impliziert wird, aber die meisten Banachräume ausschließt und empfindlich von der gewählten Topologie abhängt; die Prüfung der Montel-Eigenschaft erfordert meist Tests an Folgen oder an der Kompaktheit beschränkter Mengen.

Semantische Spannung

Der Begriff ruft Montels Satz über Normalfamilien in der komplexen Analyse und die abstrakte Montel-Eigenschaft in der Funktionalanalysis zugleich hervor; die Spannung entsteht beim Übertragen von Intuition aus holomorphen Funktionsräumen auf allgemeine lokal konvexe Räume.

Synthese

Ein Montel-Raum ist ein lokal konvexer Raum, in dem Beschränktheit und Kompaktheit für abgeschlossene Mengen zusammenfallen, wodurch sequentielle Kompaktheit allgegenwärtig wird und funktionalanalytische Argumente mit Hilfe von Teilfolgen und Kompaktheit vereinfacht werden.