Solution

ID: past-exam-of-the-optimal-transport-and-partial-differential-equations-course-of-the-university-of-oxford/2025/1/c/solution

Let . The corrected radial disintegration of an orthogonally invariant measure, whose proof did not require absolute continuity of measures, gives for every test function
Finite Borel measures on Euclidean space are determined by their integrals against test functions: the difference defines the zero distribution, or one can approximate continuous compactly supported functions uniformly by smooth functions and use regularity of the measures. Therefore

New to topics? Read the docs here!