4
$\begingroup$

Let $X$ be locally compact Hausdorff space and $\Lambda$ be a positive linear functional on $C_c(X)$. It is known [W.Rudin, Real and complex analysis, th.2.14] that the measure $\mu$ in the Riesz representation theorem is given on an open set $V$ by formulae: $$\mu(V)=\sup \{\Lambda(f): f\in C_c, 0\leq f \leq 1, \operatorname{supp}{f} \subset V \}.$$ Is it true that $$\mu(V)=\sup\{\Lambda(f): f\in C_c, 0\leq f \leq 1, \operatorname{supp}{f} \subset \operatorname{cl}{ V} \}$$ for open $V$ ? Thanks.

$\endgroup$

1 Answer 1

6
$\begingroup$

No, this is not true. Far from it. Enumerate the rational numbers in $[0,1]$ by $q_1, q_2, q_3, \ldots$. For a given $0 \lt \varepsilon \lt 1$ put $U_{n} = [0,1] \cap (q_n - \varepsilon/2^{n+1},q_n + \varepsilon/2^{n+1})$ and observe that $V = \bigcup_{n=1}^{\infty} U_{n}$ is open and has Lebesgue measure at most $\varepsilon \gt 0$ by $\sigma$-subadditivity. In particular the first supremum is $\leq \varepsilon$. On the other hand, the closure of $V$ is $\overline{V} = [0,1]$ since $V$ is dense. Hence the second supremum is equal to $1$.

$\endgroup$
1
  • 1
    $\begingroup$ Thank you very much for your help. $\endgroup$
    – Richard
    Aug 6, 2011 at 17:14

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .