Bourbaki

Exercise 2, § 3

Integration, V, p. 96

Let T and μ\mu be the locally compact space and the measure ≥0\geq 0 defined in Exer. 5 of Ch. IV, §1. Take for X the set T equipped with the topology induced by that of R2\mathbf{R}^2, so that X is locally compact and countable at infinity. Let t↦λtt \mapsto \lambda_t be the mapping of T into M(X)\mathscr{M}(X) such that λt=εt\lambda_t = \varepsilon_t for t=(0,y)t = (0, y), and λt=εt/n3\lambda_t = \varepsilon_t / n^3 for t=(1/n,k/n2)t = (1/n, k/n^2). Show that the mapping t↦λtt \mapsto \lambda_t is μ\mu-adequate, vaguely μ\mu-measurable, not vaguely continuous, and that, if ν=∫λtdμ(t)\nu = \int \lambda_t d\mu(t) and f=φIf = \varphi_I, where I is the square in R2\mathbf{R}^2 with center 0 and sides 2, then

∫∗f(x)dν(x)<∫∗dμ(t)∫∗f(x)dλt(x)=+∞. \int^* f(x) d\nu(x) < \int^* d\mu(t) \int^* f(x) d\lambda_t(x) = +\infty .
Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.