Definition:Locally Compact Topological Vector Space

Definition
Let $\struct {X, \tau}$ be a topological vector space.

We say that $X$ is locally compact :


 * there exists a von Neumann-bounded open neighborhood of ${\mathbf 0}_X$ with compact closure.