Fixed more convex typos.

This commit is contained in:
Bokuan Li
2026-04-28 14:27:23 -04:00
parent e68b991240
commit d80fae112d

View File

@@ -140,7 +140,7 @@
\end{enumerate} \end{enumerate}
The topology induced by $\seqi{d}$ is the \textbf{vector space topology induced by} $\seqi{[\cdot]}$. In addition, The topology induced by $\seqi{d}$ is the \textbf{vector space topology induced by} $\seqi{[\cdot]}$. In addition,
\begin{enumerate} \begin{enumerate}
\item[(U)] For any family $\seqj{[\cdot]}$ of seminorms continuous on $E$, the vector space topology induced by $\seqj{[\cdot]}$ is contained in the vector space topology induced by $\seqi{[\cdot]}$. \item[(U)] For any family $\bracsn{[\cdot]_j}_{j \in J}$ of continuous seminorms on $E$, the vector space topology induced by $\bracsn{[\cdot]_j}_{j \in J}$ is contained in the vector space topology induced by $\seqi{[\cdot]}$.
\end{enumerate} \end{enumerate}
\end{definition} \end{definition}