Start=kompakten (Rn)

MDLUL/kompakten (Rn)

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