Kompaktheit/R^n/Charakterisierung mit konvergenten Teilfolgen/Fakt

Es sei eine Teilmenge.

Dann ist genau dann kompakt, wenn jede Folge in eine in konvergente Teilfolge besitzt.