Banach Lattices and the Dual of C(X)
Banach Lattices and the Dual of C(X)
Banach Lattices and the Dual of C(X)
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
6 NOTES FOR MA 110A<br />
for all f ∈ C(X).<br />
Pro<strong>of</strong>. First, without loss <strong>of</strong> generality, we can suppose µ = 1. We<br />
start by noting µ(f+) = µ+(f+) − µ−(f+) ≤ µ+(f+) <strong>and</strong> µ(f+) ≥<br />
−µ−(f+) so |µ(f+)| ≤ |µ|(f+). Similarly, |µ(f−)| ≤ |µ|(f−), so<br />
<br />
|µ(f)| ≤ |f| d|µ| (3.5)<br />
As in von Neumann’s pro<strong>of</strong> <strong>of</strong> <strong>the</strong> RN <strong>the</strong>orem, we have<br />
<br />
|µ(f)| ≤ |f| 2 1/2 d|µ|<br />
since d|µ| = µ = 1, so <strong>the</strong>re is g ∈ L2 with<br />
<br />
µ(f) = g(x)f(x) d|µ|(x) (3.6)<br />
Originally, this is true for f ∈ C(X), but by use <strong>of</strong> <strong>the</strong> dominated<br />
convergence <strong>the</strong>orem, we can define µ(f) for f any bounded Baire<br />
function <strong>and</strong> both (3.6) <strong>and</strong> (3.5) hold.<br />
Now let ε > 0 <strong>and</strong> let f be <strong>the</strong> characteristic function <strong>of</strong> {x | g(x) ><br />
1 + ε} ≡ Aε. Then (3.6) says<br />
<strong>and</strong> (3.5) says<br />
µ(f) ≥ (1 + ε)|µ|(Aε)<br />
|µ(f)| ≤ |µ|(Aε)<br />
It follows that |µ|(Aε) = 0. Taking ε = 1/2 n , we see g(x) ≤ 1 for a.e.<br />
x. Similarly, g(x) ≥ −1, so<br />
so<br />
|g(x)| ≤ 1 a.e. x (3.7)<br />
From (3.6), we have for f ∈ C(X),<br />
<br />
|µ(f)| ≤ |g| d|µ| f∞<br />
(3.8)<br />
<br />
1 = µ ≤ |g| d|µ| (3.9)<br />
Since |µ(X)| = 1 <strong>and</strong> (3.7) holds, we see |g(x)| = 1 for a.e. x. <br />
Pro<strong>of</strong> <strong>of</strong> <strong>the</strong> Hahn Decomposition Theorem. Define<br />
so<br />
A = {x | g(x) = +1}<br />
X \ A = {x | g(x) = −1}