Updated Schaefer & Wolff citations.

src/fa/tvs/metric.tex

@@ -71,7 +71,7 @@
     $(4) \Rightarrow (1)$: By \ref{definition:tvs-pseudonorm-topology}, for each $r > 0$, $\rho^{-1}([0, r)) \in \cn_E(0)$. Thus for any $x, y \in E$, if $x - y \in \rho^{-1}([0, r))$, then $\abs{\rho(x) - \rho(y)} \le r$. Therefore $\rho \in UC(E; [0, \infty))$.
 \end{proof}
 
-\begin{lemma}[{{\cite[Theorem 1.6.1]{SchaeferWolff}}}]
+\begin{lemma}[{{\cite[Theorem I.6.1]{SchaeferWolff}}}]
 \label{lemma:tvs-sequence-pseudonorm}
     Let $E$ be a vector space over $K \in \RC$, $\seq{U_n} \subset 2^E$ such that
     \begin{enumerate}
@@ -143,7 +143,7 @@
     Let $E$ be a TVS over $K \in \RC$, then $E$ is \textbf{locally bounded} if there exists $U \in \cn^o(0)$ bounded.
 \end{definition}
 
-\begin{proposition}[{{\cite[1.6.2]{SchaeferWolff}}}]
+\begin{proposition}[{{\cite[I.6.2]{SchaeferWolff}}}]
 \label{proposition:locally-bounded-metrisable}
     Let $E$ be a locally bounded TVS over $K \in \RC$, then there exists a pseudonorm $\rho: E \to [0, \infty)$ that induces the topology on $E$.
 \end{proposition}