Ein metrischer Raum heißt kompakt, falls jede Folge
in
eine konvergente Teilfolge hat.
In ist eine Teilmenge
genau dann kompakt wenn sie abgeschlossen und beschränkt bzgl.
ist.
Sei ein metrischer Raum, und
ist kompakt, dann ist
abgeschlossen und beschränkt
Es sei eine abgeschlossene Teilmenge von einem kompakten Raum
, dann ist
kompakt.
Es sei eine stetige Abbildung, dann ist das Bild
einer kompakten Menge
wieder kompakt.
Jede stetig differenzierbare reellwertige Funktion auf einer kompakten Teilmenge
ist Lipschitz-stetig.
Das Kreuzprodukt von abgeschlossenen Intervallen ist kompakt:
ist kompakt