Definition:Topological Vector Space

Definition
Let $V$ be a vector space over a field $K$.

Let $\tau$ be a topology on $V$.

Then $\left({V, \tau}\right)$ is called a topological vector space iff: