Integration, III, p. 57
Bourbaki marks this one as harder than the rest.
a) Show that the bilinear mapping (g,μ)↦g⋅μ of C(X;C)×M(X;C) into M(X;C) is continuous when C(X;C) is equipped with the topology of compact convergence and M(X;C) with the quasi-strong topology (Exer. 8) or with the topology of strictly compact convergence.
b) Show that the bilinear mapping (g,μ)↦g⋅μ of C(X;C)×M(X;C) into M(X;C) is (S,T)-hypocontinuous when C(X;C) is equipped with the topology of compact convergence and M(X;C) with the vague topology, where S denotes the set of finite subsets of C(X;C) and T the set of vaguely bounded subsets of M(X;C).
c) Show that the mapping (g,μ)↦g⋅μ of C(X;C)×M+(X) into M(X;C) is continuous when C(X;C) is equipped with the topology of compact convergence, M(X;C) and M+(X) with the vague topology.
d) Give an example of a compact space X such that the bilinear mapping (g,μ)↦g⋅μ of C(X;C)×M(X;C) into M(X;C) is not continuous when C(X;C) is equipped with the topology of uniform convergence and M(X;C) with the vague topology.