Kategorie:Topologie von euklidischen Vektorräumen/Fakten