Kompakte Mengen

Ein metrischer Raum [image] heißt kompakt, falls jede Folge [image] in [image] eine konvergente Teilfolge hat.

 

In [image] ist eine Teilmenge [image] genau dann kompakt wenn sie abgeschlossen und beschränkt bzgl. [image] ist.

 

Sei [image] ein metrischer Raum, und [image]ist kompakt, dann ist [image] abgeschlossen und beschränkt

 

Es sei [image] eine abgeschlossene Teilmenge von einem kompakten Raum [image], dann ist [image] kompakt.

 

Es sei [image] eine stetige Abbildung, dann ist das Bild [image] einer kompakten Menge [image] wieder kompakt.

 

Jede stetig differenzierbare reellwertige Funktion [image] auf einer kompakten Teilmenge [image] ist Lipschitz-stetig.

 

 

Das Kreuzprodukt von abgeschlossenen Intervallen ist kompakt:


[image]

ist kompakt