From f25600cbd3b2eb0d606aef6e1373656aeccfcd1a Mon Sep 17 00:00:00 2001 From: Bokuan Li Date: Tue, 17 Mar 2026 15:34:02 -0400 Subject: [PATCH] More typo fixes. --- src/measure/radon/c0.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/measure/radon/c0.tex b/src/measure/radon/c0.tex index 3adf422..dbe2ac1 100644 --- a/src/measure/radon/c0.tex +++ b/src/measure/radon/c0.tex @@ -75,7 +75,7 @@ By \autoref{lemma:positive-linear-jordan}, there exists bounded positive linear functionals $I_r^+, I_r^-, I_i^+, I_i^-$ such that for any $f \in C_0(X; \real)$, \begin{align*} \dpn{f, I}{C_0(X; \real)} &= \dpn{f, I_r^+}{C_0(X; \real)} - \dpn{f, I_r^-}{C_0(X; \real)} \\ - &+ i\dpn{f, I_i^-}{C_0(X; \real)} - i\dpn{f, I_i^-}{C_0(X; \real)} + &+ i\dpn{f, I_i^+}{C_0(X; \real)} - i\dpn{f, I_i^-}{C_0(X; \real)} \end{align*} Thus by the Riesz representation theorem, there exists finite Radon measures $\mu_r^+, \mu_r^-, \mu_i^+, \mu_i^- \in M_R(X; \complex)$ such that for any $f \in C_0(X; \real)$,