5
$\begingroup$

Does anyone know a standard reference for the following, which I assume is true:

X a topological space, $\{U_i\}$ an open cover, $\mu_i$ a collection of regular Borel measures agreeing on overlaps. Then there's a regular Borel measure on X agreeing with the $\mu_i$. If you want, assume X is a manifold.

$\endgroup$
  • 3
    $\begingroup$ On a manifold you could use a partition of unity... $\endgroup$ – David C. Ullrich Sep 17 '15 at 0:10
  • $\begingroup$ @DavidC.Ullrich Oh good point. And I guess regularity shouldn't be too hard. $\endgroup$ – Tim kinsella Sep 17 '15 at 0:15
  • $\begingroup$ Come to think of it, I bet you can use a partition of unity on, say, a compact Hausdorff space... I bet. $\endgroup$ – David C. Ullrich Sep 17 '15 at 4:35
  • $\begingroup$ @DavidC.Ullrich: What if $X$ is not compact? How do you show the finiteness of your sum? $\endgroup$ – Alex M. Oct 30 '15 at 17:19
  • $\begingroup$ @AlexM. Maybe I'm missing something, but I took David's comment to mean $\mu (f) := \sum_{i=1}^\infty \mu_i(\phi_i f)$, for $\{\phi_i\}$ a partition of unity subordinate to $\{U_i\}$. Does that not work? $\endgroup$ – Tim kinsella Nov 3 '15 at 19:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.