Suppose we have a locally convex space $(V,P)$, where $V$ is a topological vector space and $P$ is a family of seminorms defined on $V$ such that for each nonzero $x\in V$ there is a $p\in P$ such that $p(x)\neq 0$.
My question is about the topology that $P$ induces on $V$. I know the definition: a set $U$ is open in $V$ if for each nonzero $x\in V$ there exists $p_{1}, ... , p_{n} \in P$ and $\epsilon_{1}, ... \epsilon_{n} > 0$ such that
$x \in \{y\in V : p_{i}(x - y) < \epsilon_{i}$ for each $i=1,..., n\}\subset U$.
My question is this:
Is this equivalent to saying that a net $x_{\alpha}$ converges to $x$ in $V$ if and only if $p(x_{\alpha})\to p(x)$ for every $p\in P$?