Lemma 11.1.9.label Let $E$ be a TVS over $K \in \RC$ and $[\cdot]: E \times E \to [0, \infty)$ be a seminorm on $E$, then the following are equivalent:
- (1)
$[\cdot]$ is uniformly continuous.
- (2)
$[\cdot]$ is continuous.
- (3)
$[\cdot]$ is continuous at $0$.
- (4)
$\bracs{x \in E| [x] < 1}\in \cn_{E}(0)$.
Proof. $(4) \Rightarrow (1)$: Let $x, y \in E$ and $r > 0$. If
\[x - y \in \bracs{x \in E|[x] < r}= r\bracs{x \in E|[x] < 1}\in \cn_{E}(0)\]
then $[x - y] < r$.$\square$