Ein topologischer Vektorraum ist ein Vektorraum auf dem neben algebraischen auch noch eine damit verträgliche topologische Struktur definiert ist.
Sei K = R oder K = C . Ein K - Vektorraum E der zugleich topologischer Raum ist heißt topologischer Vektorraum wenn folgende Verträglichkeitsaxiome gelten: