Tích phân, V, p. 112
Cho X, Y là hai không gian compact, U là một ánh xạ tuyến tính liên tục của không gian Banach C(X;R) vào không gian Banach C(Y;R), π:X→Y là một ánh xạ liên tục. Giả sử rằng với mọi y∈Y và mọi hàm f∈C(X;R),
π(x)=yinff(x)≤(U⋅f)(y)≤π(x)=ysupf(x).
Chứng minh rằng dưới các điều kiện này tồn tại một ánh xạ liên tục theo tôpô yếu σ:y↦σy của Y vào M+(X) sao cho, với mọi y∈Y, σy được mang bởi π−1(y) và ta có (U⋅f)(π(x))=⟨f,σπ(x)⟩ với mọi x∈X; đảo lại. (Xét ánh xạ chuyển vị tU.)