Lokal kompakt/Funktionenfolge/Kompakt konvergent/Lokal gleichmäßig konvergent/Fakt

Es sei ein lokal kompakter topologischer Raum und sei

() eine Folge von Funktionen.

Dann ist die Funktionenfolge genau dann kompakt konvergent, wenn sie lokal gleichmäßig konvergent ist.