积分, 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) 证明当C(X;C)配备紧致收敛的拓扑和M(X;C)配备模糊拓扑时,C(X;C)×M(X;C)到M(X;C)的双线性映射(g,μ)↦g⋅μ是(S,T)次连续的,其中S表示C(X;C)有限子集集合和模糊边界M(X;C)子集T集合。
c) 证明当C(X;C)配备紧致收敛的拓扑,M(X;C)和M+(X)配备模糊拓扑时,C(X;C)×M+(X)到M(X;C)的映射(g,μ)↦g⋅μ是连续的。
d) 给出紧致空间X的例,使得当C(X;C)配备一致收敛的拓扑和模糊的M(X;C)时,C(X;C)×M(X;C)到M(X;C)的双线性映射(g,μ)↦g⋅μ不连续拓扑。