Charakterisierung relativ kompakter Mengen in C(K) (stetige reell- oder komplexwertige Funktionen auf einem kompakten Gebiet K) in der Uniformtopologie: eine Familie ist relativ kompakt genau dann, wenn sie gleichgradig stetig (äquikontinuierlich) und punktweise relativ kompakt (häufig punktweise beschränkt) ist.

Prinzip

Gleichmäßige Kontrolle der Oszillation (Äquikontinuität) zusammen mit punktweiser Kontrolle verhindert wildes Auseinanderlaufen und sichert Präkompaktheit in der Supremumsnorm auf kompakten Gebieten.

Demonstration

Auf K = [0,1] ist die Familie der Funktionen mit einheitlicher Lipschitz-Konstante L und einheitlich beschränkten Werten in einem Punkt äquikontinuierlich und punktweise beschränkt; nach Arzelà-Ascoli besitzt jede Folge eine gleichmäßig konvergente Teilfolge. Dagegen ist die Familie f_n(x)=sin(n x) auf [0,2π] nicht äquikontinuierlich und besitzt keine gleichmäßig konvergente Teilfolge.

Fehlanwendung

Der Gebrauch des Satzes auf nicht-kompakten Gebieten, in Räumen ohne Supremumsnormstruktur oder das Ignorieren der Äquikontinuität: punktweise Beschränktheit allein impliziert keine Präkompaktheit; auf nicht-kompakten K kann die Schlussfolgerung versagen.

Konsequenz

Bietet einen praktischen Kompaktheits-Test für Mengen stetiger Funktionen, führt zur Existenz gleichmäßig konvergenter Teilfolgen und ist grundlegend in der Theorie gewöhnlicher Differentialgleichungen, der Variationsrechnung und kompakten Einbettungen.

Umkehrung

Fehlt einer Familie die Äquikontinuität oder Punktweise-Beschränktheit, so ist sie in der Regel nicht relativ kompakt; die Negation der Voraussetzungen ermöglicht oft die Konstruktion von Folgen ohne gleichmäßig konvergente Teilfolge.

Abgrenzung

Voraussetzung ist ein kompaktes Gebiet K und die Topologie der gleichmäßigen Konvergenz (Supremumsnorm) auf C(K). Der Satz gilt nicht direkt für L^p-Räume, Distributionen oder nicht-kompakte Gebiete ohne Modifikationen.

Semantische Spannung

Spannung gegenüber punktweiser Konvergenz und schwacher Kompaktheit: Arzelà-Ascoli sichert starke (gleichmäßige) Präkompaktheit, die stärker ist als bloße punktweise oder schwache Kompaktheit; diese Unterscheidung ist in Anwendungen wesentlich.

Synthese

Arzelà-Ascoli verknüpft Äquikontinuität und punktweisen Wertkontrolle mit Präkompaktheit in C(K): Familien stetiger Funktionen mit gleichmäßig kontrolliertem Verhalten akkumulieren nur in der Supremumsnorm und liefern gleichmäßig konvergente Teilfolgen.