Definition:Locally Convex Space

Definition
Let $\GF \in \set {\R, \C}$.

Let $X$ be a vector space over $\GF$.

Let $\mathcal P$ be a set of seminorms on $X$.

We call the pair $\struct {X, \mathcal P}$ a locally convex space.

Also see

 * Characterization of Locally Convex Spaces