Section 21.6

Regularity Properties of Baire Measures

[8/0%]
LaTeX
Problem 21.52

Let XX be a separable, compact, Hausdorff space. Show that every closed set is a GδG_{\delta } set.

?
Problem 21.53

Let XX be a Hausdorff space and μ:B(X)→[0,∞]\mu : \mathcal{B}(X) \rightarrow [0, \infty ] a σ\sigma-finite Borel measure. Show that μ\mu is Radon if and only if it is regular.

?
Problem 21.54

Show that a Hausdorff space XX is both locally compact and σ\sigma-compact if and only if there is an ascending countable collection {Ok}k=1∞\left\{ \mathcal{O}_{k}\right\}_{k = 1}^{\infty } of open subsets of XX that covers XX and for each kk,

O‾k is a compact subset of Ok+1.  \overline{\mathcal{O}}_{k} \text{ is a compact subset of } \mathcal{O}_{k+1} \text{. }
?
Problem 21.55

Let x0x_{0} be a point in the locally compact, Hausdorff space XX. Is the Dirac delta measure concentrated at x0,δx0x_{0}, \delta_{x_{0}}, a regular Baire measure?

?
Problem 21.56

Let XX be an uncountable set with the discrete topology and X∗X^{*} its Alexandroff compactification with x∗x^{*} the point at infinity. Show that the singleton set {x∗}\left\{ x^{*}\right\} is a Borel set that is not a Baire set.

?
Problem 21.57

Let XX be a locally compact, Hausdorff space. Show that a Borel measure μ:B(X)→[0,∞]\mu : \mathcal{B}(X) \rightarrow [0, \infty ] is Radon if and only if every Borel set is measurable with respect to the Carathéodory measure induced by the premeasure μ:B(X)→[0,∞]\mu : \mathcal{B}(X) \rightarrow [0, \infty ].

?
Problem 21.58

Prove Lemmas 23, 24, and 25.

?
Problem 21.59

Let XX be a compact, Hausdorff space and f1,…,fnf_{1}, \ldots , f_{n} continuous real-valued functions on XX. Let ν\nu be a signed Radon measure on XX with ∣ν∣(X)≤1\left|\nu \right|(X) \leq 1 and let ci=∫Xfidνc_{i} = \int_{X} f_{i} d \nu, for 1≤i≤n1 \leq i \leq n.

?
(i)

Show that there is a signed Radon measure μ\mu on XX with ∣μ∣(X)≤1\left|\mu \right|(X) \leq 1 for which

∫Xfidμ=ci \int _{X} f_{i} d \mu = c_{i}

and

∫Xgdμ≤∫Xgdλ for all g∈C(X) \int _{X} g d \mu \leq \int _{X} g d \lambda \text{ for all } g \in C(X)

for any signed Radon measure λ\lambda with ∣λ∣(X)≤1\left|\lambda \right|(X) \leq 1 and such that ∫Xfidλ=ci\int_{X} f_{i} d \lambda = c_{i} for each i,1≤i≤ni, 1 \leq i \leq n.

(ii)

Suppose that there is a Radon measure ν\nu on XX with ν(X)=1\nu (X) = 1 and ∫Xfidν=ci\int_{X} f_{i} d \nu = c_{i} for each i,1≤i≤ni, 1 \leq i \leq n. Show that there is a Radon measure μ\mu on XX with μ(X)=1\mu (X) = 1 and ∫Xfidμ=ci\int_{X} f_{i} d \mu = c_{i}, for 1≤i≤n1 \leq i \leq n, which minimizes ∫Xgdμ\int_{X} g d \mu among all Radon measures that satisfy these conditions.