From 780d5d362effbd51b76485c400faa47a86623b8e Mon Sep 17 00:00:00 2001 From: Bokuan Li Date: Fri, 20 Mar 2026 00:13:08 -0400 Subject: [PATCH] Fixed typo in the Singer representation remark. --- src/measure/radon/c0.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/measure/radon/c0.tex b/src/measure/radon/c0.tex index 470d687..2c3d217 100644 --- a/src/measure/radon/c0.tex +++ b/src/measure/radon/c0.tex @@ -176,9 +176,9 @@ \nu: \cb_X \to E^* \quad \dpn{y,\nu(A)}{E} = \int_{X \times B} \one_A(x) \cdot \dpn{y, \phi}{E} \mu(dx, d\phi) \] - It may be more tempting to use the strong formulation directly + It may be tempting to use the strong formulation directly \[ - \nu: \cb_X \to E^* \quad \dpn{y,\nu(A)}{E} = \int_{X \times B} \phi \cdot \one_A(x) \mu(dx, d\phi) + \nu: \cb_X \to E^* \quad \nu(A) = \int_{X \times B} \phi \cdot \one_A(x) \mu(dx, d\phi) \] However, without additional assumptions on $E^*$, $\phi \cdot \one_A(x)$ may not be strongly measurable, which prevents this direct use of the Bochner integral. Thus the weak formulation is a necessary complication in the proof.