Start=kompakt (Rn)

MDLUL/kompakt (Rn)

Siehe=Kompakt (Rn)
MDLUL/Kompakt (Rn)
Ziel=Kompaktheit/R^n/Abgeschlossen und beschränkt/Definition