Stav dette: Introductory theory of topological vector spaces