积分, V, p. 112
设X,Y为两个紧致空间,U为Banach空间C(X;R)的连续线性映射转化为Banach空间C(Y;R),π:X→Y为连续映射。假设对于每个y∈Y和每个函数f∈C(X;R),
π(x)=yinff(x)≤(U⋅f)(y)≤π(x)=ysupf(x).
证明在这些条件下,存在 Y 到 M+(X) 中的模糊连续的映射 σ:y↦σy,这样,对于每个 y∈Y,σy 都由 π−1(y) 携带,并且对于所有 x∈X 都有 (U⋅f)(π(x))=⟨f,σπ(x)⟩; 逆命题。 (考虑转置tU。)