##  [Arzelà-Ascoli-Satz](/de/node/61683) 

 Definition

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

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

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

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

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

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

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

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

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.