1
$\begingroup$

Is it true that in the Riesz representation theorem

$\mu(F)=\sup\{\Lambda(f): f\in C_c, 0\leq f \leq 1, \operatorname{supp} f \subset F \}$

for every compact (or closed) subset $F$?

(It is known that it holds if $F$ is open, and that $\mu(F)=\inf\{\Lambda(f): f\in C_c, 0\leq f \leq 1, f(x)=1 \ for \ x \in F \}$ if $F$ is compact.) I think it may be true, because in "Abstract harmonic analysis", vol.I., by E. Hewitt and K. Ross (if I well understood) the measure in the representation theorem is defined for closed subsets just in such a way (chap.11, (def. 11.20, th. 11.17 (i), def.11.11).

Thanks

  • 2
    Try a [fat Cantor set](http://en.wikipedia.org/wiki/Smith-Volterra-Cantor_set) $F$. Note that in order for there to be a non-zero continuous $f \geq 0$ supported inside $F$ the set $F$ must have non-empty interior. In other words: no it's not true.2011-08-08

1 Answers 1

2

Not in general. Consider the example $\Lambda(f)=f(x)$ for some non-isolated point $x$, and $F=\{x\}$. More generally, if there are compact sets with positive measure and dense complement, that equality will not hold. Even for Lebesgue measure these exist, fat Cantor sets being one type of example.

  • 3
    Maybe it's worth pointing out the general reflex one should have when asking such questions: Is the desired result true for Lebesgue measure on $[0,1]$? Is it true for a point measure? What about a sum of a point measure and Lebesgue measure, then? Most of the questions the OP had so far could be decided by following this algorithm.2011-08-08