From c31994b24777c344bfc79545a56e49f4276de908 Mon Sep 17 00:00:00 2001 From: Bokuan Li Date: Tue, 16 Jun 2026 13:43:42 -0400 Subject: [PATCH] Fixed awkward phrasing. --- src/measure/vector/fin.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/measure/vector/fin.tex b/src/measure/vector/fin.tex index 5c8bbfb..c7eabd9 100644 --- a/src/measure/vector/fin.tex +++ b/src/measure/vector/fin.tex @@ -103,7 +103,7 @@ Despite the fact that it does not cover the full dual space, the bounded Borel f \item[(P)] For each $x \in X$, $\bracs{x} \in \cm$, and the delta mass $\delta_x$ is in $\mathscr{M}$. \end{enumerate} - then for any sequence $f_n: X \to E^*$ of bounded measurable functions and $f: X \to E^*$ be a bounded measurable function, the following are equivalent: + Then, for any bounded measurable functions $\bracsn{f_n: X \to E^*|n \in \natp}$ and $f: X \to E^*$, the following are equivalent: \begin{enumerate} \item For each $\mu \in \mathscr{M}$, $\limv{n}\int f_n d\mu = \int f d\mu$. \item For each $x \in X$, $\limv{n}f_n(x) = f(x)$, and $\sup_{n \in \natp}\norm{f_n}_u < \infty$.