02.08.2013 Views

Banach Lattices and the Dual of C(X)

Banach Lattices and the Dual of C(X)

Banach Lattices and the Dual of C(X)

SHOW MORE
SHOW LESS

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}

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!