Bourbaki

Exercise 12, § 1

Integration, III, p. 57

Bourbaki marks this one as harder than the rest.

a) Show that the bilinear mapping (g,μ)↦g⋅μ(g, \mu) \mapsto g \cdot \mu of C(X;C)×M(X;C)\mathscr{C}(X; \mathbf{C}) \times \mathscr{M}(X; \mathbf{C}) into M(X;C)\mathscr{M}(X; \mathbf{C}) is continuous when C(X;C)\mathscr{C}(X; \mathbf{C}) is equipped with the topology of compact convergence and M(X;C)\mathscr{M}(X; \mathbf{C}) with the quasi-strong topology (Exer. 8) or with the topology of strictly compact convergence.

b) Show that the bilinear mapping (g,μ)↦g⋅μ(g, \mu) \mapsto g \cdot \mu of C(X;C)×M(X;C)\mathscr{C}(X; \mathbf{C}) \times \mathscr{M}(X; \mathbf{C}) into M(X;C)\mathscr{M}(X; \mathbf{C}) is (S,T)(\mathscr{S}, \mathscr{T})-hypocontinuous when C(X;C)\mathscr{C}(X; \mathbf{C}) is equipped with the topology of compact convergence and M(X;C)\mathscr{M}(X; \mathbf{C}) with the vague topology, where S\mathscr{S} denotes the set of finite subsets of C(X;C)\mathscr{C}(X; \mathbf{C}) and T\mathscr{T} the set of vaguely bounded subsets of M(X;C)\mathscr{M}(X; \mathbf{C}).

c) Show that the mapping (g,μ)↦g⋅μ(g, \mu) \mapsto g \cdot \mu of C(X;C)×M+(X)\mathscr{C}(X; \mathbf{C}) \times \mathscr{M}_+(X) into M(X;C)\mathscr{M}(X; \mathbf{C}) is continuous when C(X;C)\mathscr{C}(X; \mathbf{C}) is equipped with the topology of compact convergence, M(X;C)\mathscr{M}(X; \mathbf{C}) and M+(X)\mathscr{M}_+(X) with the vague topology.

d) Give an example of a compact space XX such that the bilinear mapping (g,μ)↦g⋅μ(g, \mu) \mapsto g \cdot \mu of C(X;C)×M(X;C)\mathscr{C}(X; \mathbf{C}) \times \mathscr{M}(X; \mathbf{C}) into M(X;C)\mathscr{M}(X; \mathbf{C}) is not continuous when C(X;C)\mathscr{C}(X; \mathbf{C}) is equipped with the topology of uniform convergence and M(X;C)\mathscr{M}(X; \mathbf{C}) with the vague topology.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.